019b477e-c592-72a1-a14b-f9b692c03ef8
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 |
|---|---|---|---|---|
| 25607 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 25608 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 68830 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 68831 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 68832 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 68833 | 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 0x0091 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x54eee553 00000019: GT 0000001a: PUSH2 0x0059 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x54eee553 00000024: EQ 00000025: PUSH2 0x017b 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x9077ac59 0000002f: EQ 00000030: PUSH2 0x01a4 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xce7c2ac2 0000003a: EQ 0000003b: PUSH2 0x01cf 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd0e30db0 00000045: EQ 00000046: PUSH2 0x020e 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xefca2eed 00000050: EQ 00000051: PUSH2 0x0218 00000054: JUMPI 00000055: PUSH2 0x0091 00000058: JUMP 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x018763ed 00000060: EQ 00000061: PUSH2 0x0096 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x1014edf5 0000006b: EQ 0000006c: PUSH2 0x00c1 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x14b6ca96 00000076: EQ 00000077: PUSH2 0x00ea 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x28fd3198 00000081: EQ 00000082: PUSH2 0x0113 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x3a98ef39 0000008c: EQ 0000008d: PUSH2 0x0150 00000090: JUMPI 00000091: JUMPDEST 00000092: PUSH1 0x00 00000094: DUP1 00000095: REVERT 00000096: JUMPDEST 00000097: CALLVALUE 00000098: DUP1 00000099: ISZERO 0000009a: PUSH2 0x00a2 0000009d: JUMPI 0000009e: PUSH1 0x00 000000a0: DUP1 000000a1: REVERT 000000a2: JUMPDEST 000000a3: POP 000000a4: PUSH2 0x00ab 000000a7: PUSH2 0x0243 000000aa: JUMP 000000ab: JUMPDEST 000000ac: PUSH1 0x40 000000ae: MLOAD 000000af: PUSH2 0x00b8 000000b2: SWAP2 000000b3: SWAP1 000000b4: PUSH2 0x1117 000000b7: JUMP 000000b8: JUMPDEST 000000b9: PUSH1 0x40 000000bb: MLOAD 000000bc: DUP1 000000bd: SWAP2 000000be: SUB 000000bf: SWAP1 000000c0: RETURN 000000c1: JUMPDEST 000000c2: CALLVALUE 000000c3: DUP1 000000c4: ISZERO 000000c5: PUSH2 0x00cd 000000c8: JUMPI 000000c9: PUSH1 0x00 000000cb: DUP1 000000cc: REVERT 000000cd: JUMPDEST 000000ce: POP 000000cf: PUSH2 0x00e8 000000d2: PUSH1 0x04 000000d4: DUP1 000000d5: CALLDATASIZE 000000d6: SUB 000000d7: DUP2 000000d8: ADD 000000d9: SWAP1 000000da: PUSH2 0x00e3 000000dd: SWAP2 000000de: SWAP1 000000df: PUSH2 0x0fe7 000000e2: JUMP 000000e3: JUMPDEST 000000e4: PUSH2 0x0249 000000e7: JUMP 000000e8: JUMPDEST 000000e9: STOP 000000ea: JUMPDEST 000000eb: CALLVALUE 000000ec: DUP1 000000ed: ISZERO 000000ee: PUSH2 0x00f6 000000f1: JUMPI 000000f2: PUSH1 0x00 000000f4: DUP1 000000f5: REVERT 000000f6: JUMPDEST 000000f7: POP 000000f8: PUSH2 0x0111 000000fb: PUSH1 0x04 000000fd: DUP1 000000fe: CALLDATASIZE 000000ff: SUB 00000100: DUP2 00000101: ADD 00000102: SWAP1 00000103: PUSH2 0x010c 00000106: SWAP2 00000107: SWAP1 00000108: PUSH2 0x0fa7 0000010b: JUMP 0000010c: JUMPDEST 0000010d: PUSH2 0x0303 00000110: JUMP 00000111: JUMPDEST 00000112: STOP 00000113: JUMPDEST 00000114: CALLVALUE 00000115: DUP1 00000116: ISZERO 00000117: PUSH2 0x011f 0000011a: JUMPI 0000011b: PUSH1 0x00 0000011d: DUP1 0000011e: REVERT 0000011f: JUMPDEST 00000120: POP 00000121: PUSH2 0x013a 00000124: PUSH1 0x04 00000126: DUP1 00000127: CALLDATASIZE 00000128: SUB 00000129: DUP2 0000012a: ADD 0000012b: SWAP1 0000012c: PUSH2 0x0135 0000012f: SWAP2 00000130: SWAP1 00000131: PUSH2 0x0f7a 00000134: JUMP 00000135: JUMPDEST 00000136: PUSH2 0x05c2 00000139: JUMP 0000013a: JUMPDEST 0000013b: PUSH1 0x40 0000013d: MLOAD 0000013e: PUSH2 0x0147 00000141: SWAP2 00000142: SWAP1 00000143: PUSH2 0x1117 00000146: JUMP 00000147: JUMPDEST 00000148: PUSH1 0x40 0000014a: MLOAD 0000014b: DUP1 0000014c: SWAP2 0000014d: SUB 0000014e: SWAP1 0000014f: RETURN 00000150: JUMPDEST 00000151: CALLVALUE 00000152: DUP1 00000153: ISZERO 00000154: PUSH2 0x015c 00000157: JUMPI 00000158: PUSH1 0x00 0000015a: DUP1 0000015b: REVERT 0000015c: JUMPDEST 0000015d: POP 0000015e: PUSH2 0x0165 00000161: PUSH2 0x06dc 00000164: JUMP 00000165: JUMPDEST 00000166: PUSH1 0x40 00000168: MLOAD 00000169: PUSH2 0x0172 0000016c: SWAP2 0000016d: SWAP1 0000016e: PUSH2 0x1117 00000171: JUMP 00000172: JUMPDEST 00000173: PUSH1 0x40 00000175: MLOAD 00000176: DUP1 00000177: SWAP2 00000178: SUB 00000179: SWAP1 0000017a: RETURN 0000017b: JUMPDEST 0000017c: CALLVALUE 0000017d: DUP1 0000017e: ISZERO 0000017f: PUSH2 0x0187 00000182: JUMPI 00000183: PUSH1 0x00 00000185: DUP1 00000186: REVERT 00000187: JUMPDEST 00000188: POP 00000189: PUSH2 0x01a2 0000018c: PUSH1 0x04 0000018e: DUP1 0000018f: CALLDATASIZE 00000190: SUB 00000191: DUP2 00000192: ADD 00000193: SWAP1 00000194: PUSH2 0x019d 00000197: SWAP2 00000198: SWAP1 00000199: PUSH2 0x0f7a 0000019c: JUMP 0000019d: JUMPDEST 0000019e: PUSH2 0x06e2 000001a1: JUMP 000001a2: JUMPDEST 000001a3: STOP 000001a4: JUMPDEST 000001a5: CALLVALUE 000001a6: DUP1 000001a7: ISZERO 000001a8: PUSH2 0x01b0 000001ab: JUMPI 000001ac: PUSH1 0x00 000001ae: DUP1 000001af: REVERT 000001b0: JUMPDEST 000001b1: POP 000001b2: PUSH2 0x01b9 000001b5: PUSH2 0x0746 000001b8: JUMP 000001b9: JUMPDEST 000001ba: PUSH1 0x40 000001bc: MLOAD 000001bd: PUSH2 0x01c6 000001c0: SWAP2 000001c1: SWAP1 000001c2: PUSH2 0x1117 000001c5: JUMP 000001c6: JUMPDEST 000001c7: PUSH1 0x40 000001c9: MLOAD 000001ca: DUP1 000001cb: SWAP2 000001cc: SUB 000001cd: SWAP1 000001ce: RETURN 000001cf: JUMPDEST 000001d0: CALLVALUE 000001d1: DUP1 000001d2: ISZERO 000001d3: PUSH2 0x01db 000001d6: JUMPI 000001d7: PUSH1 0x00 000001d9: DUP1 000001da: REVERT 000001db: JUMPDEST 000001dc: POP 000001dd: PUSH2 0x01f6 000001e0: PUSH1 0x04 000001e2: DUP1 000001e3: CALLDATASIZE 000001e4: SUB 000001e5: DUP2 000001e6: ADD 000001e7: SWAP1 000001e8: PUSH2 0x01f1 000001eb: SWAP2 000001ec: SWAP1 000001ed: PUSH2 0x0f7a 000001f0: JUMP 000001f1: JUMPDEST 000001f2: PUSH2 0x074c 000001f5: JUMP 000001f6: JUMPDEST 000001f7: PUSH1 0x40 000001f9: MLOAD 000001fa: PUSH2 0x0205 000001fd: SWAP4 000001fe: SWAP3 000001ff: SWAP2 00000200: SWAP1 00000201: PUSH2 0x1132 00000204: JUMP 00000205: JUMPDEST 00000206: PUSH1 0x40 00000208: MLOAD 00000209: DUP1 0000020a: SWAP2 0000020b: SUB 0000020c: SWAP1 0000020d: RETURN 0000020e: JUMPDEST 0000020f: PUSH2 0x0216 00000212: PUSH2 0x0776 00000215: JUMP 00000216: JUMPDEST 00000217: STOP 00000218: JUMPDEST 00000219: CALLVALUE 0000021a: DUP1 0000021b: ISZERO 0000021c: PUSH2 0x0224 0000021f: JUMPI 00000220: PUSH1 0x00 00000222: DUP1 00000223: REVERT 00000224: JUMPDEST 00000225: POP 00000226: PUSH2 0x022d 00000229: PUSH2 0x0834 0000022c: JUMP 0000022d: JUMPDEST 0000022e: PUSH1 0x40 00000230: MLOAD 00000231: PUSH2 0x023a 00000234: SWAP2 00000235: SWAP1 00000236: PUSH2 0x1117 00000239: JUMP 0000023a: JUMPDEST 0000023b: PUSH1 0x40 0000023d: MLOAD 0000023e: DUP1 0000023f: SWAP2 00000240: SUB 00000241: SWAP1 00000242: RETURN 00000243: JUMPDEST 00000244: PUSH1 0x06 00000246: SLOAD 00000247: DUP2 00000248: JUMP 00000249: JUMPDEST 0000024a: PUSH1 0x01 0000024c: PUSH1 0x00 0000024e: SWAP1 0000024f: SLOAD 00000250: SWAP1 00000251: PUSH2 0x0100 00000254: EXP 00000255: SWAP1 00000256: DIV 00000257: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000026c: AND 0000026d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000282: AND 00000283: CALLER 00000284: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000299: AND 0000029a: EQ 0000029b: PUSH2 0x02a3 0000029e: JUMPI 0000029f: PUSH1 0x00 000002a1: DUP1 000002a2: REVERT 000002a3: JUMPDEST 000002a4: PUSH1 0x00 000002a6: SELFBALANCE 000002a7: SWAP1 000002a8: POP 000002a9: DUP2 000002aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002bf: AND 000002c0: PUSH2 0x08fc 000002c3: PUSH1 0x00 000002c5: DUP6 000002c6: GT 000002c7: PUSH2 0x02d0 000002ca: JUMPI 000002cb: DUP3 000002cc: PUSH2 0x02d2 000002cf: JUMP 000002d0: JUMPDEST 000002d1: DUP5 000002d2: JUMPDEST 000002d3: SWAP1 000002d4: DUP2 000002d5: ISZERO 000002d6: MUL 000002d7: SWAP1 000002d8: PUSH1 0x40 000002da: MLOAD 000002db: PUSH1 0x00 000002dd: PUSH1 0x40 000002df: MLOAD 000002e0: DUP1 000002e1: DUP4 000002e2: SUB 000002e3: DUP2 000002e4: DUP6 000002e5: DUP9 000002e6: DUP9 000002e7: CALL 000002e8: SWAP4 000002e9: POP 000002ea: POP 000002eb: POP 000002ec: POP 000002ed: ISZERO 000002ee: DUP1 000002ef: ISZERO 000002f0: PUSH2 0x02fd 000002f3: JUMPI 000002f4: RETURNDATASIZE 000002f5: PUSH1 0x00 000002f7: DUP1 000002f8: RETURNDATACOPY 000002f9: RETURNDATASIZE 000002fa: PUSH1 0x00 000002fc: REVERT 000002fd: JUMPDEST 000002fe: POP 000002ff: POP 00000300: POP 00000301: POP 00000302: JUMP 00000303: JUMPDEST 00000304: PUSH1 0x00 00000306: DUP1 00000307: SLOAD 00000308: SWAP1 00000309: PUSH2 0x0100 0000030c: EXP 0000030d: SWAP1 0000030e: DIV 0000030f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000324: AND 00000325: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000033a: AND 0000033b: CALLER 0000033c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000351: AND 00000352: EQ 00000353: PUSH2 0x035b 00000356: JUMPI 00000357: PUSH1 0x00 00000359: DUP1 0000035a: REVERT 0000035b: JUMPDEST 0000035c: PUSH1 0x00 0000035e: PUSH1 0x04 00000360: PUSH1 0x00 00000362: DUP5 00000363: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000378: AND 00000379: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000038e: AND 0000038f: DUP2 00000390: MSTORE 00000391: PUSH1 0x20 00000393: ADD 00000394: SWAP1 00000395: DUP2 00000396: MSTORE 00000397: PUSH1 0x20 00000399: ADD 0000039a: PUSH1 0x00 0000039c: KECCAK256 0000039d: PUSH1 0x00 0000039f: ADD 000003a0: SLOAD 000003a1: GT 000003a2: ISZERO 000003a3: PUSH2 0x03b0 000003a6: JUMPI 000003a7: PUSH2 0x03af 000003aa: DUP3 000003ab: PUSH2 0x083a 000003ae: JUMP 000003af: JUMPDEST 000003b0: JUMPDEST 000003b1: PUSH1 0x00 000003b3: DUP2 000003b4: GT 000003b5: DUP1 000003b6: ISZERO 000003b7: PUSH2 0x0402 000003ba: JUMPI 000003bb: POP 000003bc: PUSH1 0x00 000003be: PUSH1 0x04 000003c0: PUSH1 0x00 000003c2: DUP5 000003c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003d8: AND 000003d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ee: AND 000003ef: DUP2 000003f0: MSTORE 000003f1: PUSH1 0x20 000003f3: ADD 000003f4: SWAP1 000003f5: DUP2 000003f6: MSTORE 000003f7: PUSH1 0x20 000003f9: ADD 000003fa: PUSH1 0x00 000003fc: KECCAK256 000003fd: PUSH1 0x00 000003ff: ADD 00000400: SLOAD 00000401: EQ 00000402: JUMPDEST 00000403: ISZERO 00000404: PUSH2 0x0415 00000407: JUMPI 00000408: PUSH2 0x0410 0000040b: DUP3 0000040c: PUSH2 0x0a34 0000040f: JUMP 00000410: JUMPDEST 00000411: PUSH2 0x0477 00000414: JUMP 00000415: JUMPDEST 00000416: PUSH1 0x00 00000418: DUP2 00000419: EQ 0000041a: DUP1 0000041b: ISZERO 0000041c: PUSH2 0x0467 0000041f: JUMPI 00000420: POP 00000421: PUSH1 0x00 00000423: PUSH1 0x04 00000425: PUSH1 0x00 00000427: DUP5 00000428: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000043d: AND 0000043e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000453: AND 00000454: DUP2 00000455: MSTORE 00000456: PUSH1 0x20 00000458: ADD 00000459: SWAP1 0000045a: DUP2 0000045b: MSTORE 0000045c: PUSH1 0x20 0000045e: ADD 0000045f: PUSH1 0x00 00000461: KECCAK256 00000462: PUSH1 0x00 00000464: ADD 00000465: SLOAD 00000466: GT 00000467: JUMPDEST 00000468: ISZERO 00000469: PUSH2 0x0476 0000046c: JUMPI 0000046d: PUSH2 0x0475 00000470: DUP3 00000471: PUSH2 0x0ae3 00000474: JUMP 00000475: JUMPDEST 00000476: JUMPDEST 00000477: JUMPDEST 00000478: PUSH2 0x04e0 0000047b: DUP2 0000047c: PUSH2 0x04d2 0000047f: PUSH1 0x04 00000481: PUSH1 0x00 00000483: DUP7 00000484: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000499: AND 0000049a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004af: AND 000004b0: DUP2 000004b1: MSTORE 000004b2: PUSH1 0x20 000004b4: ADD 000004b5: SWAP1 000004b6: DUP2 000004b7: MSTORE 000004b8: PUSH1 0x20 000004ba: ADD 000004bb: PUSH1 0x00 000004bd: KECCAK256 000004be: PUSH1 0x00 000004c0: ADD 000004c1: SLOAD 000004c2: PUSH1 0x05 000004c4: SLOAD 000004c5: PUSH2 0x0cea 000004c8: SWAP1 000004c9: SWAP2 000004ca: SWAP1 000004cb: PUSH4 0xffffffff 000004d0: AND 000004d1: JUMP 000004d2: JUMPDEST 000004d3: PUSH2 0x0d34 000004d6: SWAP1 000004d7: SWAP2 000004d8: SWAP1 000004d9: PUSH4 0xffffffff 000004de: AND 000004df: JUMP 000004e0: JUMPDEST 000004e1: PUSH1 0x05 000004e3: DUP2 000004e4: SWAP1 000004e5: SSTORE 000004e6: POP 000004e7: DUP1 000004e8: PUSH1 0x04 000004ea: PUSH1 0x00 000004ec: DUP5 000004ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000502: AND 00000503: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000518: AND 00000519: DUP2 0000051a: MSTORE 0000051b: PUSH1 0x20 0000051d: ADD 0000051e: SWAP1 0000051f: DUP2 00000520: MSTORE 00000521: PUSH1 0x20 00000523: ADD 00000524: PUSH1 0x00 00000526: KECCAK256 00000527: PUSH1 0x00 00000529: ADD 0000052a: DUP2 0000052b: SWAP1 0000052c: SSTORE 0000052d: POP 0000052e: PUSH2 0x0578 00000531: PUSH1 0x04 00000533: PUSH1 0x00 00000535: DUP5 00000536: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000054b: AND 0000054c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000561: AND 00000562: DUP2 00000563: MSTORE 00000564: PUSH1 0x20 00000566: ADD 00000567: SWAP1 00000568: DUP2 00000569: MSTORE 0000056a: PUSH1 0x20 0000056c: ADD 0000056d: PUSH1 0x00 0000056f: KECCAK256 00000570: PUSH1 0x00 00000572: ADD 00000573: SLOAD 00000574: PUSH2 0x0d92 00000577: JUMP 00000578: JUMPDEST 00000579: PUSH1 0x04 0000057b: PUSH1 0x00 0000057d: DUP5 0000057e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000593: AND 00000594: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a9: AND 000005aa: DUP2 000005ab: MSTORE 000005ac: PUSH1 0x20 000005ae: ADD 000005af: SWAP1 000005b0: DUP2 000005b1: MSTORE 000005b2: PUSH1 0x20 000005b4: ADD 000005b5: PUSH1 0x00 000005b7: KECCAK256 000005b8: PUSH1 0x01 000005ba: ADD 000005bb: DUP2 000005bc: SWAP1 000005bd: SSTORE 000005be: POP 000005bf: POP 000005c0: POP 000005c1: JUMP 000005c2: JUMPDEST 000005c3: PUSH1 0x00 000005c5: DUP1 000005c6: PUSH1 0x04 000005c8: PUSH1 0x00 000005ca: DUP5 000005cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e0: AND 000005e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f6: AND 000005f7: DUP2 000005f8: MSTORE 000005f9: PUSH1 0x20 000005fb: ADD 000005fc: SWAP1 000005fd: DUP2 000005fe: MSTORE 000005ff: PUSH1 0x20 00000601: ADD 00000602: PUSH1 0x00 00000604: KECCAK256 00000605: PUSH1 0x00 00000607: ADD 00000608: SLOAD 00000609: EQ 0000060a: ISZERO 0000060b: PUSH2 0x0617 0000060e: JUMPI 0000060f: PUSH1 0x00 00000611: SWAP1 00000612: POP 00000613: PUSH2 0x06d7 00000616: JUMP 00000617: JUMPDEST 00000618: PUSH1 0x00 0000061a: PUSH2 0x0664 0000061d: PUSH1 0x04 0000061f: PUSH1 0x00 00000621: DUP6 00000622: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000637: AND 00000638: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000064d: AND 0000064e: DUP2 0000064f: MSTORE 00000650: PUSH1 0x20 00000652: ADD 00000653: SWAP1 00000654: DUP2 00000655: MSTORE 00000656: PUSH1 0x20 00000658: ADD 00000659: PUSH1 0x00 0000065b: KECCAK256 0000065c: PUSH1 0x00 0000065e: ADD 0000065f: SLOAD 00000660: PUSH2 0x0d92 00000663: JUMP 00000664: JUMPDEST 00000665: SWAP1 00000666: POP 00000667: PUSH1 0x00 00000669: PUSH1 0x04 0000066b: PUSH1 0x00 0000066d: DUP6 0000066e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000683: AND 00000684: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000699: AND 0000069a: DUP2 0000069b: MSTORE 0000069c: PUSH1 0x20 0000069e: ADD 0000069f: SWAP1 000006a0: DUP2 000006a1: MSTORE 000006a2: PUSH1 0x20 000006a4: ADD 000006a5: PUSH1 0x00 000006a7: KECCAK256 000006a8: PUSH1 0x01 000006aa: ADD 000006ab: SLOAD 000006ac: SWAP1 000006ad: POP 000006ae: DUP1 000006af: DUP3 000006b0: GT 000006b1: PUSH2 0x06bf 000006b4: JUMPI 000006b5: PUSH1 0x00 000006b7: SWAP3 000006b8: POP 000006b9: POP 000006ba: POP 000006bb: PUSH2 0x06d7 000006be: JUMP 000006bf: JUMPDEST 000006c0: PUSH2 0x06d2 000006c3: DUP2 000006c4: DUP4 000006c5: PUSH2 0x0cea 000006c8: SWAP1 000006c9: SWAP2 000006ca: SWAP1 000006cb: PUSH4 0xffffffff 000006d0: AND 000006d1: JUMP 000006d2: JUMPDEST 000006d3: SWAP3 000006d4: POP 000006d5: POP 000006d6: POP 000006d7: JUMPDEST 000006d8: SWAP2 000006d9: SWAP1 000006da: POP 000006db: JUMP 000006dc: JUMPDEST 000006dd: PUSH1 0x05 000006df: SLOAD 000006e0: DUP2 000006e1: JUMP 000006e2: JUMPDEST 000006e3: PUSH1 0x00 000006e5: DUP1 000006e6: SLOAD 000006e7: SWAP1 000006e8: PUSH2 0x0100 000006eb: EXP 000006ec: SWAP1 000006ed: DIV 000006ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000703: AND 00000704: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000719: AND 0000071a: CALLER 0000071b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000730: AND 00000731: EQ 00000732: PUSH2 0x073a 00000735: JUMPI 00000736: PUSH1 0x00 00000738: DUP1 00000739: REVERT 0000073a: JUMPDEST 0000073b: PUSH2 0x0743 0000073e: DUP2 0000073f: PUSH2 0x083a 00000742: JUMP 00000743: JUMPDEST 00000744: POP 00000745: JUMP 00000746: JUMPDEST 00000747: PUSH1 0x08 00000749: SLOAD 0000074a: DUP2 0000074b: JUMP 0000074c: JUMPDEST 0000074d: PUSH1 0x04 0000074f: PUSH1 0x20 00000751: MSTORE 00000752: DUP1 00000753: PUSH1 0x00 00000755: MSTORE 00000756: PUSH1 0x40 00000758: PUSH1 0x00 0000075a: KECCAK256 0000075b: PUSH1 0x00 0000075d: SWAP2 0000075e: POP 0000075f: SWAP1 00000760: POP 00000761: DUP1 00000762: PUSH1 0x00 00000764: ADD 00000765: SLOAD 00000766: SWAP1 00000767: DUP1 00000768: PUSH1 0x01 0000076a: ADD 0000076b: SLOAD 0000076c: SWAP1 0000076d: DUP1 0000076e: PUSH1 0x02 00000770: ADD 00000771: SLOAD 00000772: SWAP1 00000773: POP 00000774: DUP4 00000775: JUMP 00000776: JUMPDEST 00000777: PUSH1 0x00 00000779: DUP1 0000077a: SLOAD 0000077b: SWAP1 0000077c: PUSH2 0x0100 0000077f: EXP 00000780: SWAP1 00000781: DIV 00000782: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000797: AND 00000798: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ad: AND 000007ae: CALLER 000007af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c4: AND 000007c5: EQ 000007c6: PUSH2 0x07ce 000007c9: JUMPI 000007ca: PUSH1 0x00 000007cc: DUP1 000007cd: REVERT 000007ce: JUMPDEST 000007cf: PUSH1 0x00 000007d1: CALLVALUE 000007d2: SWAP1 000007d3: POP 000007d4: PUSH2 0x07e8 000007d7: DUP2 000007d8: PUSH1 0x06 000007da: SLOAD 000007db: PUSH2 0x0d34 000007de: SWAP1 000007df: SWAP2 000007e0: SWAP1 000007e1: PUSH4 0xffffffff 000007e6: AND 000007e7: JUMP 000007e8: JUMPDEST 000007e9: PUSH1 0x06 000007eb: DUP2 000007ec: SWAP1 000007ed: SSTORE 000007ee: POP 000007ef: PUSH2 0x082b 000007f2: PUSH2 0x081a 000007f5: PUSH1 0x05 000007f7: SLOAD 000007f8: PUSH2 0x080c 000007fb: DUP5 000007fc: PUSH1 0x09 000007fe: SLOAD 000007ff: PUSH2 0x0dc4 00000802: SWAP1 00000803: SWAP2 00000804: SWAP1 00000805: PUSH4 0xffffffff 0000080a: AND 0000080b: JUMP 0000080c: JUMPDEST 0000080d: PUSH2 0x0e3f 00000810: SWAP1 00000811: SWAP2 00000812: SWAP1 00000813: PUSH4 0xffffffff 00000818: AND 00000819: JUMP 0000081a: JUMPDEST 0000081b: PUSH1 0x08 0000081d: SLOAD 0000081e: PUSH2 0x0d34 00000821: SWAP1 00000822: SWAP2 00000823: SWAP1 00000824: PUSH4 0xffffffff 00000829: AND 0000082a: JUMP 0000082b: JUMPDEST 0000082c: PUSH1 0x08 0000082e: DUP2 0000082f: SWAP1 00000830: SSTORE 00000831: POP 00000832: POP 00000833: JUMP 00000834: JUMPDEST 00000835: PUSH1 0x07 00000837: SLOAD 00000838: DUP2 00000839: JUMP 0000083a: JUMPDEST 0000083b: PUSH1 0x00 0000083d: PUSH1 0x04 0000083f: PUSH1 0x00 00000841: DUP4 00000842: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000857: AND 00000858: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000086d: AND 0000086e: DUP2 0000086f: MSTORE 00000870: PUSH1 0x20 00000872: ADD 00000873: SWAP1 00000874: DUP2 00000875: MSTORE 00000876: PUSH1 0x20 00000878: ADD 00000879: PUSH1 0x00 0000087b: KECCAK256 0000087c: PUSH1 0x00 0000087e: ADD 0000087f: SLOAD 00000880: EQ 00000881: ISZERO 00000882: PUSH2 0x088a 00000885: JUMPI 00000886: PUSH2 0x0a31 00000889: JUMP 0000088a: JUMPDEST 0000088b: PUSH1 0x00 0000088d: PUSH2 0x0895 00000890: DUP3 00000891: PUSH2 0x05c2 00000894: JUMP 00000895: JUMPDEST 00000896: SWAP1 00000897: POP 00000898: PUSH1 0x00 0000089a: DUP2 0000089b: GT 0000089c: ISZERO 0000089d: PUSH2 0x0a2f 000008a0: JUMPI 000008a1: PUSH2 0x08b5 000008a4: DUP2 000008a5: PUSH1 0x07 000008a7: SLOAD 000008a8: PUSH2 0x0d34 000008ab: SWAP1 000008ac: SWAP2 000008ad: SWAP1 000008ae: PUSH4 0xffffffff 000008b3: AND 000008b4: JUMP 000008b5: JUMPDEST 000008b6: PUSH1 0x07 000008b8: DUP2 000008b9: SWAP1 000008ba: SSTORE 000008bb: POP 000008bc: PUSH2 0x0910 000008bf: DUP2 000008c0: PUSH1 0x04 000008c2: PUSH1 0x00 000008c4: DUP6 000008c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008da: AND 000008db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f0: AND 000008f1: DUP2 000008f2: MSTORE 000008f3: PUSH1 0x20 000008f5: ADD 000008f6: SWAP1 000008f7: DUP2 000008f8: MSTORE 000008f9: PUSH1 0x20 000008fb: ADD 000008fc: PUSH1 0x00 000008fe: KECCAK256 000008ff: PUSH1 0x02 00000901: ADD 00000902: SLOAD 00000903: PUSH2 0x0d34 00000906: SWAP1 00000907: SWAP2 00000908: SWAP1 00000909: PUSH4 0xffffffff 0000090e: AND 0000090f: JUMP 00000910: JUMPDEST 00000911: PUSH1 0x04 00000913: PUSH1 0x00 00000915: DUP5 00000916: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000092b: AND 0000092c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000941: AND 00000942: DUP2 00000943: MSTORE 00000944: PUSH1 0x20 00000946: ADD 00000947: SWAP1 00000948: DUP2 00000949: MSTORE 0000094a: PUSH1 0x20 0000094c: ADD 0000094d: PUSH1 0x00 0000094f: KECCAK256 00000950: PUSH1 0x02 00000952: ADD 00000953: DUP2 00000954: SWAP1 00000955: SSTORE 00000956: POP 00000957: PUSH2 0x09a1 0000095a: PUSH1 0x04 0000095c: PUSH1 0x00 0000095e: DUP5 0000095f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000974: AND 00000975: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000098a: AND 0000098b: DUP2 0000098c: MSTORE 0000098d: PUSH1 0x20 0000098f: ADD 00000990: SWAP1 00000991: DUP2 00000992: MSTORE 00000993: PUSH1 0x20 00000995: ADD 00000996: PUSH1 0x00 00000998: KECCAK256 00000999: PUSH1 0x00 0000099b: ADD 0000099c: SLOAD 0000099d: PUSH2 0x0d92 000009a0: JUMP 000009a1: JUMPDEST 000009a2: PUSH1 0x04 000009a4: PUSH1 0x00 000009a6: DUP5 000009a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009bc: AND 000009bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d2: AND 000009d3: DUP2 000009d4: MSTORE 000009d5: PUSH1 0x20 000009d7: ADD 000009d8: SWAP1 000009d9: DUP2 000009da: MSTORE 000009db: PUSH1 0x20 000009dd: ADD 000009de: PUSH1 0x00 000009e0: KECCAK256 000009e1: PUSH1 0x01 000009e3: ADD 000009e4: DUP2 000009e5: SWAP1 000009e6: SSTORE 000009e7: POP 000009e8: DUP2 000009e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009fe: AND 000009ff: PUSH2 0x08fc 00000a02: DUP3 00000a03: SWAP1 00000a04: DUP2 00000a05: ISZERO 00000a06: MUL 00000a07: SWAP1 00000a08: PUSH1 0x40 00000a0a: MLOAD 00000a0b: PUSH1 0x00 00000a0d: PUSH1 0x40 00000a0f: MLOAD 00000a10: DUP1 00000a11: DUP4 00000a12: SUB 00000a13: DUP2 00000a14: DUP6 00000a15: DUP9 00000a16: DUP9 00000a17: CALL 00000a18: SWAP4 00000a19: POP 00000a1a: POP 00000a1b: POP 00000a1c: POP 00000a1d: ISZERO 00000a1e: DUP1 00000a1f: ISZERO 00000a20: PUSH2 0x0a2d 00000a23: JUMPI 00000a24: RETURNDATASIZE 00000a25: PUSH1 0x00 00000a27: DUP1 00000a28: RETURNDATACOPY 00000a29: RETURNDATASIZE 00000a2a: PUSH1 0x00 00000a2c: REVERT 00000a2d: JUMPDEST 00000a2e: POP 00000a2f: JUMPDEST 00000a30: POP 00000a31: JUMPDEST 00000a32: POP 00000a33: JUMP 00000a34: JUMPDEST 00000a35: PUSH1 0x02 00000a37: DUP1 00000a38: SLOAD 00000a39: SWAP1 00000a3a: POP 00000a3b: PUSH1 0x03 00000a3d: PUSH1 0x00 00000a3f: DUP4 00000a40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a55: AND 00000a56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a6b: AND 00000a6c: DUP2 00000a6d: MSTORE 00000a6e: PUSH1 0x20 00000a70: ADD 00000a71: SWAP1 00000a72: DUP2 00000a73: MSTORE 00000a74: PUSH1 0x20 00000a76: ADD 00000a77: PUSH1 0x00 00000a79: KECCAK256 00000a7a: DUP2 00000a7b: SWAP1 00000a7c: SSTORE 00000a7d: POP 00000a7e: PUSH1 0x02 00000a80: DUP2 00000a81: SWAP1 00000a82: DUP1 00000a83: PUSH1 0x01 00000a85: DUP2 00000a86: SLOAD 00000a87: ADD 00000a88: DUP1 00000a89: DUP3 00000a8a: SSTORE 00000a8b: DUP1 00000a8c: SWAP2 00000a8d: POP 00000a8e: POP 00000a8f: PUSH1 0x01 00000a91: SWAP1 00000a92: SUB 00000a93: SWAP1 00000a94: PUSH1 0x00 00000a96: MSTORE 00000a97: PUSH1 0x20 00000a99: PUSH1 0x00 00000a9b: KECCAK256 00000a9c: ADD 00000a9d: PUSH1 0x00 00000a9f: SWAP1 00000aa0: SWAP2 00000aa1: SWAP1 00000aa2: SWAP2 00000aa3: SWAP1 00000aa4: SWAP2 00000aa5: PUSH2 0x0100 00000aa8: EXP 00000aa9: DUP2 00000aaa: SLOAD 00000aab: DUP2 00000aac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ac1: MUL 00000ac2: NOT 00000ac3: AND 00000ac4: SWAP1 00000ac5: DUP4 00000ac6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000adb: AND 00000adc: MUL 00000add: OR 00000ade: SWAP1 00000adf: SSTORE 00000ae0: POP 00000ae1: POP 00000ae2: JUMP 00000ae3: JUMPDEST 00000ae4: PUSH1 0x02 00000ae6: PUSH1 0x01 00000ae8: PUSH1 0x02 00000aea: DUP1 00000aeb: SLOAD 00000aec: SWAP1 00000aed: POP 00000aee: PUSH2 0x0af7 00000af1: SWAP2 00000af2: SWAP1 00000af3: PUSH2 0x1266 00000af6: JUMP 00000af7: JUMPDEST 00000af8: DUP2 00000af9: SLOAD 00000afa: DUP2 00000afb: LT 00000afc: PUSH2 0x0b08 00000aff: JUMPI 00000b00: PUSH2 0x0b07 00000b03: PUSH2 0x1396 00000b06: JUMP 00000b07: JUMPDEST 00000b08: JUMPDEST 00000b09: SWAP1 00000b0a: PUSH1 0x00 00000b0c: MSTORE 00000b0d: PUSH1 0x20 00000b0f: PUSH1 0x00 00000b11: KECCAK256 00000b12: ADD 00000b13: PUSH1 0x00 00000b15: SWAP1 00000b16: SLOAD 00000b17: SWAP1 00000b18: PUSH2 0x0100 00000b1b: EXP 00000b1c: SWAP1 00000b1d: DIV 00000b1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b33: AND 00000b34: PUSH1 0x02 00000b36: PUSH1 0x03 00000b38: PUSH1 0x00 00000b3a: DUP5 00000b3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b50: AND 00000b51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b66: AND 00000b67: DUP2 00000b68: MSTORE 00000b69: PUSH1 0x20 00000b6b: ADD 00000b6c: SWAP1 00000b6d: DUP2 00000b6e: MSTORE 00000b6f: PUSH1 0x20 00000b71: ADD 00000b72: PUSH1 0x00 00000b74: KECCAK256 00000b75: SLOAD 00000b76: DUP2 00000b77: SLOAD 00000b78: DUP2 00000b79: LT 00000b7a: PUSH2 0x0b86 00000b7d: JUMPI 00000b7e: PUSH2 0x0b85 00000b81: PUSH2 0x1396 00000b84: JUMP 00000b85: JUMPDEST 00000b86: JUMPDEST 00000b87: SWAP1 00000b88: PUSH1 0x00 00000b8a: MSTORE 00000b8b: PUSH1 0x20 00000b8d: PUSH1 0x00 00000b8f: KECCAK256 00000b90: ADD 00000b91: PUSH1 0x00 00000b93: PUSH2 0x0100 00000b96: EXP 00000b97: DUP2 00000b98: SLOAD 00000b99: DUP2 00000b9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000baf: MUL 00000bb0: NOT 00000bb1: AND 00000bb2: SWAP1 00000bb3: DUP4 00000bb4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bc9: AND 00000bca: MUL 00000bcb: OR 00000bcc: SWAP1 00000bcd: SSTORE 00000bce: POP 00000bcf: PUSH1 0x03 00000bd1: PUSH1 0x00 00000bd3: DUP3 00000bd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be9: AND 00000bea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bff: AND 00000c00: DUP2 00000c01: MSTORE 00000c02: PUSH1 0x20 00000c04: ADD 00000c05: SWAP1 00000c06: DUP2 00000c07: MSTORE 00000c08: PUSH1 0x20 00000c0a: ADD 00000c0b: PUSH1 0x00 00000c0d: KECCAK256 00000c0e: SLOAD 00000c0f: PUSH1 0x03 00000c11: PUSH1 0x00 00000c13: PUSH1 0x02 00000c15: PUSH1 0x01 00000c17: PUSH1 0x02 00000c19: DUP1 00000c1a: SLOAD 00000c1b: SWAP1 00000c1c: POP 00000c1d: PUSH2 0x0c26 00000c20: SWAP2 00000c21: SWAP1 00000c22: PUSH2 0x1266 00000c25: JUMP 00000c26: JUMPDEST 00000c27: DUP2 00000c28: SLOAD 00000c29: DUP2 00000c2a: LT 00000c2b: PUSH2 0x0c37 00000c2e: JUMPI 00000c2f: PUSH2 0x0c36 00000c32: PUSH2 0x1396 00000c35: JUMP 00000c36: JUMPDEST 00000c37: JUMPDEST 00000c38: SWAP1 00000c39: PUSH1 0x00 00000c3b: MSTORE 00000c3c: PUSH1 0x20 00000c3e: PUSH1 0x00 00000c40: KECCAK256 00000c41: ADD 00000c42: PUSH1 0x00 00000c44: SWAP1 00000c45: SLOAD 00000c46: SWAP1 00000c47: PUSH2 0x0100 00000c4a: EXP 00000c4b: SWAP1 00000c4c: DIV 00000c4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c62: AND 00000c63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c78: AND 00000c79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c8e: AND 00000c8f: DUP2 00000c90: MSTORE 00000c91: PUSH1 0x20 00000c93: ADD 00000c94: SWAP1 00000c95: DUP2 00000c96: MSTORE 00000c97: PUSH1 0x20 00000c99: ADD 00000c9a: PUSH1 0x00 00000c9c: KECCAK256 00000c9d: DUP2 00000c9e: SWAP1 00000c9f: SSTORE 00000ca0: POP 00000ca1: PUSH1 0x02 00000ca3: DUP1 00000ca4: SLOAD 00000ca5: DUP1 00000ca6: PUSH2 0x0cb2 00000ca9: JUMPI 00000caa: PUSH2 0x0cb1 00000cad: PUSH2 0x1367 00000cb0: JUMP 00000cb1: JUMPDEST 00000cb2: JUMPDEST 00000cb3: PUSH1 0x01 00000cb5: SWAP1 00000cb6: SUB 00000cb7: DUP2 00000cb8: DUP2 00000cb9: SWAP1 00000cba: PUSH1 0x00 00000cbc: MSTORE 00000cbd: PUSH1 0x20 00000cbf: PUSH1 0x00 00000cc1: KECCAK256 00000cc2: ADD 00000cc3: PUSH1 0x00 00000cc5: PUSH2 0x0100 00000cc8: EXP 00000cc9: DUP2 00000cca: SLOAD 00000ccb: SWAP1 00000ccc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ce1: MUL 00000ce2: NOT 00000ce3: AND 00000ce4: SWAP1 00000ce5: SSTORE 00000ce6: SWAP1 00000ce7: SSTORE 00000ce8: POP 00000ce9: JUMP 00000cea: JUMPDEST 00000ceb: PUSH1 0x00 00000ced: PUSH2 0x0d2c 00000cf0: DUP4 00000cf1: DUP4 00000cf2: PUSH1 0x40 00000cf4: MLOAD 00000cf5: DUP1 00000cf6: PUSH1 0x40 00000cf8: ADD 00000cf9: PUSH1 0x40 00000cfb: MSTORE 00000cfc: DUP1 00000cfd: PUSH1 0x1e 00000cff: DUP2 00000d00: MSTORE 00000d01: PUSH1 0x20 00000d03: ADD 00000d04: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00000d25: DUP2 00000d26: MSTORE 00000d27: POP 00000d28: PUSH2 0x0e89 00000d2b: JUMP 00000d2c: JUMPDEST 00000d2d: SWAP1 00000d2e: POP 00000d2f: SWAP3 00000d30: SWAP2 00000d31: POP 00000d32: POP 00000d33: JUMP 00000d34: JUMPDEST 00000d35: PUSH1 0x00 00000d37: DUP1 00000d38: DUP3 00000d39: DUP5 00000d3a: PUSH2 0x0d43 00000d3d: SWAP2 00000d3e: SWAP1 00000d3f: PUSH2 0x1185 00000d42: JUMP 00000d43: JUMPDEST 00000d44: SWAP1 00000d45: POP 00000d46: DUP4 00000d47: DUP2 00000d48: LT 00000d49: ISZERO 00000d4a: PUSH2 0x0d88 00000d4d: JUMPI 00000d4e: PUSH1 0x40 00000d50: MLOAD 00000d51: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d72: DUP2 00000d73: MSTORE 00000d74: PUSH1 0x04 00000d76: ADD 00000d77: PUSH2 0x0d7f 00000d7a: SWAP1 00000d7b: PUSH2 0x10d7 00000d7e: JUMP 00000d7f: JUMPDEST 00000d80: PUSH1 0x40 00000d82: MLOAD 00000d83: DUP1 00000d84: SWAP2 00000d85: SUB 00000d86: SWAP1 00000d87: REVERT 00000d88: JUMPDEST 00000d89: DUP1 00000d8a: SWAP2 00000d8b: POP 00000d8c: POP 00000d8d: SWAP3 00000d8e: SWAP2 00000d8f: POP 00000d90: POP 00000d91: JUMP 00000d92: JUMPDEST 00000d93: PUSH1 0x00 00000d95: PUSH2 0x0dbd 00000d98: PUSH1 0x09 00000d9a: SLOAD 00000d9b: PUSH2 0x0daf 00000d9e: PUSH1 0x08 00000da0: SLOAD 00000da1: DUP6 00000da2: PUSH2 0x0dc4 00000da5: SWAP1 00000da6: SWAP2 00000da7: SWAP1 00000da8: PUSH4 0xffffffff 00000dad: AND 00000dae: JUMP 00000daf: JUMPDEST 00000db0: PUSH2 0x0e3f 00000db3: SWAP1 00000db4: SWAP2 00000db5: SWAP1 00000db6: PUSH4 0xffffffff 00000dbb: AND 00000dbc: JUMP 00000dbd: JUMPDEST 00000dbe: SWAP1 00000dbf: POP 00000dc0: SWAP2 00000dc1: SWAP1 00000dc2: POP 00000dc3: JUMP 00000dc4: JUMPDEST 00000dc5: PUSH1 0x00 00000dc7: DUP1 00000dc8: DUP4 00000dc9: EQ 00000dca: ISZERO 00000dcb: PUSH2 0x0dd7 00000dce: JUMPI 00000dcf: PUSH1 0x00 00000dd1: SWAP1 00000dd2: POP 00000dd3: PUSH2 0x0e39 00000dd6: JUMP 00000dd7: JUMPDEST 00000dd8: PUSH1 0x00 00000dda: DUP3 00000ddb: DUP5 00000ddc: PUSH2 0x0de5 00000ddf: SWAP2 00000de0: SWAP1 00000de1: PUSH2 0x120c 00000de4: JUMP 00000de5: JUMPDEST 00000de6: SWAP1 00000de7: POP 00000de8: DUP3 00000de9: DUP5 00000dea: DUP3 00000deb: PUSH2 0x0df4 00000dee: SWAP2 00000def: SWAP1 00000df0: PUSH2 0x11db 00000df3: JUMP 00000df4: JUMPDEST 00000df5: EQ 00000df6: PUSH2 0x0e34 00000df9: JUMPI 00000dfa: PUSH1 0x40 00000dfc: MLOAD 00000dfd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e1e: DUP2 00000e1f: MSTORE 00000e20: PUSH1 0x04 00000e22: ADD 00000e23: PUSH2 0x0e2b 00000e26: SWAP1 00000e27: PUSH2 0x10f7 00000e2a: JUMP 00000e2b: JUMPDEST 00000e2c: PUSH1 0x40 00000e2e: MLOAD 00000e2f: DUP1 00000e30: SWAP2 00000e31: SUB 00000e32: SWAP1 00000e33: REVERT 00000e34: JUMPDEST 00000e35: DUP1 00000e36: SWAP2 00000e37: POP 00000e38: POP 00000e39: JUMPDEST 00000e3a: SWAP3 00000e3b: SWAP2 00000e3c: POP 00000e3d: POP 00000e3e: JUMP 00000e3f: JUMPDEST 00000e40: PUSH1 0x00 00000e42: PUSH2 0x0e81 00000e45: DUP4 00000e46: DUP4 00000e47: PUSH1 0x40 00000e49: MLOAD 00000e4a: DUP1 00000e4b: PUSH1 0x40 00000e4d: ADD 00000e4e: PUSH1 0x40 00000e50: MSTORE 00000e51: DUP1 00000e52: PUSH1 0x1a 00000e54: DUP2 00000e55: MSTORE 00000e56: PUSH1 0x20 00000e58: ADD 00000e59: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00000e7a: DUP2 00000e7b: MSTORE 00000e7c: POP 00000e7d: PUSH2 0x0eed 00000e80: JUMP 00000e81: JUMPDEST 00000e82: SWAP1 00000e83: POP 00000e84: SWAP3 00000e85: SWAP2 00000e86: POP 00000e87: POP 00000e88: JUMP 00000e89: JUMPDEST 00000e8a: PUSH1 0x00 00000e8c: DUP4 00000e8d: DUP4 00000e8e: GT 00000e8f: ISZERO 00000e90: DUP3 00000e91: SWAP1 00000e92: PUSH2 0x0ed1 00000e95: JUMPI 00000e96: PUSH1 0x40 00000e98: MLOAD 00000e99: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000eba: DUP2 00000ebb: MSTORE 00000ebc: PUSH1 0x04 00000ebe: ADD 00000ebf: PUSH2 0x0ec8 00000ec2: SWAP2 00000ec3: SWAP1 00000ec4: PUSH2 0x10b5 00000ec7: JUMP 00000ec8: JUMPDEST 00000ec9: PUSH1 0x40 00000ecb: MLOAD 00000ecc: DUP1 00000ecd: SWAP2 00000ece: SUB 00000ecf: SWAP1 00000ed0: REVERT 00000ed1: JUMPDEST 00000ed2: POP 00000ed3: PUSH1 0x00 00000ed5: DUP4 00000ed6: DUP6 00000ed7: PUSH2 0x0ee0 00000eda: SWAP2 00000edb: SWAP1 00000edc: PUSH2 0x1266 00000edf: JUMP 00000ee0: JUMPDEST 00000ee1: SWAP1 00000ee2: POP 00000ee3: DUP1 00000ee4: SWAP2 00000ee5: POP 00000ee6: POP 00000ee7: SWAP4 00000ee8: SWAP3 00000ee9: POP 00000eea: POP 00000eeb: POP 00000eec: JUMP 00000eed: JUMPDEST 00000eee: PUSH1 0x00 00000ef0: DUP1 00000ef1: DUP4 00000ef2: GT 00000ef3: DUP3 00000ef4: SWAP1 00000ef5: PUSH2 0x0f34 00000ef8: JUMPI 00000ef9: PUSH1 0x40 00000efb: MLOAD 00000efc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f1d: DUP2 00000f1e: MSTORE 00000f1f: PUSH1 0x04 00000f21: ADD 00000f22: PUSH2 0x0f2b 00000f25: SWAP2 00000f26: SWAP1 00000f27: PUSH2 0x10b5 00000f2a: JUMP 00000f2b: JUMPDEST 00000f2c: PUSH1 0x40 00000f2e: MLOAD 00000f2f: DUP1 00000f30: SWAP2 00000f31: SUB 00000f32: SWAP1 00000f33: REVERT 00000f34: JUMPDEST 00000f35: POP 00000f36: PUSH1 0x00 00000f38: DUP4 00000f39: DUP6 00000f3a: PUSH2 0x0f43 00000f3d: SWAP2 00000f3e: SWAP1 00000f3f: PUSH2 0x11db 00000f42: JUMP 00000f43: JUMPDEST 00000f44: SWAP1 00000f45: POP 00000f46: DUP1 00000f47: SWAP2 00000f48: POP 00000f49: POP 00000f4a: SWAP4 00000f4b: SWAP3 00000f4c: POP 00000f4d: POP 00000f4e: POP 00000f4f: JUMP 00000f50: JUMPDEST 00000f51: PUSH1 0x00 00000f53: DUP2 00000f54: CALLDATALOAD 00000f55: SWAP1 00000f56: POP 00000f57: PUSH2 0x0f5f 00000f5a: DUP2 00000f5b: PUSH2 0x1453 00000f5e: JUMP 00000f5f: JUMPDEST 00000f60: SWAP3 00000f61: SWAP2 00000f62: POP 00000f63: POP 00000f64: JUMP 00000f65: JUMPDEST 00000f66: PUSH1 0x00 00000f68: DUP2 00000f69: CALLDATALOAD 00000f6a: SWAP1 00000f6b: POP 00000f6c: PUSH2 0x0f74 00000f6f: DUP2 00000f70: PUSH2 0x146a 00000f73: JUMP 00000f74: JUMPDEST 00000f75: SWAP3 00000f76: SWAP2 00000f77: POP 00000f78: POP 00000f79: JUMP 00000f7a: JUMPDEST 00000f7b: PUSH1 0x00 00000f7d: PUSH1 0x20 00000f7f: DUP3 00000f80: DUP5 00000f81: SUB 00000f82: SLT 00000f83: ISZERO 00000f84: PUSH2 0x0f90 00000f87: JUMPI 00000f88: PUSH2 0x0f8f 00000f8b: PUSH2 0x13c5 00000f8e: JUMP 00000f8f: JUMPDEST 00000f90: JUMPDEST 00000f91: PUSH1 0x00 00000f93: PUSH2 0x0f9e 00000f96: DUP5 00000f97: DUP3 00000f98: DUP6 00000f99: ADD 00000f9a: PUSH2 0x0f50 00000f9d: JUMP 00000f9e: JUMPDEST 00000f9f: SWAP2 00000fa0: POP 00000fa1: POP 00000fa2: SWAP3 00000fa3: SWAP2 00000fa4: POP 00000fa5: POP 00000fa6: JUMP 00000fa7: JUMPDEST 00000fa8: PUSH1 0x00 00000faa: DUP1 00000fab: PUSH1 0x40 00000fad: DUP4 00000fae: DUP6 00000faf: SUB 00000fb0: SLT 00000fb1: ISZERO 00000fb2: PUSH2 0x0fbe 00000fb5: JUMPI 00000fb6: PUSH2 0x0fbd 00000fb9: PUSH2 0x13c5 00000fbc: JUMP 00000fbd: JUMPDEST 00000fbe: JUMPDEST 00000fbf: PUSH1 0x00 00000fc1: PUSH2 0x0fcc 00000fc4: DUP6 00000fc5: DUP3 00000fc6: DUP7 00000fc7: ADD 00000fc8: PUSH2 0x0f50 00000fcb: JUMP 00000fcc: JUMPDEST 00000fcd: SWAP3 00000fce: POP 00000fcf: POP 00000fd0: PUSH1 0x20 00000fd2: PUSH2 0x0fdd 00000fd5: DUP6 00000fd6: DUP3 00000fd7: DUP7 00000fd8: ADD 00000fd9: PUSH2 0x0f65 00000fdc: JUMP 00000fdd: JUMPDEST 00000fde: SWAP2 00000fdf: POP 00000fe0: POP 00000fe1: SWAP3 00000fe2: POP 00000fe3: SWAP3 00000fe4: SWAP1 00000fe5: POP 00000fe6: JUMP 00000fe7: JUMPDEST 00000fe8: PUSH1 0x00 00000fea: DUP1 00000feb: PUSH1 0x40 00000fed: DUP4 00000fee: DUP6 00000fef: SUB 00000ff0: SLT 00000ff1: ISZERO 00000ff2: PUSH2 0x0ffe 00000ff5: JUMPI 00000ff6: PUSH2 0x0ffd 00000ff9: PUSH2 0x13c5 00000ffc: JUMP 00000ffd: JUMPDEST 00000ffe: JUMPDEST 00000fff: PUSH1 0x00 00001001: PUSH2 0x100c 00001004: DUP6 00001005: DUP3 00001006: DUP7 00001007: ADD 00001008: PUSH2 0x0f65 0000100b: JUMP 0000100c: JUMPDEST 0000100d: SWAP3 0000100e: POP 0000100f: POP 00001010: PUSH1 0x20 00001012: PUSH2 0x101d 00001015: DUP6 00001016: DUP3 00001017: DUP7 00001018: ADD 00001019: PUSH2 0x0f50 0000101c: JUMP 0000101d: JUMPDEST 0000101e: SWAP2 0000101f: POP 00001020: POP 00001021: SWAP3 00001022: POP 00001023: SWAP3 00001024: SWAP1 00001025: POP 00001026: JUMP 00001027: JUMPDEST 00001028: PUSH1 0x00 0000102a: PUSH2 0x1032 0000102d: DUP3 0000102e: PUSH2 0x1169 00001031: JUMP 00001032: JUMPDEST 00001033: PUSH2 0x103c 00001036: DUP2 00001037: DUP6 00001038: PUSH2 0x1174 0000103b: JUMP 0000103c: JUMPDEST 0000103d: SWAP4 0000103e: POP 0000103f: PUSH2 0x104c 00001042: DUP2 00001043: DUP6 00001044: PUSH1 0x20 00001046: DUP7 00001047: ADD 00001048: PUSH2 0x12d6 0000104b: JUMP 0000104c: JUMPDEST 0000104d: PUSH2 0x1055 00001050: DUP2 00001051: PUSH2 0x13ca 00001054: JUMP 00001055: JUMPDEST 00001056: DUP5 00001057: ADD 00001058: SWAP2 00001059: POP 0000105a: POP 0000105b: SWAP3 0000105c: SWAP2 0000105d: POP 0000105e: POP 0000105f: JUMP 00001060: JUMPDEST 00001061: PUSH1 0x00 00001063: PUSH2 0x106d 00001066: PUSH1 0x1b 00001068: DUP4 00001069: PUSH2 0x1174 0000106c: JUMP 0000106d: JUMPDEST 0000106e: SWAP2 0000106f: POP 00001070: PUSH2 0x1078 00001073: DUP3 00001074: PUSH2 0x13db 00001077: JUMP 00001078: JUMPDEST 00001079: PUSH1 0x20 0000107b: DUP3 0000107c: ADD 0000107d: SWAP1 0000107e: POP 0000107f: SWAP2 00001080: SWAP1 00001081: POP 00001082: JUMP 00001083: JUMPDEST 00001084: PUSH1 0x00 00001086: PUSH2 0x1090 00001089: PUSH1 0x21 0000108b: DUP4 0000108c: PUSH2 0x1174 0000108f: JUMP 00001090: JUMPDEST 00001091: SWAP2 00001092: POP 00001093: PUSH2 0x109b 00001096: DUP3 00001097: PUSH2 0x1404 0000109a: JUMP 0000109b: JUMPDEST 0000109c: PUSH1 0x40 0000109e: DUP3 0000109f: ADD 000010a0: SWAP1 000010a1: POP 000010a2: SWAP2 000010a3: SWAP1 000010a4: POP 000010a5: JUMP 000010a6: JUMPDEST 000010a7: PUSH2 0x10af 000010aa: DUP2 000010ab: PUSH2 0x12cc 000010ae: JUMP 000010af: JUMPDEST 000010b0: DUP3 000010b1: MSTORE 000010b2: POP 000010b3: POP 000010b4: JUMP 000010b5: JUMPDEST 000010b6: PUSH1 0x00 000010b8: PUSH1 0x20 000010ba: DUP3 000010bb: ADD 000010bc: SWAP1 000010bd: POP 000010be: DUP2 000010bf: DUP2 000010c0: SUB 000010c1: PUSH1 0x00 000010c3: DUP4 000010c4: ADD 000010c5: MSTORE 000010c6: PUSH2 0x10cf 000010c9: DUP2 000010ca: DUP5 000010cb: PUSH2 0x1027 000010ce: JUMP 000010cf: JUMPDEST 000010d0: SWAP1 000010d1: POP 000010d2: SWAP3 000010d3: SWAP2 000010d4: POP 000010d5: POP 000010d6: JUMP 000010d7: JUMPDEST 000010d8: PUSH1 0x00 000010da: PUSH1 0x20 000010dc: DUP3 000010dd: ADD 000010de: SWAP1 000010df: POP 000010e0: DUP2 000010e1: DUP2 000010e2: SUB 000010e3: PUSH1 0x00 000010e5: DUP4 000010e6: ADD 000010e7: MSTORE 000010e8: PUSH2 0x10f0 000010eb: DUP2 000010ec: PUSH2 0x1060 000010ef: JUMP 000010f0: JUMPDEST 000010f1: SWAP1 000010f2: POP 000010f3: SWAP2 000010f4: SWAP1 000010f5: POP 000010f6: JUMP 000010f7: JUMPDEST 000010f8: PUSH1 0x00 000010fa: PUSH1 0x20 000010fc: DUP3 000010fd: ADD 000010fe: SWAP1 000010ff: POP 00001100: DUP2 00001101: DUP2 00001102: SUB 00001103: PUSH1 0x00 00001105: DUP4 00001106: ADD 00001107: MSTORE 00001108: PUSH2 0x1110 0000110b: DUP2 0000110c: PUSH2 0x1083 0000110f: JUMP 00001110: JUMPDEST 00001111: SWAP1 00001112: POP 00001113: SWAP2 00001114: SWAP1 00001115: POP 00001116: JUMP 00001117: JUMPDEST 00001118: PUSH1 0x00 0000111a: PUSH1 0x20 0000111c: DUP3 0000111d: ADD 0000111e: SWAP1 0000111f: POP 00001120: PUSH2 0x112c 00001123: PUSH1 0x00 00001125: DUP4 00001126: ADD 00001127: DUP5 00001128: PUSH2 0x10a6 0000112b: JUMP 0000112c: JUMPDEST 0000112d: SWAP3 0000112e: SWAP2 0000112f: POP 00001130: POP 00001131: JUMP 00001132: JUMPDEST 00001133: PUSH1 0x00 00001135: PUSH1 0x60 00001137: DUP3 00001138: ADD 00001139: SWAP1 0000113a: POP 0000113b: PUSH2 0x1147 0000113e: PUSH1 0x00 00001140: DUP4 00001141: ADD 00001142: DUP7 00001143: PUSH2 0x10a6 00001146: JUMP 00001147: JUMPDEST 00001148: PUSH2 0x1154 0000114b: PUSH1 0x20 0000114d: DUP4 0000114e: ADD 0000114f: DUP6 00001150: PUSH2 0x10a6 00001153: JUMP 00001154: JUMPDEST 00001155: PUSH2 0x1161 00001158: PUSH1 0x40 0000115a: DUP4 0000115b: ADD 0000115c: DUP5 0000115d: PUSH2 0x10a6 00001160: JUMP 00001161: JUMPDEST 00001162: SWAP5 00001163: SWAP4 00001164: POP 00001165: POP 00001166: POP 00001167: POP 00001168: JUMP 00001169: JUMPDEST 0000116a: PUSH1 0x00 0000116c: DUP2 0000116d: MLOAD 0000116e: SWAP1 0000116f: POP 00001170: SWAP2 00001171: SWAP1 00001172: POP 00001173: JUMP 00001174: JUMPDEST 00001175: PUSH1 0x00 00001177: DUP3 00001178: DUP3 00001179: MSTORE 0000117a: PUSH1 0x20 0000117c: DUP3 0000117d: ADD 0000117e: SWAP1 0000117f: POP 00001180: SWAP3 00001181: SWAP2 00001182: POP 00001183: POP 00001184: JUMP 00001185: JUMPDEST 00001186: PUSH1 0x00 00001188: PUSH2 0x1190 0000118b: DUP3 0000118c: PUSH2 0x12cc 0000118f: JUMP 00001190: JUMPDEST 00001191: SWAP2 00001192: POP 00001193: PUSH2 0x119b 00001196: DUP4 00001197: PUSH2 0x12cc 0000119a: JUMP 0000119b: JUMPDEST 0000119c: SWAP3 0000119d: POP 0000119e: DUP3 0000119f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000011c0: SUB 000011c1: DUP3 000011c2: GT 000011c3: ISZERO 000011c4: PUSH2 0x11d0 000011c7: JUMPI 000011c8: PUSH2 0x11cf 000011cb: PUSH2 0x1309 000011ce: JUMP 000011cf: JUMPDEST 000011d0: JUMPDEST 000011d1: DUP3 000011d2: DUP3 000011d3: ADD 000011d4: SWAP1 000011d5: POP 000011d6: SWAP3 000011d7: SWAP2 000011d8: POP 000011d9: POP 000011da: JUMP 000011db: JUMPDEST 000011dc: PUSH1 0x00 000011de: PUSH2 0x11e6 000011e1: DUP3 000011e2: PUSH2 0x12cc 000011e5: JUMP 000011e6: JUMPDEST 000011e7: SWAP2 000011e8: POP 000011e9: PUSH2 0x11f1 000011ec: DUP4 000011ed: PUSH2 0x12cc 000011f0: JUMP 000011f1: JUMPDEST 000011f2: SWAP3 000011f3: POP 000011f4: DUP3 000011f5: PUSH2 0x1201 000011f8: JUMPI 000011f9: PUSH2 0x1200 000011fc: PUSH2 0x1338 000011ff: JUMP 00001200: JUMPDEST 00001201: JUMPDEST 00001202: DUP3 00001203: DUP3 00001204: DIV 00001205: SWAP1 00001206: POP 00001207: SWAP3 00001208: SWAP2 00001209: POP 0000120a: POP 0000120b: JUMP 0000120c: JUMPDEST 0000120d: PUSH1 0x00 0000120f: PUSH2 0x1217 00001212: DUP3 00001213: PUSH2 0x12cc 00001216: JUMP 00001217: JUMPDEST 00001218: SWAP2 00001219: POP 0000121a: PUSH2 0x1222 0000121d: DUP4 0000121e: PUSH2 0x12cc 00001221: JUMP 00001222: JUMPDEST 00001223: SWAP3 00001224: POP 00001225: DUP2 00001226: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001247: DIV 00001248: DUP4 00001249: GT 0000124a: DUP3 0000124b: ISZERO 0000124c: ISZERO 0000124d: AND 0000124e: ISZERO 0000124f: PUSH2 0x125b 00001252: JUMPI 00001253: PUSH2 0x125a 00001256: PUSH2 0x1309 00001259: JUMP 0000125a: JUMPDEST 0000125b: JUMPDEST 0000125c: DUP3 0000125d: DUP3 0000125e: MUL 0000125f: SWAP1 00001260: POP 00001261: SWAP3 00001262: SWAP2 00001263: POP 00001264: POP 00001265: JUMP 00001266: JUMPDEST 00001267: PUSH1 0x00 00001269: PUSH2 0x1271 0000126c: DUP3 0000126d: PUSH2 0x12cc 00001270: JUMP 00001271: JUMPDEST 00001272: SWAP2 00001273: POP 00001274: PUSH2 0x127c 00001277: DUP4 00001278: PUSH2 0x12cc 0000127b: JUMP 0000127c: JUMPDEST 0000127d: SWAP3 0000127e: POP 0000127f: DUP3 00001280: DUP3 00001281: LT 00001282: ISZERO 00001283: PUSH2 0x128f 00001286: JUMPI 00001287: PUSH2 0x128e 0000128a: PUSH2 0x1309 0000128d: JUMP 0000128e: JUMPDEST 0000128f: JUMPDEST 00001290: DUP3 00001291: DUP3 00001292: SUB 00001293: SWAP1 00001294: POP 00001295: SWAP3 00001296: SWAP2 00001297: POP 00001298: POP 00001299: JUMP 0000129a: JUMPDEST 0000129b: PUSH1 0x00 0000129d: PUSH2 0x12a5 000012a0: DUP3 000012a1: PUSH2 0x12ac 000012a4: JUMP 000012a5: JUMPDEST 000012a6: SWAP1 000012a7: POP 000012a8: SWAP2 000012a9: SWAP1 000012aa: POP 000012ab: JUMP 000012ac: JUMPDEST 000012ad: PUSH1 0x00 000012af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012c4: DUP3 000012c5: AND 000012c6: SWAP1 000012c7: POP 000012c8: SWAP2 000012c9: SWAP1 000012ca: POP 000012cb: JUMP 000012cc: JUMPDEST 000012cd: PUSH1 0x00 000012cf: DUP2 000012d0: SWAP1 000012d1: POP 000012d2: SWAP2 000012d3: SWAP1 000012d4: POP 000012d5: JUMP 000012d6: JUMPDEST 000012d7: PUSH1 0x00 000012d9: JUMPDEST 000012da: DUP4 000012db: DUP2 000012dc: LT 000012dd: ISZERO 000012de: PUSH2 0x12f4 000012e1: JUMPI 000012e2: DUP1 000012e3: DUP3 000012e4: ADD 000012e5: MLOAD 000012e6: DUP2 000012e7: DUP5 000012e8: ADD 000012e9: MSTORE 000012ea: PUSH1 0x20 000012ec: DUP2 000012ed: ADD 000012ee: SWAP1 000012ef: POP 000012f0: PUSH2 0x12d9 000012f3: JUMP 000012f4: JUMPDEST 000012f5: DUP4 000012f6: DUP2 000012f7: GT 000012f8: ISZERO 000012f9: PUSH2 0x1303 000012fc: JUMPI 000012fd: PUSH1 0x00 000012ff: DUP5 00001300: DUP5 00001301: ADD 00001302: MSTORE 00001303: JUMPDEST 00001304: POP 00001305: POP 00001306: POP 00001307: POP 00001308: JUMP 00001309: JUMPDEST 0000130a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000132b: PUSH1 0x00 0000132d: MSTORE 0000132e: PUSH1 0x11 00001330: PUSH1 0x04 00001332: MSTORE 00001333: PUSH1 0x24 00001335: PUSH1 0x00 00001337: REVERT 00001338: JUMPDEST 00001339: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000135a: PUSH1 0x00 0000135c: MSTORE 0000135d: PUSH1 0x12 0000135f: PUSH1 0x04 00001361: MSTORE 00001362: PUSH1 0x24 00001364: PUSH1 0x00 00001366: REVERT 00001367: JUMPDEST 00001368: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001389: PUSH1 0x00 0000138b: MSTORE 0000138c: PUSH1 0x31 0000138e: PUSH1 0x04 00001390: MSTORE 00001391: PUSH1 0x24 00001393: PUSH1 0x00 00001395: REVERT 00001396: JUMPDEST 00001397: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000013b8: PUSH1 0x00 000013ba: MSTORE 000013bb: PUSH1 0x32 000013bd: PUSH1 0x04 000013bf: MSTORE 000013c0: PUSH1 0x24 000013c2: PUSH1 0x00 000013c4: REVERT 000013c5: JUMPDEST 000013c6: PUSH1 0x00 000013c8: DUP1 000013c9: REVERT 000013ca: JUMPDEST 000013cb: PUSH1 0x00 000013cd: PUSH1 0x1f 000013cf: NOT 000013d0: PUSH1 0x1f 000013d2: DUP4 000013d3: ADD 000013d4: AND 000013d5: SWAP1 000013d6: POP 000013d7: SWAP2 000013d8: SWAP1 000013d9: POP 000013da: JUMP 000013db: JUMPDEST 000013dc: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 000013fd: PUSH1 0x00 000013ff: DUP3 00001400: ADD 00001401: MSTORE 00001402: POP 00001403: JUMP 00001404: JUMPDEST 00001405: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f 00001426: PUSH1 0x00 00001428: DUP3 00001429: ADD 0000142a: MSTORE 0000142b: PUSH32 0x7700000000000000000000000000000000000000000000000000000000000000 0000144c: PUSH1 0x20 0000144e: DUP3 0000144f: ADD 00001450: MSTORE 00001451: POP 00001452: JUMP 00001453: JUMPDEST 00001454: PUSH2 0x145c 00001457: DUP2 00001458: PUSH2 0x129a 0000145b: JUMP 0000145c: JUMPDEST 0000145d: DUP2 0000145e: EQ 0000145f: PUSH2 0x1467 00001462: JUMPI 00001463: PUSH1 0x00 00001465: DUP1 00001466: REVERT 00001467: JUMPDEST 00001468: POP 00001469: JUMP 0000146a: JUMPDEST 0000146b: PUSH2 0x1473 0000146e: DUP2 0000146f: PUSH2 0x12cc 00001472: JUMP 00001473: JUMPDEST 00001474: DUP2 00001475: EQ 00001476: PUSH2 0x147e 00001479: JUMPI 0000147a: PUSH1 0x00 0000147c: DUP1 0000147d: REVERT 0000147e: JUMPDEST 0000147f: POP 00001480: JUMP 00001481: INVALID 00001482: LOG2 00001483: PUSH5 0x6970667358 00001489: UNKNOWN(0x22) 0000148a: SLT 0000148b: KECCAK256 0000148c: CALLDATACOPY 0000148d: UNKNOWN(0xB0) 0000148e: UNKNOWN(0xD1) 0000148f: PUSH16 0x8ec42fd251f91a181408760fd1dcf4f9 000014a0: SSTORE 000014a1: UNKNOWN(0xD1) 000014a2: SWAP8 000014a3: UNKNOWN(0xAD) 000014a4: UNKNOWN(0xC7) 000014a5: DUP11 000014a6: UNKNOWN(0xC0) 000014a7: CALLDATALOAD 000014a8: UNKNOWN(0xBB) 000014a9: UNKNOWN(0xC8) 000014aa: MLOAD 000014ab: UNKNOWN(0xC4) 000014ac: PUSH5 0x736f6c6343 000014b2: STOP 000014b3: ADDMOD 000014b4: SMOD 000014b5: STOP 000014b6: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x580039ae62c73195b751c02bfa6236b5b2470d5ac49e53f4741ced324a2ed929
call_targets:
0x09f1793295c247e5e71e26d1b1e2c1454f9d546a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x580039ae62c73195b751c02bfa6236b5b2470d5ac49e53f4741ced324a2ed929",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x09f1793295c247e5e71e26d1b1e2c1454f9d546a"
],
"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": "0x54eee553",
"selector": "0x54eee553",
"calldata_variants": [
"0x54eee553",
"0x54eee5530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9077ac59",
"selector": "0x9077ac59",
"calldata_variants": [
"0x9077ac59",
"0x9077ac590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefca2eed",
"selector": "0xefca2eed",
"calldata_variants": [
"0xefca2eed",
"0xefca2eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x018763ed",
"selector": "0x018763ed",
"calldata_variants": [
"0x018763ed",
"0x018763ed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1014edf5",
"selector": "0x1014edf5",
"calldata_variants": [
"0x1014edf5",
"0x1014edf50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14b6ca96",
"selector": "0x14b6ca96",
"calldata_variants": [
"0x14b6ca96",
"0x14b6ca960000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 743,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2583,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 643,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 827,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1818,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1966,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x580039ae62c73195b751c02bfa6236b5b2470d5ac49e53f4741ced324a2ed929
call_targets:
0x09f1793295c247e5e71e26d1b1e2c1454f9d546a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x580039ae62c73195b751c02bfa6236b5b2470d5ac49e53f4741ced324a2ed929",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x09f1793295c247e5e71e26d1b1e2c1454f9d546a"
],
"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": "0x54eee553",
"selector": "0x54eee553",
"calldata_variants": [
"0x54eee553",
"0x54eee5530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9077ac59",
"selector": "0x9077ac59",
"calldata_variants": [
"0x9077ac59",
"0x9077ac590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefca2eed",
"selector": "0xefca2eed",
"calldata_variants": [
"0xefca2eed",
"0xefca2eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x018763ed",
"selector": "0x018763ed",
"calldata_variants": [
"0x018763ed",
"0x018763ed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1014edf5",
"selector": "0x1014edf5",
"calldata_variants": [
"0x1014edf5",
"0x1014edf50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14b6ca96",
"selector": "0x14b6ca96",
"calldata_variants": [
"0x14b6ca96",
"0x14b6ca960000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 743,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2583,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 643,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 827,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1818,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1966,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|