019ba9a5-c801-7258-9a50-3449d63c8e3f
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 |
|---|---|---|---|---|
| 37535 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 37536 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 37537 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 37538 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 37539 | capability.graph | complete | 1 / 3 | 3 months ago |
| 37540 | detector.run | complete | 1 / 3 | 3 months ago |
| 37541 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
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 0x0129 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x70a08231 00000019: GT 0000001a: PUSH2 0x00a5 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa457c2d7 00000024: GT 00000025: PUSH2 0x0074 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xd0e30db0 0000002f: GT 00000030: PUSH2 0x0059 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd0e30db0 0000003a: EQ 0000003b: PUSH2 0x0319 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd505accf 00000045: EQ 00000046: PUSH2 0x0321 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xdd62ed3e 00000050: EQ 00000051: PUSH2 0x0341 00000054: JUMPI 00000055: PUSH2 0x0129 00000058: JUMP 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0xa457c2d7 00000060: EQ 00000061: PUSH2 0x02d9 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xa9059cbb 0000006b: EQ 0000006c: PUSH2 0x02f9 0000006f: JUMPI 00000070: PUSH2 0x0129 00000073: JUMP 00000074: JUMPDEST 00000075: DUP1 00000076: PUSH4 0x70a08231 0000007b: EQ 0000007c: PUSH2 0x0257 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x7ecebe00 00000086: EQ 00000087: PUSH2 0x028d 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x887594ed 00000091: EQ 00000092: PUSH2 0x02ad 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x95d89b41 0000009c: EQ 0000009d: PUSH2 0x02c4 000000a0: JUMPI 000000a1: PUSH2 0x0129 000000a4: JUMP 000000a5: JUMPDEST 000000a6: DUP1 000000a7: PUSH4 0x26be140f 000000ac: GT 000000ad: PUSH2 0x00fc 000000b0: JUMPI 000000b1: DUP1 000000b2: PUSH4 0x313ce567 000000b7: GT 000000b8: PUSH2 0x00e1 000000bb: JUMPI 000000bc: DUP1 000000bd: PUSH4 0x313ce567 000000c2: EQ 000000c3: PUSH2 0x0206 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0x3644e515 000000cd: EQ 000000ce: PUSH2 0x0222 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x39509351 000000d8: EQ 000000d9: PUSH2 0x0237 000000dc: JUMPI 000000dd: PUSH2 0x0129 000000e0: JUMP 000000e1: JUMPDEST 000000e2: DUP1 000000e3: PUSH4 0x26be140f 000000e8: EQ 000000e9: PUSH2 0x01cd 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0x2e1a7d4d 000000f3: EQ 000000f4: PUSH2 0x01e6 000000f7: JUMPI 000000f8: PUSH2 0x0129 000000fb: JUMP 000000fc: JUMPDEST 000000fd: DUP1 000000fe: PUSH4 0x06fdde03 00000103: EQ 00000104: PUSH2 0x0133 00000107: JUMPI 00000108: DUP1 00000109: PUSH4 0x095ea7b3 0000010e: EQ 0000010f: PUSH2 0x015e 00000112: JUMPI 00000113: DUP1 00000114: PUSH4 0x18160ddd 00000119: EQ 0000011a: PUSH2 0x018e 0000011d: JUMPI 0000011e: DUP1 0000011f: PUSH4 0x23b872dd 00000124: EQ 00000125: PUSH2 0x01ad 00000128: JUMPI 00000129: JUMPDEST 0000012a: PUSH2 0x0131 0000012d: PUSH2 0x0387 00000130: JUMP 00000131: JUMPDEST 00000132: STOP 00000133: JUMPDEST 00000134: CALLVALUE 00000135: DUP1 00000136: ISZERO 00000137: PUSH2 0x013f 0000013a: JUMPI 0000013b: PUSH1 0x00 0000013d: DUP1 0000013e: REVERT 0000013f: JUMPDEST 00000140: POP 00000141: PUSH2 0x0148 00000144: PUSH2 0x0419 00000147: JUMP 00000148: JUMPDEST 00000149: PUSH1 0x40 0000014b: MLOAD 0000014c: PUSH2 0x0155 0000014f: SWAP2 00000150: SWAP1 00000151: PUSH2 0x1397 00000154: JUMP 00000155: JUMPDEST 00000156: PUSH1 0x40 00000158: MLOAD 00000159: DUP1 0000015a: SWAP2 0000015b: SUB 0000015c: SWAP1 0000015d: RETURN 0000015e: JUMPDEST 0000015f: CALLVALUE 00000160: DUP1 00000161: ISZERO 00000162: PUSH2 0x016a 00000165: JUMPI 00000166: PUSH1 0x00 00000168: DUP1 00000169: REVERT 0000016a: JUMPDEST 0000016b: POP 0000016c: PUSH2 0x017e 0000016f: PUSH2 0x0179 00000172: CALLDATASIZE 00000173: PUSH1 0x04 00000175: PUSH2 0x1426 00000178: JUMP 00000179: JUMPDEST 0000017a: PUSH2 0x04ab 0000017d: JUMP 0000017e: JUMPDEST 0000017f: PUSH1 0x40 00000181: MLOAD 00000182: SWAP1 00000183: ISZERO 00000184: ISZERO 00000185: DUP2 00000186: MSTORE 00000187: PUSH1 0x20 00000189: ADD 0000018a: PUSH2 0x0155 0000018d: JUMP 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: PUSH1 0x02 0000019e: SLOAD 0000019f: JUMPDEST 000001a0: PUSH1 0x40 000001a2: MLOAD 000001a3: SWAP1 000001a4: DUP2 000001a5: MSTORE 000001a6: PUSH1 0x20 000001a8: ADD 000001a9: PUSH2 0x0155 000001ac: JUMP 000001ad: JUMPDEST 000001ae: CALLVALUE 000001af: DUP1 000001b0: ISZERO 000001b1: PUSH2 0x01b9 000001b4: JUMPI 000001b5: PUSH1 0x00 000001b7: DUP1 000001b8: REVERT 000001b9: JUMPDEST 000001ba: POP 000001bb: PUSH2 0x017e 000001be: PUSH2 0x01c8 000001c1: CALLDATASIZE 000001c2: PUSH1 0x04 000001c4: PUSH2 0x1450 000001c7: JUMP 000001c8: JUMPDEST 000001c9: PUSH2 0x04c1 000001cc: JUMP 000001cd: JUMPDEST 000001ce: CALLVALUE 000001cf: DUP1 000001d0: ISZERO 000001d1: PUSH2 0x01d9 000001d4: JUMPI 000001d5: PUSH1 0x00 000001d7: DUP1 000001d8: REVERT 000001d9: JUMPDEST 000001da: POP 000001db: PUSH2 0x019f 000001de: PUSH5 0xe8d4a51000 000001e4: DUP2 000001e5: JUMP 000001e6: JUMPDEST 000001e7: CALLVALUE 000001e8: DUP1 000001e9: ISZERO 000001ea: PUSH2 0x01f2 000001ed: JUMPI 000001ee: PUSH1 0x00 000001f0: DUP1 000001f1: REVERT 000001f2: JUMPDEST 000001f3: POP 000001f4: PUSH2 0x0131 000001f7: PUSH2 0x0201 000001fa: CALLDATASIZE 000001fb: PUSH1 0x04 000001fd: PUSH2 0x148c 00000200: JUMP 00000201: JUMPDEST 00000202: PUSH2 0x0585 00000205: JUMP 00000206: JUMPDEST 00000207: CALLVALUE 00000208: DUP1 00000209: ISZERO 0000020a: PUSH2 0x0212 0000020d: JUMPI 0000020e: PUSH1 0x00 00000210: DUP1 00000211: REVERT 00000212: JUMPDEST 00000213: POP 00000214: PUSH1 0x40 00000216: MLOAD 00000217: PUSH1 0x12 00000219: DUP2 0000021a: MSTORE 0000021b: PUSH1 0x20 0000021d: ADD 0000021e: PUSH2 0x0155 00000221: JUMP 00000222: JUMPDEST 00000223: CALLVALUE 00000224: DUP1 00000225: ISZERO 00000226: PUSH2 0x022e 00000229: JUMPI 0000022a: PUSH1 0x00 0000022c: DUP1 0000022d: REVERT 0000022e: JUMPDEST 0000022f: POP 00000230: PUSH2 0x019f 00000233: PUSH2 0x0645 00000236: JUMP 00000237: JUMPDEST 00000238: CALLVALUE 00000239: DUP1 0000023a: ISZERO 0000023b: PUSH2 0x0243 0000023e: JUMPI 0000023f: PUSH1 0x00 00000241: DUP1 00000242: REVERT 00000243: JUMPDEST 00000244: POP 00000245: PUSH2 0x017e 00000248: PUSH2 0x0252 0000024b: CALLDATASIZE 0000024c: PUSH1 0x04 0000024e: PUSH2 0x1426 00000251: JUMP 00000252: JUMPDEST 00000253: PUSH2 0x0654 00000256: JUMP 00000257: JUMPDEST 00000258: CALLVALUE 00000259: DUP1 0000025a: ISZERO 0000025b: PUSH2 0x0263 0000025e: JUMPI 0000025f: PUSH1 0x00 00000261: DUP1 00000262: REVERT 00000263: JUMPDEST 00000264: POP 00000265: PUSH2 0x019f 00000268: PUSH2 0x0272 0000026b: CALLDATASIZE 0000026c: PUSH1 0x04 0000026e: PUSH2 0x14a5 00000271: JUMP 00000272: JUMPDEST 00000273: PUSH1 0x01 00000275: PUSH1 0x01 00000277: PUSH1 0xa0 00000279: SHL 0000027a: SUB 0000027b: AND 0000027c: PUSH1 0x00 0000027e: SWAP1 0000027f: DUP2 00000280: MSTORE 00000281: PUSH1 0x20 00000283: DUP2 00000284: SWAP1 00000285: MSTORE 00000286: PUSH1 0x40 00000288: SWAP1 00000289: KECCAK256 0000028a: SLOAD 0000028b: SWAP1 0000028c: JUMP 0000028d: JUMPDEST 0000028e: CALLVALUE 0000028f: DUP1 00000290: ISZERO 00000291: PUSH2 0x0299 00000294: JUMPI 00000295: PUSH1 0x00 00000297: DUP1 00000298: REVERT 00000299: JUMPDEST 0000029a: POP 0000029b: PUSH2 0x019f 0000029e: PUSH2 0x02a8 000002a1: CALLDATASIZE 000002a2: PUSH1 0x04 000002a4: PUSH2 0x14a5 000002a7: JUMP 000002a8: JUMPDEST 000002a9: PUSH2 0x0690 000002ac: JUMP 000002ad: JUMPDEST 000002ae: CALLVALUE 000002af: DUP1 000002b0: ISZERO 000002b1: PUSH2 0x02b9 000002b4: JUMPI 000002b5: PUSH1 0x00 000002b7: DUP1 000002b8: REVERT 000002b9: JUMPDEST 000002ba: POP 000002bb: PUSH2 0x019f 000002be: PUSH3 0x0f4240 000002c2: DUP2 000002c3: JUMP 000002c4: JUMPDEST 000002c5: CALLVALUE 000002c6: DUP1 000002c7: ISZERO 000002c8: PUSH2 0x02d0 000002cb: JUMPI 000002cc: PUSH1 0x00 000002ce: DUP1 000002cf: REVERT 000002d0: JUMPDEST 000002d1: POP 000002d2: PUSH2 0x0148 000002d5: PUSH2 0x06b0 000002d8: JUMP 000002d9: JUMPDEST 000002da: CALLVALUE 000002db: DUP1 000002dc: ISZERO 000002dd: PUSH2 0x02e5 000002e0: JUMPI 000002e1: PUSH1 0x00 000002e3: DUP1 000002e4: REVERT 000002e5: JUMPDEST 000002e6: POP 000002e7: PUSH2 0x017e 000002ea: PUSH2 0x02f4 000002ed: CALLDATASIZE 000002ee: PUSH1 0x04 000002f0: PUSH2 0x1426 000002f3: JUMP 000002f4: JUMPDEST 000002f5: PUSH2 0x06bf 000002f8: JUMP 000002f9: JUMPDEST 000002fa: CALLVALUE 000002fb: DUP1 000002fc: ISZERO 000002fd: PUSH2 0x0305 00000300: JUMPI 00000301: PUSH1 0x00 00000303: DUP1 00000304: REVERT 00000305: JUMPDEST 00000306: POP 00000307: PUSH2 0x017e 0000030a: PUSH2 0x0314 0000030d: CALLDATASIZE 0000030e: PUSH1 0x04 00000310: PUSH2 0x1426 00000313: JUMP 00000314: JUMPDEST 00000315: PUSH2 0x0770 00000318: JUMP 00000319: JUMPDEST 0000031a: PUSH2 0x0131 0000031d: PUSH2 0x077d 00000320: JUMP 00000321: JUMPDEST 00000322: CALLVALUE 00000323: DUP1 00000324: ISZERO 00000325: PUSH2 0x032d 00000328: JUMPI 00000329: PUSH1 0x00 0000032b: DUP1 0000032c: REVERT 0000032d: JUMPDEST 0000032e: POP 0000032f: PUSH2 0x0131 00000332: PUSH2 0x033c 00000335: CALLDATASIZE 00000336: PUSH1 0x04 00000338: PUSH2 0x14c7 0000033b: JUMP 0000033c: JUMPDEST 0000033d: PUSH2 0x0787 00000340: JUMP 00000341: JUMPDEST 00000342: CALLVALUE 00000343: DUP1 00000344: ISZERO 00000345: PUSH2 0x034d 00000348: JUMPI 00000349: PUSH1 0x00 0000034b: DUP1 0000034c: REVERT 0000034d: JUMPDEST 0000034e: POP 0000034f: PUSH2 0x019f 00000352: PUSH2 0x035c 00000355: CALLDATASIZE 00000356: PUSH1 0x04 00000358: PUSH2 0x153a 0000035b: JUMP 0000035c: JUMPDEST 0000035d: PUSH1 0x01 0000035f: PUSH1 0x01 00000361: PUSH1 0xa0 00000363: SHL 00000364: SUB 00000365: SWAP2 00000366: DUP3 00000367: AND 00000368: PUSH1 0x00 0000036a: SWAP1 0000036b: DUP2 0000036c: MSTORE 0000036d: PUSH1 0x01 0000036f: PUSH1 0x20 00000371: SWAP1 00000372: DUP2 00000373: MSTORE 00000374: PUSH1 0x40 00000376: DUP1 00000377: DUP4 00000378: KECCAK256 00000379: SWAP4 0000037a: SWAP1 0000037b: SWAP5 0000037c: AND 0000037d: DUP3 0000037e: MSTORE 0000037f: SWAP2 00000380: SWAP1 00000381: SWAP2 00000382: MSTORE 00000383: KECCAK256 00000384: SLOAD 00000385: SWAP1 00000386: JUMP 00000387: JUMPDEST 00000388: PUSH5 0xe8d4a51000 0000038e: CALLVALUE 0000038f: LT 00000390: ISZERO 00000391: PUSH2 0x03c6 00000394: JUMPI 00000395: PUSH1 0x40 00000397: MLOAD 00000398: PUSH32 0x2c5211c600000000000000000000000000000000000000000000000000000000 000003b9: DUP2 000003ba: MSTORE 000003bb: PUSH1 0x04 000003bd: ADD 000003be: PUSH1 0x40 000003c0: MLOAD 000003c1: DUP1 000003c2: SWAP2 000003c3: SUB 000003c4: SWAP1 000003c5: REVERT 000003c6: JUMPDEST 000003c7: PUSH1 0x00 000003c9: PUSH2 0x03d5 000003cc: PUSH3 0x0f4240 000003d0: CALLVALUE 000003d1: PUSH2 0x159c 000003d4: JUMP 000003d5: JUMPDEST 000003d6: SWAP1 000003d7: POP 000003d8: PUSH2 0x03e1 000003db: CALLER 000003dc: DUP3 000003dd: PUSH2 0x08eb 000003e0: JUMP 000003e1: JUMPDEST 000003e2: PUSH1 0x40 000003e4: MLOAD 000003e5: DUP2 000003e6: DUP2 000003e7: MSTORE 000003e8: CALLER 000003e9: SWAP1 000003ea: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 0000040b: SWAP1 0000040c: PUSH1 0x20 0000040e: ADD 0000040f: PUSH1 0x40 00000411: MLOAD 00000412: DUP1 00000413: SWAP2 00000414: SUB 00000415: SWAP1 00000416: LOG2 00000417: POP 00000418: JUMP 00000419: JUMPDEST 0000041a: PUSH1 0x60 0000041c: PUSH1 0x03 0000041e: DUP1 0000041f: SLOAD 00000420: PUSH2 0x0428 00000423: SWAP1 00000424: PUSH2 0x15d9 00000427: JUMP 00000428: JUMPDEST 00000429: DUP1 0000042a: PUSH1 0x1f 0000042c: ADD 0000042d: PUSH1 0x20 0000042f: DUP1 00000430: SWAP2 00000431: DIV 00000432: MUL 00000433: PUSH1 0x20 00000435: ADD 00000436: PUSH1 0x40 00000438: MLOAD 00000439: SWAP1 0000043a: DUP2 0000043b: ADD 0000043c: PUSH1 0x40 0000043e: MSTORE 0000043f: DUP1 00000440: SWAP3 00000441: SWAP2 00000442: SWAP1 00000443: DUP2 00000444: DUP2 00000445: MSTORE 00000446: PUSH1 0x20 00000448: ADD 00000449: DUP3 0000044a: DUP1 0000044b: SLOAD 0000044c: PUSH2 0x0454 0000044f: SWAP1 00000450: PUSH2 0x15d9 00000453: JUMP 00000454: JUMPDEST 00000455: DUP1 00000456: ISZERO 00000457: PUSH2 0x04a1 0000045a: JUMPI 0000045b: DUP1 0000045c: PUSH1 0x1f 0000045e: LT 0000045f: PUSH2 0x0476 00000462: JUMPI 00000463: PUSH2 0x0100 00000466: DUP1 00000467: DUP4 00000468: SLOAD 00000469: DIV 0000046a: MUL 0000046b: DUP4 0000046c: MSTORE 0000046d: SWAP2 0000046e: PUSH1 0x20 00000470: ADD 00000471: SWAP2 00000472: PUSH2 0x04a1 00000475: JUMP 00000476: JUMPDEST 00000477: DUP3 00000478: ADD 00000479: SWAP2 0000047a: SWAP1 0000047b: PUSH1 0x00 0000047d: MSTORE 0000047e: PUSH1 0x20 00000480: PUSH1 0x00 00000482: KECCAK256 00000483: SWAP1 00000484: JUMPDEST 00000485: DUP2 00000486: SLOAD 00000487: DUP2 00000488: MSTORE 00000489: SWAP1 0000048a: PUSH1 0x01 0000048c: ADD 0000048d: SWAP1 0000048e: PUSH1 0x20 00000490: ADD 00000491: DUP1 00000492: DUP4 00000493: GT 00000494: PUSH2 0x0484 00000497: JUMPI 00000498: DUP3 00000499: SWAP1 0000049a: SUB 0000049b: PUSH1 0x1f 0000049d: AND 0000049e: DUP3 0000049f: ADD 000004a0: SWAP2 000004a1: JUMPDEST 000004a2: POP 000004a3: POP 000004a4: POP 000004a5: POP 000004a6: POP 000004a7: SWAP1 000004a8: POP 000004a9: SWAP1 000004aa: JUMP 000004ab: JUMPDEST 000004ac: PUSH1 0x00 000004ae: PUSH2 0x04b8 000004b1: CALLER 000004b2: DUP5 000004b3: DUP5 000004b4: PUSH2 0x09ca 000004b7: JUMP 000004b8: JUMPDEST 000004b9: POP 000004ba: PUSH1 0x01 000004bc: SWAP3 000004bd: SWAP2 000004be: POP 000004bf: POP 000004c0: JUMP 000004c1: JUMPDEST 000004c2: PUSH1 0x00 000004c4: PUSH2 0x04ce 000004c7: DUP5 000004c8: DUP5 000004c9: DUP5 000004ca: PUSH2 0x0b23 000004cd: JUMP 000004ce: JUMPDEST 000004cf: PUSH1 0x01 000004d1: PUSH1 0x01 000004d3: PUSH1 0xa0 000004d5: SHL 000004d6: SUB 000004d7: DUP5 000004d8: AND 000004d9: PUSH1 0x00 000004db: SWAP1 000004dc: DUP2 000004dd: MSTORE 000004de: PUSH1 0x01 000004e0: PUSH1 0x20 000004e2: SWAP1 000004e3: DUP2 000004e4: MSTORE 000004e5: PUSH1 0x40 000004e7: DUP1 000004e8: DUP4 000004e9: KECCAK256 000004ea: CALLER 000004eb: DUP5 000004ec: MSTORE 000004ed: SWAP1 000004ee: SWAP2 000004ef: MSTORE 000004f0: SWAP1 000004f1: KECCAK256 000004f2: SLOAD 000004f3: DUP3 000004f4: DUP2 000004f5: LT 000004f6: ISZERO 000004f7: PUSH2 0x056d 000004fa: JUMPI 000004fb: PUSH1 0x40 000004fd: MLOAD 000004fe: PUSH3 0x461bcd 00000502: PUSH1 0xe5 00000504: SHL 00000505: DUP2 00000506: MSTORE 00000507: PUSH1 0x20 00000509: PUSH1 0x04 0000050b: DUP3 0000050c: ADD 0000050d: MSTORE 0000050e: PUSH1 0x28 00000510: PUSH1 0x24 00000512: DUP3 00000513: ADD 00000514: MSTORE 00000515: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732061 00000536: PUSH1 0x44 00000538: DUP3 00000539: ADD 0000053a: MSTORE 0000053b: PUSH32 0x6c6c6f77616e6365000000000000000000000000000000000000000000000000 0000055c: PUSH1 0x64 0000055e: DUP3 0000055f: ADD 00000560: MSTORE 00000561: PUSH1 0x84 00000563: ADD 00000564: JUMPDEST 00000565: PUSH1 0x40 00000567: MLOAD 00000568: DUP1 00000569: SWAP2 0000056a: SUB 0000056b: SWAP1 0000056c: REVERT 0000056d: JUMPDEST 0000056e: PUSH2 0x057a 00000571: DUP6 00000572: CALLER 00000573: DUP6 00000574: DUP5 00000575: SUB 00000576: PUSH2 0x09ca 00000579: JUMP 0000057a: JUMPDEST 0000057b: POP 0000057c: PUSH1 0x01 0000057e: SWAP5 0000057f: SWAP4 00000580: POP 00000581: POP 00000582: POP 00000583: POP 00000584: JUMP 00000585: JUMPDEST 00000586: PUSH3 0x0f4240 0000058a: DUP2 0000058b: LT 0000058c: ISZERO 0000058d: PUSH2 0x05c2 00000590: JUMPI 00000591: PUSH1 0x40 00000593: MLOAD 00000594: PUSH32 0x2c5211c600000000000000000000000000000000000000000000000000000000 000005b5: DUP2 000005b6: MSTORE 000005b7: PUSH1 0x04 000005b9: ADD 000005ba: PUSH1 0x40 000005bc: MLOAD 000005bd: DUP1 000005be: SWAP2 000005bf: SUB 000005c0: SWAP1 000005c1: REVERT 000005c2: JUMPDEST 000005c3: PUSH2 0x05cc 000005c6: CALLER 000005c7: DUP3 000005c8: PUSH2 0x0d3b 000005cb: JUMP 000005cc: JUMPDEST 000005cd: PUSH1 0x00 000005cf: PUSH2 0x05db 000005d2: PUSH3 0x0f4240 000005d6: DUP4 000005d7: PUSH2 0x1627 000005da: JUMP 000005db: JUMPDEST 000005dc: PUSH1 0x40 000005de: MLOAD 000005df: SWAP1 000005e0: SWAP2 000005e1: POP 000005e2: CALLER 000005e3: SWAP1 000005e4: DUP3 000005e5: ISZERO 000005e6: PUSH2 0x08fc 000005e9: MUL 000005ea: SWAP1 000005eb: DUP4 000005ec: SWAP1 000005ed: PUSH1 0x00 000005ef: DUP2 000005f0: DUP2 000005f1: DUP2 000005f2: DUP6 000005f3: DUP9 000005f4: DUP9 000005f5: CALL 000005f6: SWAP4 000005f7: POP 000005f8: POP 000005f9: POP 000005fa: POP 000005fb: ISZERO 000005fc: DUP1 000005fd: ISZERO 000005fe: PUSH2 0x060b 00000601: JUMPI 00000602: RETURNDATASIZE 00000603: PUSH1 0x00 00000605: DUP1 00000606: RETURNDATACOPY 00000607: RETURNDATASIZE 00000608: PUSH1 0x00 0000060a: REVERT 0000060b: JUMPDEST 0000060c: POP 0000060d: PUSH1 0x40 0000060f: MLOAD 00000610: DUP3 00000611: DUP2 00000612: MSTORE 00000613: CALLER 00000614: SWAP1 00000615: PUSH32 0x7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65 00000636: SWAP1 00000637: PUSH1 0x20 00000639: ADD 0000063a: PUSH1 0x40 0000063c: MLOAD 0000063d: DUP1 0000063e: SWAP2 0000063f: SUB 00000640: SWAP1 00000641: LOG2 00000642: POP 00000643: POP 00000644: JUMP 00000645: JUMPDEST 00000646: PUSH1 0x00 00000648: PUSH2 0x064f 0000064b: PUSH2 0x0eb8 0000064e: JUMP 0000064f: JUMPDEST 00000650: SWAP1 00000651: POP 00000652: SWAP1 00000653: JUMP 00000654: JUMPDEST 00000655: CALLER 00000656: PUSH1 0x00 00000658: DUP2 00000659: DUP2 0000065a: MSTORE 0000065b: PUSH1 0x01 0000065d: PUSH1 0x20 0000065f: SWAP1 00000660: DUP2 00000661: MSTORE 00000662: PUSH1 0x40 00000664: DUP1 00000665: DUP4 00000666: KECCAK256 00000667: PUSH1 0x01 00000669: PUSH1 0x01 0000066b: PUSH1 0xa0 0000066d: SHL 0000066e: SUB 0000066f: DUP8 00000670: AND 00000671: DUP5 00000672: MSTORE 00000673: SWAP1 00000674: SWAP2 00000675: MSTORE 00000676: DUP2 00000677: KECCAK256 00000678: SLOAD 00000679: SWAP1 0000067a: SWAP2 0000067b: PUSH2 0x04b8 0000067e: SWAP2 0000067f: DUP6 00000680: SWAP1 00000681: PUSH2 0x068b 00000684: SWAP1 00000685: DUP7 00000686: SWAP1 00000687: PUSH2 0x1662 0000068a: JUMP 0000068b: JUMPDEST 0000068c: PUSH2 0x09ca 0000068f: JUMP 00000690: JUMPDEST 00000691: PUSH1 0x01 00000693: PUSH1 0x01 00000695: PUSH1 0xa0 00000697: SHL 00000698: SUB 00000699: DUP2 0000069a: AND 0000069b: PUSH1 0x00 0000069d: SWAP1 0000069e: DUP2 0000069f: MSTORE 000006a0: PUSH1 0x05 000006a2: PUSH1 0x20 000006a4: MSTORE 000006a5: PUSH1 0x40 000006a7: DUP2 000006a8: KECCAK256 000006a9: SLOAD 000006aa: JUMPDEST 000006ab: SWAP3 000006ac: SWAP2 000006ad: POP 000006ae: POP 000006af: JUMP 000006b0: JUMPDEST 000006b1: PUSH1 0x60 000006b3: PUSH1 0x04 000006b5: DUP1 000006b6: SLOAD 000006b7: PUSH2 0x0428 000006ba: SWAP1 000006bb: PUSH2 0x15d9 000006be: JUMP 000006bf: JUMPDEST 000006c0: CALLER 000006c1: PUSH1 0x00 000006c3: SWAP1 000006c4: DUP2 000006c5: MSTORE 000006c6: PUSH1 0x01 000006c8: PUSH1 0x20 000006ca: SWAP1 000006cb: DUP2 000006cc: MSTORE 000006cd: PUSH1 0x40 000006cf: DUP1 000006d0: DUP4 000006d1: KECCAK256 000006d2: PUSH1 0x01 000006d4: PUSH1 0x01 000006d6: PUSH1 0xa0 000006d8: SHL 000006d9: SUB 000006da: DUP7 000006db: AND 000006dc: DUP5 000006dd: MSTORE 000006de: SWAP1 000006df: SWAP2 000006e0: MSTORE 000006e1: DUP2 000006e2: KECCAK256 000006e3: SLOAD 000006e4: DUP3 000006e5: DUP2 000006e6: LT 000006e7: ISZERO 000006e8: PUSH2 0x0759 000006eb: JUMPI 000006ec: PUSH1 0x40 000006ee: MLOAD 000006ef: PUSH3 0x461bcd 000006f3: PUSH1 0xe5 000006f5: SHL 000006f6: DUP2 000006f7: MSTORE 000006f8: PUSH1 0x20 000006fa: PUSH1 0x04 000006fc: DUP3 000006fd: ADD 000006fe: MSTORE 000006ff: PUSH1 0x25 00000701: PUSH1 0x24 00000703: DUP3 00000704: ADD 00000705: MSTORE 00000706: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77 00000727: PUSH1 0x44 00000729: DUP3 0000072a: ADD 0000072b: MSTORE 0000072c: PUSH32 0x207a65726f000000000000000000000000000000000000000000000000000000 0000074d: PUSH1 0x64 0000074f: DUP3 00000750: ADD 00000751: MSTORE 00000752: PUSH1 0x84 00000754: ADD 00000755: PUSH2 0x0564 00000758: JUMP 00000759: JUMPDEST 0000075a: PUSH2 0x0766 0000075d: CALLER 0000075e: DUP6 0000075f: DUP6 00000760: DUP5 00000761: SUB 00000762: PUSH2 0x09ca 00000765: JUMP 00000766: JUMPDEST 00000767: POP 00000768: PUSH1 0x01 0000076a: SWAP4 0000076b: SWAP3 0000076c: POP 0000076d: POP 0000076e: POP 0000076f: JUMP 00000770: JUMPDEST 00000771: PUSH1 0x00 00000773: PUSH2 0x04b8 00000776: CALLER 00000777: DUP5 00000778: DUP5 00000779: PUSH2 0x0b23 0000077c: JUMP 0000077d: JUMPDEST 0000077e: PUSH2 0x0785 00000781: PUSH2 0x0387 00000784: JUMP 00000785: JUMPDEST 00000786: JUMP 00000787: JUMPDEST 00000788: DUP4 00000789: TIMESTAMP 0000078a: GT 0000078b: ISZERO 0000078c: PUSH2 0x07d7 0000078f: JUMPI 00000790: PUSH1 0x40 00000792: MLOAD 00000793: PUSH3 0x461bcd 00000797: PUSH1 0xe5 00000799: SHL 0000079a: DUP2 0000079b: MSTORE 0000079c: PUSH1 0x20 0000079e: PUSH1 0x04 000007a0: DUP3 000007a1: ADD 000007a2: MSTORE 000007a3: PUSH1 0x1d 000007a5: PUSH1 0x24 000007a7: DUP3 000007a8: ADD 000007a9: MSTORE 000007aa: PUSH32 0x45524332305065726d69743a206578706972656420646561646c696e65000000 000007cb: PUSH1 0x44 000007cd: DUP3 000007ce: ADD 000007cf: MSTORE 000007d0: PUSH1 0x64 000007d2: ADD 000007d3: PUSH2 0x0564 000007d6: JUMP 000007d7: JUMPDEST 000007d8: PUSH1 0x00 000007da: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9 000007fb: DUP9 000007fc: DUP9 000007fd: DUP9 000007fe: PUSH2 0x0806 00000801: DUP13 00000802: PUSH2 0x0fdf 00000805: JUMP 00000806: JUMPDEST 00000807: PUSH1 0x40 00000809: DUP1 0000080a: MLOAD 0000080b: PUSH1 0x20 0000080d: DUP2 0000080e: ADD 0000080f: SWAP7 00000810: SWAP1 00000811: SWAP7 00000812: MSTORE 00000813: PUSH1 0x01 00000815: PUSH1 0x01 00000817: PUSH1 0xa0 00000819: SHL 0000081a: SUB 0000081b: SWAP5 0000081c: DUP6 0000081d: AND 0000081e: SWAP1 0000081f: DUP7 00000820: ADD 00000821: MSTORE 00000822: SWAP3 00000823: SWAP1 00000824: SWAP2 00000825: AND 00000826: PUSH1 0x60 00000828: DUP5 00000829: ADD 0000082a: MSTORE 0000082b: PUSH1 0x80 0000082d: DUP4 0000082e: ADD 0000082f: MSTORE 00000830: PUSH1 0xa0 00000832: DUP3 00000833: ADD 00000834: MSTORE 00000835: PUSH1 0xc0 00000837: DUP2 00000838: ADD 00000839: DUP7 0000083a: SWAP1 0000083b: MSTORE 0000083c: PUSH1 0xe0 0000083e: ADD 0000083f: PUSH1 0x40 00000841: MLOAD 00000842: PUSH1 0x20 00000844: DUP2 00000845: DUP4 00000846: SUB 00000847: SUB 00000848: DUP2 00000849: MSTORE 0000084a: SWAP1 0000084b: PUSH1 0x40 0000084d: MSTORE 0000084e: DUP1 0000084f: MLOAD 00000850: SWAP1 00000851: PUSH1 0x20 00000853: ADD 00000854: KECCAK256 00000855: SWAP1 00000856: POP 00000857: PUSH1 0x00 00000859: PUSH2 0x0861 0000085c: DUP3 0000085d: PUSH2 0x1007 00000860: JUMP 00000861: JUMPDEST 00000862: SWAP1 00000863: POP 00000864: PUSH1 0x00 00000866: PUSH2 0x0871 00000869: DUP3 0000086a: DUP8 0000086b: DUP8 0000086c: DUP8 0000086d: PUSH2 0x1070 00000870: JUMP 00000871: JUMPDEST 00000872: SWAP1 00000873: POP 00000874: DUP10 00000875: PUSH1 0x01 00000877: PUSH1 0x01 00000879: PUSH1 0xa0 0000087b: SHL 0000087c: SUB 0000087d: AND 0000087e: DUP2 0000087f: PUSH1 0x01 00000881: PUSH1 0x01 00000883: PUSH1 0xa0 00000885: SHL 00000886: SUB 00000887: AND 00000888: EQ 00000889: PUSH2 0x08d4 0000088c: JUMPI 0000088d: PUSH1 0x40 0000088f: MLOAD 00000890: PUSH3 0x461bcd 00000894: PUSH1 0xe5 00000896: SHL 00000897: DUP2 00000898: MSTORE 00000899: PUSH1 0x20 0000089b: PUSH1 0x04 0000089d: DUP3 0000089e: ADD 0000089f: MSTORE 000008a0: PUSH1 0x1e 000008a2: PUSH1 0x24 000008a4: DUP3 000008a5: ADD 000008a6: MSTORE 000008a7: PUSH32 0x45524332305065726d69743a20696e76616c6964207369676e61747572650000 000008c8: PUSH1 0x44 000008ca: DUP3 000008cb: ADD 000008cc: MSTORE 000008cd: PUSH1 0x64 000008cf: ADD 000008d0: PUSH2 0x0564 000008d3: JUMP 000008d4: JUMPDEST 000008d5: PUSH2 0x08df 000008d8: DUP11 000008d9: DUP11 000008da: DUP11 000008db: PUSH2 0x09ca 000008de: JUMP 000008df: JUMPDEST 000008e0: POP 000008e1: POP 000008e2: POP 000008e3: POP 000008e4: POP 000008e5: POP 000008e6: POP 000008e7: POP 000008e8: POP 000008e9: POP 000008ea: JUMP 000008eb: JUMPDEST 000008ec: PUSH1 0x01 000008ee: PUSH1 0x01 000008f0: PUSH1 0xa0 000008f2: SHL 000008f3: SUB 000008f4: DUP3 000008f5: AND 000008f6: PUSH2 0x0941 000008f9: JUMPI 000008fa: PUSH1 0x40 000008fc: MLOAD 000008fd: PUSH3 0x461bcd 00000901: PUSH1 0xe5 00000903: SHL 00000904: DUP2 00000905: MSTORE 00000906: PUSH1 0x20 00000908: PUSH1 0x04 0000090a: DUP3 0000090b: ADD 0000090c: MSTORE 0000090d: PUSH1 0x1f 0000090f: PUSH1 0x24 00000911: DUP3 00000912: ADD 00000913: MSTORE 00000914: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300 00000935: PUSH1 0x44 00000937: DUP3 00000938: ADD 00000939: MSTORE 0000093a: PUSH1 0x64 0000093c: ADD 0000093d: PUSH2 0x0564 00000940: JUMP 00000941: JUMPDEST 00000942: DUP1 00000943: PUSH1 0x02 00000945: PUSH1 0x00 00000947: DUP3 00000948: DUP3 00000949: SLOAD 0000094a: PUSH2 0x0953 0000094d: SWAP2 0000094e: SWAP1 0000094f: PUSH2 0x1662 00000952: JUMP 00000953: JUMPDEST 00000954: SWAP1 00000955: SWAP2 00000956: SSTORE 00000957: POP 00000958: POP 00000959: PUSH1 0x01 0000095b: PUSH1 0x01 0000095d: PUSH1 0xa0 0000095f: SHL 00000960: SUB 00000961: DUP3 00000962: AND 00000963: PUSH1 0x00 00000965: SWAP1 00000966: DUP2 00000967: MSTORE 00000968: PUSH1 0x20 0000096a: DUP2 0000096b: SWAP1 0000096c: MSTORE 0000096d: PUSH1 0x40 0000096f: DUP2 00000970: KECCAK256 00000971: DUP1 00000972: SLOAD 00000973: DUP4 00000974: SWAP3 00000975: SWAP1 00000976: PUSH2 0x0980 00000979: SWAP1 0000097a: DUP5 0000097b: SWAP1 0000097c: PUSH2 0x1662 0000097f: JUMP 00000980: JUMPDEST 00000981: SWAP1 00000982: SWAP2 00000983: SSTORE 00000984: POP 00000985: POP 00000986: PUSH1 0x40 00000988: MLOAD 00000989: DUP2 0000098a: DUP2 0000098b: MSTORE 0000098c: PUSH1 0x01 0000098e: PUSH1 0x01 00000990: PUSH1 0xa0 00000992: SHL 00000993: SUB 00000994: DUP4 00000995: AND 00000996: SWAP1 00000997: PUSH1 0x00 00000999: SWAP1 0000099a: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000009bb: SWAP1 000009bc: PUSH1 0x20 000009be: ADD 000009bf: PUSH1 0x40 000009c1: MLOAD 000009c2: DUP1 000009c3: SWAP2 000009c4: SUB 000009c5: SWAP1 000009c6: LOG3 000009c7: POP 000009c8: POP 000009c9: JUMP 000009ca: JUMPDEST 000009cb: PUSH1 0x01 000009cd: PUSH1 0x01 000009cf: PUSH1 0xa0 000009d1: SHL 000009d2: SUB 000009d3: DUP4 000009d4: AND 000009d5: PUSH2 0x0a45 000009d8: JUMPI 000009d9: PUSH1 0x40 000009db: MLOAD 000009dc: PUSH3 0x461bcd 000009e0: PUSH1 0xe5 000009e2: SHL 000009e3: DUP2 000009e4: MSTORE 000009e5: PUSH1 0x20 000009e7: PUSH1 0x04 000009e9: DUP3 000009ea: ADD 000009eb: MSTORE 000009ec: PUSH1 0x24 000009ee: DUP1 000009ef: DUP3 000009f0: ADD 000009f1: MSTORE 000009f2: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 00000a13: PUSH1 0x44 00000a15: DUP3 00000a16: ADD 00000a17: MSTORE 00000a18: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000 00000a39: PUSH1 0x64 00000a3b: DUP3 00000a3c: ADD 00000a3d: MSTORE 00000a3e: PUSH1 0x84 00000a40: ADD 00000a41: PUSH2 0x0564 00000a44: JUMP 00000a45: JUMPDEST 00000a46: PUSH1 0x01 00000a48: PUSH1 0x01 00000a4a: PUSH1 0xa0 00000a4c: SHL 00000a4d: SUB 00000a4e: DUP3 00000a4f: AND 00000a50: PUSH2 0x0ac1 00000a53: JUMPI 00000a54: PUSH1 0x40 00000a56: MLOAD 00000a57: PUSH3 0x461bcd 00000a5b: PUSH1 0xe5 00000a5d: SHL 00000a5e: DUP2 00000a5f: MSTORE 00000a60: PUSH1 0x20 00000a62: PUSH1 0x04 00000a64: DUP3 00000a65: ADD 00000a66: MSTORE 00000a67: PUSH1 0x22 00000a69: PUSH1 0x24 00000a6b: DUP3 00000a6c: ADD 00000a6d: MSTORE 00000a6e: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 00000a8f: PUSH1 0x44 00000a91: DUP3 00000a92: ADD 00000a93: MSTORE 00000a94: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000 00000ab5: PUSH1 0x64 00000ab7: DUP3 00000ab8: ADD 00000ab9: MSTORE 00000aba: PUSH1 0x84 00000abc: ADD 00000abd: PUSH2 0x0564 00000ac0: JUMP 00000ac1: JUMPDEST 00000ac2: PUSH1 0x01 00000ac4: PUSH1 0x01 00000ac6: PUSH1 0xa0 00000ac8: SHL 00000ac9: SUB 00000aca: DUP4 00000acb: DUP2 00000acc: AND 00000acd: PUSH1 0x00 00000acf: DUP2 00000ad0: DUP2 00000ad1: MSTORE 00000ad2: PUSH1 0x01 00000ad4: PUSH1 0x20 00000ad6: SWAP1 00000ad7: DUP2 00000ad8: MSTORE 00000ad9: PUSH1 0x40 00000adb: DUP1 00000adc: DUP4 00000add: KECCAK256 00000ade: SWAP5 00000adf: DUP8 00000ae0: AND 00000ae1: DUP1 00000ae2: DUP5 00000ae3: MSTORE 00000ae4: SWAP5 00000ae5: DUP3 00000ae6: MSTORE 00000ae7: SWAP2 00000ae8: DUP3 00000ae9: SWAP1 00000aea: KECCAK256 00000aeb: DUP6 00000aec: SWAP1 00000aed: SSTORE 00000aee: SWAP1 00000aef: MLOAD 00000af0: DUP5 00000af1: DUP2 00000af2: MSTORE 00000af3: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000b14: SWAP2 00000b15: ADD 00000b16: JUMPDEST 00000b17: PUSH1 0x40 00000b19: MLOAD 00000b1a: DUP1 00000b1b: SWAP2 00000b1c: SUB 00000b1d: SWAP1 00000b1e: LOG3 00000b1f: POP 00000b20: POP 00000b21: POP 00000b22: JUMP 00000b23: JUMPDEST 00000b24: PUSH1 0x01 00000b26: PUSH1 0x01 00000b28: PUSH1 0xa0 00000b2a: SHL 00000b2b: SUB 00000b2c: DUP4 00000b2d: AND 00000b2e: PUSH2 0x0b9f 00000b31: JUMPI 00000b32: PUSH1 0x40 00000b34: MLOAD 00000b35: PUSH3 0x461bcd 00000b39: PUSH1 0xe5 00000b3b: SHL 00000b3c: DUP2 00000b3d: MSTORE 00000b3e: PUSH1 0x20 00000b40: PUSH1 0x04 00000b42: DUP3 00000b43: ADD 00000b44: MSTORE 00000b45: PUSH1 0x25 00000b47: PUSH1 0x24 00000b49: DUP3 00000b4a: ADD 00000b4b: MSTORE 00000b4c: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164 00000b6d: PUSH1 0x44 00000b6f: DUP3 00000b70: ADD 00000b71: MSTORE 00000b72: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000 00000b93: PUSH1 0x64 00000b95: DUP3 00000b96: ADD 00000b97: MSTORE 00000b98: PUSH1 0x84 00000b9a: ADD 00000b9b: PUSH2 0x0564 00000b9e: JUMP 00000b9f: JUMPDEST 00000ba0: PUSH1 0x01 00000ba2: PUSH1 0x01 00000ba4: PUSH1 0xa0 00000ba6: SHL 00000ba7: SUB 00000ba8: DUP3 00000ba9: AND 00000baa: PUSH2 0x0c1b 00000bad: JUMPI 00000bae: PUSH1 0x40 00000bb0: MLOAD 00000bb1: PUSH3 0x461bcd 00000bb5: PUSH1 0xe5 00000bb7: SHL 00000bb8: DUP2 00000bb9: MSTORE 00000bba: PUSH1 0x20 00000bbc: PUSH1 0x04 00000bbe: DUP3 00000bbf: ADD 00000bc0: MSTORE 00000bc1: PUSH1 0x23 00000bc3: PUSH1 0x24 00000bc5: DUP3 00000bc6: ADD 00000bc7: MSTORE 00000bc8: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472 00000be9: PUSH1 0x44 00000beb: DUP3 00000bec: ADD 00000bed: MSTORE 00000bee: PUSH32 0x6573730000000000000000000000000000000000000000000000000000000000 00000c0f: PUSH1 0x64 00000c11: DUP3 00000c12: ADD 00000c13: MSTORE 00000c14: PUSH1 0x84 00000c16: ADD 00000c17: PUSH2 0x0564 00000c1a: JUMP 00000c1b: JUMPDEST 00000c1c: PUSH1 0x01 00000c1e: PUSH1 0x01 00000c20: PUSH1 0xa0 00000c22: SHL 00000c23: SUB 00000c24: DUP4 00000c25: AND 00000c26: PUSH1 0x00 00000c28: SWAP1 00000c29: DUP2 00000c2a: MSTORE 00000c2b: PUSH1 0x20 00000c2d: DUP2 00000c2e: SWAP1 00000c2f: MSTORE 00000c30: PUSH1 0x40 00000c32: SWAP1 00000c33: KECCAK256 00000c34: SLOAD 00000c35: DUP2 00000c36: DUP2 00000c37: LT 00000c38: ISZERO 00000c39: PUSH2 0x0caa 00000c3c: JUMPI 00000c3d: PUSH1 0x40 00000c3f: MLOAD 00000c40: PUSH3 0x461bcd 00000c44: PUSH1 0xe5 00000c46: SHL 00000c47: DUP2 00000c48: MSTORE 00000c49: PUSH1 0x20 00000c4b: PUSH1 0x04 00000c4d: DUP3 00000c4e: ADD 00000c4f: MSTORE 00000c50: PUSH1 0x26 00000c52: PUSH1 0x24 00000c54: DUP3 00000c55: ADD 00000c56: MSTORE 00000c57: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732062 00000c78: PUSH1 0x44 00000c7a: DUP3 00000c7b: ADD 00000c7c: MSTORE 00000c7d: PUSH32 0x616c616e63650000000000000000000000000000000000000000000000000000 00000c9e: PUSH1 0x64 00000ca0: DUP3 00000ca1: ADD 00000ca2: MSTORE 00000ca3: PUSH1 0x84 00000ca5: ADD 00000ca6: PUSH2 0x0564 00000ca9: JUMP 00000caa: JUMPDEST 00000cab: PUSH1 0x01 00000cad: PUSH1 0x01 00000caf: PUSH1 0xa0 00000cb1: SHL 00000cb2: SUB 00000cb3: DUP1 00000cb4: DUP6 00000cb5: AND 00000cb6: PUSH1 0x00 00000cb8: SWAP1 00000cb9: DUP2 00000cba: MSTORE 00000cbb: PUSH1 0x20 00000cbd: DUP2 00000cbe: SWAP1 00000cbf: MSTORE 00000cc0: PUSH1 0x40 00000cc2: DUP1 00000cc3: DUP3 00000cc4: KECCAK256 00000cc5: DUP6 00000cc6: DUP6 00000cc7: SUB 00000cc8: SWAP1 00000cc9: SSTORE 00000cca: SWAP2 00000ccb: DUP6 00000ccc: AND 00000ccd: DUP2 00000cce: MSTORE 00000ccf: SWAP1 00000cd0: DUP2 00000cd1: KECCAK256 00000cd2: DUP1 00000cd3: SLOAD 00000cd4: DUP5 00000cd5: SWAP3 00000cd6: SWAP1 00000cd7: PUSH2 0x0ce1 00000cda: SWAP1 00000cdb: DUP5 00000cdc: SWAP1 00000cdd: PUSH2 0x1662 00000ce0: JUMP 00000ce1: JUMPDEST 00000ce2: SWAP3 00000ce3: POP 00000ce4: POP 00000ce5: DUP2 00000ce6: SWAP1 00000ce7: SSTORE 00000ce8: POP 00000ce9: DUP3 00000cea: PUSH1 0x01 00000cec: PUSH1 0x01 00000cee: PUSH1 0xa0 00000cf0: SHL 00000cf1: SUB 00000cf2: AND 00000cf3: DUP5 00000cf4: PUSH1 0x01 00000cf6: PUSH1 0x01 00000cf8: PUSH1 0xa0 00000cfa: SHL 00000cfb: SUB 00000cfc: AND 00000cfd: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000d1e: DUP5 00000d1f: PUSH1 0x40 00000d21: MLOAD 00000d22: PUSH2 0x0d2d 00000d25: SWAP2 00000d26: DUP2 00000d27: MSTORE 00000d28: PUSH1 0x20 00000d2a: ADD 00000d2b: SWAP1 00000d2c: JUMP 00000d2d: JUMPDEST 00000d2e: PUSH1 0x40 00000d30: MLOAD 00000d31: DUP1 00000d32: SWAP2 00000d33: SUB 00000d34: SWAP1 00000d35: LOG3 00000d36: POP 00000d37: POP 00000d38: POP 00000d39: POP 00000d3a: JUMP 00000d3b: JUMPDEST 00000d3c: PUSH1 0x01 00000d3e: PUSH1 0x01 00000d40: PUSH1 0xa0 00000d42: SHL 00000d43: SUB 00000d44: DUP3 00000d45: AND 00000d46: PUSH2 0x0db7 00000d49: JUMPI 00000d4a: PUSH1 0x40 00000d4c: MLOAD 00000d4d: PUSH3 0x461bcd 00000d51: PUSH1 0xe5 00000d53: SHL 00000d54: DUP2 00000d55: MSTORE 00000d56: PUSH1 0x20 00000d58: PUSH1 0x04 00000d5a: DUP3 00000d5b: ADD 00000d5c: MSTORE 00000d5d: PUSH1 0x21 00000d5f: PUSH1 0x24 00000d61: DUP3 00000d62: ADD 00000d63: MSTORE 00000d64: PUSH32 0x45524332303a206275726e2066726f6d20746865207a65726f20616464726573 00000d85: PUSH1 0x44 00000d87: DUP3 00000d88: ADD 00000d89: MSTORE 00000d8a: PUSH32 0x7300000000000000000000000000000000000000000000000000000000000000 00000dab: PUSH1 0x64 00000dad: DUP3 00000dae: ADD 00000daf: MSTORE 00000db0: PUSH1 0x84 00000db2: ADD 00000db3: PUSH2 0x0564 00000db6: JUMP 00000db7: JUMPDEST 00000db8: PUSH1 0x01 00000dba: PUSH1 0x01 00000dbc: PUSH1 0xa0 00000dbe: SHL 00000dbf: SUB 00000dc0: DUP3 00000dc1: AND 00000dc2: PUSH1 0x00 00000dc4: SWAP1 00000dc5: DUP2 00000dc6: MSTORE 00000dc7: PUSH1 0x20 00000dc9: DUP2 00000dca: SWAP1 00000dcb: MSTORE 00000dcc: PUSH1 0x40 00000dce: SWAP1 00000dcf: KECCAK256 00000dd0: SLOAD 00000dd1: DUP2 00000dd2: DUP2 00000dd3: LT 00000dd4: ISZERO 00000dd5: PUSH2 0x0e46 00000dd8: JUMPI 00000dd9: PUSH1 0x40 00000ddb: MLOAD 00000ddc: PUSH3 0x461bcd 00000de0: PUSH1 0xe5 00000de2: SHL 00000de3: DUP2 00000de4: MSTORE 00000de5: PUSH1 0x20 00000de7: PUSH1 0x04 00000de9: DUP3 00000dea: ADD 00000deb: MSTORE 00000dec: PUSH1 0x22 00000dee: PUSH1 0x24 00000df0: DUP3 00000df1: ADD 00000df2: MSTORE 00000df3: PUSH32 0x45524332303a206275726e20616d6f756e7420657863656564732062616c616e 00000e14: PUSH1 0x44 00000e16: DUP3 00000e17: ADD 00000e18: MSTORE 00000e19: PUSH32 0x6365000000000000000000000000000000000000000000000000000000000000 00000e3a: PUSH1 0x64 00000e3c: DUP3 00000e3d: ADD 00000e3e: MSTORE 00000e3f: PUSH1 0x84 00000e41: ADD 00000e42: PUSH2 0x0564 00000e45: JUMP 00000e46: JUMPDEST 00000e47: PUSH1 0x01 00000e49: PUSH1 0x01 00000e4b: PUSH1 0xa0 00000e4d: SHL 00000e4e: SUB 00000e4f: DUP4 00000e50: AND 00000e51: PUSH1 0x00 00000e53: SWAP1 00000e54: DUP2 00000e55: MSTORE 00000e56: PUSH1 0x20 00000e58: DUP2 00000e59: SWAP1 00000e5a: MSTORE 00000e5b: PUSH1 0x40 00000e5d: DUP2 00000e5e: KECCAK256 00000e5f: DUP4 00000e60: DUP4 00000e61: SUB 00000e62: SWAP1 00000e63: SSTORE 00000e64: PUSH1 0x02 00000e66: DUP1 00000e67: SLOAD 00000e68: DUP5 00000e69: SWAP3 00000e6a: SWAP1 00000e6b: PUSH2 0x0e75 00000e6e: SWAP1 00000e6f: DUP5 00000e70: SWAP1 00000e71: PUSH2 0x167a 00000e74: JUMP 00000e75: JUMPDEST 00000e76: SWAP1 00000e77: SWAP2 00000e78: SSTORE 00000e79: POP 00000e7a: POP 00000e7b: PUSH1 0x40 00000e7d: MLOAD 00000e7e: DUP3 00000e7f: DUP2 00000e80: MSTORE 00000e81: PUSH1 0x00 00000e83: SWAP1 00000e84: PUSH1 0x01 00000e86: PUSH1 0x01 00000e88: PUSH1 0xa0 00000e8a: SHL 00000e8b: SUB 00000e8c: DUP6 00000e8d: AND 00000e8e: SWAP1 00000e8f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000eb0: SWAP1 00000eb1: PUSH1 0x20 00000eb3: ADD 00000eb4: PUSH2 0x0b16 00000eb7: JUMP 00000eb8: JUMPDEST 00000eb9: PUSH1 0x00 00000ebb: ADDRESS 00000ebc: PUSH1 0x01 00000ebe: PUSH1 0x01 00000ec0: PUSH1 0xa0 00000ec2: SHL 00000ec3: SUB 00000ec4: PUSH32 0x000000000000000000000000bb7be7cc5abb65d3a29d7982236481ddf4f10b09 00000ee5: AND 00000ee6: EQ 00000ee7: DUP1 00000ee8: ISZERO 00000ee9: PUSH2 0x0f11 00000eec: JUMPI 00000eed: POP 00000eee: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001 00000f0f: CHAINID 00000f10: EQ 00000f11: JUMPDEST 00000f12: ISZERO 00000f13: PUSH2 0x0f3b 00000f16: JUMPI 00000f17: POP 00000f18: PUSH32 0xe4b0a1e108ecf621178330a27f31323c8b5a3b4898bd7bcfba6f8dcb5ccb2c5d 00000f39: SWAP1 00000f3a: JUMP 00000f3b: JUMPDEST 00000f3c: POP 00000f3d: PUSH1 0x40 00000f3f: DUP1 00000f40: MLOAD 00000f41: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f 00000f62: PUSH1 0x20 00000f64: DUP1 00000f65: DUP4 00000f66: ADD 00000f67: SWAP2 00000f68: SWAP1 00000f69: SWAP2 00000f6a: MSTORE 00000f6b: PUSH32 0x1e6d6749c6f62b35c62285cd9b2c94a69c6755411db1af445aa6254c6f3a2425 00000f8c: DUP3 00000f8d: DUP5 00000f8e: ADD 00000f8f: MSTORE 00000f90: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6 00000fb1: PUSH1 0x60 00000fb3: DUP4 00000fb4: ADD 00000fb5: MSTORE 00000fb6: CHAINID 00000fb7: PUSH1 0x80 00000fb9: DUP4 00000fba: ADD 00000fbb: MSTORE 00000fbc: ADDRESS 00000fbd: PUSH1 0xa0 00000fbf: DUP1 00000fc0: DUP5 00000fc1: ADD 00000fc2: SWAP2 00000fc3: SWAP1 00000fc4: SWAP2 00000fc5: MSTORE 00000fc6: DUP4 00000fc7: MLOAD 00000fc8: DUP1 00000fc9: DUP5 00000fca: SUB 00000fcb: SWAP1 00000fcc: SWAP2 00000fcd: ADD 00000fce: DUP2 00000fcf: MSTORE 00000fd0: PUSH1 0xc0 00000fd2: SWAP1 00000fd3: SWAP3 00000fd4: ADD 00000fd5: SWAP1 00000fd6: SWAP3 00000fd7: MSTORE 00000fd8: DUP1 00000fd9: MLOAD 00000fda: SWAP2 00000fdb: ADD 00000fdc: KECCAK256 00000fdd: SWAP1 00000fde: JUMP 00000fdf: JUMPDEST 00000fe0: PUSH1 0x01 00000fe2: PUSH1 0x01 00000fe4: PUSH1 0xa0 00000fe6: SHL 00000fe7: SUB 00000fe8: DUP2 00000fe9: AND 00000fea: PUSH1 0x00 00000fec: SWAP1 00000fed: DUP2 00000fee: MSTORE 00000fef: PUSH1 0x05 00000ff1: PUSH1 0x20 00000ff3: MSTORE 00000ff4: PUSH1 0x40 00000ff6: SWAP1 00000ff7: KECCAK256 00000ff8: DUP1 00000ff9: SLOAD 00000ffa: PUSH1 0x01 00000ffc: DUP2 00000ffd: ADD 00000ffe: DUP3 00000fff: SSTORE 00001000: SWAP1 00001001: JUMPDEST 00001002: POP 00001003: SWAP2 00001004: SWAP1 00001005: POP 00001006: JUMP 00001007: JUMPDEST 00001008: PUSH1 0x00 0000100a: PUSH2 0x06aa 0000100d: PUSH2 0x1014 00001010: PUSH2 0x0eb8 00001013: JUMP 00001014: JUMPDEST 00001015: DUP4 00001016: PUSH1 0x40 00001018: MLOAD 00001019: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000 0000103a: PUSH1 0x20 0000103c: DUP3 0000103d: ADD 0000103e: MSTORE 0000103f: PUSH1 0x22 00001041: DUP2 00001042: ADD 00001043: DUP4 00001044: SWAP1 00001045: MSTORE 00001046: PUSH1 0x42 00001048: DUP2 00001049: ADD 0000104a: DUP3 0000104b: SWAP1 0000104c: MSTORE 0000104d: PUSH1 0x00 0000104f: SWAP1 00001050: PUSH1 0x62 00001052: ADD 00001053: PUSH1 0x40 00001055: MLOAD 00001056: PUSH1 0x20 00001058: DUP2 00001059: DUP4 0000105a: SUB 0000105b: SUB 0000105c: DUP2 0000105d: MSTORE 0000105e: SWAP1 0000105f: PUSH1 0x40 00001061: MSTORE 00001062: DUP1 00001063: MLOAD 00001064: SWAP1 00001065: PUSH1 0x20 00001067: ADD 00001068: KECCAK256 00001069: SWAP1 0000106a: POP 0000106b: SWAP3 0000106c: SWAP2 0000106d: POP 0000106e: POP 0000106f: JUMP 00001070: JUMPDEST 00001071: PUSH1 0x00 00001073: DUP1 00001074: PUSH1 0x00 00001076: PUSH2 0x1081 00001079: DUP8 0000107a: DUP8 0000107b: DUP8 0000107c: DUP8 0000107d: PUSH2 0x1098 00001080: JUMP 00001081: JUMPDEST 00001082: SWAP2 00001083: POP 00001084: SWAP2 00001085: POP 00001086: PUSH2 0x108e 00001089: DUP2 0000108a: PUSH2 0x11a3 0000108d: JUMP 0000108e: JUMPDEST 0000108f: POP 00001090: SWAP6 00001091: SWAP5 00001092: POP 00001093: POP 00001094: POP 00001095: POP 00001096: POP 00001097: JUMP 00001098: JUMPDEST 00001099: PUSH1 0x00 0000109b: DUP1 0000109c: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0 000010bd: DUP4 000010be: GT 000010bf: ISZERO 000010c0: PUSH2 0x10cf 000010c3: JUMPI 000010c4: POP 000010c5: PUSH1 0x00 000010c7: SWAP1 000010c8: POP 000010c9: PUSH1 0x03 000010cb: PUSH2 0x119a 000010ce: JUMP 000010cf: JUMPDEST 000010d0: DUP5 000010d1: PUSH1 0xff 000010d3: AND 000010d4: PUSH1 0x1b 000010d6: EQ 000010d7: ISZERO 000010d8: DUP1 000010d9: ISZERO 000010da: PUSH2 0x10e7 000010dd: JUMPI 000010de: POP 000010df: DUP5 000010e0: PUSH1 0xff 000010e2: AND 000010e3: PUSH1 0x1c 000010e5: EQ 000010e6: ISZERO 000010e7: JUMPDEST 000010e8: ISZERO 000010e9: PUSH2 0x10f8 000010ec: JUMPI 000010ed: POP 000010ee: PUSH1 0x00 000010f0: SWAP1 000010f1: POP 000010f2: PUSH1 0x04 000010f4: PUSH2 0x119a 000010f7: JUMP 000010f8: JUMPDEST 000010f9: PUSH1 0x40 000010fb: DUP1 000010fc: MLOAD 000010fd: PUSH1 0x00 000010ff: DUP1 00001100: DUP3 00001101: MSTORE 00001102: PUSH1 0x20 00001104: DUP3 00001105: ADD 00001106: DUP1 00001107: DUP5 00001108: MSTORE 00001109: DUP10 0000110a: SWAP1 0000110b: MSTORE 0000110c: PUSH1 0xff 0000110e: DUP9 0000110f: AND 00001110: SWAP3 00001111: DUP3 00001112: ADD 00001113: SWAP3 00001114: SWAP1 00001115: SWAP3 00001116: MSTORE 00001117: PUSH1 0x60 00001119: DUP2 0000111a: ADD 0000111b: DUP7 0000111c: SWAP1 0000111d: MSTORE 0000111e: PUSH1 0x80 00001120: DUP2 00001121: ADD 00001122: DUP6 00001123: SWAP1 00001124: MSTORE 00001125: PUSH1 0x01 00001127: SWAP1 00001128: PUSH1 0xa0 0000112a: ADD 0000112b: PUSH1 0x20 0000112d: PUSH1 0x40 0000112f: MLOAD 00001130: PUSH1 0x20 00001132: DUP2 00001133: SUB 00001134: SWAP1 00001135: DUP1 00001136: DUP5 00001137: SUB 00001138: SWAP1 00001139: DUP6 0000113a: GAS 0000113b: STATICCALL 0000113c: ISZERO 0000113d: DUP1 0000113e: ISZERO 0000113f: PUSH2 0x114c 00001142: JUMPI 00001143: RETURNDATASIZE 00001144: PUSH1 0x00 00001146: DUP1 00001147: RETURNDATACOPY 00001148: RETURNDATASIZE 00001149: PUSH1 0x00 0000114b: REVERT 0000114c: JUMPDEST 0000114d: POP 0000114e: POP 0000114f: PUSH1 0x40 00001151: MLOAD 00001152: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001173: ADD 00001174: MLOAD 00001175: SWAP2 00001176: POP 00001177: POP 00001178: PUSH1 0x01 0000117a: PUSH1 0x01 0000117c: PUSH1 0xa0 0000117e: SHL 0000117f: SUB 00001180: DUP2 00001181: AND 00001182: PUSH2 0x1193 00001185: JUMPI 00001186: PUSH1 0x00 00001188: PUSH1 0x01 0000118a: SWAP3 0000118b: POP 0000118c: SWAP3 0000118d: POP 0000118e: POP 0000118f: PUSH2 0x119a 00001192: JUMP 00001193: JUMPDEST 00001194: SWAP2 00001195: POP 00001196: PUSH1 0x00 00001198: SWAP1 00001199: POP 0000119a: JUMPDEST 0000119b: SWAP5 0000119c: POP 0000119d: SWAP5 0000119e: SWAP3 0000119f: POP 000011a0: POP 000011a1: POP 000011a2: JUMP 000011a3: JUMPDEST 000011a4: PUSH1 0x00 000011a6: DUP2 000011a7: PUSH1 0x04 000011a9: DUP2 000011aa: GT 000011ab: ISZERO 000011ac: PUSH2 0x11b7 000011af: JUMPI 000011b0: PUSH2 0x11b7 000011b3: PUSH2 0x1691 000011b6: JUMP 000011b7: JUMPDEST 000011b8: EQ 000011b9: ISZERO 000011ba: PUSH2 0x11c0 000011bd: JUMPI 000011be: POP 000011bf: JUMP 000011c0: JUMPDEST 000011c1: PUSH1 0x01 000011c3: DUP2 000011c4: PUSH1 0x04 000011c6: DUP2 000011c7: GT 000011c8: ISZERO 000011c9: PUSH2 0x11d4 000011cc: JUMPI 000011cd: PUSH2 0x11d4 000011d0: PUSH2 0x1691 000011d3: JUMP 000011d4: JUMPDEST 000011d5: EQ 000011d6: ISZERO 000011d7: PUSH2 0x1222 000011da: JUMPI 000011db: PUSH1 0x40 000011dd: MLOAD 000011de: PUSH3 0x461bcd 000011e2: PUSH1 0xe5 000011e4: SHL 000011e5: DUP2 000011e6: MSTORE 000011e7: PUSH1 0x20 000011e9: PUSH1 0x04 000011eb: DUP3 000011ec: ADD 000011ed: MSTORE 000011ee: PUSH1 0x18 000011f0: PUSH1 0x24 000011f2: DUP3 000011f3: ADD 000011f4: MSTORE 000011f5: PUSH32 0x45434453413a20696e76616c6964207369676e61747572650000000000000000 00001216: PUSH1 0x44 00001218: DUP3 00001219: ADD 0000121a: MSTORE 0000121b: PUSH1 0x64 0000121d: ADD 0000121e: PUSH2 0x0564 00001221: JUMP 00001222: JUMPDEST 00001223: PUSH1 0x02 00001225: DUP2 00001226: PUSH1 0x04 00001228: DUP2 00001229: GT 0000122a: ISZERO 0000122b: PUSH2 0x1236 0000122e: JUMPI 0000122f: PUSH2 0x1236 00001232: PUSH2 0x1691 00001235: JUMP 00001236: JUMPDEST 00001237: EQ 00001238: ISZERO 00001239: PUSH2 0x1284 0000123c: JUMPI 0000123d: PUSH1 0x40 0000123f: MLOAD 00001240: PUSH3 0x461bcd 00001244: PUSH1 0xe5 00001246: SHL 00001247: DUP2 00001248: MSTORE 00001249: PUSH1 0x20 0000124b: PUSH1 0x04 0000124d: DUP3 0000124e: ADD 0000124f: MSTORE 00001250: PUSH1 0x1f 00001252: PUSH1 0x24 00001254: DUP3 00001255: ADD 00001256: MSTORE 00001257: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265206c656e67746800 00001278: PUSH1 0x44 0000127a: DUP3 0000127b: ADD 0000127c: MSTORE 0000127d: PUSH1 0x64 0000127f: ADD 00001280: PUSH2 0x0564 00001283: JUMP 00001284: JUMPDEST 00001285: PUSH1 0x03 00001287: DUP2 00001288: PUSH1 0x04 0000128a: DUP2 0000128b: GT 0000128c: ISZERO 0000128d: PUSH2 0x1298 00001290: JUMPI 00001291: PUSH2 0x1298 00001294: PUSH2 0x1691 00001297: JUMP 00001298: JUMPDEST 00001299: EQ 0000129a: ISZERO 0000129b: PUSH2 0x130c 0000129e: JUMPI 0000129f: PUSH1 0x40 000012a1: MLOAD 000012a2: PUSH3 0x461bcd 000012a6: PUSH1 0xe5 000012a8: SHL 000012a9: DUP2 000012aa: MSTORE 000012ab: PUSH1 0x20 000012ad: PUSH1 0x04 000012af: DUP3 000012b0: ADD 000012b1: MSTORE 000012b2: PUSH1 0x22 000012b4: PUSH1 0x24 000012b6: DUP3 000012b7: ADD 000012b8: MSTORE 000012b9: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202773272076616c 000012da: PUSH1 0x44 000012dc: DUP3 000012dd: ADD 000012de: MSTORE 000012df: PUSH32 0x7565000000000000000000000000000000000000000000000000000000000000 00001300: PUSH1 0x64 00001302: DUP3 00001303: ADD 00001304: MSTORE 00001305: PUSH1 0x84 00001307: ADD 00001308: PUSH2 0x0564 0000130b: JUMP 0000130c: JUMPDEST 0000130d: PUSH1 0x04 0000130f: DUP2 00001310: PUSH1 0x04 00001312: DUP2 00001313: GT 00001314: ISZERO 00001315: PUSH2 0x1320 00001318: JUMPI 00001319: PUSH2 0x1320 0000131c: PUSH2 0x1691 0000131f: JUMP 00001320: JUMPDEST 00001321: EQ 00001322: ISZERO 00001323: PUSH2 0x1394 00001326: JUMPI 00001327: PUSH1 0x40 00001329: MLOAD 0000132a: PUSH3 0x461bcd 0000132e: PUSH1 0xe5 00001330: SHL 00001331: DUP2 00001332: MSTORE 00001333: PUSH1 0x20 00001335: PUSH1 0x04 00001337: DUP3 00001338: ADD 00001339: MSTORE 0000133a: PUSH1 0x22 0000133c: PUSH1 0x24 0000133e: DUP3 0000133f: ADD 00001340: MSTORE 00001341: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202776272076616c 00001362: PUSH1 0x44 00001364: DUP3 00001365: ADD 00001366: MSTORE 00001367: PUSH32 0x7565000000000000000000000000000000000000000000000000000000000000 00001388: PUSH1 0x64 0000138a: DUP3 0000138b: ADD 0000138c: MSTORE 0000138d: PUSH1 0x84 0000138f: ADD 00001390: PUSH2 0x0564 00001393: JUMP 00001394: JUMPDEST 00001395: POP 00001396: JUMP 00001397: JUMPDEST 00001398: PUSH1 0x00 0000139a: PUSH1 0x20 0000139c: DUP1 0000139d: DUP4 0000139e: MSTORE 0000139f: DUP4 000013a0: MLOAD 000013a1: DUP1 000013a2: DUP3 000013a3: DUP6 000013a4: ADD 000013a5: MSTORE 000013a6: PUSH1 0x00 000013a8: JUMPDEST 000013a9: DUP2 000013aa: DUP2 000013ab: LT 000013ac: ISZERO 000013ad: PUSH2 0x13c4 000013b0: JUMPI 000013b1: DUP6 000013b2: DUP2 000013b3: ADD 000013b4: DUP4 000013b5: ADD 000013b6: MLOAD 000013b7: DUP6 000013b8: DUP3 000013b9: ADD 000013ba: PUSH1 0x40 000013bc: ADD 000013bd: MSTORE 000013be: DUP3 000013bf: ADD 000013c0: PUSH2 0x13a8 000013c3: JUMP 000013c4: JUMPDEST 000013c5: DUP2 000013c6: DUP2 000013c7: GT 000013c8: ISZERO 000013c9: PUSH2 0x13d6 000013cc: JUMPI 000013cd: PUSH1 0x00 000013cf: PUSH1 0x40 000013d1: DUP4 000013d2: DUP8 000013d3: ADD 000013d4: ADD 000013d5: MSTORE 000013d6: JUMPDEST 000013d7: POP 000013d8: PUSH1 0x1f 000013da: ADD 000013db: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000013fc: AND 000013fd: SWAP3 000013fe: SWAP1 000013ff: SWAP3 00001400: ADD 00001401: PUSH1 0x40 00001403: ADD 00001404: SWAP4 00001405: SWAP3 00001406: POP 00001407: POP 00001408: POP 00001409: JUMP 0000140a: JUMPDEST 0000140b: DUP1 0000140c: CALLDATALOAD 0000140d: PUSH1 0x01 0000140f: PUSH1 0x01 00001411: PUSH1 0xa0 00001413: SHL 00001414: SUB 00001415: DUP2 00001416: AND 00001417: DUP2 00001418: EQ 00001419: PUSH2 0x1421 0000141c: JUMPI 0000141d: PUSH1 0x00 0000141f: DUP1 00001420: REVERT 00001421: JUMPDEST 00001422: SWAP2 00001423: SWAP1 00001424: POP 00001425: JUMP 00001426: JUMPDEST 00001427: PUSH1 0x00 00001429: DUP1 0000142a: PUSH1 0x40 0000142c: DUP4 0000142d: DUP6 0000142e: SUB 0000142f: SLT 00001430: ISZERO 00001431: PUSH2 0x1439 00001434: JUMPI 00001435: PUSH1 0x00 00001437: DUP1 00001438: REVERT 00001439: JUMPDEST 0000143a: PUSH2 0x1442 0000143d: DUP4 0000143e: PUSH2 0x140a 00001441: JUMP 00001442: JUMPDEST 00001443: SWAP5 00001444: PUSH1 0x20 00001446: SWAP4 00001447: SWAP1 00001448: SWAP4 00001449: ADD 0000144a: CALLDATALOAD 0000144b: SWAP4 0000144c: POP 0000144d: POP 0000144e: POP 0000144f: JUMP 00001450: JUMPDEST 00001451: PUSH1 0x00 00001453: DUP1 00001454: PUSH1 0x00 00001456: PUSH1 0x60 00001458: DUP5 00001459: DUP7 0000145a: SUB 0000145b: SLT 0000145c: ISZERO 0000145d: PUSH2 0x1465 00001460: JUMPI 00001461: PUSH1 0x00 00001463: DUP1 00001464: REVERT 00001465: JUMPDEST 00001466: PUSH2 0x146e 00001469: DUP5 0000146a: PUSH2 0x140a 0000146d: JUMP 0000146e: JUMPDEST 0000146f: SWAP3 00001470: POP 00001471: PUSH2 0x147c 00001474: PUSH1 0x20 00001476: DUP6 00001477: ADD 00001478: PUSH2 0x140a 0000147b: JUMP 0000147c: JUMPDEST 0000147d: SWAP2 0000147e: POP 0000147f: PUSH1 0x40 00001481: DUP5 00001482: ADD 00001483: CALLDATALOAD 00001484: SWAP1 00001485: POP 00001486: SWAP3 00001487: POP 00001488: SWAP3 00001489: POP 0000148a: SWAP3 0000148b: JUMP 0000148c: JUMPDEST 0000148d: PUSH1 0x00 0000148f: PUSH1 0x20 00001491: DUP3 00001492: DUP5 00001493: SUB 00001494: SLT 00001495: ISZERO 00001496: PUSH2 0x149e 00001499: JUMPI 0000149a: PUSH1 0x00 0000149c: DUP1 0000149d: REVERT 0000149e: JUMPDEST 0000149f: POP 000014a0: CALLDATALOAD 000014a1: SWAP2 000014a2: SWAP1 000014a3: POP 000014a4: JUMP 000014a5: JUMPDEST 000014a6: PUSH1 0x00 000014a8: PUSH1 0x20 000014aa: DUP3 000014ab: DUP5 000014ac: SUB 000014ad: SLT 000014ae: ISZERO 000014af: PUSH2 0x14b7 000014b2: JUMPI 000014b3: PUSH1 0x00 000014b5: DUP1 000014b6: REVERT 000014b7: JUMPDEST 000014b8: PUSH2 0x14c0 000014bb: DUP3 000014bc: PUSH2 0x140a 000014bf: JUMP 000014c0: JUMPDEST 000014c1: SWAP4 000014c2: SWAP3 000014c3: POP 000014c4: POP 000014c5: POP 000014c6: JUMP 000014c7: JUMPDEST 000014c8: PUSH1 0x00 000014ca: DUP1 000014cb: PUSH1 0x00 000014cd: DUP1 000014ce: PUSH1 0x00 000014d0: DUP1 000014d1: PUSH1 0x00 000014d3: PUSH1 0xe0 000014d5: DUP9 000014d6: DUP11 000014d7: SUB 000014d8: SLT 000014d9: ISZERO 000014da: PUSH2 0x14e2 000014dd: JUMPI 000014de: PUSH1 0x00 000014e0: DUP1 000014e1: REVERT 000014e2: JUMPDEST 000014e3: PUSH2 0x14eb 000014e6: DUP9 000014e7: PUSH2 0x140a 000014ea: JUMP 000014eb: JUMPDEST 000014ec: SWAP7 000014ed: POP 000014ee: PUSH2 0x14f9 000014f1: PUSH1 0x20 000014f3: DUP10 000014f4: ADD 000014f5: PUSH2 0x140a 000014f8: JUMP 000014f9: JUMPDEST 000014fa: SWAP6 000014fb: POP 000014fc: PUSH1 0x40 000014fe: DUP9 000014ff: ADD 00001500: CALLDATALOAD 00001501: SWAP5 00001502: POP 00001503: PUSH1 0x60 00001505: DUP9 00001506: ADD 00001507: CALLDATALOAD 00001508: SWAP4 00001509: POP 0000150a: PUSH1 0x80 0000150c: DUP9 0000150d: ADD 0000150e: CALLDATALOAD 0000150f: PUSH1 0xff 00001511: DUP2 00001512: AND 00001513: DUP2 00001514: EQ 00001515: PUSH2 0x151d 00001518: JUMPI 00001519: PUSH1 0x00 0000151b: DUP1 0000151c: REVERT 0000151d: JUMPDEST 0000151e: SWAP7 0000151f: SWAP10 00001520: SWAP6 00001521: SWAP9 00001522: POP 00001523: SWAP4 00001524: SWAP7 00001525: SWAP3 00001526: SWAP6 00001527: SWAP5 00001528: PUSH1 0xa0 0000152a: DUP5 0000152b: ADD 0000152c: CALLDATALOAD 0000152d: SWAP5 0000152e: POP 0000152f: PUSH1 0xc0 00001531: SWAP1 00001532: SWAP4 00001533: ADD 00001534: CALLDATALOAD 00001535: SWAP3 00001536: SWAP2 00001537: POP 00001538: POP 00001539: JUMP 0000153a: JUMPDEST 0000153b: PUSH1 0x00 0000153d: DUP1 0000153e: PUSH1 0x40 00001540: DUP4 00001541: DUP6 00001542: SUB 00001543: SLT 00001544: ISZERO 00001545: PUSH2 0x154d 00001548: JUMPI 00001549: PUSH1 0x00 0000154b: DUP1 0000154c: REVERT 0000154d: JUMPDEST 0000154e: PUSH2 0x1556 00001551: DUP4 00001552: PUSH2 0x140a 00001555: JUMP 00001556: JUMPDEST 00001557: SWAP2 00001558: POP 00001559: PUSH2 0x1564 0000155c: PUSH1 0x20 0000155e: DUP5 0000155f: ADD 00001560: PUSH2 0x140a 00001563: JUMP 00001564: JUMPDEST 00001565: SWAP1 00001566: POP 00001567: SWAP3 00001568: POP 00001569: SWAP3 0000156a: SWAP1 0000156b: POP 0000156c: JUMP 0000156d: JUMPDEST 0000156e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000158f: PUSH1 0x00 00001591: MSTORE 00001592: PUSH1 0x11 00001594: PUSH1 0x04 00001596: MSTORE 00001597: PUSH1 0x24 00001599: PUSH1 0x00 0000159b: REVERT 0000159c: JUMPDEST 0000159d: PUSH1 0x00 0000159f: DUP2 000015a0: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000015c1: DIV 000015c2: DUP4 000015c3: GT 000015c4: DUP3 000015c5: ISZERO 000015c6: ISZERO 000015c7: AND 000015c8: ISZERO 000015c9: PUSH2 0x15d4 000015cc: JUMPI 000015cd: PUSH2 0x15d4 000015d0: PUSH2 0x156d 000015d3: JUMP 000015d4: JUMPDEST 000015d5: POP 000015d6: MUL 000015d7: SWAP1 000015d8: JUMP 000015d9: JUMPDEST 000015da: PUSH1 0x01 000015dc: DUP2 000015dd: DUP2 000015de: SHR 000015df: SWAP1 000015e0: DUP3 000015e1: AND 000015e2: DUP1 000015e3: PUSH2 0x15ed 000015e6: JUMPI 000015e7: PUSH1 0x7f 000015e9: DUP3 000015ea: AND 000015eb: SWAP2 000015ec: POP 000015ed: JUMPDEST 000015ee: PUSH1 0x20 000015f0: DUP3 000015f1: LT 000015f2: DUP2 000015f3: EQ 000015f4: ISZERO 000015f5: PUSH2 0x1001 000015f8: JUMPI 000015f9: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000161a: PUSH1 0x00 0000161c: MSTORE 0000161d: PUSH1 0x22 0000161f: PUSH1 0x04 00001621: MSTORE 00001622: PUSH1 0x24 00001624: PUSH1 0x00 00001626: REVERT 00001627: JUMPDEST 00001628: PUSH1 0x00 0000162a: DUP3 0000162b: PUSH2 0x165d 0000162e: JUMPI 0000162f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001650: PUSH1 0x00 00001652: MSTORE 00001653: PUSH1 0x12 00001655: PUSH1 0x04 00001657: MSTORE 00001658: PUSH1 0x24 0000165a: PUSH1 0x00 0000165c: REVERT 0000165d: JUMPDEST 0000165e: POP 0000165f: DIV 00001660: SWAP1 00001661: JUMP 00001662: JUMPDEST 00001663: PUSH1 0x00 00001665: DUP3 00001666: NOT 00001667: DUP3 00001668: GT 00001669: ISZERO 0000166a: PUSH2 0x1675 0000166d: JUMPI 0000166e: PUSH2 0x1675 00001671: PUSH2 0x156d 00001674: JUMP 00001675: JUMPDEST 00001676: POP 00001677: ADD 00001678: SWAP1 00001679: JUMP 0000167a: JUMPDEST 0000167b: PUSH1 0x00 0000167d: DUP3 0000167e: DUP3 0000167f: LT 00001680: ISZERO 00001681: PUSH2 0x168c 00001684: JUMPI 00001685: PUSH2 0x168c 00001688: PUSH2 0x156d 0000168b: JUMP 0000168c: JUMPDEST 0000168d: POP 0000168e: SUB 0000168f: SWAP1 00001690: JUMP 00001691: JUMPDEST 00001692: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000016b3: PUSH1 0x00 000016b5: MSTORE 000016b6: PUSH1 0x21 000016b8: PUSH1 0x04 000016ba: MSTORE 000016bb: PUSH1 0x24 000016bd: PUSH1 0x00 000016bf: REVERT 000016c0: INVALID 000016c1: LOG2 000016c2: PUSH5 0x6970667358 000016c8: UNKNOWN(0x22) 000016c9: SLT 000016ca: KECCAK256 000016cb: MLOAD 000016cc: UNKNOWN(0xB9) 000016cd: UNKNOWN(0x4B) 000016ce: PUSH26 0x43c9fb879881a279fa2f6a7bff87acbe37e5a0e89def49faadd9 000016e9: POP 000016ea: EXTCODECOPY 000016eb: PUSH5 0x736f6c6343 000016f1: STOP 000016f2: ADDMOD 000016f3: MULMOD 000016f4: STOP 000016f5: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x66bc2ec799a88d1fd2245414dad5fd998d36ebff6e67a1b11697553b0960fd23
call_targets:
0xbb7be7cc5abb65d3a29d7982236481ddf4f10b09
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x66bc2ec799a88d1fd2245414dad5fd998d36ebff6e67a1b11697553b0960fd23",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xbb7be7cc5abb65d3a29d7982236481ddf4f10b09"
],
"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": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd505accf",
"selector": "0xd505accf",
"calldata_variants": [
"0xd505accf",
"0xd505accf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa457c2d7",
"selector": "0xa457c2d7",
"calldata_variants": [
"0xa457c2d7",
"0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7ecebe00",
"selector": "0x7ecebe00",
"calldata_variants": [
"0x7ecebe00",
"0x7ecebe000000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x887594ed",
"selector": "0x887594ed",
"calldata_variants": [
"0x887594ed",
"0x887594ed0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1525,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x66bc2ec799a88d1fd2245414dad5fd998d36ebff6e67a1b11697553b0960fd23
call_targets:
0xbb7be7cc5abb65d3a29d7982236481ddf4f10b09
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x66bc2ec799a88d1fd2245414dad5fd998d36ebff6e67a1b11697553b0960fd23",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xbb7be7cc5abb65d3a29d7982236481ddf4f10b09"
],
"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": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd505accf",
"selector": "0xd505accf",
"calldata_variants": [
"0xd505accf",
"0xd505accf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa457c2d7",
"selector": "0xa457c2d7",
"calldata_variants": [
"0xa457c2d7",
"0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7ecebe00",
"selector": "0x7ecebe00",
"calldata_variants": [
"0x7ecebe00",
"0x7ecebe000000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x887594ed",
"selector": "0x887594ed",
"calldata_variants": [
"0x887594ed",
"0x887594ed0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1525,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|