019b3836-2850-7311-96d9-02dff4907d7d
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 |
|---|---|---|---|---|
| 1235 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 1236 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 78975 | analysis.bundle | complete | 1 / 3 | 3 weeks ago |
| 78976 | capability.graph | complete | 1 / 3 | 3 weeks ago |
| 78977 | detector.run | complete | 1 / 3 | 3 weeks ago |
| 78978 | validation.fork | complete | 1 / 3 | 3 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0166 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: DUP1 0000002f: PUSH4 0x018f5472 00000034: EQ 00000035: PUSH2 0x0168 00000038: JUMPI 00000039: DUP1 0000003a: PUSH4 0x0870607b 0000003f: EQ 00000040: PUSH2 0x0194 00000043: JUMPI 00000044: DUP1 00000045: PUSH4 0x1277e24f 0000004a: EQ 0000004b: PUSH2 0x01ac 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0x224993c2 00000055: EQ 00000056: PUSH2 0x01bb 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x43d726d6 00000060: EQ 00000061: PUSH2 0x01d3 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x4f8632ba 0000006b: EQ 0000006c: PUSH2 0x01e2 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x5ca8bc52 00000076: EQ 00000077: PUSH2 0x021b 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x60ed1905 00000081: EQ 00000082: PUSH2 0x022a 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x627749e6 0000008c: EQ 0000008d: PUSH2 0x024d 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x6d853ab6 00000097: EQ 00000098: PUSH2 0x0270 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0x776d62f6 000000a2: EQ 000000a3: PUSH2 0x029c 000000a6: JUMPI 000000a7: DUP1 000000a8: PUSH4 0x7ccfd45a 000000ad: EQ 000000ae: PUSH2 0x02bf 000000b1: JUMPI 000000b2: DUP1 000000b3: PUSH4 0x82996d9f 000000b8: EQ 000000b9: PUSH2 0x02d7 000000bc: JUMPI 000000bd: DUP1 000000be: PUSH4 0x8da5cb5b 000000c3: EQ 000000c4: PUSH2 0x02e6 000000c7: JUMPI 000000c8: DUP1 000000c9: PUSH4 0x8ecc0950 000000ce: EQ 000000cf: PUSH2 0x031f 000000d2: JUMPI 000000d3: DUP1 000000d4: PUSH4 0x90491f1b 000000d9: EQ 000000da: PUSH2 0x032e 000000dd: JUMPI 000000de: DUP1 000000df: PUSH4 0x91b7f5ed 000000e4: EQ 000000e5: PUSH2 0x0351 000000e8: JUMPI 000000e9: DUP1 000000ea: PUSH4 0xa035b1fe 000000ef: EQ 000000f0: PUSH2 0x0369 000000f3: JUMPI 000000f4: DUP1 000000f5: PUSH4 0xa6304952 000000fa: EQ 000000fb: PUSH2 0x038c 000000fe: JUMPI 000000ff: DUP1 00000100: PUSH4 0xa6f9dae1 00000105: EQ 00000106: PUSH2 0x03af 00000109: JUMPI 0000010a: DUP1 0000010b: PUSH4 0xae750fb0 00000110: EQ 00000111: PUSH2 0x03c7 00000114: JUMPI 00000115: DUP1 00000116: PUSH4 0xb29b5366 0000011b: EQ 0000011c: PUSH2 0x03ea 0000011f: JUMPI 00000120: DUP1 00000121: PUSH4 0xb4256888 00000126: EQ 00000127: PUSH2 0x0402 0000012a: JUMPI 0000012b: DUP1 0000012c: PUSH4 0xc5d5997c 00000131: EQ 00000132: PUSH2 0x0425 00000135: JUMPI 00000136: DUP1 00000137: PUSH4 0xd0e30db0 0000013c: EQ 0000013d: PUSH2 0x0446 00000140: JUMPI 00000141: DUP1 00000142: PUSH4 0xf3566b55 00000147: EQ 00000148: PUSH2 0x0469 0000014b: JUMPI 0000014c: DUP1 0000014d: PUSH4 0xf5bade66 00000152: EQ 00000153: PUSH2 0x048c 00000156: JUMPI 00000157: DUP1 00000158: PUSH4 0xfcfff16f 0000015d: EQ 0000015e: PUSH2 0x04a4 00000161: JUMPI 00000162: PUSH2 0x0166 00000165: JUMP 00000166: JUMPDEST 00000167: STOP 00000168: JUMPDEST 00000169: PUSH2 0x017e 0000016c: PUSH1 0x04 0000016e: DUP1 0000016f: DUP1 00000170: CALLDATALOAD 00000171: SWAP1 00000172: PUSH1 0x20 00000174: ADD 00000175: SWAP1 00000176: SWAP2 00000177: SWAP1 00000178: POP 00000179: POP 0000017a: PUSH2 0x1152 0000017d: JUMP 0000017e: JUMPDEST 0000017f: PUSH1 0x40 00000181: MLOAD 00000182: DUP1 00000183: DUP3 00000184: DUP2 00000185: MSTORE 00000186: PUSH1 0x20 00000188: ADD 00000189: SWAP2 0000018a: POP 0000018b: POP 0000018c: PUSH1 0x40 0000018e: MLOAD 0000018f: DUP1 00000190: SWAP2 00000191: SUB 00000192: SWAP1 00000193: RETURN 00000194: JUMPDEST 00000195: PUSH2 0x01aa 00000198: PUSH1 0x04 0000019a: DUP1 0000019b: DUP1 0000019c: CALLDATALOAD 0000019d: SWAP1 0000019e: PUSH1 0x20 000001a0: ADD 000001a1: SWAP1 000001a2: SWAP2 000001a3: SWAP1 000001a4: POP 000001a5: POP 000001a6: PUSH2 0x1416 000001a9: JUMP 000001aa: JUMPDEST 000001ab: STOP 000001ac: JUMPDEST 000001ad: PUSH2 0x01b9 000001b0: PUSH1 0x04 000001b2: DUP1 000001b3: POP 000001b4: POP 000001b5: PUSH2 0x0e3a 000001b8: JUMP 000001b9: JUMPDEST 000001ba: STOP 000001bb: JUMPDEST 000001bc: PUSH2 0x01d1 000001bf: PUSH1 0x04 000001c1: DUP1 000001c2: DUP1 000001c3: CALLDATALOAD 000001c4: SWAP1 000001c5: PUSH1 0x20 000001c7: ADD 000001c8: SWAP1 000001c9: SWAP2 000001ca: SWAP1 000001cb: POP 000001cc: POP 000001cd: PUSH2 0x0c05 000001d0: JUMP 000001d1: JUMPDEST 000001d2: STOP 000001d3: JUMPDEST 000001d4: PUSH2 0x01e0 000001d7: PUSH1 0x04 000001d9: DUP1 000001da: POP 000001db: POP 000001dc: PUSH2 0x11c1 000001df: JUMP 000001e0: JUMPDEST 000001e1: STOP 000001e2: JUMPDEST 000001e3: PUSH2 0x01ef 000001e6: PUSH1 0x04 000001e8: DUP1 000001e9: POP 000001ea: POP 000001eb: PUSH2 0x0b14 000001ee: JUMP 000001ef: JUMPDEST 000001f0: PUSH1 0x40 000001f2: MLOAD 000001f3: DUP1 000001f4: DUP3 000001f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000020a: AND 0000020b: DUP2 0000020c: MSTORE 0000020d: PUSH1 0x20 0000020f: ADD 00000210: SWAP2 00000211: POP 00000212: POP 00000213: PUSH1 0x40 00000215: MLOAD 00000216: DUP1 00000217: SWAP2 00000218: SUB 00000219: SWAP1 0000021a: RETURN 0000021b: JUMPDEST 0000021c: PUSH2 0x0228 0000021f: PUSH1 0x04 00000221: DUP1 00000222: POP 00000223: POP 00000224: PUSH2 0x059e 00000227: JUMP 00000228: JUMPDEST 00000229: STOP 0000022a: JUMPDEST 0000022b: PUSH2 0x0237 0000022e: PUSH1 0x04 00000230: DUP1 00000231: POP 00000232: POP 00000233: PUSH2 0x126f 00000236: JUMP 00000237: JUMPDEST 00000238: PUSH1 0x40 0000023a: MLOAD 0000023b: DUP1 0000023c: DUP3 0000023d: DUP2 0000023e: MSTORE 0000023f: PUSH1 0x20 00000241: ADD 00000242: SWAP2 00000243: POP 00000244: POP 00000245: PUSH1 0x40 00000247: MLOAD 00000248: DUP1 00000249: SWAP2 0000024a: SUB 0000024b: SWAP1 0000024c: RETURN 0000024d: JUMPDEST 0000024e: PUSH2 0x025a 00000251: PUSH1 0x04 00000253: DUP1 00000254: POP 00000255: POP 00000256: PUSH2 0x04bd 00000259: JUMP 0000025a: JUMPDEST 0000025b: PUSH1 0x40 0000025d: MLOAD 0000025e: DUP1 0000025f: DUP3 00000260: DUP2 00000261: MSTORE 00000262: PUSH1 0x20 00000264: ADD 00000265: SWAP2 00000266: POP 00000267: POP 00000268: PUSH1 0x40 0000026a: MLOAD 0000026b: DUP1 0000026c: SWAP2 0000026d: SUB 0000026e: SWAP1 0000026f: RETURN 00000270: JUMPDEST 00000271: PUSH2 0x0286 00000274: PUSH1 0x04 00000276: DUP1 00000277: DUP1 00000278: CALLDATALOAD 00000279: SWAP1 0000027a: PUSH1 0x20 0000027c: ADD 0000027d: SWAP1 0000027e: SWAP2 0000027f: SWAP1 00000280: POP 00000281: POP 00000282: PUSH2 0x128d 00000285: JUMP 00000286: JUMPDEST 00000287: PUSH1 0x40 00000289: MLOAD 0000028a: DUP1 0000028b: DUP3 0000028c: DUP2 0000028d: MSTORE 0000028e: PUSH1 0x20 00000290: ADD 00000291: SWAP2 00000292: POP 00000293: POP 00000294: PUSH1 0x40 00000296: MLOAD 00000297: DUP1 00000298: SWAP2 00000299: SUB 0000029a: SWAP1 0000029b: RETURN 0000029c: JUMPDEST 0000029d: PUSH2 0x02a9 000002a0: PUSH1 0x04 000002a2: DUP1 000002a3: POP 000002a4: POP 000002a5: PUSH2 0x04c7 000002a8: JUMP 000002a9: JUMPDEST 000002aa: PUSH1 0x40 000002ac: MLOAD 000002ad: DUP1 000002ae: DUP3 000002af: DUP2 000002b0: MSTORE 000002b1: PUSH1 0x20 000002b3: ADD 000002b4: SWAP2 000002b5: POP 000002b6: POP 000002b7: PUSH1 0x40 000002b9: MLOAD 000002ba: DUP1 000002bb: SWAP2 000002bc: SUB 000002bd: SWAP1 000002be: RETURN 000002bf: JUMPDEST 000002c0: PUSH2 0x02d5 000002c3: PUSH1 0x04 000002c5: DUP1 000002c6: DUP1 000002c7: CALLDATALOAD 000002c8: SWAP1 000002c9: PUSH1 0x20 000002cb: ADD 000002cc: SWAP1 000002cd: SWAP2 000002ce: SWAP1 000002cf: POP 000002d0: POP 000002d1: PUSH2 0x12cf 000002d4: JUMP 000002d5: JUMPDEST 000002d6: STOP 000002d7: JUMPDEST 000002d8: PUSH2 0x02e4 000002db: PUSH1 0x04 000002dd: DUP1 000002de: POP 000002df: POP 000002e0: PUSH2 0x0502 000002e3: JUMP 000002e4: JUMPDEST 000002e5: STOP 000002e6: JUMPDEST 000002e7: PUSH2 0x02f3 000002ea: PUSH1 0x04 000002ec: DUP1 000002ed: POP 000002ee: POP 000002ef: PUSH2 0x0eec 000002f2: JUMP 000002f3: JUMPDEST 000002f4: PUSH1 0x40 000002f6: MLOAD 000002f7: DUP1 000002f8: DUP3 000002f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000030e: AND 0000030f: DUP2 00000310: MSTORE 00000311: PUSH1 0x20 00000313: ADD 00000314: SWAP2 00000315: POP 00000316: POP 00000317: PUSH1 0x40 00000319: MLOAD 0000031a: DUP1 0000031b: SWAP2 0000031c: SUB 0000031d: SWAP1 0000031e: RETURN 0000031f: JUMPDEST 00000320: PUSH2 0x032c 00000323: PUSH1 0x04 00000325: DUP1 00000326: POP 00000327: POP 00000328: PUSH2 0x08a6 0000032b: JUMP 0000032c: JUMPDEST 0000032d: STOP 0000032e: JUMPDEST 0000032f: PUSH2 0x033b 00000332: PUSH1 0x04 00000334: DUP1 00000335: POP 00000336: POP 00000337: PUSH2 0x0b3a 0000033a: JUMP 0000033b: JUMPDEST 0000033c: PUSH1 0x40 0000033e: MLOAD 0000033f: DUP1 00000340: DUP3 00000341: DUP2 00000342: MSTORE 00000343: PUSH1 0x20 00000345: ADD 00000346: SWAP2 00000347: POP 00000348: POP 00000349: PUSH1 0x40 0000034b: MLOAD 0000034c: DUP1 0000034d: SWAP2 0000034e: SUB 0000034f: SWAP1 00000350: RETURN 00000351: JUMPDEST 00000352: PUSH2 0x0367 00000355: PUSH1 0x04 00000357: DUP1 00000358: DUP1 00000359: CALLDATALOAD 0000035a: SWAP1 0000035b: PUSH1 0x20 0000035d: ADD 0000035e: SWAP1 0000035f: SWAP2 00000360: SWAP1 00000361: POP 00000362: POP 00000363: PUSH2 0x10d8 00000366: JUMP 00000367: JUMPDEST 00000368: STOP 00000369: JUMPDEST 0000036a: PUSH2 0x0376 0000036d: PUSH1 0x04 0000036f: DUP1 00000370: POP 00000371: POP 00000372: PUSH2 0x04b3 00000375: JUMP 00000376: JUMPDEST 00000377: PUSH1 0x40 00000379: MLOAD 0000037a: DUP1 0000037b: DUP3 0000037c: DUP2 0000037d: MSTORE 0000037e: PUSH1 0x20 00000380: ADD 00000381: SWAP2 00000382: POP 00000383: POP 00000384: PUSH1 0x40 00000386: MLOAD 00000387: DUP1 00000388: SWAP2 00000389: SUB 0000038a: SWAP1 0000038b: RETURN 0000038c: JUMPDEST 0000038d: PUSH2 0x0399 00000390: PUSH1 0x04 00000392: DUP1 00000393: POP 00000394: POP 00000395: PUSH2 0x0b43 00000398: JUMP 00000399: JUMPDEST 0000039a: PUSH1 0x40 0000039c: MLOAD 0000039d: DUP1 0000039e: DUP3 0000039f: DUP2 000003a0: MSTORE 000003a1: PUSH1 0x20 000003a3: ADD 000003a4: SWAP2 000003a5: POP 000003a6: POP 000003a7: PUSH1 0x40 000003a9: MLOAD 000003aa: DUP1 000003ab: SWAP2 000003ac: SUB 000003ad: SWAP1 000003ae: RETURN 000003af: JUMPDEST 000003b0: PUSH2 0x03c5 000003b3: PUSH1 0x04 000003b5: DUP1 000003b6: DUP1 000003b7: CALLDATALOAD 000003b8: SWAP1 000003b9: PUSH1 0x20 000003bb: ADD 000003bc: SWAP1 000003bd: SWAP2 000003be: SWAP1 000003bf: POP 000003c0: POP 000003c1: PUSH2 0x0d9f 000003c4: JUMP 000003c5: JUMPDEST 000003c6: STOP 000003c7: JUMPDEST 000003c8: PUSH2 0x03d4 000003cb: PUSH1 0x04 000003cd: DUP1 000003ce: POP 000003cf: POP 000003d0: PUSH2 0x0c7f 000003d3: JUMP 000003d4: JUMPDEST 000003d5: PUSH1 0x40 000003d7: MLOAD 000003d8: DUP1 000003d9: DUP3 000003da: DUP2 000003db: MSTORE 000003dc: PUSH1 0x20 000003de: ADD 000003df: SWAP2 000003e0: POP 000003e1: POP 000003e2: PUSH1 0x40 000003e4: MLOAD 000003e5: DUP1 000003e6: SWAP2 000003e7: SUB 000003e8: SWAP1 000003e9: RETURN 000003ea: JUMPDEST 000003eb: PUSH2 0x0400 000003ee: PUSH1 0x04 000003f0: DUP1 000003f1: DUP1 000003f2: CALLDATALOAD 000003f3: SWAP1 000003f4: PUSH1 0x20 000003f6: ADD 000003f7: SWAP1 000003f8: SWAP2 000003f9: SWAP1 000003fa: POP 000003fb: POP 000003fc: PUSH2 0x0d17 000003ff: JUMP 00000400: JUMPDEST 00000401: STOP 00000402: JUMPDEST 00000403: PUSH2 0x040f 00000406: PUSH1 0x04 00000408: DUP1 00000409: POP 0000040a: POP 0000040b: PUSH2 0x1283 0000040e: JUMP 0000040f: JUMPDEST 00000410: PUSH1 0x40 00000412: MLOAD 00000413: DUP1 00000414: DUP3 00000415: DUP2 00000416: MSTORE 00000417: PUSH1 0x20 00000419: ADD 0000041a: SWAP2 0000041b: POP 0000041c: POP 0000041d: PUSH1 0x40 0000041f: MLOAD 00000420: DUP1 00000421: SWAP2 00000422: SUB 00000423: SWAP1 00000424: RETURN 00000425: JUMPDEST 00000426: PUSH2 0x0444 00000429: PUSH1 0x04 0000042b: DUP1 0000042c: DUP1 0000042d: CALLDATALOAD 0000042e: SWAP1 0000042f: PUSH1 0x20 00000431: ADD 00000432: SWAP1 00000433: SWAP2 00000434: SWAP1 00000435: DUP1 00000436: CALLDATALOAD 00000437: SWAP1 00000438: PUSH1 0x20 0000043a: ADD 0000043b: SWAP1 0000043c: SWAP2 0000043d: SWAP1 0000043e: POP 0000043f: POP 00000440: PUSH2 0x0f13 00000443: JUMP 00000444: JUMPDEST 00000445: STOP 00000446: JUMPDEST 00000447: PUSH2 0x0453 0000044a: PUSH1 0x04 0000044c: DUP1 0000044d: POP 0000044e: POP 0000044f: PUSH2 0x10ce 00000452: JUMP 00000453: JUMPDEST 00000454: PUSH1 0x40 00000456: MLOAD 00000457: DUP1 00000458: DUP3 00000459: DUP2 0000045a: MSTORE 0000045b: PUSH1 0x20 0000045d: ADD 0000045e: SWAP2 0000045f: POP 00000460: POP 00000461: PUSH1 0x40 00000463: MLOAD 00000464: DUP1 00000465: SWAP2 00000466: SUB 00000467: SWAP1 00000468: RETURN 00000469: JUMPDEST 0000046a: PUSH2 0x0476 0000046d: PUSH1 0x04 0000046f: DUP1 00000470: POP 00000471: POP 00000472: PUSH2 0x0d03 00000475: JUMP 00000476: JUMPDEST 00000477: PUSH1 0x40 00000479: MLOAD 0000047a: DUP1 0000047b: DUP3 0000047c: DUP2 0000047d: MSTORE 0000047e: PUSH1 0x20 00000480: ADD 00000481: SWAP2 00000482: POP 00000483: POP 00000484: PUSH1 0x40 00000486: MLOAD 00000487: DUP1 00000488: SWAP2 00000489: SUB 0000048a: SWAP1 0000048b: RETURN 0000048c: JUMPDEST 0000048d: PUSH2 0x04a2 00000490: PUSH1 0x04 00000492: DUP1 00000493: DUP1 00000494: CALLDATALOAD 00000495: SWAP1 00000496: PUSH1 0x20 00000498: ADD 00000499: SWAP1 0000049a: SWAP2 0000049b: SWAP1 0000049c: POP 0000049d: POP 0000049e: PUSH2 0x0c89 000004a1: JUMP 000004a2: JUMPDEST 000004a3: STOP 000004a4: JUMPDEST 000004a5: PUSH2 0x04b1 000004a8: PUSH1 0x04 000004aa: DUP1 000004ab: POP 000004ac: POP 000004ad: PUSH2 0x0b57 000004b0: JUMP 000004b1: JUMPDEST 000004b2: STOP 000004b3: JUMPDEST 000004b4: PUSH2 0x0105 000004b7: PUSH1 0x00 000004b9: POP 000004ba: SLOAD 000004bb: DUP2 000004bc: JUMP 000004bd: JUMPDEST 000004be: PUSH2 0x0108 000004c1: PUSH1 0x00 000004c3: POP 000004c4: SLOAD 000004c5: DUP2 000004c6: JUMP 000004c7: JUMPDEST 000004c8: PUSH1 0x00 000004ca: PUSH1 0x00 000004cc: CALLVALUE 000004cd: GT 000004ce: ISZERO 000004cf: PUSH2 0x04d7 000004d2: JUMPI 000004d3: PUSH2 0x0002 000004d6: JUMP 000004d7: JUMPDEST 000004d8: PUSH2 0x0106 000004db: PUSH1 0x00 000004dd: POP 000004de: SLOAD 000004df: PUSH2 0x0106 000004e2: PUSH1 0x00 000004e4: POP 000004e5: SLOAD 000004e6: PUSH2 0x0107 000004e9: PUSH1 0x00 000004eb: POP 000004ec: SLOAD 000004ed: TIMESTAMP 000004ee: SUB 000004ef: ADD 000004f0: PUSH2 0x0105 000004f3: PUSH1 0x00 000004f5: POP 000004f6: SLOAD 000004f7: MUL 000004f8: DIV 000004f9: SWAP1 000004fa: POP 000004fb: PUSH2 0x04ff 000004fe: JUMP 000004ff: JUMPDEST 00000500: SWAP1 00000501: JUMP 00000502: JUMPDEST 00000503: PUSH2 0x0109 00000506: PUSH1 0x01 00000508: SWAP1 00000509: SLOAD 0000050a: SWAP1 0000050b: PUSH2 0x0100 0000050e: EXP 0000050f: SWAP1 00000510: DIV 00000511: PUSH1 0xff 00000513: AND 00000514: DUP1 00000515: ISZERO 00000516: PUSH2 0x052d 00000519: JUMPI 0000051a: POP 0000051b: PUSH2 0x0109 0000051e: PUSH1 0x00 00000520: SWAP1 00000521: SLOAD 00000522: SWAP1 00000523: PUSH2 0x0100 00000526: EXP 00000527: SWAP1 00000528: DIV 00000529: PUSH1 0xff 0000052b: AND 0000052c: ISZERO 0000052d: JUMPDEST 0000052e: DUP1 0000052f: ISZERO 00000530: PUSH2 0x053e 00000533: JUMPI 00000534: POP 00000535: PUSH2 0x0104 00000538: PUSH1 0x00 0000053a: POP 0000053b: SLOAD 0000053c: CALLVALUE 0000053d: EQ 0000053e: JUMPDEST 0000053f: DUP1 00000540: ISZERO 00000541: ISZERO 00000542: PUSH2 0x054a 00000545: JUMPI 00000546: PUSH2 0x0002 00000549: JUMP 0000054a: JUMPDEST 0000054b: CALLER 0000054c: PUSH1 0x00 0000054e: PUSH1 0x00 00000550: PUSH2 0x0100 00000553: EXP 00000554: DUP2 00000555: SLOAD 00000556: DUP2 00000557: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000056c: MUL 0000056d: NOT 0000056e: AND 0000056f: SWAP1 00000570: DUP4 00000571: MUL 00000572: OR 00000573: SWAP1 00000574: SSTORE 00000575: POP 00000576: TIMESTAMP 00000577: PUSH2 0x0107 0000057a: PUSH1 0x00 0000057c: POP 0000057d: DUP2 0000057e: SWAP1 0000057f: SSTORE 00000580: POP 00000581: PUSH1 0x01 00000583: PUSH2 0x0109 00000586: PUSH1 0x00 00000588: PUSH2 0x0100 0000058b: EXP 0000058c: DUP2 0000058d: SLOAD 0000058e: DUP2 0000058f: PUSH1 0xff 00000591: MUL 00000592: NOT 00000593: AND 00000594: SWAP1 00000595: DUP4 00000596: MUL 00000597: OR 00000598: SWAP1 00000599: SSTORE 0000059a: POP 0000059b: POP 0000059c: JUMPDEST 0000059d: JUMP 0000059e: JUMPDEST 0000059f: PUSH1 0x00 000005a1: PUSH1 0x00 000005a3: PUSH1 0x00 000005a5: PUSH1 0x00 000005a7: PUSH1 0x00 000005a9: SWAP1 000005aa: SLOAD 000005ab: SWAP1 000005ac: PUSH2 0x0100 000005af: EXP 000005b0: SWAP1 000005b1: DIV 000005b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005c7: AND 000005c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005dd: AND 000005de: CALLER 000005df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f4: AND 000005f5: EQ 000005f6: ISZERO 000005f7: PUSH2 0x08a0 000005fa: JUMPI 000005fb: PUSH1 0x00 000005fd: CALLVALUE 000005fe: GT 000005ff: ISZERO 00000600: PUSH2 0x0608 00000603: JUMPI 00000604: PUSH2 0x0002 00000607: JUMP 00000608: JUMPDEST 00000609: PUSH2 0x0610 0000060c: PUSH2 0x04c7 0000060f: JUMP 00000610: JUMPDEST 00000611: SWAP3 00000612: POP 00000613: PUSH2 0x0104 00000616: PUSH1 0x00 00000618: POP 00000619: SLOAD 0000061a: DUP4 0000061b: GT 0000061c: ISZERO 0000061d: PUSH2 0x0630 00000620: JUMPI 00000621: PUSH2 0x0104 00000624: PUSH1 0x00 00000626: POP 00000627: SLOAD 00000628: SWAP3 00000629: POP 0000062a: DUP3 0000062b: POP 0000062c: PUSH2 0x068e 0000062f: JUMP 00000630: JUMPDEST 00000631: PUSH1 0x00 00000633: PUSH1 0x00 00000635: SWAP1 00000636: SLOAD 00000637: SWAP1 00000638: PUSH2 0x0100 0000063b: EXP 0000063c: SWAP1 0000063d: DIV 0000063e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000653: AND 00000654: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000669: AND 0000066a: PUSH1 0x00 0000066c: DUP5 0000066d: PUSH2 0x0104 00000670: PUSH1 0x00 00000672: POP 00000673: SLOAD 00000674: SUB 00000675: PUSH1 0x40 00000677: MLOAD 00000678: DUP1 00000679: SWAP1 0000067a: POP 0000067b: PUSH1 0x00 0000067d: PUSH1 0x40 0000067f: MLOAD 00000680: DUP1 00000681: DUP4 00000682: SUB 00000683: DUP2 00000684: DUP6 00000685: DUP9 00000686: DUP9 00000687: CALL 00000688: SWAP4 00000689: POP 0000068a: POP 0000068b: POP 0000068c: POP 0000068d: POP 0000068e: JUMPDEST 0000068f: PUSH2 0x0109 00000692: PUSH1 0x02 00000694: SWAP1 00000695: SLOAD 00000696: SWAP1 00000697: PUSH2 0x0100 0000069a: EXP 0000069b: SWAP1 0000069c: DIV 0000069d: PUSH1 0xff 0000069f: AND 000006a0: ISZERO 000006a1: PUSH2 0x06ff 000006a4: JUMPI 000006a5: PUSH2 0x0103 000006a8: PUSH1 0x00 000006aa: SWAP1 000006ab: SLOAD 000006ac: SWAP1 000006ad: PUSH2 0x0100 000006b0: EXP 000006b1: SWAP1 000006b2: DIV 000006b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006c8: AND 000006c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006de: AND 000006df: PUSH1 0x00 000006e1: DUP5 000006e2: PUSH1 0x40 000006e4: MLOAD 000006e5: DUP1 000006e6: SWAP1 000006e7: POP 000006e8: PUSH1 0x00 000006ea: PUSH1 0x40 000006ec: MLOAD 000006ed: DUP1 000006ee: DUP4 000006ef: SUB 000006f0: DUP2 000006f1: DUP6 000006f2: DUP9 000006f3: DUP9 000006f4: CALL 000006f5: SWAP4 000006f6: POP 000006f7: POP 000006f8: POP 000006f9: POP 000006fa: POP 000006fb: PUSH2 0x0800 000006fe: JUMP 000006ff: JUMPDEST 00000700: PUSH1 0xff 00000702: SWAP2 00000703: POP 00000704: DUP2 00000705: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000071a: AND 0000071b: PUSH4 0x331d19a9 00000720: PUSH1 0x40 00000722: MLOAD 00000723: DUP2 00000724: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000742: MUL 00000743: DUP2 00000744: MSTORE 00000745: PUSH1 0x04 00000747: ADD 00000748: DUP1 00000749: SWAP1 0000074a: POP 0000074b: PUSH1 0x20 0000074d: PUSH1 0x40 0000074f: MLOAD 00000750: DUP1 00000751: DUP4 00000752: SUB 00000753: DUP2 00000754: PUSH1 0x00 00000756: DUP8 00000757: PUSH2 0x61da 0000075a: GAS 0000075b: SUB 0000075c: CALL 0000075d: ISZERO 0000075e: PUSH2 0x0002 00000761: JUMPI 00000762: POP 00000763: POP 00000764: POP 00000765: PUSH1 0x40 00000767: MLOAD 00000768: DUP1 00000769: MLOAD 0000076a: SWAP1 0000076b: PUSH1 0x20 0000076d: ADD 0000076e: POP 0000076f: SWAP1 00000770: POP 00000771: DUP2 00000772: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000787: AND 00000788: PUSH1 0x00 0000078a: DUP3 0000078b: DUP6 0000078c: DIV 0000078d: PUSH1 0x40 0000078f: MLOAD 00000790: DUP1 00000791: SWAP1 00000792: POP 00000793: PUSH1 0x00 00000795: PUSH1 0x40 00000797: MLOAD 00000798: DUP1 00000799: DUP4 0000079a: SUB 0000079b: DUP2 0000079c: DUP6 0000079d: DUP9 0000079e: DUP9 0000079f: CALL 000007a0: SWAP4 000007a1: POP 000007a2: POP 000007a3: POP 000007a4: POP 000007a5: POP 000007a6: PUSH2 0x0103 000007a9: PUSH1 0x00 000007ab: SWAP1 000007ac: SLOAD 000007ad: SWAP1 000007ae: PUSH2 0x0100 000007b1: EXP 000007b2: SWAP1 000007b3: DIV 000007b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c9: AND 000007ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007df: AND 000007e0: PUSH1 0x00 000007e2: DUP3 000007e3: DUP6 000007e4: DIV 000007e5: DUP6 000007e6: SUB 000007e7: PUSH1 0x40 000007e9: MLOAD 000007ea: DUP1 000007eb: SWAP1 000007ec: POP 000007ed: PUSH1 0x00 000007ef: PUSH1 0x40 000007f1: MLOAD 000007f2: DUP1 000007f3: DUP4 000007f4: SUB 000007f5: DUP2 000007f6: DUP6 000007f7: DUP9 000007f8: DUP9 000007f9: CALL 000007fa: SWAP4 000007fb: POP 000007fc: POP 000007fd: POP 000007fe: POP 000007ff: POP 00000800: JUMPDEST 00000801: PUSH2 0x0808 00000804: PUSH2 0x1582 00000807: JUMP 00000808: JUMPDEST 00000809: PUSH2 0x0103 0000080c: PUSH1 0x00 0000080e: SWAP1 0000080f: SLOAD 00000810: SWAP1 00000811: PUSH2 0x0100 00000814: EXP 00000815: SWAP1 00000816: DIV 00000817: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000082c: AND 0000082d: PUSH1 0x00 0000082f: PUSH1 0x00 00000831: PUSH2 0x0100 00000834: EXP 00000835: DUP2 00000836: SLOAD 00000837: DUP2 00000838: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000084d: MUL 0000084e: NOT 0000084f: AND 00000850: SWAP1 00000851: DUP4 00000852: MUL 00000853: OR 00000854: SWAP1 00000855: SSTORE 00000856: POP 00000857: PUSH1 0x00 00000859: PUSH2 0x0109 0000085c: PUSH1 0x00 0000085e: PUSH2 0x0100 00000861: EXP 00000862: DUP2 00000863: SLOAD 00000864: DUP2 00000865: PUSH1 0xff 00000867: MUL 00000868: NOT 00000869: AND 0000086a: SWAP1 0000086b: DUP4 0000086c: MUL 0000086d: OR 0000086e: SWAP1 0000086f: SSTORE 00000870: POP 00000871: PUSH32 0xc35789ccff76271dc0efa6bfde2f4d4a32cd48dd86278f75f8648cb068c86e3b 00000892: PUSH1 0x40 00000894: MLOAD 00000895: DUP1 00000896: SWAP1 00000897: POP 00000898: PUSH1 0x40 0000089a: MLOAD 0000089b: DUP1 0000089c: SWAP2 0000089d: SUB 0000089e: SWAP1 0000089f: LOG1 000008a0: JUMPDEST 000008a1: JUMPDEST 000008a2: POP 000008a3: POP 000008a4: POP 000008a5: JUMP 000008a6: JUMPDEST 000008a7: PUSH1 0x00 000008a9: PUSH1 0x00 000008ab: PUSH1 0x00 000008ad: PUSH2 0x0103 000008b0: PUSH1 0x00 000008b2: SWAP1 000008b3: SLOAD 000008b4: SWAP1 000008b5: PUSH2 0x0100 000008b8: EXP 000008b9: SWAP1 000008ba: DIV 000008bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008d0: AND 000008d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e6: AND 000008e7: CALLER 000008e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008fd: AND 000008fe: EQ 000008ff: ISZERO 00000900: ISZERO 00000901: PUSH2 0x0909 00000904: JUMPI 00000905: PUSH2 0x0002 00000908: JUMP 00000909: JUMPDEST 0000090a: PUSH2 0x0109 0000090d: PUSH1 0x00 0000090f: SWAP1 00000910: SLOAD 00000911: SWAP1 00000912: PUSH2 0x0100 00000915: EXP 00000916: SWAP1 00000917: DIV 00000918: PUSH1 0xff 0000091a: AND 0000091b: DUP1 0000091c: ISZERO 0000091d: ISZERO 0000091e: PUSH2 0x0926 00000921: JUMPI 00000922: PUSH2 0x0002 00000925: JUMP 00000926: JUMPDEST 00000927: PUSH1 0x00 00000929: CALLVALUE 0000092a: GT 0000092b: ISZERO 0000092c: PUSH2 0x0934 0000092f: JUMPI 00000930: PUSH2 0x0002 00000933: JUMP 00000934: JUMPDEST 00000935: PUSH2 0x093c 00000938: PUSH2 0x04c7 0000093b: JUMP 0000093c: JUMPDEST 0000093d: SWAP4 0000093e: POP 0000093f: PUSH2 0x0104 00000942: PUSH1 0x00 00000944: POP 00000945: SLOAD 00000946: DUP5 00000947: GT 00000948: ISZERO 00000949: PUSH2 0x0b0d 0000094c: JUMPI 0000094d: PUSH2 0x0109 00000950: PUSH1 0x02 00000952: SWAP1 00000953: SLOAD 00000954: SWAP1 00000955: PUSH2 0x0100 00000958: EXP 00000959: SWAP1 0000095a: DIV 0000095b: PUSH1 0xff 0000095d: AND 0000095e: ISZERO 0000095f: PUSH2 0x09bd 00000962: JUMPI 00000963: PUSH2 0x0103 00000966: PUSH1 0x00 00000968: SWAP1 00000969: SLOAD 0000096a: SWAP1 0000096b: PUSH2 0x0100 0000096e: EXP 0000096f: SWAP1 00000970: DIV 00000971: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000986: AND 00000987: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000099c: AND 0000099d: PUSH1 0x00 0000099f: DUP6 000009a0: PUSH1 0x40 000009a2: MLOAD 000009a3: DUP1 000009a4: SWAP1 000009a5: POP 000009a6: PUSH1 0x00 000009a8: PUSH1 0x40 000009aa: MLOAD 000009ab: DUP1 000009ac: DUP4 000009ad: SUB 000009ae: DUP2 000009af: DUP6 000009b0: DUP9 000009b1: DUP9 000009b2: CALL 000009b3: SWAP4 000009b4: POP 000009b5: POP 000009b6: POP 000009b7: POP 000009b8: POP 000009b9: PUSH2 0x0abe 000009bc: JUMP 000009bd: JUMPDEST 000009be: PUSH1 0xff 000009c0: SWAP3 000009c1: POP 000009c2: DUP3 000009c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d8: AND 000009d9: PUSH4 0x331d19a9 000009de: PUSH1 0x40 000009e0: MLOAD 000009e1: DUP2 000009e2: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000a00: MUL 00000a01: DUP2 00000a02: MSTORE 00000a03: PUSH1 0x04 00000a05: ADD 00000a06: DUP1 00000a07: SWAP1 00000a08: POP 00000a09: PUSH1 0x20 00000a0b: PUSH1 0x40 00000a0d: MLOAD 00000a0e: DUP1 00000a0f: DUP4 00000a10: SUB 00000a11: DUP2 00000a12: PUSH1 0x00 00000a14: DUP8 00000a15: PUSH2 0x61da 00000a18: GAS 00000a19: SUB 00000a1a: CALL 00000a1b: ISZERO 00000a1c: PUSH2 0x0002 00000a1f: JUMPI 00000a20: POP 00000a21: POP 00000a22: POP 00000a23: PUSH1 0x40 00000a25: MLOAD 00000a26: DUP1 00000a27: MLOAD 00000a28: SWAP1 00000a29: PUSH1 0x20 00000a2b: ADD 00000a2c: POP 00000a2d: SWAP2 00000a2e: POP 00000a2f: DUP3 00000a30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a45: AND 00000a46: PUSH1 0x00 00000a48: DUP4 00000a49: DUP7 00000a4a: DIV 00000a4b: PUSH1 0x40 00000a4d: MLOAD 00000a4e: DUP1 00000a4f: SWAP1 00000a50: POP 00000a51: PUSH1 0x00 00000a53: PUSH1 0x40 00000a55: MLOAD 00000a56: DUP1 00000a57: DUP4 00000a58: SUB 00000a59: DUP2 00000a5a: DUP6 00000a5b: DUP9 00000a5c: DUP9 00000a5d: CALL 00000a5e: SWAP4 00000a5f: POP 00000a60: POP 00000a61: POP 00000a62: POP 00000a63: POP 00000a64: PUSH2 0x0103 00000a67: PUSH1 0x00 00000a69: SWAP1 00000a6a: SLOAD 00000a6b: SWAP1 00000a6c: PUSH2 0x0100 00000a6f: EXP 00000a70: SWAP1 00000a71: DIV 00000a72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a87: AND 00000a88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a9d: AND 00000a9e: PUSH1 0x00 00000aa0: DUP4 00000aa1: DUP7 00000aa2: DIV 00000aa3: DUP7 00000aa4: SUB 00000aa5: PUSH1 0x40 00000aa7: MLOAD 00000aa8: DUP1 00000aa9: SWAP1 00000aaa: POP 00000aab: PUSH1 0x00 00000aad: PUSH1 0x40 00000aaf: MLOAD 00000ab0: DUP1 00000ab1: DUP4 00000ab2: SUB 00000ab3: DUP2 00000ab4: DUP6 00000ab5: DUP9 00000ab6: DUP9 00000ab7: CALL 00000ab8: SWAP4 00000ab9: POP 00000aba: POP 00000abb: POP 00000abc: POP 00000abd: POP 00000abe: JUMPDEST 00000abf: PUSH2 0x0103 00000ac2: PUSH1 0x00 00000ac4: SWAP1 00000ac5: SLOAD 00000ac6: SWAP1 00000ac7: PUSH2 0x0100 00000aca: EXP 00000acb: SWAP1 00000acc: DIV 00000acd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ae2: AND 00000ae3: PUSH1 0x00 00000ae5: PUSH1 0x00 00000ae7: PUSH2 0x0100 00000aea: EXP 00000aeb: DUP2 00000aec: SLOAD 00000aed: DUP2 00000aee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b03: MUL 00000b04: NOT 00000b05: AND 00000b06: SWAP1 00000b07: DUP4 00000b08: MUL 00000b09: OR 00000b0a: SWAP1 00000b0b: SSTORE 00000b0c: POP 00000b0d: JUMPDEST 00000b0e: POP 00000b0f: JUMPDEST 00000b10: POP 00000b11: POP 00000b12: POP 00000b13: JUMP 00000b14: JUMPDEST 00000b15: PUSH1 0x00 00000b17: PUSH1 0x00 00000b19: SWAP1 00000b1a: SLOAD 00000b1b: SWAP1 00000b1c: PUSH2 0x0100 00000b1f: EXP 00000b20: SWAP1 00000b21: DIV 00000b22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b37: AND 00000b38: DUP2 00000b39: JUMP 00000b3a: JUMPDEST 00000b3b: PUSH1 0x01 00000b3d: PUSH1 0x00 00000b3f: POP 00000b40: SLOAD 00000b41: DUP2 00000b42: JUMP 00000b43: JUMPDEST 00000b44: PUSH2 0x0109 00000b47: PUSH1 0x00 00000b49: SWAP1 00000b4a: SLOAD 00000b4b: SWAP1 00000b4c: PUSH2 0x0100 00000b4f: EXP 00000b50: SWAP1 00000b51: DIV 00000b52: PUSH1 0xff 00000b54: AND 00000b55: DUP2 00000b56: JUMP 00000b57: JUMPDEST 00000b58: PUSH1 0x00 00000b5a: PUSH1 0x00 00000b5c: SWAP1 00000b5d: SLOAD 00000b5e: SWAP1 00000b5f: PUSH2 0x0100 00000b62: EXP 00000b63: SWAP1 00000b64: DIV 00000b65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b7a: AND 00000b7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b90: AND 00000b91: CALLER 00000b92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ba7: AND 00000ba8: EQ 00000ba9: ISZERO 00000baa: DUP1 00000bab: ISZERO 00000bac: PUSH2 0x0bbb 00000baf: JUMPI 00000bb0: POP 00000bb1: PUSH2 0x0bb9 00000bb4: CALLER 00000bb5: PUSH2 0x128d 00000bb8: JUMP 00000bb9: JUMPDEST 00000bba: ISZERO 00000bbb: JUMPDEST 00000bbc: ISZERO 00000bbd: PUSH2 0x0bc5 00000bc0: JUMPI 00000bc1: PUSH2 0x0002 00000bc4: JUMP 00000bc5: JUMPDEST 00000bc6: PUSH1 0x00 00000bc8: CALLVALUE 00000bc9: GT 00000bca: ISZERO 00000bcb: PUSH2 0x0bd3 00000bce: JUMPI 00000bcf: PUSH2 0x0002 00000bd2: JUMP 00000bd3: JUMPDEST 00000bd4: PUSH32 0x59ebeb90bc63057b6515673c3ecf9438e5058bca0f92585014eced636878c9a5 00000bf5: PUSH1 0x40 00000bf7: MLOAD 00000bf8: DUP1 00000bf9: SWAP1 00000bfa: POP 00000bfb: PUSH1 0x40 00000bfd: MLOAD 00000bfe: DUP1 00000bff: SWAP2 00000c00: SUB 00000c01: SWAP1 00000c02: LOG1 00000c03: JUMPDEST 00000c04: JUMP 00000c05: JUMPDEST 00000c06: PUSH2 0x0103 00000c09: PUSH1 0x00 00000c0b: SWAP1 00000c0c: SLOAD 00000c0d: SWAP1 00000c0e: PUSH2 0x0100 00000c11: EXP 00000c12: SWAP1 00000c13: DIV 00000c14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c29: AND 00000c2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c3f: AND 00000c40: CALLER 00000c41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c56: AND 00000c57: EQ 00000c58: ISZERO 00000c59: ISZERO 00000c5a: PUSH2 0x0c62 00000c5d: JUMPI 00000c5e: PUSH2 0x0002 00000c61: JUMP 00000c62: JUMPDEST 00000c63: PUSH1 0x00 00000c65: CALLVALUE 00000c66: GT 00000c67: ISZERO 00000c68: PUSH2 0x0c70 00000c6b: JUMPI 00000c6c: PUSH2 0x0002 00000c6f: JUMP 00000c70: JUMPDEST 00000c71: DUP1 00000c72: PUSH2 0x0106 00000c75: PUSH1 0x00 00000c77: POP 00000c78: DUP2 00000c79: SWAP1 00000c7a: SSTORE 00000c7b: POP 00000c7c: JUMPDEST 00000c7d: POP 00000c7e: JUMP 00000c7f: JUMPDEST 00000c80: PUSH2 0x0106 00000c83: PUSH1 0x00 00000c85: POP 00000c86: SLOAD 00000c87: DUP2 00000c88: JUMP 00000c89: JUMPDEST 00000c8a: PUSH2 0x0103 00000c8d: PUSH1 0x00 00000c8f: SWAP1 00000c90: SLOAD 00000c91: SWAP1 00000c92: PUSH2 0x0100 00000c95: EXP 00000c96: SWAP1 00000c97: DIV 00000c98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cad: AND 00000cae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cc3: AND 00000cc4: CALLER 00000cc5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cda: AND 00000cdb: EQ 00000cdc: ISZERO 00000cdd: ISZERO 00000cde: PUSH2 0x0ce6 00000ce1: JUMPI 00000ce2: PUSH2 0x0002 00000ce5: JUMP 00000ce6: JUMPDEST 00000ce7: PUSH1 0x00 00000ce9: CALLVALUE 00000cea: GT 00000ceb: ISZERO 00000cec: PUSH2 0x0cf4 00000cef: JUMPI 00000cf0: PUSH2 0x0002 00000cf3: JUMP 00000cf4: JUMPDEST 00000cf5: DUP1 00000cf6: PUSH2 0x0104 00000cf9: PUSH1 0x00 00000cfb: POP 00000cfc: DUP2 00000cfd: SWAP1 00000cfe: SSTORE 00000cff: POP 00000d00: JUMPDEST 00000d01: POP 00000d02: JUMP 00000d03: JUMPDEST 00000d04: PUSH2 0x0109 00000d07: PUSH1 0x01 00000d09: SWAP1 00000d0a: SLOAD 00000d0b: SWAP1 00000d0c: PUSH2 0x0100 00000d0f: EXP 00000d10: SWAP1 00000d11: DIV 00000d12: PUSH1 0xff 00000d14: AND 00000d15: DUP2 00000d16: JUMP 00000d17: JUMPDEST 00000d18: PUSH2 0x0103 00000d1b: PUSH1 0x00 00000d1d: SWAP1 00000d1e: SLOAD 00000d1f: SWAP1 00000d20: PUSH2 0x0100 00000d23: EXP 00000d24: SWAP1 00000d25: DIV 00000d26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d3b: AND 00000d3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d51: AND 00000d52: CALLER 00000d53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d68: AND 00000d69: EQ 00000d6a: ISZERO 00000d6b: ISZERO 00000d6c: PUSH2 0x0d74 00000d6f: JUMPI 00000d70: PUSH2 0x0002 00000d73: JUMP 00000d74: JUMPDEST 00000d75: PUSH1 0x00 00000d77: CALLVALUE 00000d78: GT 00000d79: ISZERO 00000d7a: PUSH2 0x0d82 00000d7d: JUMPI 00000d7e: PUSH2 0x0002 00000d81: JUMP 00000d82: JUMPDEST 00000d83: DUP1 00000d84: PUSH2 0x0109 00000d87: PUSH1 0x01 00000d89: PUSH2 0x0100 00000d8c: EXP 00000d8d: DUP2 00000d8e: SLOAD 00000d8f: DUP2 00000d90: PUSH1 0xff 00000d92: MUL 00000d93: NOT 00000d94: AND 00000d95: SWAP1 00000d96: DUP4 00000d97: MUL 00000d98: OR 00000d99: SWAP1 00000d9a: SSTORE 00000d9b: POP 00000d9c: JUMPDEST 00000d9d: POP 00000d9e: JUMP 00000d9f: JUMPDEST 00000da0: PUSH2 0x0103 00000da3: PUSH1 0x00 00000da5: SWAP1 00000da6: SLOAD 00000da7: SWAP1 00000da8: PUSH2 0x0100 00000dab: EXP 00000dac: SWAP1 00000dad: DIV 00000dae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dc3: AND 00000dc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dd9: AND 00000dda: CALLER 00000ddb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000df0: AND 00000df1: EQ 00000df2: ISZERO 00000df3: ISZERO 00000df4: PUSH2 0x0dfc 00000df7: JUMPI 00000df8: PUSH2 0x0002 00000dfb: JUMP 00000dfc: JUMPDEST 00000dfd: PUSH1 0x00 00000dff: CALLVALUE 00000e00: GT 00000e01: ISZERO 00000e02: PUSH2 0x0e0a 00000e05: JUMPI 00000e06: PUSH2 0x0002 00000e09: JUMP 00000e0a: JUMPDEST 00000e0b: DUP1 00000e0c: PUSH2 0x0103 00000e0f: PUSH1 0x00 00000e11: PUSH2 0x0100 00000e14: EXP 00000e15: DUP2 00000e16: SLOAD 00000e17: DUP2 00000e18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2d: MUL 00000e2e: NOT 00000e2f: AND 00000e30: SWAP1 00000e31: DUP4 00000e32: MUL 00000e33: OR 00000e34: SWAP1 00000e35: SSTORE 00000e36: POP 00000e37: JUMPDEST 00000e38: POP 00000e39: JUMP 00000e3a: JUMPDEST 00000e3b: PUSH1 0x00 00000e3d: PUSH20 0xaabbccddeeff0011223344556677889900aabbcc 00000e52: SWAP1 00000e53: POP 00000e54: DUP1 00000e55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e6a: AND 00000e6b: PUSH4 0x1277e24f 00000e70: CALLVALUE 00000e71: PUSH1 0x40 00000e73: MLOAD 00000e74: DUP3 00000e75: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000e93: MUL 00000e94: DUP2 00000e95: MSTORE 00000e96: PUSH1 0x04 00000e98: ADD 00000e99: DUP1 00000e9a: SWAP1 00000e9b: POP 00000e9c: PUSH1 0x20 00000e9e: PUSH1 0x40 00000ea0: MLOAD 00000ea1: DUP1 00000ea2: DUP4 00000ea3: SUB 00000ea4: DUP2 00000ea5: DUP6 00000ea6: DUP9 00000ea7: PUSH2 0x8502 00000eaa: GAS 00000eab: SUB 00000eac: CALL 00000ead: ISZERO 00000eae: PUSH2 0x0002 00000eb1: JUMPI 00000eb2: POP 00000eb3: POP 00000eb4: POP 00000eb5: POP 00000eb6: PUSH1 0x40 00000eb8: MLOAD 00000eb9: DUP1 00000eba: MLOAD 00000ebb: SWAP1 00000ebc: PUSH1 0x20 00000ebe: ADD 00000ebf: POP 00000ec0: ISZERO 00000ec1: PUSH2 0x0ee3 00000ec4: JUMPI 00000ec5: PUSH1 0x01 00000ec7: PUSH2 0x0109 00000eca: PUSH1 0x02 00000ecc: PUSH2 0x0100 00000ecf: EXP 00000ed0: DUP2 00000ed1: SLOAD 00000ed2: DUP2 00000ed3: PUSH1 0xff 00000ed5: MUL 00000ed6: NOT 00000ed7: AND 00000ed8: SWAP1 00000ed9: DUP4 00000eda: MUL 00000edb: OR 00000edc: SWAP1 00000edd: SSTORE 00000ede: POP 00000edf: PUSH2 0x0ee8 00000ee2: JUMP 00000ee3: JUMPDEST 00000ee4: PUSH2 0x0002 00000ee7: JUMP 00000ee8: JUMPDEST 00000ee9: JUMPDEST 00000eea: POP 00000eeb: JUMP 00000eec: JUMPDEST 00000eed: PUSH2 0x0103 00000ef0: PUSH1 0x00 00000ef2: SWAP1 00000ef3: SLOAD 00000ef4: SWAP1 00000ef5: PUSH2 0x0100 00000ef8: EXP 00000ef9: SWAP1 00000efa: DIV 00000efb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f10: AND 00000f11: DUP2 00000f12: JUMP 00000f13: JUMPDEST 00000f14: PUSH1 0x00 00000f16: PUSH1 0x00 00000f18: PUSH1 0x00 00000f1a: SWAP1 00000f1b: SLOAD 00000f1c: SWAP1 00000f1d: PUSH2 0x0100 00000f20: EXP 00000f21: SWAP1 00000f22: DIV 00000f23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f38: AND 00000f39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f4e: AND 00000f4f: CALLER 00000f50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f65: AND 00000f66: EQ 00000f67: ISZERO 00000f68: PUSH2 0x10c8 00000f6b: JUMPI 00000f6c: PUSH2 0x0f74 00000f6f: DUP3 00000f70: PUSH2 0x128d 00000f73: JUMP 00000f74: JUMPDEST 00000f75: ISZERO 00000f76: PUSH2 0x0f7e 00000f79: JUMPI 00000f7a: PUSH2 0x10c9 00000f7d: JUMP 00000f7e: JUMPDEST 00000f7f: PUSH2 0x0102 00000f82: PUSH1 0x00 00000f84: POP 00000f85: PUSH1 0x00 00000f87: DUP5 00000f88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f9d: AND 00000f9e: DUP2 00000f9f: MSTORE 00000fa0: PUSH1 0x20 00000fa2: ADD 00000fa3: SWAP1 00000fa4: DUP2 00000fa5: MSTORE 00000fa6: PUSH1 0x20 00000fa8: ADD 00000fa9: PUSH1 0x00 00000fab: KECCAK256 00000fac: PUSH1 0x00 00000fae: POP 00000faf: SLOAD 00000fb0: SWAP1 00000fb1: POP 00000fb2: PUSH1 0x00 00000fb4: DUP2 00000fb5: EQ 00000fb6: ISZERO 00000fb7: PUSH2 0x0fbf 00000fba: JUMPI 00000fbb: PUSH2 0x10c9 00000fbe: JUMP 00000fbf: JUMPDEST 00000fc0: DUP2 00000fc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fd6: AND 00000fd7: PUSH1 0x02 00000fd9: PUSH1 0x00 00000fdb: POP 00000fdc: DUP3 00000fdd: PUSH2 0x0100 00000fe0: DUP2 00000fe1: LT 00000fe2: ISZERO 00000fe3: PUSH2 0x0002 00000fe6: JUMPI 00000fe7: SWAP1 00000fe8: SWAP1 00000fe9: ADD 00000fea: PUSH1 0x00 00000fec: JUMPDEST 00000fed: POP 00000fee: DUP2 00000fef: SWAP1 00000ff0: SSTORE 00000ff1: POP 00000ff2: PUSH1 0x00 00000ff4: PUSH2 0x0102 00000ff7: PUSH1 0x00 00000ff9: POP 00000ffa: PUSH1 0x00 00000ffc: DUP6 00000ffd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001012: AND 00001013: DUP2 00001014: MSTORE 00001015: PUSH1 0x20 00001017: ADD 00001018: SWAP1 00001019: DUP2 0000101a: MSTORE 0000101b: PUSH1 0x20 0000101d: ADD 0000101e: PUSH1 0x00 00001020: KECCAK256 00001021: PUSH1 0x00 00001023: POP 00001024: DUP2 00001025: SWAP1 00001026: SSTORE 00001027: POP 00001028: DUP1 00001029: PUSH2 0x0102 0000102c: PUSH1 0x00 0000102e: POP 0000102f: PUSH1 0x00 00001031: DUP5 00001032: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001047: AND 00001048: DUP2 00001049: MSTORE 0000104a: PUSH1 0x20 0000104c: ADD 0000104d: SWAP1 0000104e: DUP2 0000104f: MSTORE 00001050: PUSH1 0x20 00001052: ADD 00001053: PUSH1 0x00 00001055: KECCAK256 00001056: PUSH1 0x00 00001058: POP 00001059: DUP2 0000105a: SWAP1 0000105b: SSTORE 0000105c: POP 0000105d: PUSH32 0xd46aad17d686e6694fd1489c284a2b57f0f1db21058c5fed1a090364c691cc99 0000107e: DUP4 0000107f: DUP4 00001080: PUSH1 0x40 00001082: MLOAD 00001083: DUP1 00001084: DUP4 00001085: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000109a: AND 0000109b: DUP2 0000109c: MSTORE 0000109d: PUSH1 0x20 0000109f: ADD 000010a0: DUP3 000010a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010b6: AND 000010b7: DUP2 000010b8: MSTORE 000010b9: PUSH1 0x20 000010bb: ADD 000010bc: SWAP3 000010bd: POP 000010be: POP 000010bf: POP 000010c0: PUSH1 0x40 000010c2: MLOAD 000010c3: DUP1 000010c4: SWAP2 000010c5: SUB 000010c6: SWAP1 000010c7: LOG1 000010c8: JUMPDEST 000010c9: JUMPDEST 000010ca: POP 000010cb: POP 000010cc: POP 000010cd: JUMP 000010ce: JUMPDEST 000010cf: PUSH2 0x0104 000010d2: PUSH1 0x00 000010d4: POP 000010d5: SLOAD 000010d6: DUP2 000010d7: JUMP 000010d8: JUMPDEST 000010d9: PUSH2 0x0103 000010dc: PUSH1 0x00 000010de: SWAP1 000010df: SLOAD 000010e0: SWAP1 000010e1: PUSH2 0x0100 000010e4: EXP 000010e5: SWAP1 000010e6: DIV 000010e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010fc: AND 000010fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001112: AND 00001113: CALLER 00001114: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001129: AND 0000112a: EQ 0000112b: ISZERO 0000112c: ISZERO 0000112d: PUSH2 0x1135 00001130: JUMPI 00001131: PUSH2 0x0002 00001134: JUMP 00001135: JUMPDEST 00001136: PUSH1 0x00 00001138: CALLVALUE 00001139: GT 0000113a: ISZERO 0000113b: PUSH2 0x1143 0000113e: JUMPI 0000113f: PUSH2 0x0002 00001142: JUMP 00001143: JUMPDEST 00001144: DUP1 00001145: PUSH2 0x0105 00001148: PUSH1 0x00 0000114a: POP 0000114b: DUP2 0000114c: SWAP1 0000114d: SSTORE 0000114e: POP 0000114f: JUMPDEST 00001150: POP 00001151: JUMP 00001152: JUMPDEST 00001153: PUSH1 0x00 00001155: PUSH1 0x00 00001157: PUSH1 0x00 00001159: SWAP1 0000115a: SLOAD 0000115b: SWAP1 0000115c: PUSH2 0x0100 0000115f: EXP 00001160: SWAP1 00001161: DIV 00001162: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001177: AND 00001178: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000118d: AND 0000118e: CALLER 0000118f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011a4: AND 000011a5: EQ 000011a6: DUP1 000011a7: PUSH2 0x11b5 000011aa: JUMPI 000011ab: POP 000011ac: PUSH2 0x11b4 000011af: DUP3 000011b0: PUSH2 0x128d 000011b3: JUMP 000011b4: JUMPDEST 000011b5: JUMPDEST 000011b6: SWAP1 000011b7: POP 000011b8: PUSH2 0x11bc 000011bb: JUMP 000011bc: JUMPDEST 000011bd: SWAP2 000011be: SWAP1 000011bf: POP 000011c0: JUMP 000011c1: JUMPDEST 000011c2: PUSH1 0x00 000011c4: PUSH1 0x00 000011c6: SWAP1 000011c7: SLOAD 000011c8: SWAP1 000011c9: PUSH2 0x0100 000011cc: EXP 000011cd: SWAP1 000011ce: DIV 000011cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011e4: AND 000011e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011fa: AND 000011fb: CALLER 000011fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001211: AND 00001212: EQ 00001213: ISZERO 00001214: DUP1 00001215: ISZERO 00001216: PUSH2 0x1225 00001219: JUMPI 0000121a: POP 0000121b: PUSH2 0x1223 0000121e: CALLER 0000121f: PUSH2 0x128d 00001222: JUMP 00001223: JUMPDEST 00001224: ISZERO 00001225: JUMPDEST 00001226: ISZERO 00001227: PUSH2 0x122f 0000122a: JUMPI 0000122b: PUSH2 0x0002 0000122e: JUMP 0000122f: JUMPDEST 00001230: PUSH1 0x00 00001232: CALLVALUE 00001233: GT 00001234: ISZERO 00001235: PUSH2 0x123d 00001238: JUMPI 00001239: PUSH2 0x0002 0000123c: JUMP 0000123d: JUMPDEST 0000123e: PUSH32 0xc35789ccff76271dc0efa6bfde2f4d4a32cd48dd86278f75f8648cb068c86e3b 0000125f: PUSH1 0x40 00001261: MLOAD 00001262: DUP1 00001263: SWAP1 00001264: POP 00001265: PUSH1 0x40 00001267: MLOAD 00001268: DUP1 00001269: SWAP2 0000126a: SUB 0000126b: SWAP1 0000126c: LOG1 0000126d: JUMPDEST 0000126e: JUMP 0000126f: JUMPDEST 00001270: PUSH2 0x0109 00001273: PUSH1 0x02 00001275: SWAP1 00001276: SLOAD 00001277: SWAP1 00001278: PUSH2 0x0100 0000127b: EXP 0000127c: SWAP1 0000127d: DIV 0000127e: PUSH1 0xff 00001280: AND 00001281: DUP2 00001282: JUMP 00001283: JUMPDEST 00001284: PUSH2 0x0107 00001287: PUSH1 0x00 00001289: POP 0000128a: SLOAD 0000128b: DUP2 0000128c: JUMP 0000128d: JUMPDEST 0000128e: PUSH1 0x00 00001290: PUSH1 0x00 00001292: PUSH2 0x0102 00001295: PUSH1 0x00 00001297: POP 00001298: PUSH1 0x00 0000129a: DUP5 0000129b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012b0: AND 000012b1: DUP2 000012b2: MSTORE 000012b3: PUSH1 0x20 000012b5: ADD 000012b6: SWAP1 000012b7: DUP2 000012b8: MSTORE 000012b9: PUSH1 0x20 000012bb: ADD 000012bc: PUSH1 0x00 000012be: KECCAK256 000012bf: PUSH1 0x00 000012c1: POP 000012c2: SLOAD 000012c3: GT 000012c4: SWAP1 000012c5: POP 000012c6: PUSH2 0x12ca 000012c9: JUMP 000012ca: JUMPDEST 000012cb: SWAP2 000012cc: SWAP1 000012cd: POP 000012ce: JUMP 000012cf: JUMPDEST 000012d0: PUSH1 0x00 000012d2: PUSH1 0x00 000012d4: PUSH1 0x00 000012d6: SWAP1 000012d7: SLOAD 000012d8: SWAP1 000012d9: PUSH2 0x0100 000012dc: EXP 000012dd: SWAP1 000012de: DIV 000012df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012f4: AND 000012f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000130a: AND 0000130b: CALLER 0000130c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001321: AND 00001322: EQ 00001323: ISZERO 00001324: PUSH2 0x1411 00001327: JUMPI 00001328: PUSH2 0x0102 0000132b: PUSH1 0x00 0000132d: POP 0000132e: PUSH1 0x00 00001330: DUP4 00001331: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001346: AND 00001347: DUP2 00001348: MSTORE 00001349: PUSH1 0x20 0000134b: ADD 0000134c: SWAP1 0000134d: DUP2 0000134e: MSTORE 0000134f: PUSH1 0x20 00001351: ADD 00001352: PUSH1 0x00 00001354: KECCAK256 00001355: PUSH1 0x00 00001357: POP 00001358: SLOAD 00001359: SWAP1 0000135a: POP 0000135b: PUSH1 0x00 0000135d: DUP2 0000135e: EQ 0000135f: ISZERO 00001360: PUSH2 0x1368 00001363: JUMPI 00001364: PUSH2 0x1412 00001367: JUMP 00001368: JUMPDEST 00001369: PUSH1 0x00 0000136b: PUSH1 0x02 0000136d: PUSH1 0x00 0000136f: POP 00001370: DUP3 00001371: PUSH2 0x0100 00001374: DUP2 00001375: LT 00001376: ISZERO 00001377: PUSH2 0x0002 0000137a: JUMPI 0000137b: SWAP1 0000137c: SWAP1 0000137d: ADD 0000137e: PUSH1 0x00 00001380: JUMPDEST 00001381: POP 00001382: DUP2 00001383: SWAP1 00001384: SSTORE 00001385: POP 00001386: PUSH1 0x00 00001388: PUSH2 0x0102 0000138b: PUSH1 0x00 0000138d: POP 0000138e: PUSH1 0x00 00001390: DUP5 00001391: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013a6: AND 000013a7: DUP2 000013a8: MSTORE 000013a9: PUSH1 0x20 000013ab: ADD 000013ac: SWAP1 000013ad: DUP2 000013ae: MSTORE 000013af: PUSH1 0x20 000013b1: ADD 000013b2: PUSH1 0x00 000013b4: KECCAK256 000013b5: PUSH1 0x00 000013b7: POP 000013b8: DUP2 000013b9: SWAP1 000013ba: SSTORE 000013bb: POP 000013bc: PUSH2 0x13c3 000013bf: PUSH2 0x1622 000013c2: JUMP 000013c3: JUMPDEST 000013c4: PUSH32 0x6a37ffc52990045d3469996848ab81648f400b16483ee42f2b505395967db25a 000013e5: DUP3 000013e6: PUSH1 0x40 000013e8: MLOAD 000013e9: DUP1 000013ea: DUP3 000013eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001400: AND 00001401: DUP2 00001402: MSTORE 00001403: PUSH1 0x20 00001405: ADD 00001406: SWAP2 00001407: POP 00001408: POP 00001409: PUSH1 0x40 0000140b: MLOAD 0000140c: DUP1 0000140d: SWAP2 0000140e: SUB 0000140f: SWAP1 00001410: LOG1 00001411: JUMPDEST 00001412: JUMPDEST 00001413: POP 00001414: POP 00001415: JUMP 00001416: JUMPDEST 00001417: PUSH1 0x00 00001419: PUSH1 0x00 0000141b: SWAP1 0000141c: SLOAD 0000141d: SWAP1 0000141e: PUSH2 0x0100 00001421: EXP 00001422: SWAP1 00001423: DIV 00001424: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001439: AND 0000143a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000144f: AND 00001450: CALLER 00001451: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001466: AND 00001467: EQ 00001468: ISZERO 00001469: PUSH2 0x157e 0000146c: JUMPI 0000146d: PUSH2 0x1475 00001470: DUP2 00001471: PUSH2 0x128d 00001474: JUMP 00001475: JUMPDEST 00001476: ISZERO 00001477: PUSH2 0x147f 0000147a: JUMPI 0000147b: PUSH2 0x157f 0000147e: JUMP 0000147f: JUMPDEST 00001480: PUSH1 0xfa 00001482: PUSH1 0x01 00001484: PUSH1 0x00 00001486: POP 00001487: SLOAD 00001488: LT 00001489: ISZERO 0000148a: ISZERO 0000148b: PUSH2 0x1497 0000148e: JUMPI 0000148f: PUSH2 0x1496 00001492: PUSH2 0x1622 00001495: JUMP 00001496: JUMPDEST 00001497: JUMPDEST 00001498: PUSH1 0xfa 0000149a: PUSH1 0x01 0000149c: PUSH1 0x00 0000149e: POP 0000149f: SLOAD 000014a0: LT 000014a1: ISZERO 000014a2: ISZERO 000014a3: PUSH2 0x14ab 000014a6: JUMPI 000014a7: PUSH2 0x0002 000014aa: JUMP 000014ab: JUMPDEST 000014ac: PUSH1 0x01 000014ae: PUSH1 0x00 000014b0: DUP2 000014b1: DUP2 000014b2: POP 000014b3: SLOAD 000014b4: DUP1 000014b5: SWAP3 000014b6: SWAP2 000014b7: SWAP1 000014b8: PUSH1 0x01 000014ba: ADD 000014bb: SWAP2 000014bc: SWAP1 000014bd: POP 000014be: SSTORE 000014bf: POP 000014c0: DUP1 000014c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014d6: AND 000014d7: PUSH1 0x02 000014d9: PUSH1 0x00 000014db: POP 000014dc: PUSH1 0x01 000014de: PUSH1 0x00 000014e0: POP 000014e1: SLOAD 000014e2: PUSH2 0x0100 000014e5: DUP2 000014e6: LT 000014e7: ISZERO 000014e8: PUSH2 0x0002 000014eb: JUMPI 000014ec: SWAP1 000014ed: SWAP1 000014ee: ADD 000014ef: PUSH1 0x00 000014f1: JUMPDEST 000014f2: POP 000014f3: DUP2 000014f4: SWAP1 000014f5: SSTORE 000014f6: POP 000014f7: PUSH1 0x01 000014f9: PUSH1 0x00 000014fb: POP 000014fc: SLOAD 000014fd: PUSH2 0x0102 00001500: PUSH1 0x00 00001502: POP 00001503: PUSH1 0x00 00001505: DUP4 00001506: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000151b: AND 0000151c: DUP2 0000151d: MSTORE 0000151e: PUSH1 0x20 00001520: ADD 00001521: SWAP1 00001522: DUP2 00001523: MSTORE 00001524: PUSH1 0x20 00001526: ADD 00001527: PUSH1 0x00 00001529: KECCAK256 0000152a: PUSH1 0x00 0000152c: POP 0000152d: DUP2 0000152e: SWAP1 0000152f: SSTORE 00001530: POP 00001531: PUSH32 0x876835a5b1e1ea520eed23dd653cf470ba7fabbd1a104bf5b74b9067e75dbe4e 00001552: DUP2 00001553: PUSH1 0x40 00001555: MLOAD 00001556: DUP1 00001557: DUP3 00001558: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000156d: AND 0000156e: DUP2 0000156f: MSTORE 00001570: PUSH1 0x20 00001572: ADD 00001573: SWAP2 00001574: POP 00001575: POP 00001576: PUSH1 0x40 00001578: MLOAD 00001579: DUP1 0000157a: SWAP2 0000157b: SUB 0000157c: SWAP1 0000157d: LOG1 0000157e: JUMPDEST 0000157f: JUMPDEST 00001580: POP 00001581: JUMP 00001582: JUMPDEST 00001583: PUSH1 0x00 00001585: PUSH1 0x01 00001587: SWAP1 00001588: POP 00001589: JUMPDEST 0000158a: PUSH1 0x01 0000158c: PUSH1 0x00 0000158e: POP 0000158f: SLOAD 00001590: DUP2 00001591: PUSH1 0xff 00001593: AND 00001594: GT 00001595: ISZERO 00001596: ISZERO 00001597: PUSH2 0x15df 0000159a: JUMPI 0000159b: PUSH1 0x00 0000159d: PUSH2 0x0102 000015a0: PUSH1 0x00 000015a2: POP 000015a3: PUSH1 0x00 000015a5: PUSH1 0x02 000015a7: PUSH1 0x00 000015a9: POP 000015aa: DUP5 000015ab: PUSH2 0x0100 000015ae: DUP2 000015af: LT 000015b0: ISZERO 000015b1: PUSH2 0x0002 000015b4: JUMPI 000015b5: SWAP1 000015b6: SWAP1 000015b7: ADD 000015b8: PUSH1 0x00 000015ba: JUMPDEST 000015bb: POP 000015bc: SLOAD 000015bd: DUP2 000015be: MSTORE 000015bf: PUSH1 0x20 000015c1: ADD 000015c2: SWAP1 000015c3: DUP2 000015c4: MSTORE 000015c5: PUSH1 0x20 000015c7: ADD 000015c8: PUSH1 0x00 000015ca: KECCAK256 000015cb: PUSH1 0x00 000015cd: POP 000015ce: DUP2 000015cf: SWAP1 000015d0: SSTORE 000015d1: POP 000015d2: JUMPDEST 000015d3: DUP1 000015d4: DUP1 000015d5: PUSH1 0x01 000015d7: ADD 000015d8: SWAP2 000015d9: POP 000015da: POP 000015db: PUSH2 0x1589 000015de: JUMP 000015df: JUMPDEST 000015e0: PUSH1 0x02 000015e2: PUSH1 0x00 000015e4: POP 000015e5: DUP1 000015e6: PUSH2 0x0100 000015e9: ADD 000015ea: SWAP1 000015eb: PUSH2 0x1612 000015ee: SWAP2 000015ef: SWAP1 000015f0: PUSH2 0x15f4 000015f3: JUMP 000015f4: JUMPDEST 000015f5: DUP1 000015f6: DUP3 000015f7: GT 000015f8: ISZERO 000015f9: PUSH2 0x160e 000015fc: JUMPI 000015fd: PUSH1 0x00 000015ff: DUP2 00001600: DUP2 00001601: POP 00001602: PUSH1 0x00 00001604: SWAP1 00001605: SSTORE 00001606: POP 00001607: PUSH1 0x01 00001609: ADD 0000160a: PUSH2 0x15f4 0000160d: JUMP 0000160e: JUMPDEST 0000160f: POP 00001610: SWAP1 00001611: JUMP 00001612: JUMPDEST 00001613: POP 00001614: PUSH1 0x00 00001616: PUSH1 0x01 00001618: PUSH1 0x00 0000161a: POP 0000161b: DUP2 0000161c: SWAP1 0000161d: SSTORE 0000161e: POP 0000161f: JUMPDEST 00001620: POP 00001621: JUMP 00001622: JUMPDEST 00001623: PUSH1 0x00 00001625: PUSH1 0x01 00001627: SWAP1 00001628: POP 00001629: JUMPDEST 0000162a: PUSH1 0x01 0000162c: PUSH1 0x00 0000162e: POP 0000162f: SLOAD 00001630: DUP2 00001631: LT 00001632: ISZERO 00001633: PUSH2 0x17b5 00001636: JUMPI 00001637: JUMPDEST 00001638: PUSH1 0x01 0000163a: PUSH1 0x00 0000163c: POP 0000163d: SLOAD 0000163e: DUP2 0000163f: LT 00001640: DUP1 00001641: ISZERO 00001642: PUSH2 0x1663 00001645: JUMPI 00001646: POP 00001647: PUSH1 0x00 00001649: PUSH1 0x02 0000164b: PUSH1 0x00 0000164d: POP 0000164e: DUP3 0000164f: PUSH2 0x0100 00001652: DUP2 00001653: LT 00001654: ISZERO 00001655: PUSH2 0x0002 00001658: JUMPI 00001659: SWAP1 0000165a: SWAP1 0000165b: ADD 0000165c: PUSH1 0x00 0000165e: JUMPDEST 0000165f: POP 00001660: SLOAD 00001661: EQ 00001662: ISZERO 00001663: JUMPDEST 00001664: ISZERO 00001665: PUSH2 0x1675 00001668: JUMPI 00001669: DUP1 0000166a: DUP1 0000166b: PUSH1 0x01 0000166d: ADD 0000166e: SWAP2 0000166f: POP 00001670: POP 00001671: PUSH2 0x1637 00001674: JUMP 00001675: JUMPDEST 00001676: JUMPDEST 00001677: PUSH1 0x01 00001679: PUSH1 0x01 0000167b: PUSH1 0x00 0000167d: POP 0000167e: SLOAD 0000167f: GT 00001680: DUP1 00001681: ISZERO 00001682: PUSH2 0x16a7 00001685: JUMPI 00001686: POP 00001687: PUSH1 0x00 00001689: PUSH1 0x02 0000168b: PUSH1 0x00 0000168d: POP 0000168e: PUSH1 0x01 00001690: PUSH1 0x00 00001692: POP 00001693: SLOAD 00001694: PUSH2 0x0100 00001697: DUP2 00001698: LT 00001699: ISZERO 0000169a: PUSH2 0x0002 0000169d: JUMPI 0000169e: SWAP1 0000169f: SWAP1 000016a0: ADD 000016a1: PUSH1 0x00 000016a3: JUMPDEST 000016a4: POP 000016a5: SLOAD 000016a6: EQ 000016a7: JUMPDEST 000016a8: ISZERO 000016a9: PUSH2 0x16c6 000016ac: JUMPI 000016ad: PUSH1 0x01 000016af: PUSH1 0x00 000016b1: DUP2 000016b2: DUP2 000016b3: POP 000016b4: SLOAD 000016b5: DUP1 000016b6: SWAP3 000016b7: SWAP2 000016b8: SWAP1 000016b9: PUSH1 0x01 000016bb: SWAP1 000016bc: SUB 000016bd: SWAP2 000016be: SWAP1 000016bf: POP 000016c0: SSTORE 000016c1: POP 000016c2: PUSH2 0x1676 000016c5: JUMP 000016c6: JUMPDEST 000016c7: PUSH1 0x01 000016c9: PUSH1 0x00 000016cb: POP 000016cc: SLOAD 000016cd: DUP2 000016ce: LT 000016cf: DUP1 000016d0: ISZERO 000016d1: PUSH2 0x16f7 000016d4: JUMPI 000016d5: POP 000016d6: PUSH1 0x00 000016d8: PUSH1 0x02 000016da: PUSH1 0x00 000016dc: POP 000016dd: PUSH1 0x01 000016df: PUSH1 0x00 000016e1: POP 000016e2: SLOAD 000016e3: PUSH2 0x0100 000016e6: DUP2 000016e7: LT 000016e8: ISZERO 000016e9: PUSH2 0x0002 000016ec: JUMPI 000016ed: SWAP1 000016ee: SWAP1 000016ef: ADD 000016f0: PUSH1 0x00 000016f2: JUMPDEST 000016f3: POP 000016f4: SLOAD 000016f5: EQ 000016f6: ISZERO 000016f7: JUMPDEST 000016f8: DUP1 000016f9: ISZERO 000016fa: PUSH2 0x171a 000016fd: JUMPI 000016fe: POP 000016ff: PUSH1 0x00 00001701: PUSH1 0x02 00001703: PUSH1 0x00 00001705: POP 00001706: DUP3 00001707: PUSH2 0x0100 0000170a: DUP2 0000170b: LT 0000170c: ISZERO 0000170d: PUSH2 0x0002 00001710: JUMPI 00001711: SWAP1 00001712: SWAP1 00001713: ADD 00001714: PUSH1 0x00 00001716: JUMPDEST 00001717: POP 00001718: SLOAD 00001719: EQ 0000171a: JUMPDEST 0000171b: ISZERO 0000171c: PUSH2 0x17b0 0000171f: JUMPI 00001720: PUSH1 0x02 00001722: PUSH1 0x00 00001724: POP 00001725: PUSH1 0x01 00001727: PUSH1 0x00 00001729: POP 0000172a: SLOAD 0000172b: PUSH2 0x0100 0000172e: DUP2 0000172f: LT 00001730: ISZERO 00001731: PUSH2 0x0002 00001734: JUMPI 00001735: SWAP1 00001736: SWAP1 00001737: ADD 00001738: PUSH1 0x00 0000173a: JUMPDEST 0000173b: POP 0000173c: SLOAD 0000173d: PUSH1 0x02 0000173f: PUSH1 0x00 00001741: POP 00001742: DUP3 00001743: PUSH2 0x0100 00001746: DUP2 00001747: LT 00001748: ISZERO 00001749: PUSH2 0x0002 0000174c: JUMPI 0000174d: SWAP1 0000174e: SWAP1 0000174f: ADD 00001750: PUSH1 0x00 00001752: JUMPDEST 00001753: POP 00001754: DUP2 00001755: SWAP1 00001756: SSTORE 00001757: POP 00001758: DUP1 00001759: PUSH2 0x0102 0000175c: PUSH1 0x00 0000175e: POP 0000175f: PUSH1 0x00 00001761: PUSH1 0x02 00001763: PUSH1 0x00 00001765: POP 00001766: DUP5 00001767: PUSH2 0x0100 0000176a: DUP2 0000176b: LT 0000176c: ISZERO 0000176d: PUSH2 0x0002 00001770: JUMPI 00001771: SWAP1 00001772: SWAP1 00001773: ADD 00001774: PUSH1 0x00 00001776: JUMPDEST 00001777: POP 00001778: SLOAD 00001779: DUP2 0000177a: MSTORE 0000177b: PUSH1 0x20 0000177d: ADD 0000177e: SWAP1 0000177f: DUP2 00001780: MSTORE 00001781: PUSH1 0x20 00001783: ADD 00001784: PUSH1 0x00 00001786: KECCAK256 00001787: PUSH1 0x00 00001789: POP 0000178a: DUP2 0000178b: SWAP1 0000178c: SSTORE 0000178d: POP 0000178e: PUSH1 0x00 00001790: PUSH1 0x02 00001792: PUSH1 0x00 00001794: POP 00001795: PUSH1 0x01 00001797: PUSH1 0x00 00001799: POP 0000179a: SLOAD 0000179b: PUSH2 0x0100 0000179e: DUP2 0000179f: LT 000017a0: ISZERO 000017a1: PUSH2 0x0002 000017a4: JUMPI 000017a5: SWAP1 000017a6: SWAP1 000017a7: ADD 000017a8: PUSH1 0x00 000017aa: JUMPDEST 000017ab: POP 000017ac: DUP2 000017ad: SWAP1 000017ae: SSTORE 000017af: POP 000017b0: JUMPDEST 000017b1: PUSH2 0x1629 000017b4: JUMP 000017b5: JUMPDEST 000017b6: JUMPDEST 000017b7: POP 000017b8: JUMP
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x46ecfa397cbcb6b805d44f6c6379782ace6299be2b45e7eca6c6e00a84e588b8
call_targets:
0x0e1f1c869a65d60348baf0a8bd0e053fad6fff06
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x46ecfa397cbcb6b805d44f6c6379782ace6299be2b45e7eca6c6e00a84e588b8",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0e1f1c869a65d60348baf0a8bd0e053fad6fff06"
],
"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": "0x018f5472",
"selector": "0x018f5472",
"calldata_variants": [
"0x018f5472",
"0x018f54720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0870607b",
"selector": "0x0870607b",
"calldata_variants": [
"0x0870607b",
"0x0870607b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1277e24f",
"selector": "0x1277e24f",
"calldata_variants": [
"0x1277e24f",
"0x1277e24f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x224993c2",
"selector": "0x224993c2",
"calldata_variants": [
"0x224993c2",
"0x224993c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x43d726d6",
"selector": "0x43d726d6",
"calldata_variants": [
"0x43d726d6",
"0x43d726d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4f8632ba",
"selector": "0x4f8632ba",
"calldata_variants": [
"0x4f8632ba",
"0x4f8632ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5ca8bc52",
"selector": "0x5ca8bc52",
"calldata_variants": [
"0x5ca8bc52",
"0x5ca8bc520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x60ed1905",
"selector": "0x60ed1905",
"calldata_variants": [
"0x60ed1905",
"0x60ed19050000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1671,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1780,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1884,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 10,
"guards_detected": [
{
"pc": 1502,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2279,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2961,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3136,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3268,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3410,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3546,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3919,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4371,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4494,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4603,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4875,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5200,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 10
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x46ecfa397cbcb6b805d44f6c6379782ace6299be2b45e7eca6c6e00a84e588b8
call_targets:
0x0e1f1c869a65d60348baf0a8bd0e053fad6fff06
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x46ecfa397cbcb6b805d44f6c6379782ace6299be2b45e7eca6c6e00a84e588b8",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0e1f1c869a65d60348baf0a8bd0e053fad6fff06"
],
"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": "0x018f5472",
"selector": "0x018f5472",
"calldata_variants": [
"0x018f5472",
"0x018f54720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0870607b",
"selector": "0x0870607b",
"calldata_variants": [
"0x0870607b",
"0x0870607b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1277e24f",
"selector": "0x1277e24f",
"calldata_variants": [
"0x1277e24f",
"0x1277e24f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x224993c2",
"selector": "0x224993c2",
"calldata_variants": [
"0x224993c2",
"0x224993c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x43d726d6",
"selector": "0x43d726d6",
"calldata_variants": [
"0x43d726d6",
"0x43d726d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4f8632ba",
"selector": "0x4f8632ba",
"calldata_variants": [
"0x4f8632ba",
"0x4f8632ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5ca8bc52",
"selector": "0x5ca8bc52",
"calldata_variants": [
"0x5ca8bc52",
"0x5ca8bc520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x60ed1905",
"selector": "0x60ed1905",
"calldata_variants": [
"0x60ed1905",
"0x60ed19050000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1671,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1780,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1884,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 10,
"guards_detected": [
{
"pc": 1502,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2279,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2961,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3136,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3268,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3410,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3546,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3919,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4371,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4494,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4603,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4875,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5200,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|