019b3844-8f3f-71cb-b259-f20cec89e89b
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 |
|---|---|---|---|---|
| 12407 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 12408 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 99486 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 99487 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 99488 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 99489 | 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 0x06fdde03 0000003c: EQ 0000003d: PUSH2 0x00fe 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x095ea7b3 00000047: EQ 00000048: PUSH2 0x018e 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x18160ddd 00000052: EQ 00000053: PUSH2 0x01f3 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x23b872dd 0000005d: EQ 0000005e: PUSH2 0x021e 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x2ff2e9dc 00000068: EQ 00000069: PUSH2 0x02a3 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x313ce567 00000073: EQ 00000074: PUSH2 0x02ce 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x40c10f19 0000007e: EQ 0000007f: PUSH2 0x02ff 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x66188463 00000089: EQ 0000008a: PUSH2 0x034c 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x70a08231 00000094: EQ 00000095: PUSH2 0x03b1 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x8da5cb5b 0000009f: EQ 000000a0: PUSH2 0x0408 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x95d89b41 000000aa: EQ 000000ab: PUSH2 0x045f 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0x9dc29fac 000000b5: EQ 000000b6: PUSH2 0x04ef 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0xa9059cbb 000000c0: EQ 000000c1: PUSH2 0x053c 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0xc1756a2c 000000cb: EQ 000000cc: PUSH2 0x05a1 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0xd0679d34 000000d6: EQ 000000d7: PUSH2 0x05ee 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0xd73dd623 000000e1: EQ 000000e2: PUSH2 0x063b 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0xdd62ed3e 000000ec: EQ 000000ed: PUSH2 0x06a0 000000f0: JUMPI 000000f1: DUP1 000000f2: PUSH4 0xf2fde38b 000000f7: EQ 000000f8: PUSH2 0x0717 000000fb: JUMPI 000000fc: JUMPDEST 000000fd: STOP 000000fe: JUMPDEST 000000ff: CALLVALUE 00000100: DUP1 00000101: ISZERO 00000102: PUSH2 0x010a 00000105: JUMPI 00000106: PUSH1 0x00 00000108: DUP1 00000109: REVERT 0000010a: JUMPDEST 0000010b: POP 0000010c: PUSH2 0x0113 0000010f: PUSH2 0x075a 00000112: JUMP 00000113: JUMPDEST 00000114: PUSH1 0x40 00000116: MLOAD 00000117: DUP1 00000118: DUP1 00000119: PUSH1 0x20 0000011b: ADD 0000011c: DUP3 0000011d: DUP2 0000011e: SUB 0000011f: DUP3 00000120: MSTORE 00000121: DUP4 00000122: DUP2 00000123: DUP2 00000124: MLOAD 00000125: DUP2 00000126: MSTORE 00000127: PUSH1 0x20 00000129: ADD 0000012a: SWAP2 0000012b: POP 0000012c: DUP1 0000012d: MLOAD 0000012e: SWAP1 0000012f: PUSH1 0x20 00000131: ADD 00000132: SWAP1 00000133: DUP1 00000134: DUP4 00000135: DUP4 00000136: PUSH1 0x00 00000138: JUMPDEST 00000139: DUP4 0000013a: DUP2 0000013b: LT 0000013c: ISZERO 0000013d: PUSH2 0x0153 00000140: JUMPI 00000141: DUP1 00000142: DUP3 00000143: ADD 00000144: MLOAD 00000145: DUP2 00000146: DUP5 00000147: ADD 00000148: MSTORE 00000149: PUSH1 0x20 0000014b: DUP2 0000014c: ADD 0000014d: SWAP1 0000014e: POP 0000014f: PUSH2 0x0138 00000152: JUMP 00000153: JUMPDEST 00000154: POP 00000155: POP 00000156: POP 00000157: POP 00000158: SWAP1 00000159: POP 0000015a: SWAP1 0000015b: DUP2 0000015c: ADD 0000015d: SWAP1 0000015e: PUSH1 0x1f 00000160: AND 00000161: DUP1 00000162: ISZERO 00000163: PUSH2 0x0180 00000166: JUMPI 00000167: DUP1 00000168: DUP3 00000169: SUB 0000016a: DUP1 0000016b: MLOAD 0000016c: PUSH1 0x01 0000016e: DUP4 0000016f: PUSH1 0x20 00000171: SUB 00000172: PUSH2 0x0100 00000175: EXP 00000176: SUB 00000177: NOT 00000178: AND 00000179: DUP2 0000017a: MSTORE 0000017b: PUSH1 0x20 0000017d: ADD 0000017e: SWAP2 0000017f: POP 00000180: JUMPDEST 00000181: POP 00000182: SWAP3 00000183: POP 00000184: POP 00000185: POP 00000186: PUSH1 0x40 00000188: MLOAD 00000189: DUP1 0000018a: SWAP2 0000018b: SUB 0000018c: SWAP1 0000018d: RETURN 0000018e: JUMPDEST 0000018f: CALLVALUE 00000190: DUP1 00000191: ISZERO 00000192: PUSH2 0x019a 00000195: JUMPI 00000196: PUSH1 0x00 00000198: DUP1 00000199: REVERT 0000019a: JUMPDEST 0000019b: POP 0000019c: PUSH2 0x01d9 0000019f: PUSH1 0x04 000001a1: DUP1 000001a2: CALLDATASIZE 000001a3: SUB 000001a4: DUP2 000001a5: ADD 000001a6: SWAP1 000001a7: DUP1 000001a8: DUP1 000001a9: CALLDATALOAD 000001aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001bf: AND 000001c0: SWAP1 000001c1: PUSH1 0x20 000001c3: ADD 000001c4: SWAP1 000001c5: SWAP3 000001c6: SWAP2 000001c7: SWAP1 000001c8: DUP1 000001c9: CALLDATALOAD 000001ca: SWAP1 000001cb: PUSH1 0x20 000001cd: ADD 000001ce: SWAP1 000001cf: SWAP3 000001d0: SWAP2 000001d1: SWAP1 000001d2: POP 000001d3: POP 000001d4: POP 000001d5: PUSH2 0x0793 000001d8: JUMP 000001d9: JUMPDEST 000001da: PUSH1 0x40 000001dc: MLOAD 000001dd: DUP1 000001de: DUP3 000001df: ISZERO 000001e0: ISZERO 000001e1: ISZERO 000001e2: ISZERO 000001e3: DUP2 000001e4: MSTORE 000001e5: PUSH1 0x20 000001e7: ADD 000001e8: SWAP2 000001e9: POP 000001ea: POP 000001eb: PUSH1 0x40 000001ed: MLOAD 000001ee: DUP1 000001ef: SWAP2 000001f0: SUB 000001f1: SWAP1 000001f2: RETURN 000001f3: JUMPDEST 000001f4: CALLVALUE 000001f5: DUP1 000001f6: ISZERO 000001f7: PUSH2 0x01ff 000001fa: JUMPI 000001fb: PUSH1 0x00 000001fd: DUP1 000001fe: REVERT 000001ff: JUMPDEST 00000200: POP 00000201: PUSH2 0x0208 00000204: PUSH2 0x0885 00000207: JUMP 00000208: JUMPDEST 00000209: PUSH1 0x40 0000020b: MLOAD 0000020c: DUP1 0000020d: DUP3 0000020e: DUP2 0000020f: MSTORE 00000210: PUSH1 0x20 00000212: ADD 00000213: SWAP2 00000214: POP 00000215: POP 00000216: PUSH1 0x40 00000218: MLOAD 00000219: DUP1 0000021a: SWAP2 0000021b: SUB 0000021c: SWAP1 0000021d: RETURN 0000021e: JUMPDEST 0000021f: CALLVALUE 00000220: DUP1 00000221: ISZERO 00000222: PUSH2 0x022a 00000225: JUMPI 00000226: PUSH1 0x00 00000228: DUP1 00000229: REVERT 0000022a: JUMPDEST 0000022b: POP 0000022c: PUSH2 0x0289 0000022f: PUSH1 0x04 00000231: DUP1 00000232: CALLDATASIZE 00000233: SUB 00000234: DUP2 00000235: ADD 00000236: SWAP1 00000237: DUP1 00000238: DUP1 00000239: CALLDATALOAD 0000023a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000024f: AND 00000250: SWAP1 00000251: PUSH1 0x20 00000253: ADD 00000254: SWAP1 00000255: SWAP3 00000256: SWAP2 00000257: SWAP1 00000258: DUP1 00000259: CALLDATALOAD 0000025a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000026f: AND 00000270: SWAP1 00000271: PUSH1 0x20 00000273: ADD 00000274: SWAP1 00000275: SWAP3 00000276: SWAP2 00000277: SWAP1 00000278: DUP1 00000279: CALLDATALOAD 0000027a: SWAP1 0000027b: PUSH1 0x20 0000027d: ADD 0000027e: SWAP1 0000027f: SWAP3 00000280: SWAP2 00000281: SWAP1 00000282: POP 00000283: POP 00000284: POP 00000285: PUSH2 0x088f 00000288: JUMP 00000289: JUMPDEST 0000028a: PUSH1 0x40 0000028c: MLOAD 0000028d: DUP1 0000028e: DUP3 0000028f: ISZERO 00000290: ISZERO 00000291: ISZERO 00000292: ISZERO 00000293: DUP2 00000294: MSTORE 00000295: PUSH1 0x20 00000297: ADD 00000298: SWAP2 00000299: POP 0000029a: POP 0000029b: PUSH1 0x40 0000029d: MLOAD 0000029e: DUP1 0000029f: SWAP2 000002a0: SUB 000002a1: SWAP1 000002a2: RETURN 000002a3: JUMPDEST 000002a4: CALLVALUE 000002a5: DUP1 000002a6: ISZERO 000002a7: PUSH2 0x02af 000002aa: JUMPI 000002ab: PUSH1 0x00 000002ad: DUP1 000002ae: REVERT 000002af: JUMPDEST 000002b0: POP 000002b1: PUSH2 0x02b8 000002b4: PUSH2 0x0c4e 000002b7: JUMP 000002b8: JUMPDEST 000002b9: PUSH1 0x40 000002bb: MLOAD 000002bc: DUP1 000002bd: DUP3 000002be: DUP2 000002bf: MSTORE 000002c0: PUSH1 0x20 000002c2: ADD 000002c3: SWAP2 000002c4: POP 000002c5: POP 000002c6: PUSH1 0x40 000002c8: MLOAD 000002c9: DUP1 000002ca: SWAP2 000002cb: SUB 000002cc: SWAP1 000002cd: RETURN 000002ce: JUMPDEST 000002cf: CALLVALUE 000002d0: DUP1 000002d1: ISZERO 000002d2: PUSH2 0x02da 000002d5: JUMPI 000002d6: PUSH1 0x00 000002d8: DUP1 000002d9: REVERT 000002da: JUMPDEST 000002db: POP 000002dc: PUSH2 0x02e3 000002df: PUSH2 0x0c5f 000002e2: JUMP 000002e3: JUMPDEST 000002e4: PUSH1 0x40 000002e6: MLOAD 000002e7: DUP1 000002e8: DUP3 000002e9: PUSH1 0xff 000002eb: AND 000002ec: PUSH1 0xff 000002ee: AND 000002ef: DUP2 000002f0: MSTORE 000002f1: PUSH1 0x20 000002f3: ADD 000002f4: SWAP2 000002f5: POP 000002f6: POP 000002f7: PUSH1 0x40 000002f9: MLOAD 000002fa: DUP1 000002fb: SWAP2 000002fc: SUB 000002fd: SWAP1 000002fe: RETURN 000002ff: JUMPDEST 00000300: CALLVALUE 00000301: DUP1 00000302: ISZERO 00000303: PUSH2 0x030b 00000306: JUMPI 00000307: PUSH1 0x00 00000309: DUP1 0000030a: REVERT 0000030b: JUMPDEST 0000030c: POP 0000030d: PUSH2 0x034a 00000310: PUSH1 0x04 00000312: DUP1 00000313: CALLDATASIZE 00000314: SUB 00000315: DUP2 00000316: ADD 00000317: SWAP1 00000318: DUP1 00000319: DUP1 0000031a: CALLDATALOAD 0000031b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000330: AND 00000331: SWAP1 00000332: PUSH1 0x20 00000334: ADD 00000335: SWAP1 00000336: SWAP3 00000337: SWAP2 00000338: SWAP1 00000339: DUP1 0000033a: CALLDATALOAD 0000033b: SWAP1 0000033c: PUSH1 0x20 0000033e: ADD 0000033f: SWAP1 00000340: SWAP3 00000341: SWAP2 00000342: SWAP1 00000343: POP 00000344: POP 00000345: POP 00000346: PUSH2 0x0c64 00000349: JUMP 0000034a: JUMPDEST 0000034b: STOP 0000034c: JUMPDEST 0000034d: CALLVALUE 0000034e: DUP1 0000034f: ISZERO 00000350: PUSH2 0x0358 00000353: JUMPI 00000354: PUSH1 0x00 00000356: DUP1 00000357: REVERT 00000358: JUMPDEST 00000359: POP 0000035a: PUSH2 0x0397 0000035d: PUSH1 0x04 0000035f: DUP1 00000360: CALLDATASIZE 00000361: SUB 00000362: DUP2 00000363: ADD 00000364: SWAP1 00000365: DUP1 00000366: DUP1 00000367: CALLDATALOAD 00000368: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000037d: AND 0000037e: SWAP1 0000037f: PUSH1 0x20 00000381: ADD 00000382: SWAP1 00000383: SWAP3 00000384: SWAP2 00000385: SWAP1 00000386: DUP1 00000387: CALLDATALOAD 00000388: SWAP1 00000389: PUSH1 0x20 0000038b: ADD 0000038c: SWAP1 0000038d: SWAP3 0000038e: SWAP2 0000038f: SWAP1 00000390: POP 00000391: POP 00000392: POP 00000393: PUSH2 0x0e24 00000396: JUMP 00000397: JUMPDEST 00000398: PUSH1 0x40 0000039a: MLOAD 0000039b: DUP1 0000039c: DUP3 0000039d: ISZERO 0000039e: ISZERO 0000039f: ISZERO 000003a0: ISZERO 000003a1: DUP2 000003a2: MSTORE 000003a3: PUSH1 0x20 000003a5: ADD 000003a6: SWAP2 000003a7: POP 000003a8: POP 000003a9: PUSH1 0x40 000003ab: MLOAD 000003ac: DUP1 000003ad: SWAP2 000003ae: SUB 000003af: SWAP1 000003b0: RETURN 000003b1: JUMPDEST 000003b2: CALLVALUE 000003b3: DUP1 000003b4: ISZERO 000003b5: PUSH2 0x03bd 000003b8: JUMPI 000003b9: PUSH1 0x00 000003bb: DUP1 000003bc: REVERT 000003bd: JUMPDEST 000003be: POP 000003bf: PUSH2 0x03f2 000003c2: PUSH1 0x04 000003c4: DUP1 000003c5: CALLDATASIZE 000003c6: SUB 000003c7: DUP2 000003c8: ADD 000003c9: SWAP1 000003ca: DUP1 000003cb: DUP1 000003cc: CALLDATALOAD 000003cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003e2: AND 000003e3: SWAP1 000003e4: PUSH1 0x20 000003e6: ADD 000003e7: SWAP1 000003e8: SWAP3 000003e9: SWAP2 000003ea: SWAP1 000003eb: POP 000003ec: POP 000003ed: POP 000003ee: PUSH2 0x10b5 000003f1: JUMP 000003f2: JUMPDEST 000003f3: PUSH1 0x40 000003f5: MLOAD 000003f6: DUP1 000003f7: DUP3 000003f8: DUP2 000003f9: MSTORE 000003fa: PUSH1 0x20 000003fc: ADD 000003fd: SWAP2 000003fe: POP 000003ff: POP 00000400: PUSH1 0x40 00000402: MLOAD 00000403: DUP1 00000404: SWAP2 00000405: SUB 00000406: SWAP1 00000407: RETURN 00000408: JUMPDEST 00000409: CALLVALUE 0000040a: DUP1 0000040b: ISZERO 0000040c: PUSH2 0x0414 0000040f: JUMPI 00000410: PUSH1 0x00 00000412: DUP1 00000413: REVERT 00000414: JUMPDEST 00000415: POP 00000416: PUSH2 0x041d 00000419: PUSH2 0x10fe 0000041c: JUMP 0000041d: JUMPDEST 0000041e: PUSH1 0x40 00000420: MLOAD 00000421: DUP1 00000422: DUP3 00000423: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000438: AND 00000439: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000044e: AND 0000044f: DUP2 00000450: MSTORE 00000451: PUSH1 0x20 00000453: ADD 00000454: SWAP2 00000455: POP 00000456: POP 00000457: PUSH1 0x40 00000459: MLOAD 0000045a: DUP1 0000045b: SWAP2 0000045c: SUB 0000045d: SWAP1 0000045e: RETURN 0000045f: JUMPDEST 00000460: CALLVALUE 00000461: DUP1 00000462: ISZERO 00000463: PUSH2 0x046b 00000466: JUMPI 00000467: PUSH1 0x00 00000469: DUP1 0000046a: REVERT 0000046b: JUMPDEST 0000046c: POP 0000046d: PUSH2 0x0474 00000470: PUSH2 0x1123 00000473: JUMP 00000474: JUMPDEST 00000475: PUSH1 0x40 00000477: MLOAD 00000478: DUP1 00000479: DUP1 0000047a: PUSH1 0x20 0000047c: ADD 0000047d: DUP3 0000047e: DUP2 0000047f: SUB 00000480: DUP3 00000481: MSTORE 00000482: DUP4 00000483: DUP2 00000484: DUP2 00000485: MLOAD 00000486: DUP2 00000487: MSTORE 00000488: PUSH1 0x20 0000048a: ADD 0000048b: SWAP2 0000048c: POP 0000048d: DUP1 0000048e: MLOAD 0000048f: SWAP1 00000490: PUSH1 0x20 00000492: ADD 00000493: SWAP1 00000494: DUP1 00000495: DUP4 00000496: DUP4 00000497: PUSH1 0x00 00000499: JUMPDEST 0000049a: DUP4 0000049b: DUP2 0000049c: LT 0000049d: ISZERO 0000049e: PUSH2 0x04b4 000004a1: JUMPI 000004a2: DUP1 000004a3: DUP3 000004a4: ADD 000004a5: MLOAD 000004a6: DUP2 000004a7: DUP5 000004a8: ADD 000004a9: MSTORE 000004aa: PUSH1 0x20 000004ac: DUP2 000004ad: ADD 000004ae: SWAP1 000004af: POP 000004b0: PUSH2 0x0499 000004b3: JUMP 000004b4: JUMPDEST 000004b5: POP 000004b6: POP 000004b7: POP 000004b8: POP 000004b9: SWAP1 000004ba: POP 000004bb: SWAP1 000004bc: DUP2 000004bd: ADD 000004be: SWAP1 000004bf: PUSH1 0x1f 000004c1: AND 000004c2: DUP1 000004c3: ISZERO 000004c4: PUSH2 0x04e1 000004c7: JUMPI 000004c8: DUP1 000004c9: DUP3 000004ca: SUB 000004cb: DUP1 000004cc: MLOAD 000004cd: PUSH1 0x01 000004cf: DUP4 000004d0: PUSH1 0x20 000004d2: SUB 000004d3: PUSH2 0x0100 000004d6: EXP 000004d7: SUB 000004d8: NOT 000004d9: AND 000004da: DUP2 000004db: MSTORE 000004dc: PUSH1 0x20 000004de: ADD 000004df: SWAP2 000004e0: POP 000004e1: JUMPDEST 000004e2: POP 000004e3: SWAP3 000004e4: POP 000004e5: POP 000004e6: POP 000004e7: PUSH1 0x40 000004e9: MLOAD 000004ea: DUP1 000004eb: SWAP2 000004ec: SUB 000004ed: SWAP1 000004ee: RETURN 000004ef: JUMPDEST 000004f0: CALLVALUE 000004f1: DUP1 000004f2: ISZERO 000004f3: PUSH2 0x04fb 000004f6: JUMPI 000004f7: PUSH1 0x00 000004f9: DUP1 000004fa: REVERT 000004fb: JUMPDEST 000004fc: POP 000004fd: PUSH2 0x053a 00000500: PUSH1 0x04 00000502: DUP1 00000503: CALLDATASIZE 00000504: SUB 00000505: DUP2 00000506: ADD 00000507: SWAP1 00000508: DUP1 00000509: DUP1 0000050a: CALLDATALOAD 0000050b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000520: AND 00000521: SWAP1 00000522: PUSH1 0x20 00000524: ADD 00000525: SWAP1 00000526: SWAP3 00000527: SWAP2 00000528: SWAP1 00000529: DUP1 0000052a: CALLDATALOAD 0000052b: SWAP1 0000052c: PUSH1 0x20 0000052e: ADD 0000052f: SWAP1 00000530: SWAP3 00000531: SWAP2 00000532: SWAP1 00000533: POP 00000534: POP 00000535: POP 00000536: PUSH2 0x115c 00000539: JUMP 0000053a: JUMPDEST 0000053b: STOP 0000053c: JUMPDEST 0000053d: CALLVALUE 0000053e: DUP1 0000053f: ISZERO 00000540: PUSH2 0x0548 00000543: JUMPI 00000544: PUSH1 0x00 00000546: DUP1 00000547: REVERT 00000548: JUMPDEST 00000549: POP 0000054a: PUSH2 0x0587 0000054d: PUSH1 0x04 0000054f: DUP1 00000550: CALLDATASIZE 00000551: SUB 00000552: DUP2 00000553: ADD 00000554: SWAP1 00000555: DUP1 00000556: DUP1 00000557: CALLDATALOAD 00000558: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000056d: AND 0000056e: SWAP1 0000056f: PUSH1 0x20 00000571: ADD 00000572: SWAP1 00000573: SWAP3 00000574: SWAP2 00000575: SWAP1 00000576: DUP1 00000577: CALLDATALOAD 00000578: SWAP1 00000579: PUSH1 0x20 0000057b: ADD 0000057c: SWAP1 0000057d: SWAP3 0000057e: SWAP2 0000057f: SWAP1 00000580: POP 00000581: POP 00000582: POP 00000583: PUSH2 0x131c 00000586: JUMP 00000587: JUMPDEST 00000588: PUSH1 0x40 0000058a: MLOAD 0000058b: DUP1 0000058c: DUP3 0000058d: ISZERO 0000058e: ISZERO 0000058f: ISZERO 00000590: ISZERO 00000591: DUP2 00000592: MSTORE 00000593: PUSH1 0x20 00000595: ADD 00000596: SWAP2 00000597: POP 00000598: POP 00000599: PUSH1 0x40 0000059b: MLOAD 0000059c: DUP1 0000059d: SWAP2 0000059e: SUB 0000059f: SWAP1 000005a0: RETURN 000005a1: JUMPDEST 000005a2: CALLVALUE 000005a3: DUP1 000005a4: ISZERO 000005a5: PUSH2 0x05ad 000005a8: JUMPI 000005a9: PUSH1 0x00 000005ab: DUP1 000005ac: REVERT 000005ad: JUMPDEST 000005ae: POP 000005af: PUSH2 0x05ec 000005b2: PUSH1 0x04 000005b4: DUP1 000005b5: CALLDATASIZE 000005b6: SUB 000005b7: DUP2 000005b8: ADD 000005b9: SWAP1 000005ba: DUP1 000005bb: DUP1 000005bc: CALLDATALOAD 000005bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005d2: AND 000005d3: SWAP1 000005d4: PUSH1 0x20 000005d6: ADD 000005d7: SWAP1 000005d8: SWAP3 000005d9: SWAP2 000005da: SWAP1 000005db: DUP1 000005dc: CALLDATALOAD 000005dd: SWAP1 000005de: PUSH1 0x20 000005e0: ADD 000005e1: SWAP1 000005e2: SWAP3 000005e3: SWAP2 000005e4: SWAP1 000005e5: POP 000005e6: POP 000005e7: POP 000005e8: PUSH2 0x1540 000005eb: JUMP 000005ec: JUMPDEST 000005ed: STOP 000005ee: JUMPDEST 000005ef: CALLVALUE 000005f0: DUP1 000005f1: ISZERO 000005f2: PUSH2 0x05fa 000005f5: JUMPI 000005f6: PUSH1 0x00 000005f8: DUP1 000005f9: REVERT 000005fa: JUMPDEST 000005fb: POP 000005fc: PUSH2 0x0639 000005ff: PUSH1 0x04 00000601: DUP1 00000602: CALLDATASIZE 00000603: SUB 00000604: DUP2 00000605: ADD 00000606: SWAP1 00000607: DUP1 00000608: DUP1 00000609: CALLDATALOAD 0000060a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000061f: AND 00000620: SWAP1 00000621: PUSH1 0x20 00000623: ADD 00000624: SWAP1 00000625: SWAP3 00000626: SWAP2 00000627: SWAP1 00000628: DUP1 00000629: CALLDATALOAD 0000062a: SWAP1 0000062b: PUSH1 0x20 0000062d: ADD 0000062e: SWAP1 0000062f: SWAP3 00000630: SWAP2 00000631: SWAP1 00000632: POP 00000633: POP 00000634: POP 00000635: PUSH2 0x1631 00000638: JUMP 00000639: JUMPDEST 0000063a: STOP 0000063b: JUMPDEST 0000063c: CALLVALUE 0000063d: DUP1 0000063e: ISZERO 0000063f: PUSH2 0x0647 00000642: JUMPI 00000643: PUSH1 0x00 00000645: DUP1 00000646: REVERT 00000647: JUMPDEST 00000648: POP 00000649: PUSH2 0x0686 0000064c: PUSH1 0x04 0000064e: DUP1 0000064f: CALLDATASIZE 00000650: SUB 00000651: DUP2 00000652: ADD 00000653: SWAP1 00000654: DUP1 00000655: DUP1 00000656: CALLDATALOAD 00000657: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000066c: AND 0000066d: SWAP1 0000066e: PUSH1 0x20 00000670: ADD 00000671: SWAP1 00000672: SWAP3 00000673: SWAP2 00000674: SWAP1 00000675: DUP1 00000676: CALLDATALOAD 00000677: SWAP1 00000678: PUSH1 0x20 0000067a: ADD 0000067b: SWAP1 0000067c: SWAP3 0000067d: SWAP2 0000067e: SWAP1 0000067f: POP 00000680: POP 00000681: POP 00000682: PUSH2 0x186a 00000685: JUMP 00000686: JUMPDEST 00000687: PUSH1 0x40 00000689: MLOAD 0000068a: DUP1 0000068b: DUP3 0000068c: ISZERO 0000068d: ISZERO 0000068e: ISZERO 0000068f: ISZERO 00000690: DUP2 00000691: MSTORE 00000692: PUSH1 0x20 00000694: ADD 00000695: SWAP2 00000696: POP 00000697: POP 00000698: PUSH1 0x40 0000069a: MLOAD 0000069b: DUP1 0000069c: SWAP2 0000069d: SUB 0000069e: SWAP1 0000069f: RETURN 000006a0: JUMPDEST 000006a1: CALLVALUE 000006a2: DUP1 000006a3: ISZERO 000006a4: PUSH2 0x06ac 000006a7: JUMPI 000006a8: PUSH1 0x00 000006aa: DUP1 000006ab: REVERT 000006ac: JUMPDEST 000006ad: POP 000006ae: PUSH2 0x0701 000006b1: PUSH1 0x04 000006b3: DUP1 000006b4: CALLDATASIZE 000006b5: SUB 000006b6: DUP2 000006b7: ADD 000006b8: SWAP1 000006b9: DUP1 000006ba: DUP1 000006bb: CALLDATALOAD 000006bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006d1: AND 000006d2: SWAP1 000006d3: PUSH1 0x20 000006d5: ADD 000006d6: SWAP1 000006d7: SWAP3 000006d8: SWAP2 000006d9: SWAP1 000006da: DUP1 000006db: CALLDATALOAD 000006dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f1: AND 000006f2: SWAP1 000006f3: PUSH1 0x20 000006f5: ADD 000006f6: SWAP1 000006f7: SWAP3 000006f8: SWAP2 000006f9: SWAP1 000006fa: POP 000006fb: POP 000006fc: POP 000006fd: PUSH2 0x1a66 00000700: JUMP 00000701: JUMPDEST 00000702: PUSH1 0x40 00000704: MLOAD 00000705: DUP1 00000706: DUP3 00000707: DUP2 00000708: MSTORE 00000709: PUSH1 0x20 0000070b: ADD 0000070c: SWAP2 0000070d: POP 0000070e: POP 0000070f: PUSH1 0x40 00000711: MLOAD 00000712: DUP1 00000713: SWAP2 00000714: SUB 00000715: SWAP1 00000716: RETURN 00000717: JUMPDEST 00000718: CALLVALUE 00000719: DUP1 0000071a: ISZERO 0000071b: PUSH2 0x0723 0000071e: JUMPI 0000071f: PUSH1 0x00 00000721: DUP1 00000722: REVERT 00000723: JUMPDEST 00000724: POP 00000725: PUSH2 0x0758 00000728: PUSH1 0x04 0000072a: DUP1 0000072b: CALLDATASIZE 0000072c: SUB 0000072d: DUP2 0000072e: ADD 0000072f: SWAP1 00000730: DUP1 00000731: DUP1 00000732: CALLDATALOAD 00000733: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000748: AND 00000749: SWAP1 0000074a: PUSH1 0x20 0000074c: ADD 0000074d: SWAP1 0000074e: SWAP3 0000074f: SWAP2 00000750: SWAP1 00000751: POP 00000752: POP 00000753: POP 00000754: PUSH2 0x1aed 00000757: JUMP 00000758: JUMPDEST 00000759: STOP 0000075a: JUMPDEST 0000075b: PUSH1 0x40 0000075d: DUP1 0000075e: MLOAD 0000075f: SWAP1 00000760: DUP2 00000761: ADD 00000762: PUSH1 0x40 00000764: MSTORE 00000765: DUP1 00000766: PUSH1 0x0a 00000768: DUP2 00000769: MSTORE 0000076a: PUSH1 0x20 0000076c: ADD 0000076d: PUSH32 0x436f726e6572436f696e00000000000000000000000000000000000000000000 0000078e: DUP2 0000078f: MSTORE 00000790: POP 00000791: DUP2 00000792: JUMP 00000793: JUMPDEST 00000794: PUSH1 0x00 00000796: DUP2 00000797: PUSH1 0x03 00000799: PUSH1 0x00 0000079b: CALLER 0000079c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007b1: AND 000007b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c7: AND 000007c8: DUP2 000007c9: MSTORE 000007ca: PUSH1 0x20 000007cc: ADD 000007cd: SWAP1 000007ce: DUP2 000007cf: MSTORE 000007d0: PUSH1 0x20 000007d2: ADD 000007d3: PUSH1 0x00 000007d5: KECCAK256 000007d6: PUSH1 0x00 000007d8: DUP6 000007d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ee: AND 000007ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000804: AND 00000805: DUP2 00000806: MSTORE 00000807: PUSH1 0x20 00000809: ADD 0000080a: SWAP1 0000080b: DUP2 0000080c: MSTORE 0000080d: PUSH1 0x20 0000080f: ADD 00000810: PUSH1 0x00 00000812: KECCAK256 00000813: DUP2 00000814: SWAP1 00000815: SSTORE 00000816: POP 00000817: DUP3 00000818: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000082d: AND 0000082e: CALLER 0000082f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000844: AND 00000845: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000866: DUP5 00000867: PUSH1 0x40 00000869: MLOAD 0000086a: DUP1 0000086b: DUP3 0000086c: DUP2 0000086d: MSTORE 0000086e: PUSH1 0x20 00000870: ADD 00000871: SWAP2 00000872: POP 00000873: POP 00000874: PUSH1 0x40 00000876: MLOAD 00000877: DUP1 00000878: SWAP2 00000879: SUB 0000087a: SWAP1 0000087b: LOG3 0000087c: PUSH1 0x01 0000087e: SWAP1 0000087f: POP 00000880: SWAP3 00000881: SWAP2 00000882: POP 00000883: POP 00000884: JUMP 00000885: JUMPDEST 00000886: PUSH1 0x00 00000888: PUSH1 0x02 0000088a: SLOAD 0000088b: SWAP1 0000088c: POP 0000088d: SWAP1 0000088e: JUMP 0000088f: JUMPDEST 00000890: PUSH1 0x00 00000892: DUP1 00000893: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a8: AND 000008a9: DUP4 000008aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008bf: AND 000008c0: EQ 000008c1: ISZERO 000008c2: ISZERO 000008c3: ISZERO 000008c4: PUSH2 0x08cc 000008c7: JUMPI 000008c8: PUSH1 0x00 000008ca: DUP1 000008cb: REVERT 000008cc: JUMPDEST 000008cd: PUSH1 0x01 000008cf: PUSH1 0x00 000008d1: DUP6 000008d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e7: AND 000008e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008fd: AND 000008fe: DUP2 000008ff: MSTORE 00000900: PUSH1 0x20 00000902: ADD 00000903: SWAP1 00000904: DUP2 00000905: MSTORE 00000906: PUSH1 0x20 00000908: ADD 00000909: PUSH1 0x00 0000090b: KECCAK256 0000090c: SLOAD 0000090d: DUP3 0000090e: GT 0000090f: ISZERO 00000910: ISZERO 00000911: ISZERO 00000912: PUSH2 0x091a 00000915: JUMPI 00000916: PUSH1 0x00 00000918: DUP1 00000919: REVERT 0000091a: JUMPDEST 0000091b: PUSH1 0x03 0000091d: PUSH1 0x00 0000091f: DUP6 00000920: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000935: AND 00000936: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000094b: AND 0000094c: DUP2 0000094d: MSTORE 0000094e: PUSH1 0x20 00000950: ADD 00000951: SWAP1 00000952: DUP2 00000953: MSTORE 00000954: PUSH1 0x20 00000956: ADD 00000957: PUSH1 0x00 00000959: KECCAK256 0000095a: PUSH1 0x00 0000095c: CALLER 0000095d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000972: AND 00000973: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000988: AND 00000989: DUP2 0000098a: MSTORE 0000098b: PUSH1 0x20 0000098d: ADD 0000098e: SWAP1 0000098f: DUP2 00000990: MSTORE 00000991: PUSH1 0x20 00000993: ADD 00000994: PUSH1 0x00 00000996: KECCAK256 00000997: SLOAD 00000998: DUP3 00000999: GT 0000099a: ISZERO 0000099b: ISZERO 0000099c: ISZERO 0000099d: PUSH2 0x09a5 000009a0: JUMPI 000009a1: PUSH1 0x00 000009a3: DUP1 000009a4: REVERT 000009a5: JUMPDEST 000009a6: PUSH2 0x09f7 000009a9: DUP3 000009aa: PUSH1 0x01 000009ac: PUSH1 0x00 000009ae: DUP8 000009af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c4: AND 000009c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009da: AND 000009db: DUP2 000009dc: MSTORE 000009dd: PUSH1 0x20 000009df: ADD 000009e0: SWAP1 000009e1: DUP2 000009e2: MSTORE 000009e3: PUSH1 0x20 000009e5: ADD 000009e6: PUSH1 0x00 000009e8: KECCAK256 000009e9: SLOAD 000009ea: PUSH2 0x1c42 000009ed: SWAP1 000009ee: SWAP2 000009ef: SWAP1 000009f0: PUSH4 0xffffffff 000009f5: AND 000009f6: JUMP 000009f7: JUMPDEST 000009f8: PUSH1 0x01 000009fa: PUSH1 0x00 000009fc: DUP7 000009fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a12: AND 00000a13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a28: AND 00000a29: DUP2 00000a2a: MSTORE 00000a2b: PUSH1 0x20 00000a2d: ADD 00000a2e: SWAP1 00000a2f: DUP2 00000a30: MSTORE 00000a31: PUSH1 0x20 00000a33: ADD 00000a34: PUSH1 0x00 00000a36: KECCAK256 00000a37: DUP2 00000a38: SWAP1 00000a39: SSTORE 00000a3a: POP 00000a3b: PUSH2 0x0a8c 00000a3e: DUP3 00000a3f: PUSH1 0x01 00000a41: PUSH1 0x00 00000a43: DUP7 00000a44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a59: AND 00000a5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a6f: AND 00000a70: DUP2 00000a71: MSTORE 00000a72: PUSH1 0x20 00000a74: ADD 00000a75: SWAP1 00000a76: DUP2 00000a77: MSTORE 00000a78: PUSH1 0x20 00000a7a: ADD 00000a7b: PUSH1 0x00 00000a7d: KECCAK256 00000a7e: SLOAD 00000a7f: PUSH2 0x1c5b 00000a82: SWAP1 00000a83: SWAP2 00000a84: SWAP1 00000a85: PUSH4 0xffffffff 00000a8a: AND 00000a8b: JUMP 00000a8c: JUMPDEST 00000a8d: PUSH1 0x01 00000a8f: PUSH1 0x00 00000a91: DUP6 00000a92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa7: AND 00000aa8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000abd: AND 00000abe: DUP2 00000abf: MSTORE 00000ac0: PUSH1 0x20 00000ac2: ADD 00000ac3: SWAP1 00000ac4: DUP2 00000ac5: MSTORE 00000ac6: PUSH1 0x20 00000ac8: ADD 00000ac9: PUSH1 0x00 00000acb: KECCAK256 00000acc: DUP2 00000acd: SWAP1 00000ace: SSTORE 00000acf: POP 00000ad0: PUSH2 0x0b5e 00000ad3: DUP3 00000ad4: PUSH1 0x03 00000ad6: PUSH1 0x00 00000ad8: DUP8 00000ad9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aee: AND 00000aef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b04: AND 00000b05: DUP2 00000b06: MSTORE 00000b07: PUSH1 0x20 00000b09: ADD 00000b0a: SWAP1 00000b0b: DUP2 00000b0c: MSTORE 00000b0d: PUSH1 0x20 00000b0f: ADD 00000b10: PUSH1 0x00 00000b12: KECCAK256 00000b13: PUSH1 0x00 00000b15: CALLER 00000b16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b2b: AND 00000b2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b41: AND 00000b42: DUP2 00000b43: MSTORE 00000b44: PUSH1 0x20 00000b46: ADD 00000b47: SWAP1 00000b48: DUP2 00000b49: MSTORE 00000b4a: PUSH1 0x20 00000b4c: ADD 00000b4d: PUSH1 0x00 00000b4f: KECCAK256 00000b50: SLOAD 00000b51: PUSH2 0x1c42 00000b54: SWAP1 00000b55: SWAP2 00000b56: SWAP1 00000b57: PUSH4 0xffffffff 00000b5c: AND 00000b5d: JUMP 00000b5e: JUMPDEST 00000b5f: PUSH1 0x03 00000b61: PUSH1 0x00 00000b63: DUP7 00000b64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b79: AND 00000b7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b8f: AND 00000b90: DUP2 00000b91: MSTORE 00000b92: PUSH1 0x20 00000b94: ADD 00000b95: SWAP1 00000b96: DUP2 00000b97: MSTORE 00000b98: PUSH1 0x20 00000b9a: ADD 00000b9b: PUSH1 0x00 00000b9d: KECCAK256 00000b9e: PUSH1 0x00 00000ba0: CALLER 00000ba1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bb6: AND 00000bb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bcc: AND 00000bcd: DUP2 00000bce: MSTORE 00000bcf: PUSH1 0x20 00000bd1: ADD 00000bd2: SWAP1 00000bd3: DUP2 00000bd4: MSTORE 00000bd5: PUSH1 0x20 00000bd7: ADD 00000bd8: PUSH1 0x00 00000bda: KECCAK256 00000bdb: DUP2 00000bdc: SWAP1 00000bdd: SSTORE 00000bde: POP 00000bdf: DUP3 00000be0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bf5: AND 00000bf6: DUP5 00000bf7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c0c: AND 00000c0d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000c2e: DUP5 00000c2f: PUSH1 0x40 00000c31: MLOAD 00000c32: DUP1 00000c33: DUP3 00000c34: DUP2 00000c35: MSTORE 00000c36: PUSH1 0x20 00000c38: ADD 00000c39: SWAP2 00000c3a: POP 00000c3b: POP 00000c3c: PUSH1 0x40 00000c3e: MLOAD 00000c3f: DUP1 00000c40: SWAP2 00000c41: SUB 00000c42: SWAP1 00000c43: LOG3 00000c44: PUSH1 0x01 00000c46: SWAP1 00000c47: POP 00000c48: SWAP4 00000c49: SWAP3 00000c4a: POP 00000c4b: POP 00000c4c: POP 00000c4d: JUMP 00000c4e: JUMPDEST 00000c4f: PUSH1 0x07 00000c51: PUSH1 0xff 00000c53: AND 00000c54: PUSH1 0x0a 00000c56: EXP 00000c57: PUSH4 0x17d78400 00000c5c: MUL 00000c5d: DUP2 00000c5e: JUMP 00000c5f: JUMPDEST 00000c60: PUSH1 0x07 00000c62: DUP2 00000c63: JUMP 00000c64: JUMPDEST 00000c65: PUSH1 0x00 00000c67: DUP1 00000c68: SWAP1 00000c69: SLOAD 00000c6a: SWAP1 00000c6b: PUSH2 0x0100 00000c6e: EXP 00000c6f: SWAP1 00000c70: DIV 00000c71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c86: AND 00000c87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c9c: AND 00000c9d: CALLER 00000c9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cb3: AND 00000cb4: EQ 00000cb5: ISZERO 00000cb6: ISZERO 00000cb7: PUSH2 0x0cbf 00000cba: JUMPI 00000cbb: PUSH1 0x00 00000cbd: DUP1 00000cbe: REVERT 00000cbf: JUMPDEST 00000cc0: PUSH1 0x00 00000cc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cd7: AND 00000cd8: DUP3 00000cd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cee: AND 00000cef: EQ 00000cf0: ISZERO 00000cf1: ISZERO 00000cf2: ISZERO 00000cf3: PUSH2 0x0cfb 00000cf6: JUMPI 00000cf7: PUSH1 0x00 00000cf9: DUP1 00000cfa: REVERT 00000cfb: JUMPDEST 00000cfc: PUSH1 0x00 00000cfe: DUP2 00000cff: GT 00000d00: ISZERO 00000d01: ISZERO 00000d02: PUSH2 0x0d0a 00000d05: JUMPI 00000d06: PUSH1 0x00 00000d08: DUP1 00000d09: REVERT 00000d0a: JUMPDEST 00000d0b: PUSH2 0x0d1f 00000d0e: DUP2 00000d0f: PUSH1 0x02 00000d11: SLOAD 00000d12: PUSH2 0x1c5b 00000d15: SWAP1 00000d16: SWAP2 00000d17: SWAP1 00000d18: PUSH4 0xffffffff 00000d1d: AND 00000d1e: JUMP 00000d1f: JUMPDEST 00000d20: PUSH1 0x02 00000d22: DUP2 00000d23: SWAP1 00000d24: SSTORE 00000d25: POP 00000d26: PUSH2 0x0d77 00000d29: DUP2 00000d2a: PUSH1 0x01 00000d2c: PUSH1 0x00 00000d2e: DUP6 00000d2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d44: AND 00000d45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d5a: AND 00000d5b: DUP2 00000d5c: MSTORE 00000d5d: PUSH1 0x20 00000d5f: ADD 00000d60: SWAP1 00000d61: DUP2 00000d62: MSTORE 00000d63: PUSH1 0x20 00000d65: ADD 00000d66: PUSH1 0x00 00000d68: KECCAK256 00000d69: SLOAD 00000d6a: PUSH2 0x1c5b 00000d6d: SWAP1 00000d6e: SWAP2 00000d6f: SWAP1 00000d70: PUSH4 0xffffffff 00000d75: AND 00000d76: JUMP 00000d77: JUMPDEST 00000d78: PUSH1 0x01 00000d7a: PUSH1 0x00 00000d7c: DUP5 00000d7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d92: AND 00000d93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000da8: AND 00000da9: DUP2 00000daa: MSTORE 00000dab: PUSH1 0x20 00000dad: ADD 00000dae: SWAP1 00000daf: DUP2 00000db0: MSTORE 00000db1: PUSH1 0x20 00000db3: ADD 00000db4: PUSH1 0x00 00000db6: KECCAK256 00000db7: DUP2 00000db8: SWAP1 00000db9: SSTORE 00000dba: POP 00000dbb: DUP2 00000dbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dd1: AND 00000dd2: PUSH1 0x00 00000dd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000de9: AND 00000dea: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000e0b: DUP4 00000e0c: PUSH1 0x40 00000e0e: MLOAD 00000e0f: DUP1 00000e10: DUP3 00000e11: DUP2 00000e12: MSTORE 00000e13: PUSH1 0x20 00000e15: ADD 00000e16: SWAP2 00000e17: POP 00000e18: POP 00000e19: PUSH1 0x40 00000e1b: MLOAD 00000e1c: DUP1 00000e1d: SWAP2 00000e1e: SUB 00000e1f: SWAP1 00000e20: LOG3 00000e21: POP 00000e22: POP 00000e23: JUMP 00000e24: JUMPDEST 00000e25: PUSH1 0x00 00000e27: DUP1 00000e28: PUSH1 0x03 00000e2a: PUSH1 0x00 00000e2c: CALLER 00000e2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e42: AND 00000e43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e58: AND 00000e59: DUP2 00000e5a: MSTORE 00000e5b: PUSH1 0x20 00000e5d: ADD 00000e5e: SWAP1 00000e5f: DUP2 00000e60: MSTORE 00000e61: PUSH1 0x20 00000e63: ADD 00000e64: PUSH1 0x00 00000e66: KECCAK256 00000e67: PUSH1 0x00 00000e69: DUP6 00000e6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e7f: AND 00000e80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e95: AND 00000e96: DUP2 00000e97: MSTORE 00000e98: PUSH1 0x20 00000e9a: ADD 00000e9b: SWAP1 00000e9c: DUP2 00000e9d: MSTORE 00000e9e: PUSH1 0x20 00000ea0: ADD 00000ea1: PUSH1 0x00 00000ea3: KECCAK256 00000ea4: SLOAD 00000ea5: SWAP1 00000ea6: POP 00000ea7: DUP1 00000ea8: DUP4 00000ea9: GT 00000eaa: ISZERO 00000eab: PUSH2 0x0f35 00000eae: JUMPI 00000eaf: PUSH1 0x00 00000eb1: PUSH1 0x03 00000eb3: PUSH1 0x00 00000eb5: CALLER 00000eb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ecb: AND 00000ecc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ee1: AND 00000ee2: DUP2 00000ee3: MSTORE 00000ee4: PUSH1 0x20 00000ee6: ADD 00000ee7: SWAP1 00000ee8: DUP2 00000ee9: MSTORE 00000eea: PUSH1 0x20 00000eec: ADD 00000eed: PUSH1 0x00 00000eef: KECCAK256 00000ef0: PUSH1 0x00 00000ef2: DUP7 00000ef3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f08: AND 00000f09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f1e: AND 00000f1f: DUP2 00000f20: MSTORE 00000f21: PUSH1 0x20 00000f23: ADD 00000f24: SWAP1 00000f25: DUP2 00000f26: MSTORE 00000f27: PUSH1 0x20 00000f29: ADD 00000f2a: PUSH1 0x00 00000f2c: KECCAK256 00000f2d: DUP2 00000f2e: SWAP1 00000f2f: SSTORE 00000f30: POP 00000f31: PUSH2 0x0fc9 00000f34: JUMP 00000f35: JUMPDEST 00000f36: PUSH2 0x0f48 00000f39: DUP4 00000f3a: DUP3 00000f3b: PUSH2 0x1c42 00000f3e: SWAP1 00000f3f: SWAP2 00000f40: SWAP1 00000f41: PUSH4 0xffffffff 00000f46: AND 00000f47: JUMP 00000f48: JUMPDEST 00000f49: PUSH1 0x03 00000f4b: PUSH1 0x00 00000f4d: CALLER 00000f4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f63: AND 00000f64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f79: AND 00000f7a: DUP2 00000f7b: MSTORE 00000f7c: PUSH1 0x20 00000f7e: ADD 00000f7f: SWAP1 00000f80: DUP2 00000f81: MSTORE 00000f82: PUSH1 0x20 00000f84: ADD 00000f85: PUSH1 0x00 00000f87: KECCAK256 00000f88: PUSH1 0x00 00000f8a: DUP7 00000f8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fa0: AND 00000fa1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fb6: AND 00000fb7: DUP2 00000fb8: MSTORE 00000fb9: PUSH1 0x20 00000fbb: ADD 00000fbc: SWAP1 00000fbd: DUP2 00000fbe: MSTORE 00000fbf: PUSH1 0x20 00000fc1: ADD 00000fc2: PUSH1 0x00 00000fc4: KECCAK256 00000fc5: DUP2 00000fc6: SWAP1 00000fc7: SSTORE 00000fc8: POP 00000fc9: JUMPDEST 00000fca: DUP4 00000fcb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fe0: AND 00000fe1: CALLER 00000fe2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ff7: AND 00000ff8: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00001019: PUSH1 0x03 0000101b: PUSH1 0x00 0000101d: CALLER 0000101e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001033: AND 00001034: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001049: AND 0000104a: DUP2 0000104b: MSTORE 0000104c: PUSH1 0x20 0000104e: ADD 0000104f: SWAP1 00001050: DUP2 00001051: MSTORE 00001052: PUSH1 0x20 00001054: ADD 00001055: PUSH1 0x00 00001057: KECCAK256 00001058: PUSH1 0x00 0000105a: DUP9 0000105b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001070: AND 00001071: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001086: AND 00001087: DUP2 00001088: MSTORE 00001089: PUSH1 0x20 0000108b: ADD 0000108c: SWAP1 0000108d: DUP2 0000108e: MSTORE 0000108f: PUSH1 0x20 00001091: ADD 00001092: PUSH1 0x00 00001094: KECCAK256 00001095: SLOAD 00001096: PUSH1 0x40 00001098: MLOAD 00001099: DUP1 0000109a: DUP3 0000109b: DUP2 0000109c: MSTORE 0000109d: PUSH1 0x20 0000109f: ADD 000010a0: SWAP2 000010a1: POP 000010a2: POP 000010a3: PUSH1 0x40 000010a5: MLOAD 000010a6: DUP1 000010a7: SWAP2 000010a8: SUB 000010a9: SWAP1 000010aa: LOG3 000010ab: PUSH1 0x01 000010ad: SWAP2 000010ae: POP 000010af: POP 000010b0: SWAP3 000010b1: SWAP2 000010b2: POP 000010b3: POP 000010b4: JUMP 000010b5: JUMPDEST 000010b6: PUSH1 0x00 000010b8: PUSH1 0x01 000010ba: PUSH1 0x00 000010bc: DUP4 000010bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010d2: AND 000010d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010e8: AND 000010e9: DUP2 000010ea: MSTORE 000010eb: PUSH1 0x20 000010ed: ADD 000010ee: SWAP1 000010ef: DUP2 000010f0: MSTORE 000010f1: PUSH1 0x20 000010f3: ADD 000010f4: PUSH1 0x00 000010f6: KECCAK256 000010f7: SLOAD 000010f8: SWAP1 000010f9: POP 000010fa: SWAP2 000010fb: SWAP1 000010fc: POP 000010fd: JUMP 000010fe: JUMPDEST 000010ff: PUSH1 0x00 00001101: DUP1 00001102: SWAP1 00001103: SLOAD 00001104: SWAP1 00001105: PUSH2 0x0100 00001108: EXP 00001109: SWAP1 0000110a: DIV 0000110b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001120: AND 00001121: DUP2 00001122: JUMP 00001123: JUMPDEST 00001124: PUSH1 0x40 00001126: DUP1 00001127: MLOAD 00001128: SWAP1 00001129: DUP2 0000112a: ADD 0000112b: PUSH1 0x40 0000112d: MSTORE 0000112e: DUP1 0000112f: PUSH1 0x04 00001131: DUP2 00001132: MSTORE 00001133: PUSH1 0x20 00001135: ADD 00001136: PUSH32 0x436f436f00000000000000000000000000000000000000000000000000000000 00001157: DUP2 00001158: MSTORE 00001159: POP 0000115a: DUP2 0000115b: JUMP 0000115c: JUMPDEST 0000115d: PUSH1 0x00 0000115f: DUP1 00001160: SWAP1 00001161: SLOAD 00001162: SWAP1 00001163: PUSH2 0x0100 00001166: EXP 00001167: SWAP1 00001168: DIV 00001169: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000117e: AND 0000117f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001194: AND 00001195: CALLER 00001196: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011ab: AND 000011ac: EQ 000011ad: ISZERO 000011ae: ISZERO 000011af: PUSH2 0x11b7 000011b2: JUMPI 000011b3: PUSH1 0x00 000011b5: DUP1 000011b6: REVERT 000011b7: JUMPDEST 000011b8: PUSH1 0x00 000011ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011cf: AND 000011d0: DUP3 000011d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011e6: AND 000011e7: EQ 000011e8: ISZERO 000011e9: ISZERO 000011ea: ISZERO 000011eb: PUSH2 0x11f3 000011ee: JUMPI 000011ef: PUSH1 0x00 000011f1: DUP1 000011f2: REVERT 000011f3: JUMPDEST 000011f4: PUSH1 0x00 000011f6: DUP2 000011f7: GT 000011f8: ISZERO 000011f9: ISZERO 000011fa: PUSH2 0x1202 000011fd: JUMPI 000011fe: PUSH1 0x00 00001200: DUP1 00001201: REVERT 00001202: JUMPDEST 00001203: PUSH2 0x1217 00001206: DUP2 00001207: PUSH1 0x02 00001209: SLOAD 0000120a: PUSH2 0x1c42 0000120d: SWAP1 0000120e: SWAP2 0000120f: SWAP1 00001210: PUSH4 0xffffffff 00001215: AND 00001216: JUMP 00001217: JUMPDEST 00001218: PUSH1 0x02 0000121a: DUP2 0000121b: SWAP1 0000121c: SSTORE 0000121d: POP 0000121e: PUSH2 0x126f 00001221: DUP2 00001222: PUSH1 0x01 00001224: PUSH1 0x00 00001226: DUP6 00001227: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000123c: AND 0000123d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001252: AND 00001253: DUP2 00001254: MSTORE 00001255: PUSH1 0x20 00001257: ADD 00001258: SWAP1 00001259: DUP2 0000125a: MSTORE 0000125b: PUSH1 0x20 0000125d: ADD 0000125e: PUSH1 0x00 00001260: KECCAK256 00001261: SLOAD 00001262: PUSH2 0x1c42 00001265: SWAP1 00001266: SWAP2 00001267: SWAP1 00001268: PUSH4 0xffffffff 0000126d: AND 0000126e: JUMP 0000126f: JUMPDEST 00001270: PUSH1 0x01 00001272: PUSH1 0x00 00001274: DUP5 00001275: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000128a: AND 0000128b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012a0: AND 000012a1: DUP2 000012a2: MSTORE 000012a3: PUSH1 0x20 000012a5: ADD 000012a6: SWAP1 000012a7: DUP2 000012a8: MSTORE 000012a9: PUSH1 0x20 000012ab: ADD 000012ac: PUSH1 0x00 000012ae: KECCAK256 000012af: DUP2 000012b0: SWAP1 000012b1: SSTORE 000012b2: POP 000012b3: PUSH1 0x00 000012b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012ca: AND 000012cb: DUP3 000012cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012e1: AND 000012e2: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001303: DUP4 00001304: PUSH1 0x40 00001306: MLOAD 00001307: DUP1 00001308: DUP3 00001309: DUP2 0000130a: MSTORE 0000130b: PUSH1 0x20 0000130d: ADD 0000130e: SWAP2 0000130f: POP 00001310: POP 00001311: PUSH1 0x40 00001313: MLOAD 00001314: DUP1 00001315: SWAP2 00001316: SUB 00001317: SWAP1 00001318: LOG3 00001319: POP 0000131a: POP 0000131b: JUMP 0000131c: JUMPDEST 0000131d: PUSH1 0x00 0000131f: DUP1 00001320: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001335: AND 00001336: DUP4 00001337: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000134c: AND 0000134d: EQ 0000134e: ISZERO 0000134f: ISZERO 00001350: ISZERO 00001351: PUSH2 0x1359 00001354: JUMPI 00001355: PUSH1 0x00 00001357: DUP1 00001358: REVERT 00001359: JUMPDEST 0000135a: PUSH1 0x01 0000135c: PUSH1 0x00 0000135e: CALLER 0000135f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001374: AND 00001375: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000138a: AND 0000138b: DUP2 0000138c: MSTORE 0000138d: PUSH1 0x20 0000138f: ADD 00001390: SWAP1 00001391: DUP2 00001392: MSTORE 00001393: PUSH1 0x20 00001395: ADD 00001396: PUSH1 0x00 00001398: KECCAK256 00001399: SLOAD 0000139a: DUP3 0000139b: GT 0000139c: ISZERO 0000139d: ISZERO 0000139e: ISZERO 0000139f: PUSH2 0x13a7 000013a2: JUMPI 000013a3: PUSH1 0x00 000013a5: DUP1 000013a6: REVERT 000013a7: JUMPDEST 000013a8: PUSH2 0x13f9 000013ab: DUP3 000013ac: PUSH1 0x01 000013ae: PUSH1 0x00 000013b0: CALLER 000013b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013c6: AND 000013c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013dc: AND 000013dd: DUP2 000013de: MSTORE 000013df: PUSH1 0x20 000013e1: ADD 000013e2: SWAP1 000013e3: DUP2 000013e4: MSTORE 000013e5: PUSH1 0x20 000013e7: ADD 000013e8: PUSH1 0x00 000013ea: KECCAK256 000013eb: SLOAD 000013ec: PUSH2 0x1c42 000013ef: SWAP1 000013f0: SWAP2 000013f1: SWAP1 000013f2: PUSH4 0xffffffff 000013f7: AND 000013f8: JUMP 000013f9: JUMPDEST 000013fa: PUSH1 0x01 000013fc: PUSH1 0x00 000013fe: CALLER 000013ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001414: AND 00001415: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000142a: AND 0000142b: DUP2 0000142c: MSTORE 0000142d: PUSH1 0x20 0000142f: ADD 00001430: SWAP1 00001431: DUP2 00001432: MSTORE 00001433: PUSH1 0x20 00001435: ADD 00001436: PUSH1 0x00 00001438: KECCAK256 00001439: DUP2 0000143a: SWAP1 0000143b: SSTORE 0000143c: POP 0000143d: PUSH2 0x148e 00001440: DUP3 00001441: PUSH1 0x01 00001443: PUSH1 0x00 00001445: DUP7 00001446: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000145b: AND 0000145c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001471: AND 00001472: DUP2 00001473: MSTORE 00001474: PUSH1 0x20 00001476: ADD 00001477: SWAP1 00001478: DUP2 00001479: MSTORE 0000147a: PUSH1 0x20 0000147c: ADD 0000147d: PUSH1 0x00 0000147f: KECCAK256 00001480: SLOAD 00001481: PUSH2 0x1c5b 00001484: SWAP1 00001485: SWAP2 00001486: SWAP1 00001487: PUSH4 0xffffffff 0000148c: AND 0000148d: JUMP 0000148e: JUMPDEST 0000148f: PUSH1 0x01 00001491: PUSH1 0x00 00001493: DUP6 00001494: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014a9: AND 000014aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014bf: AND 000014c0: DUP2 000014c1: MSTORE 000014c2: PUSH1 0x20 000014c4: ADD 000014c5: SWAP1 000014c6: DUP2 000014c7: MSTORE 000014c8: PUSH1 0x20 000014ca: ADD 000014cb: PUSH1 0x00 000014cd: KECCAK256 000014ce: DUP2 000014cf: SWAP1 000014d0: SSTORE 000014d1: POP 000014d2: DUP3 000014d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014e8: AND 000014e9: CALLER 000014ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014ff: AND 00001500: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001521: DUP5 00001522: PUSH1 0x40 00001524: MLOAD 00001525: DUP1 00001526: DUP3 00001527: DUP2 00001528: MSTORE 00001529: PUSH1 0x20 0000152b: ADD 0000152c: SWAP2 0000152d: POP 0000152e: POP 0000152f: PUSH1 0x40 00001531: MLOAD 00001532: DUP1 00001533: SWAP2 00001534: SUB 00001535: SWAP1 00001536: LOG3 00001537: PUSH1 0x01 00001539: SWAP1 0000153a: POP 0000153b: SWAP3 0000153c: SWAP2 0000153d: POP 0000153e: POP 0000153f: JUMP 00001540: JUMPDEST 00001541: PUSH1 0x00 00001543: DUP1 00001544: SWAP1 00001545: SLOAD 00001546: SWAP1 00001547: PUSH2 0x0100 0000154a: EXP 0000154b: SWAP1 0000154c: DIV 0000154d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001562: AND 00001563: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001578: AND 00001579: CALLER 0000157a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000158f: AND 00001590: EQ 00001591: ISZERO 00001592: ISZERO 00001593: PUSH2 0x159b 00001596: JUMPI 00001597: PUSH1 0x00 00001599: DUP1 0000159a: REVERT 0000159b: JUMPDEST 0000159c: PUSH1 0x00 0000159e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015b3: AND 000015b4: DUP3 000015b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015ca: AND 000015cb: EQ 000015cc: ISZERO 000015cd: ISZERO 000015ce: ISZERO 000015cf: PUSH2 0x15d7 000015d2: JUMPI 000015d3: PUSH1 0x00 000015d5: DUP1 000015d6: REVERT 000015d7: JUMPDEST 000015d8: PUSH1 0x00 000015da: DUP2 000015db: GT 000015dc: ISZERO 000015dd: ISZERO 000015de: PUSH2 0x15e6 000015e1: JUMPI 000015e2: PUSH1 0x00 000015e4: DUP1 000015e5: REVERT 000015e6: JUMPDEST 000015e7: DUP2 000015e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015fd: AND 000015fe: PUSH2 0x08fc 00001601: DUP3 00001602: SWAP1 00001603: DUP2 00001604: ISZERO 00001605: MUL 00001606: SWAP1 00001607: PUSH1 0x40 00001609: MLOAD 0000160a: PUSH1 0x00 0000160c: PUSH1 0x40 0000160e: MLOAD 0000160f: DUP1 00001610: DUP4 00001611: SUB 00001612: DUP2 00001613: DUP6 00001614: DUP9 00001615: DUP9 00001616: CALL 00001617: SWAP4 00001618: POP 00001619: POP 0000161a: POP 0000161b: POP 0000161c: ISZERO 0000161d: DUP1 0000161e: ISZERO 0000161f: PUSH2 0x162c 00001622: JUMPI 00001623: RETURNDATASIZE 00001624: PUSH1 0x00 00001626: DUP1 00001627: RETURNDATACOPY 00001628: RETURNDATASIZE 00001629: PUSH1 0x00 0000162b: REVERT 0000162c: JUMPDEST 0000162d: POP 0000162e: POP 0000162f: POP 00001630: JUMP 00001631: JUMPDEST 00001632: PUSH1 0x00 00001634: DUP1 00001635: SWAP1 00001636: SLOAD 00001637: SWAP1 00001638: PUSH2 0x0100 0000163b: EXP 0000163c: SWAP1 0000163d: DIV 0000163e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001653: AND 00001654: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001669: AND 0000166a: CALLER 0000166b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001680: AND 00001681: EQ 00001682: ISZERO 00001683: ISZERO 00001684: PUSH2 0x168c 00001687: JUMPI 00001688: PUSH1 0x00 0000168a: DUP1 0000168b: REVERT 0000168c: JUMPDEST 0000168d: PUSH1 0x00 0000168f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016a4: AND 000016a5: DUP3 000016a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016bb: AND 000016bc: EQ 000016bd: ISZERO 000016be: ISZERO 000016bf: ISZERO 000016c0: PUSH2 0x16c8 000016c3: JUMPI 000016c4: PUSH1 0x00 000016c6: DUP1 000016c7: REVERT 000016c8: JUMPDEST 000016c9: PUSH1 0x00 000016cb: DUP2 000016cc: GT 000016cd: ISZERO 000016ce: ISZERO 000016cf: PUSH2 0x16d7 000016d2: JUMPI 000016d3: PUSH1 0x00 000016d5: DUP1 000016d6: REVERT 000016d7: JUMPDEST 000016d8: PUSH2 0x1729 000016db: DUP2 000016dc: PUSH1 0x01 000016de: PUSH1 0x00 000016e0: ADDRESS 000016e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016f6: AND 000016f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000170c: AND 0000170d: DUP2 0000170e: MSTORE 0000170f: PUSH1 0x20 00001711: ADD 00001712: SWAP1 00001713: DUP2 00001714: MSTORE 00001715: PUSH1 0x20 00001717: ADD 00001718: PUSH1 0x00 0000171a: KECCAK256 0000171b: SLOAD 0000171c: PUSH2 0x1c42 0000171f: SWAP1 00001720: SWAP2 00001721: SWAP1 00001722: PUSH4 0xffffffff 00001727: AND 00001728: JUMP 00001729: JUMPDEST 0000172a: PUSH1 0x01 0000172c: PUSH1 0x00 0000172e: ADDRESS 0000172f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001744: AND 00001745: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000175a: AND 0000175b: DUP2 0000175c: MSTORE 0000175d: PUSH1 0x20 0000175f: ADD 00001760: SWAP1 00001761: DUP2 00001762: MSTORE 00001763: PUSH1 0x20 00001765: ADD 00001766: PUSH1 0x00 00001768: KECCAK256 00001769: DUP2 0000176a: SWAP1 0000176b: SSTORE 0000176c: POP 0000176d: PUSH2 0x17be 00001770: DUP2 00001771: PUSH1 0x01 00001773: PUSH1 0x00 00001775: DUP6 00001776: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000178b: AND 0000178c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017a1: AND 000017a2: DUP2 000017a3: MSTORE 000017a4: PUSH1 0x20 000017a6: ADD 000017a7: SWAP1 000017a8: DUP2 000017a9: MSTORE 000017aa: PUSH1 0x20 000017ac: ADD 000017ad: PUSH1 0x00 000017af: KECCAK256 000017b0: SLOAD 000017b1: PUSH2 0x1c5b 000017b4: SWAP1 000017b5: SWAP2 000017b6: SWAP1 000017b7: PUSH4 0xffffffff 000017bc: AND 000017bd: JUMP 000017be: JUMPDEST 000017bf: PUSH1 0x01 000017c1: PUSH1 0x00 000017c3: DUP5 000017c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017d9: AND 000017da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017ef: AND 000017f0: DUP2 000017f1: MSTORE 000017f2: PUSH1 0x20 000017f4: ADD 000017f5: SWAP1 000017f6: DUP2 000017f7: MSTORE 000017f8: PUSH1 0x20 000017fa: ADD 000017fb: PUSH1 0x00 000017fd: KECCAK256 000017fe: DUP2 000017ff: SWAP1 00001800: SSTORE 00001801: POP 00001802: DUP2 00001803: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001818: AND 00001819: ADDRESS 0000181a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000182f: AND 00001830: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001851: DUP4 00001852: PUSH1 0x40 00001854: MLOAD 00001855: DUP1 00001856: DUP3 00001857: DUP2 00001858: MSTORE 00001859: PUSH1 0x20 0000185b: ADD 0000185c: SWAP2 0000185d: POP 0000185e: POP 0000185f: PUSH1 0x40 00001861: MLOAD 00001862: DUP1 00001863: SWAP2 00001864: SUB 00001865: SWAP1 00001866: LOG3 00001867: POP 00001868: POP 00001869: JUMP 0000186a: JUMPDEST 0000186b: PUSH1 0x00 0000186d: PUSH2 0x18fb 00001870: DUP3 00001871: PUSH1 0x03 00001873: PUSH1 0x00 00001875: CALLER 00001876: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000188b: AND 0000188c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018a1: AND 000018a2: DUP2 000018a3: MSTORE 000018a4: PUSH1 0x20 000018a6: ADD 000018a7: SWAP1 000018a8: DUP2 000018a9: MSTORE 000018aa: PUSH1 0x20 000018ac: ADD 000018ad: PUSH1 0x00 000018af: KECCAK256 000018b0: PUSH1 0x00 000018b2: DUP7 000018b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018c8: AND 000018c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018de: AND 000018df: DUP2 000018e0: MSTORE 000018e1: PUSH1 0x20 000018e3: ADD 000018e4: SWAP1 000018e5: DUP2 000018e6: MSTORE 000018e7: PUSH1 0x20 000018e9: ADD 000018ea: PUSH1 0x00 000018ec: KECCAK256 000018ed: SLOAD 000018ee: PUSH2 0x1c5b 000018f1: SWAP1 000018f2: SWAP2 000018f3: SWAP1 000018f4: PUSH4 0xffffffff 000018f9: AND 000018fa: JUMP 000018fb: JUMPDEST 000018fc: PUSH1 0x03 000018fe: PUSH1 0x00 00001900: CALLER 00001901: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001916: AND 00001917: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000192c: AND 0000192d: DUP2 0000192e: MSTORE 0000192f: PUSH1 0x20 00001931: ADD 00001932: SWAP1 00001933: DUP2 00001934: MSTORE 00001935: PUSH1 0x20 00001937: ADD 00001938: PUSH1 0x00 0000193a: KECCAK256 0000193b: PUSH1 0x00 0000193d: DUP6 0000193e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001953: AND 00001954: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001969: AND 0000196a: DUP2 0000196b: MSTORE 0000196c: PUSH1 0x20 0000196e: ADD 0000196f: SWAP1 00001970: DUP2 00001971: MSTORE 00001972: PUSH1 0x20 00001974: ADD 00001975: PUSH1 0x00 00001977: KECCAK256 00001978: DUP2 00001979: SWAP1 0000197a: SSTORE 0000197b: POP 0000197c: DUP3 0000197d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001992: AND 00001993: CALLER 00001994: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019a9: AND 000019aa: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000019cb: PUSH1 0x03 000019cd: PUSH1 0x00 000019cf: CALLER 000019d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019e5: AND 000019e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019fb: AND 000019fc: DUP2 000019fd: MSTORE 000019fe: PUSH1 0x20 00001a00: ADD 00001a01: SWAP1 00001a02: DUP2 00001a03: MSTORE 00001a04: PUSH1 0x20 00001a06: ADD 00001a07: PUSH1 0x00 00001a09: KECCAK256 00001a0a: PUSH1 0x00 00001a0c: DUP8 00001a0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a22: AND 00001a23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a38: AND 00001a39: DUP2 00001a3a: MSTORE 00001a3b: PUSH1 0x20 00001a3d: ADD 00001a3e: SWAP1 00001a3f: DUP2 00001a40: MSTORE 00001a41: PUSH1 0x20 00001a43: ADD 00001a44: PUSH1 0x00 00001a46: KECCAK256 00001a47: SLOAD 00001a48: PUSH1 0x40 00001a4a: MLOAD 00001a4b: DUP1 00001a4c: DUP3 00001a4d: DUP2 00001a4e: MSTORE 00001a4f: PUSH1 0x20 00001a51: ADD 00001a52: SWAP2 00001a53: POP 00001a54: POP 00001a55: PUSH1 0x40 00001a57: MLOAD 00001a58: DUP1 00001a59: SWAP2 00001a5a: SUB 00001a5b: SWAP1 00001a5c: LOG3 00001a5d: PUSH1 0x01 00001a5f: SWAP1 00001a60: POP 00001a61: SWAP3 00001a62: SWAP2 00001a63: POP 00001a64: POP 00001a65: JUMP 00001a66: JUMPDEST 00001a67: PUSH1 0x00 00001a69: PUSH1 0x03 00001a6b: PUSH1 0x00 00001a6d: DUP5 00001a6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a83: AND 00001a84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a99: AND 00001a9a: DUP2 00001a9b: MSTORE 00001a9c: PUSH1 0x20 00001a9e: ADD 00001a9f: SWAP1 00001aa0: DUP2 00001aa1: MSTORE 00001aa2: PUSH1 0x20 00001aa4: ADD 00001aa5: PUSH1 0x00 00001aa7: KECCAK256 00001aa8: PUSH1 0x00 00001aaa: DUP4 00001aab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ac0: AND 00001ac1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ad6: AND 00001ad7: DUP2 00001ad8: MSTORE 00001ad9: PUSH1 0x20 00001adb: ADD 00001adc: SWAP1 00001add: DUP2 00001ade: MSTORE 00001adf: PUSH1 0x20 00001ae1: ADD 00001ae2: PUSH1 0x00 00001ae4: KECCAK256 00001ae5: SLOAD 00001ae6: SWAP1 00001ae7: POP 00001ae8: SWAP3 00001ae9: SWAP2 00001aea: POP 00001aeb: POP 00001aec: JUMP 00001aed: JUMPDEST 00001aee: PUSH1 0x00 00001af0: DUP1 00001af1: SWAP1 00001af2: SLOAD 00001af3: SWAP1 00001af4: PUSH2 0x0100 00001af7: EXP 00001af8: SWAP1 00001af9: DIV 00001afa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b0f: AND 00001b10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b25: AND 00001b26: CALLER 00001b27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b3c: AND 00001b3d: EQ 00001b3e: ISZERO 00001b3f: ISZERO 00001b40: PUSH2 0x1b48 00001b43: JUMPI 00001b44: PUSH1 0x00 00001b46: DUP1 00001b47: REVERT 00001b48: JUMPDEST 00001b49: PUSH1 0x00 00001b4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b60: AND 00001b61: DUP2 00001b62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b77: AND 00001b78: EQ 00001b79: ISZERO 00001b7a: ISZERO 00001b7b: ISZERO 00001b7c: PUSH2 0x1b84 00001b7f: JUMPI 00001b80: PUSH1 0x00 00001b82: DUP1 00001b83: REVERT 00001b84: JUMPDEST 00001b85: DUP1 00001b86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b9b: AND 00001b9c: PUSH1 0x00 00001b9e: DUP1 00001b9f: SWAP1 00001ba0: SLOAD 00001ba1: SWAP1 00001ba2: PUSH2 0x0100 00001ba5: EXP 00001ba6: SWAP1 00001ba7: DIV 00001ba8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bbd: AND 00001bbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bd3: AND 00001bd4: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001bf5: PUSH1 0x40 00001bf7: MLOAD 00001bf8: PUSH1 0x40 00001bfa: MLOAD 00001bfb: DUP1 00001bfc: SWAP2 00001bfd: SUB 00001bfe: SWAP1 00001bff: LOG3 00001c00: DUP1 00001c01: PUSH1 0x00 00001c03: DUP1 00001c04: PUSH2 0x0100 00001c07: EXP 00001c08: DUP2 00001c09: SLOAD 00001c0a: DUP2 00001c0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c20: MUL 00001c21: NOT 00001c22: AND 00001c23: SWAP1 00001c24: DUP4 00001c25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c3a: AND 00001c3b: MUL 00001c3c: OR 00001c3d: SWAP1 00001c3e: SSTORE 00001c3f: POP 00001c40: POP 00001c41: JUMP 00001c42: JUMPDEST 00001c43: PUSH1 0x00 00001c45: DUP3 00001c46: DUP3 00001c47: GT 00001c48: ISZERO 00001c49: ISZERO 00001c4a: ISZERO 00001c4b: PUSH2 0x1c50 00001c4e: JUMPI 00001c4f: INVALID 00001c50: JUMPDEST 00001c51: DUP2 00001c52: DUP4 00001c53: SUB 00001c54: SWAP1 00001c55: POP 00001c56: SWAP3 00001c57: SWAP2 00001c58: POP 00001c59: POP 00001c5a: JUMP 00001c5b: JUMPDEST 00001c5c: PUSH1 0x00 00001c5e: DUP1 00001c5f: DUP3 00001c60: DUP5 00001c61: ADD 00001c62: SWAP1 00001c63: POP 00001c64: DUP4 00001c65: DUP2 00001c66: LT 00001c67: ISZERO 00001c68: ISZERO 00001c69: ISZERO 00001c6a: PUSH2 0x1c6f 00001c6d: JUMPI 00001c6e: INVALID 00001c6f: JUMPDEST 00001c70: DUP1 00001c71: SWAP2 00001c72: POP 00001c73: POP 00001c74: SWAP3 00001c75: SWAP2 00001c76: POP 00001c77: POP 00001c78: JUMP 00001c79: STOP 00001c7a: LOG1 00001c7b: PUSH6 0x627a7a723058 00001c82: KECCAK256 00001c83: UNKNOWN(0xEB) 00001c84: SWAP12 00001c85: ADDMOD 00001c86: LOG0 00001c87: UNKNOWN(0xBF) 00001c88: UNKNOWN(0xB6) 00001c89: UNKNOWN(0xA8) 00001c8a: DUP13 00001c8b: UNKNOWN(0xD2) 00001c8c: UNKNOWN(0x2B) 00001c8d: UNKNOWN(0xDD) 00001c8e: SMOD 00001c8f: SWAP10 00001c90: CALLER 00001c91: SLT 00001c92: SWAP9 00001c93: PUSH13 0x2b916806b768a57a6fd5bc0c27 00001ca1: DUP7 00001ca2: PC 00001ca3: STOP 00001ca4: UNKNOWN(0x29)
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x8ad64f0d7b9e3d217e356de93800a0d7e72bbf14e11aee1d09fb3b79a6918b7f
call_targets:
0x1f7b8930a176a9f066cae3750d6edc821228b5aa
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8ad64f0d7b9e3d217e356de93800a0d7e72bbf14e11aee1d09fb3b79a6918b7f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1f7b8930a176a9f066cae3750d6edc821228b5aa"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2ff2e9dc",
"selector": "0x2ff2e9dc",
"calldata_variants": [
"0x2ff2e9dc",
"0x2ff2e9dc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x40c10f19",
"selector": "0x40c10f19",
"calldata_variants": [
"0x40c10f19",
"0x40c10f190000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5654,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 3229,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4501,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5497,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5738,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6950,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x8ad64f0d7b9e3d217e356de93800a0d7e72bbf14e11aee1d09fb3b79a6918b7f
call_targets:
0x1f7b8930a176a9f066cae3750d6edc821228b5aa
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8ad64f0d7b9e3d217e356de93800a0d7e72bbf14e11aee1d09fb3b79a6918b7f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1f7b8930a176a9f066cae3750d6edc821228b5aa"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2ff2e9dc",
"selector": "0x2ff2e9dc",
"calldata_variants": [
"0x2ff2e9dc",
"0x2ff2e9dc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x40c10f19",
"selector": "0x40c10f19",
"calldata_variants": [
"0x40c10f19",
"0x40c10f190000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5654,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 3229,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4501,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5497,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5738,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6950,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|