019ba940-8892-732a-80ba-f2f66f1e080f
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 |
|---|---|---|---|---|
| 36336 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 36337 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 36338 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 36339 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 36340 | capability.graph | complete | 1 / 3 | 3 months ago |
| 36341 | detector.run | complete | 1 / 3 | 3 months ago |
| 36342 | 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: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 0x00a9 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x5fa7b584 00000026: GT 00000027: PUSH2 0x0071 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0x5fa7b584 00000031: EQ 00000032: PUSH2 0x0150 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0x72a0f6ae 0000003c: EQ 0000003d: PUSH2 0x016c 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0xa8734f0b 00000047: EQ 00000048: PUSH2 0x018a 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xd1d58b25 00000052: EQ 00000053: PUSH2 0x01ba 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xd38bfff4 0000005d: EQ 0000005e: PUSH2 0x01ea 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0xd48bfca7 00000068: EQ 00000069: PUSH2 0x0206 0000006c: JUMPI 0000006d: PUSH2 0x00a9 00000070: JUMP 00000071: JUMPDEST 00000072: DUP1 00000073: PUSH4 0x069c9fae 00000078: EQ 00000079: PUSH2 0x00ae 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0x2bdb7097 00000083: EQ 00000084: PUSH2 0x00ca 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0x379607f5 0000008e: EQ 0000008f: PUSH2 0x00e6 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0x4f64b2be 00000099: EQ 0000009a: PUSH2 0x0102 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0x5aa6e675 000000a4: EQ 000000a5: PUSH2 0x0132 000000a8: JUMPI 000000a9: JUMPDEST 000000aa: PUSH1 0x00 000000ac: DUP1 000000ad: REVERT 000000ae: JUMPDEST 000000af: PUSH2 0x00c8 000000b2: PUSH1 0x04 000000b4: DUP1 000000b5: CALLDATASIZE 000000b6: SUB 000000b7: DUP2 000000b8: ADD 000000b9: SWAP1 000000ba: PUSH2 0x00c3 000000bd: SWAP2 000000be: SWAP1 000000bf: PUSH2 0x1096 000000c2: JUMP 000000c3: JUMPDEST 000000c4: PUSH2 0x0222 000000c7: JUMP 000000c8: JUMPDEST 000000c9: STOP 000000ca: JUMPDEST 000000cb: PUSH2 0x00e4 000000ce: PUSH1 0x04 000000d0: DUP1 000000d1: CALLDATASIZE 000000d2: SUB 000000d3: DUP2 000000d4: ADD 000000d5: SWAP1 000000d6: PUSH2 0x00df 000000d9: SWAP2 000000da: SWAP1 000000db: PUSH2 0x1096 000000de: JUMP 000000df: JUMPDEST 000000e0: PUSH2 0x03f7 000000e3: JUMP 000000e4: JUMPDEST 000000e5: STOP 000000e6: JUMPDEST 000000e7: PUSH2 0x0100 000000ea: PUSH1 0x04 000000ec: DUP1 000000ed: CALLDATASIZE 000000ee: SUB 000000ef: DUP2 000000f0: ADD 000000f1: SWAP1 000000f2: PUSH2 0x00fb 000000f5: SWAP2 000000f6: SWAP1 000000f7: PUSH2 0x10fb 000000fa: JUMP 000000fb: JUMPDEST 000000fc: PUSH2 0x0508 000000ff: JUMP 00000100: JUMPDEST 00000101: STOP 00000102: JUMPDEST 00000103: PUSH2 0x011c 00000106: PUSH1 0x04 00000108: DUP1 00000109: CALLDATASIZE 0000010a: SUB 0000010b: DUP2 0000010c: ADD 0000010d: SWAP1 0000010e: PUSH2 0x0117 00000111: SWAP2 00000112: SWAP1 00000113: PUSH2 0x10fb 00000116: JUMP 00000117: JUMPDEST 00000118: PUSH2 0x0839 0000011b: JUMP 0000011c: JUMPDEST 0000011d: PUSH1 0x40 0000011f: MLOAD 00000120: PUSH2 0x0129 00000123: SWAP2 00000124: SWAP1 00000125: PUSH2 0x124b 00000128: JUMP 00000129: JUMPDEST 0000012a: PUSH1 0x40 0000012c: MLOAD 0000012d: DUP1 0000012e: SWAP2 0000012f: SUB 00000130: SWAP1 00000131: RETURN 00000132: JUMPDEST 00000133: PUSH2 0x013a 00000136: PUSH2 0x0878 00000139: JUMP 0000013a: JUMPDEST 0000013b: PUSH1 0x40 0000013d: MLOAD 0000013e: PUSH2 0x0147 00000141: SWAP2 00000142: SWAP1 00000143: PUSH2 0x124b 00000146: JUMP 00000147: JUMPDEST 00000148: PUSH1 0x40 0000014a: MLOAD 0000014b: DUP1 0000014c: SWAP2 0000014d: SUB 0000014e: SWAP1 0000014f: RETURN 00000150: JUMPDEST 00000151: PUSH2 0x016a 00000154: PUSH1 0x04 00000156: DUP1 00000157: CALLDATASIZE 00000158: SUB 00000159: DUP2 0000015a: ADD 0000015b: SWAP1 0000015c: PUSH2 0x0165 0000015f: SWAP2 00000160: SWAP1 00000161: PUSH2 0x106d 00000164: JUMP 00000165: JUMPDEST 00000166: PUSH2 0x089e 00000169: JUMP 0000016a: JUMPDEST 0000016b: STOP 0000016c: JUMPDEST 0000016d: PUSH2 0x0174 00000170: PUSH2 0x0b57 00000173: JUMP 00000174: JUMPDEST 00000175: PUSH1 0x40 00000177: MLOAD 00000178: PUSH2 0x0181 0000017b: SWAP2 0000017c: SWAP1 0000017d: PUSH2 0x124b 00000180: JUMP 00000181: JUMPDEST 00000182: PUSH1 0x40 00000184: MLOAD 00000185: DUP1 00000186: SWAP2 00000187: SUB 00000188: SWAP1 00000189: RETURN 0000018a: JUMPDEST 0000018b: PUSH2 0x01a4 0000018e: PUSH1 0x04 00000190: DUP1 00000191: CALLDATASIZE 00000192: SUB 00000193: DUP2 00000194: ADD 00000195: SWAP1 00000196: PUSH2 0x019f 00000199: SWAP2 0000019a: SWAP1 0000019b: PUSH2 0x106d 0000019e: JUMP 0000019f: JUMPDEST 000001a0: PUSH2 0x0b7d 000001a3: JUMP 000001a4: JUMPDEST 000001a5: PUSH1 0x40 000001a7: MLOAD 000001a8: PUSH2 0x01b1 000001ab: SWAP2 000001ac: SWAP1 000001ad: PUSH2 0x1328 000001b0: JUMP 000001b1: JUMPDEST 000001b2: PUSH1 0x40 000001b4: MLOAD 000001b5: DUP1 000001b6: SWAP2 000001b7: SUB 000001b8: SWAP1 000001b9: RETURN 000001ba: JUMPDEST 000001bb: PUSH2 0x01d4 000001be: PUSH1 0x04 000001c0: DUP1 000001c1: CALLDATASIZE 000001c2: SUB 000001c3: DUP2 000001c4: ADD 000001c5: SWAP1 000001c6: PUSH2 0x01cf 000001c9: SWAP2 000001ca: SWAP1 000001cb: PUSH2 0x10fb 000001ce: JUMP 000001cf: JUMPDEST 000001d0: PUSH2 0x0b95 000001d3: JUMP 000001d4: JUMPDEST 000001d5: PUSH1 0x40 000001d7: MLOAD 000001d8: PUSH2 0x01e1 000001db: SWAP2 000001dc: SWAP1 000001dd: PUSH2 0x12c6 000001e0: JUMP 000001e1: JUMPDEST 000001e2: PUSH1 0x40 000001e4: MLOAD 000001e5: DUP1 000001e6: SWAP2 000001e7: SUB 000001e8: SWAP1 000001e9: RETURN 000001ea: JUMPDEST 000001eb: PUSH2 0x0204 000001ee: PUSH1 0x04 000001f0: DUP1 000001f1: CALLDATASIZE 000001f2: SUB 000001f3: DUP2 000001f4: ADD 000001f5: SWAP1 000001f6: PUSH2 0x01ff 000001f9: SWAP2 000001fa: SWAP1 000001fb: PUSH2 0x106d 000001fe: JUMP 000001ff: JUMPDEST 00000200: PUSH2 0x0ddb 00000203: JUMP 00000204: JUMPDEST 00000205: STOP 00000206: JUMPDEST 00000207: PUSH2 0x0220 0000020a: PUSH1 0x04 0000020c: DUP1 0000020d: CALLDATASIZE 0000020e: SUB 0000020f: DUP2 00000210: ADD 00000211: SWAP1 00000212: PUSH2 0x021b 00000215: SWAP2 00000216: SWAP1 00000217: PUSH2 0x106d 0000021a: JUMP 0000021b: JUMPDEST 0000021c: PUSH2 0x0f08 0000021f: JUMP 00000220: JUMPDEST 00000221: STOP 00000222: JUMPDEST 00000223: PUSH1 0x03 00000225: PUSH1 0x00 00000227: SWAP1 00000228: SLOAD 00000229: SWAP1 0000022a: PUSH2 0x0100 0000022d: EXP 0000022e: SWAP1 0000022f: DIV 00000230: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000245: AND 00000246: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000025b: AND 0000025c: CALLER 0000025d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000272: AND 00000273: EQ 00000274: PUSH2 0x02b2 00000277: JUMPI 00000278: PUSH1 0x40 0000027a: MLOAD 0000027b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000029c: DUP2 0000029d: MSTORE 0000029e: PUSH1 0x04 000002a0: ADD 000002a1: PUSH2 0x02a9 000002a4: SWAP1 000002a5: PUSH2 0x12e8 000002a8: JUMP 000002a9: JUMPDEST 000002aa: PUSH1 0x40 000002ac: MLOAD 000002ad: DUP1 000002ae: SWAP2 000002af: SUB 000002b0: SWAP1 000002b1: REVERT 000002b2: JUMPDEST 000002b3: PUSH1 0x02 000002b5: PUSH1 0x00 000002b7: SWAP1 000002b8: SLOAD 000002b9: SWAP1 000002ba: PUSH2 0x0100 000002bd: EXP 000002be: SWAP1 000002bf: DIV 000002c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d5: AND 000002d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002eb: AND 000002ec: DUP3 000002ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000302: AND 00000303: EQ 00000304: ISZERO 00000305: PUSH2 0x0343 00000308: JUMPI 00000309: PUSH1 0x40 0000030b: MLOAD 0000030c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000032d: DUP2 0000032e: MSTORE 0000032f: PUSH1 0x04 00000331: ADD 00000332: PUSH2 0x033a 00000335: SWAP1 00000336: PUSH2 0x1308 00000339: JUMP 0000033a: JUMPDEST 0000033b: PUSH1 0x40 0000033d: MLOAD 0000033e: DUP1 0000033f: SWAP2 00000340: SUB 00000341: SWAP1 00000342: REVERT 00000343: JUMPDEST 00000344: DUP2 00000345: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000035a: AND 0000035b: PUSH4 0xa9059cbb 00000360: PUSH1 0x03 00000362: PUSH1 0x00 00000364: SWAP1 00000365: SLOAD 00000366: SWAP1 00000367: PUSH2 0x0100 0000036a: EXP 0000036b: SWAP1 0000036c: DIV 0000036d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000382: AND 00000383: DUP4 00000384: PUSH1 0x40 00000386: MLOAD 00000387: DUP4 00000388: PUSH4 0xffffffff 0000038d: AND 0000038e: PUSH1 0xe0 00000390: SHL 00000391: DUP2 00000392: MSTORE 00000393: PUSH1 0x04 00000395: ADD 00000396: PUSH2 0x03a0 00000399: SWAP3 0000039a: SWAP2 0000039b: SWAP1 0000039c: PUSH2 0x129d 0000039f: JUMP 000003a0: JUMPDEST 000003a1: PUSH1 0x20 000003a3: PUSH1 0x40 000003a5: MLOAD 000003a6: DUP1 000003a7: DUP4 000003a8: SUB 000003a9: DUP2 000003aa: PUSH1 0x00 000003ac: DUP8 000003ad: DUP1 000003ae: EXTCODESIZE 000003af: ISZERO 000003b0: DUP1 000003b1: ISZERO 000003b2: PUSH2 0x03ba 000003b5: JUMPI 000003b6: PUSH1 0x00 000003b8: DUP1 000003b9: REVERT 000003ba: JUMPDEST 000003bb: POP 000003bc: GAS 000003bd: CALL 000003be: ISZERO 000003bf: DUP1 000003c0: ISZERO 000003c1: PUSH2 0x03ce 000003c4: JUMPI 000003c5: RETURNDATASIZE 000003c6: PUSH1 0x00 000003c8: DUP1 000003c9: RETURNDATACOPY 000003ca: RETURNDATASIZE 000003cb: PUSH1 0x00 000003cd: REVERT 000003ce: JUMPDEST 000003cf: POP 000003d0: POP 000003d1: POP 000003d2: POP 000003d3: PUSH1 0x40 000003d5: MLOAD 000003d6: RETURNDATASIZE 000003d7: PUSH1 0x1f 000003d9: NOT 000003da: PUSH1 0x1f 000003dc: DUP3 000003dd: ADD 000003de: AND 000003df: DUP3 000003e0: ADD 000003e1: DUP1 000003e2: PUSH1 0x40 000003e4: MSTORE 000003e5: POP 000003e6: DUP2 000003e7: ADD 000003e8: SWAP1 000003e9: PUSH2 0x03f2 000003ec: SWAP2 000003ed: SWAP1 000003ee: PUSH2 0x10d2 000003f1: JUMP 000003f2: JUMPDEST 000003f3: POP 000003f4: POP 000003f5: POP 000003f6: JUMP 000003f7: JUMPDEST 000003f8: PUSH1 0x03 000003fa: PUSH1 0x00 000003fc: SWAP1 000003fd: SLOAD 000003fe: SWAP1 000003ff: PUSH2 0x0100 00000402: EXP 00000403: SWAP1 00000404: DIV 00000405: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000041a: AND 0000041b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000430: AND 00000431: CALLER 00000432: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000447: AND 00000448: EQ 00000449: PUSH2 0x0487 0000044c: JUMPI 0000044d: PUSH1 0x40 0000044f: MLOAD 00000450: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000471: DUP2 00000472: MSTORE 00000473: PUSH1 0x04 00000475: ADD 00000476: PUSH2 0x047e 00000479: SWAP1 0000047a: PUSH2 0x12e8 0000047d: JUMP 0000047e: JUMPDEST 0000047f: PUSH1 0x40 00000481: MLOAD 00000482: DUP1 00000483: SWAP2 00000484: SUB 00000485: SWAP1 00000486: REVERT 00000487: JUMPDEST 00000488: DUP1 00000489: PUSH1 0x01 0000048b: PUSH1 0x00 0000048d: DUP5 0000048e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a3: AND 000004a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b9: AND 000004ba: DUP2 000004bb: MSTORE 000004bc: PUSH1 0x20 000004be: ADD 000004bf: SWAP1 000004c0: DUP2 000004c1: MSTORE 000004c2: PUSH1 0x20 000004c4: ADD 000004c5: PUSH1 0x00 000004c7: KECCAK256 000004c8: DUP2 000004c9: SWAP1 000004ca: SSTORE 000004cb: POP 000004cc: PUSH32 0xd0052b410d0cb795a7f6c819df26e4fa449395ba08d12ff743ca0646827e797c 000004ed: DUP3 000004ee: DUP3 000004ef: PUSH1 0x40 000004f1: MLOAD 000004f2: PUSH2 0x04fc 000004f5: SWAP3 000004f6: SWAP2 000004f7: SWAP1 000004f8: PUSH2 0x129d 000004fb: JUMP 000004fc: JUMPDEST 000004fd: PUSH1 0x40 000004ff: MLOAD 00000500: DUP1 00000501: SWAP2 00000502: SUB 00000503: SWAP1 00000504: LOG1 00000505: POP 00000506: POP 00000507: JUMP 00000508: JUMPDEST 00000509: PUSH1 0x02 0000050b: PUSH1 0x00 0000050d: SWAP1 0000050e: SLOAD 0000050f: SWAP1 00000510: PUSH2 0x0100 00000513: EXP 00000514: SWAP1 00000515: DIV 00000516: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000052b: AND 0000052c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000541: AND 00000542: PUSH4 0x23b872dd 00000547: CALLER 00000548: ADDRESS 00000549: DUP5 0000054a: PUSH1 0x40 0000054c: MLOAD 0000054d: DUP5 0000054e: PUSH4 0xffffffff 00000553: AND 00000554: PUSH1 0xe0 00000556: SHL 00000557: DUP2 00000558: MSTORE 00000559: PUSH1 0x04 0000055b: ADD 0000055c: PUSH2 0x0567 0000055f: SWAP4 00000560: SWAP3 00000561: SWAP2 00000562: SWAP1 00000563: PUSH2 0x1266 00000566: JUMP 00000567: JUMPDEST 00000568: PUSH1 0x20 0000056a: PUSH1 0x40 0000056c: MLOAD 0000056d: DUP1 0000056e: DUP4 0000056f: SUB 00000570: DUP2 00000571: PUSH1 0x00 00000573: DUP8 00000574: DUP1 00000575: EXTCODESIZE 00000576: ISZERO 00000577: DUP1 00000578: ISZERO 00000579: PUSH2 0x0581 0000057c: JUMPI 0000057d: PUSH1 0x00 0000057f: DUP1 00000580: REVERT 00000581: JUMPDEST 00000582: POP 00000583: GAS 00000584: CALL 00000585: ISZERO 00000586: DUP1 00000587: ISZERO 00000588: PUSH2 0x0595 0000058b: JUMPI 0000058c: RETURNDATASIZE 0000058d: PUSH1 0x00 0000058f: DUP1 00000590: RETURNDATACOPY 00000591: RETURNDATASIZE 00000592: PUSH1 0x00 00000594: REVERT 00000595: JUMPDEST 00000596: POP 00000597: POP 00000598: POP 00000599: POP 0000059a: PUSH1 0x40 0000059c: MLOAD 0000059d: RETURNDATASIZE 0000059e: PUSH1 0x1f 000005a0: NOT 000005a1: PUSH1 0x1f 000005a3: DUP3 000005a4: ADD 000005a5: AND 000005a6: DUP3 000005a7: ADD 000005a8: DUP1 000005a9: PUSH1 0x40 000005ab: MSTORE 000005ac: POP 000005ad: DUP2 000005ae: ADD 000005af: SWAP1 000005b0: PUSH2 0x05b9 000005b3: SWAP2 000005b4: SWAP1 000005b5: PUSH2 0x10d2 000005b8: JUMP 000005b9: JUMPDEST 000005ba: POP 000005bb: PUSH1 0x00 000005bd: DUP1 000005be: DUP1 000005bf: SLOAD 000005c0: SWAP1 000005c1: POP 000005c2: SWAP1 000005c3: POP 000005c4: PUSH1 0x00 000005c6: JUMPDEST 000005c7: DUP2 000005c8: DUP2 000005c9: LT 000005ca: ISZERO 000005cb: PUSH2 0x0834 000005ce: JUMPI 000005cf: PUSH1 0x00 000005d1: PUSH4 0x3b9aca00 000005d6: PUSH1 0x01 000005d8: PUSH1 0x00 000005da: DUP1 000005db: DUP6 000005dc: DUP2 000005dd: SLOAD 000005de: DUP2 000005df: LT 000005e0: PUSH2 0x0612 000005e3: JUMPI 000005e4: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000605: PUSH1 0x00 00000607: MSTORE 00000608: PUSH1 0x32 0000060a: PUSH1 0x04 0000060c: MSTORE 0000060d: PUSH1 0x24 0000060f: PUSH1 0x00 00000611: REVERT 00000612: JUMPDEST 00000613: SWAP1 00000614: PUSH1 0x00 00000616: MSTORE 00000617: PUSH1 0x20 00000619: PUSH1 0x00 0000061b: KECCAK256 0000061c: ADD 0000061d: PUSH1 0x00 0000061f: SWAP1 00000620: SLOAD 00000621: SWAP1 00000622: PUSH2 0x0100 00000625: EXP 00000626: SWAP1 00000627: DIV 00000628: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000063d: AND 0000063e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000653: AND 00000654: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000669: AND 0000066a: DUP2 0000066b: MSTORE 0000066c: PUSH1 0x20 0000066e: ADD 0000066f: SWAP1 00000670: DUP2 00000671: MSTORE 00000672: PUSH1 0x20 00000674: ADD 00000675: PUSH1 0x00 00000677: KECCAK256 00000678: SLOAD 00000679: DUP6 0000067a: PUSH2 0x0683 0000067d: SWAP2 0000067e: SWAP1 0000067f: PUSH2 0x13be 00000682: JUMP 00000683: JUMPDEST 00000684: PUSH2 0x068d 00000687: SWAP2 00000688: SWAP1 00000689: PUSH2 0x138d 0000068c: JUMP 0000068d: JUMPDEST 0000068e: SWAP1 0000068f: POP 00000690: PUSH1 0x00 00000692: DUP3 00000693: DUP2 00000694: SLOAD 00000695: DUP2 00000696: LT 00000697: PUSH2 0x06c9 0000069a: JUMPI 0000069b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000006bc: PUSH1 0x00 000006be: MSTORE 000006bf: PUSH1 0x32 000006c1: PUSH1 0x04 000006c3: MSTORE 000006c4: PUSH1 0x24 000006c6: PUSH1 0x00 000006c8: REVERT 000006c9: JUMPDEST 000006ca: SWAP1 000006cb: PUSH1 0x00 000006cd: MSTORE 000006ce: PUSH1 0x20 000006d0: PUSH1 0x00 000006d2: KECCAK256 000006d3: ADD 000006d4: PUSH1 0x00 000006d6: SWAP1 000006d7: SLOAD 000006d8: SWAP1 000006d9: PUSH2 0x0100 000006dc: EXP 000006dd: SWAP1 000006de: DIV 000006df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f4: AND 000006f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000070a: AND 0000070b: PUSH4 0xa9059cbb 00000710: CALLER 00000711: DUP4 00000712: PUSH1 0x40 00000714: MLOAD 00000715: DUP4 00000716: PUSH4 0xffffffff 0000071b: AND 0000071c: PUSH1 0xe0 0000071e: SHL 0000071f: DUP2 00000720: MSTORE 00000721: PUSH1 0x04 00000723: ADD 00000724: PUSH2 0x072e 00000727: SWAP3 00000728: SWAP2 00000729: SWAP1 0000072a: PUSH2 0x129d 0000072d: JUMP 0000072e: JUMPDEST 0000072f: PUSH1 0x20 00000731: PUSH1 0x40 00000733: MLOAD 00000734: DUP1 00000735: DUP4 00000736: SUB 00000737: DUP2 00000738: PUSH1 0x00 0000073a: DUP8 0000073b: DUP1 0000073c: EXTCODESIZE 0000073d: ISZERO 0000073e: DUP1 0000073f: ISZERO 00000740: PUSH2 0x0748 00000743: JUMPI 00000744: PUSH1 0x00 00000746: DUP1 00000747: REVERT 00000748: JUMPDEST 00000749: POP 0000074a: GAS 0000074b: CALL 0000074c: ISZERO 0000074d: DUP1 0000074e: ISZERO 0000074f: PUSH2 0x075c 00000752: JUMPI 00000753: RETURNDATASIZE 00000754: PUSH1 0x00 00000756: DUP1 00000757: RETURNDATACOPY 00000758: RETURNDATASIZE 00000759: PUSH1 0x00 0000075b: REVERT 0000075c: JUMPDEST 0000075d: POP 0000075e: POP 0000075f: POP 00000760: POP 00000761: PUSH1 0x40 00000763: MLOAD 00000764: RETURNDATASIZE 00000765: PUSH1 0x1f 00000767: NOT 00000768: PUSH1 0x1f 0000076a: DUP3 0000076b: ADD 0000076c: AND 0000076d: DUP3 0000076e: ADD 0000076f: DUP1 00000770: PUSH1 0x40 00000772: MSTORE 00000773: POP 00000774: DUP2 00000775: ADD 00000776: SWAP1 00000777: PUSH2 0x0780 0000077a: SWAP2 0000077b: SWAP1 0000077c: PUSH2 0x10d2 0000077f: JUMP 00000780: JUMPDEST 00000781: POP 00000782: PUSH32 0xf7a40077ff7a04c7e61f6f26fb13774259ddf1b6bce9ecf26a8276cdd3992683 000007a3: CALLER 000007a4: PUSH1 0x00 000007a6: DUP5 000007a7: DUP2 000007a8: SLOAD 000007a9: DUP2 000007aa: LT 000007ab: PUSH2 0x07dd 000007ae: JUMPI 000007af: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000007d0: PUSH1 0x00 000007d2: MSTORE 000007d3: PUSH1 0x32 000007d5: PUSH1 0x04 000007d7: MSTORE 000007d8: PUSH1 0x24 000007da: PUSH1 0x00 000007dc: REVERT 000007dd: JUMPDEST 000007de: SWAP1 000007df: PUSH1 0x00 000007e1: MSTORE 000007e2: PUSH1 0x20 000007e4: PUSH1 0x00 000007e6: KECCAK256 000007e7: ADD 000007e8: PUSH1 0x00 000007ea: SWAP1 000007eb: SLOAD 000007ec: SWAP1 000007ed: PUSH2 0x0100 000007f0: EXP 000007f1: SWAP1 000007f2: DIV 000007f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000808: AND 00000809: DUP4 0000080a: PUSH1 0x40 0000080c: MLOAD 0000080d: PUSH2 0x0818 00000810: SWAP4 00000811: SWAP3 00000812: SWAP2 00000813: SWAP1 00000814: PUSH2 0x1266 00000817: JUMP 00000818: JUMPDEST 00000819: PUSH1 0x40 0000081b: MLOAD 0000081c: DUP1 0000081d: SWAP2 0000081e: SUB 0000081f: SWAP1 00000820: LOG1 00000821: POP 00000822: DUP1 00000823: DUP1 00000824: PUSH2 0x082c 00000827: SWAP1 00000828: PUSH2 0x1494 0000082b: JUMP 0000082c: JUMPDEST 0000082d: SWAP2 0000082e: POP 0000082f: POP 00000830: PUSH2 0x05c6 00000833: JUMP 00000834: JUMPDEST 00000835: POP 00000836: POP 00000837: POP 00000838: JUMP 00000839: JUMPDEST 0000083a: PUSH1 0x00 0000083c: DUP2 0000083d: DUP2 0000083e: SLOAD 0000083f: DUP2 00000840: LT 00000841: PUSH2 0x0849 00000844: JUMPI 00000845: PUSH1 0x00 00000847: DUP1 00000848: REVERT 00000849: JUMPDEST 0000084a: SWAP1 0000084b: PUSH1 0x00 0000084d: MSTORE 0000084e: PUSH1 0x20 00000850: PUSH1 0x00 00000852: KECCAK256 00000853: ADD 00000854: PUSH1 0x00 00000856: SWAP2 00000857: POP 00000858: SLOAD 00000859: SWAP1 0000085a: PUSH2 0x0100 0000085d: EXP 0000085e: SWAP1 0000085f: DIV 00000860: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000875: AND 00000876: DUP2 00000877: JUMP 00000878: JUMPDEST 00000879: PUSH1 0x03 0000087b: PUSH1 0x00 0000087d: SWAP1 0000087e: SLOAD 0000087f: SWAP1 00000880: PUSH2 0x0100 00000883: EXP 00000884: SWAP1 00000885: DIV 00000886: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000089b: AND 0000089c: DUP2 0000089d: JUMP 0000089e: JUMPDEST 0000089f: PUSH1 0x03 000008a1: PUSH1 0x00 000008a3: SWAP1 000008a4: SLOAD 000008a5: SWAP1 000008a6: PUSH2 0x0100 000008a9: EXP 000008aa: SWAP1 000008ab: DIV 000008ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c1: AND 000008c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008d7: AND 000008d8: CALLER 000008d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ee: AND 000008ef: EQ 000008f0: PUSH2 0x092e 000008f3: JUMPI 000008f4: PUSH1 0x40 000008f6: MLOAD 000008f7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000918: DUP2 00000919: MSTORE 0000091a: PUSH1 0x04 0000091c: ADD 0000091d: PUSH2 0x0925 00000920: SWAP1 00000921: PUSH2 0x12e8 00000924: JUMP 00000925: JUMPDEST 00000926: PUSH1 0x40 00000928: MLOAD 00000929: DUP1 0000092a: SWAP2 0000092b: SUB 0000092c: SWAP1 0000092d: REVERT 0000092e: JUMPDEST 0000092f: PUSH1 0x00 00000931: JUMPDEST 00000932: PUSH1 0x00 00000934: DUP1 00000935: SLOAD 00000936: SWAP1 00000937: POP 00000938: DUP2 00000939: LT 0000093a: ISZERO 0000093b: PUSH2 0x0b53 0000093e: JUMPI 0000093f: DUP2 00000940: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000955: AND 00000956: PUSH1 0x00 00000958: DUP3 00000959: DUP2 0000095a: SLOAD 0000095b: DUP2 0000095c: LT 0000095d: PUSH2 0x098f 00000960: JUMPI 00000961: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000982: PUSH1 0x00 00000984: MSTORE 00000985: PUSH1 0x32 00000987: PUSH1 0x04 00000989: MSTORE 0000098a: PUSH1 0x24 0000098c: PUSH1 0x00 0000098e: REVERT 0000098f: JUMPDEST 00000990: SWAP1 00000991: PUSH1 0x00 00000993: MSTORE 00000994: PUSH1 0x20 00000996: PUSH1 0x00 00000998: KECCAK256 00000999: ADD 0000099a: PUSH1 0x00 0000099c: SWAP1 0000099d: SLOAD 0000099e: SWAP1 0000099f: PUSH2 0x0100 000009a2: EXP 000009a3: SWAP1 000009a4: DIV 000009a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ba: AND 000009bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d0: AND 000009d1: EQ 000009d2: ISZERO 000009d3: PUSH2 0x0b40 000009d6: JUMPI 000009d7: PUSH1 0x00 000009d9: PUSH1 0x01 000009db: PUSH1 0x00 000009dd: DUP1 000009de: SLOAD 000009df: SWAP1 000009e0: POP 000009e1: PUSH2 0x09ea 000009e4: SWAP2 000009e5: SWAP1 000009e6: PUSH2 0x1418 000009e9: JUMP 000009ea: JUMPDEST 000009eb: DUP2 000009ec: SLOAD 000009ed: DUP2 000009ee: LT 000009ef: PUSH2 0x0a21 000009f2: JUMPI 000009f3: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000a14: PUSH1 0x00 00000a16: MSTORE 00000a17: PUSH1 0x32 00000a19: PUSH1 0x04 00000a1b: MSTORE 00000a1c: PUSH1 0x24 00000a1e: PUSH1 0x00 00000a20: REVERT 00000a21: JUMPDEST 00000a22: SWAP1 00000a23: PUSH1 0x00 00000a25: MSTORE 00000a26: PUSH1 0x20 00000a28: PUSH1 0x00 00000a2a: KECCAK256 00000a2b: ADD 00000a2c: PUSH1 0x00 00000a2e: SWAP1 00000a2f: SLOAD 00000a30: SWAP1 00000a31: PUSH2 0x0100 00000a34: EXP 00000a35: SWAP1 00000a36: DIV 00000a37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a4c: AND 00000a4d: PUSH1 0x00 00000a4f: DUP3 00000a50: DUP2 00000a51: SLOAD 00000a52: DUP2 00000a53: LT 00000a54: PUSH2 0x0a86 00000a57: JUMPI 00000a58: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000a79: PUSH1 0x00 00000a7b: MSTORE 00000a7c: PUSH1 0x32 00000a7e: PUSH1 0x04 00000a80: MSTORE 00000a81: PUSH1 0x24 00000a83: PUSH1 0x00 00000a85: REVERT 00000a86: JUMPDEST 00000a87: SWAP1 00000a88: PUSH1 0x00 00000a8a: MSTORE 00000a8b: PUSH1 0x20 00000a8d: PUSH1 0x00 00000a8f: KECCAK256 00000a90: ADD 00000a91: PUSH1 0x00 00000a93: PUSH2 0x0100 00000a96: EXP 00000a97: DUP2 00000a98: SLOAD 00000a99: DUP2 00000a9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aaf: MUL 00000ab0: NOT 00000ab1: AND 00000ab2: SWAP1 00000ab3: DUP4 00000ab4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ac9: AND 00000aca: MUL 00000acb: OR 00000acc: SWAP1 00000acd: SSTORE 00000ace: POP 00000acf: PUSH1 0x00 00000ad1: DUP1 00000ad2: SLOAD 00000ad3: DUP1 00000ad4: PUSH2 0x0b06 00000ad7: JUMPI 00000ad8: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000af9: PUSH1 0x00 00000afb: MSTORE 00000afc: PUSH1 0x31 00000afe: PUSH1 0x04 00000b00: MSTORE 00000b01: PUSH1 0x24 00000b03: PUSH1 0x00 00000b05: REVERT 00000b06: JUMPDEST 00000b07: PUSH1 0x01 00000b09: SWAP1 00000b0a: SUB 00000b0b: DUP2 00000b0c: DUP2 00000b0d: SWAP1 00000b0e: PUSH1 0x00 00000b10: MSTORE 00000b11: PUSH1 0x20 00000b13: PUSH1 0x00 00000b15: KECCAK256 00000b16: ADD 00000b17: PUSH1 0x00 00000b19: PUSH2 0x0100 00000b1c: EXP 00000b1d: DUP2 00000b1e: SLOAD 00000b1f: SWAP1 00000b20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b35: MUL 00000b36: NOT 00000b37: AND 00000b38: SWAP1 00000b39: SSTORE 00000b3a: SWAP1 00000b3b: SSTORE 00000b3c: PUSH2 0x0b53 00000b3f: JUMP 00000b40: JUMPDEST 00000b41: DUP1 00000b42: DUP1 00000b43: PUSH2 0x0b4b 00000b46: SWAP1 00000b47: PUSH2 0x1494 00000b4a: JUMP 00000b4b: JUMPDEST 00000b4c: SWAP2 00000b4d: POP 00000b4e: POP 00000b4f: PUSH2 0x0931 00000b52: JUMP 00000b53: JUMPDEST 00000b54: POP 00000b55: POP 00000b56: JUMP 00000b57: JUMPDEST 00000b58: PUSH1 0x02 00000b5a: PUSH1 0x00 00000b5c: SWAP1 00000b5d: SLOAD 00000b5e: SWAP1 00000b5f: PUSH2 0x0100 00000b62: EXP 00000b63: SWAP1 00000b64: DIV 00000b65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b7a: AND 00000b7b: DUP2 00000b7c: JUMP 00000b7d: JUMPDEST 00000b7e: PUSH1 0x01 00000b80: PUSH1 0x20 00000b82: MSTORE 00000b83: DUP1 00000b84: PUSH1 0x00 00000b86: MSTORE 00000b87: PUSH1 0x40 00000b89: PUSH1 0x00 00000b8b: KECCAK256 00000b8c: PUSH1 0x00 00000b8e: SWAP2 00000b8f: POP 00000b90: SWAP1 00000b91: POP 00000b92: SLOAD 00000b93: DUP2 00000b94: JUMP 00000b95: JUMPDEST 00000b96: PUSH1 0x60 00000b98: PUSH1 0x00 00000b9a: DUP1 00000b9b: DUP1 00000b9c: SLOAD 00000b9d: SWAP1 00000b9e: POP 00000b9f: PUSH8 0xffffffffffffffff 00000ba8: DUP2 00000ba9: GT 00000baa: ISZERO 00000bab: PUSH2 0x0bdd 00000bae: JUMPI 00000baf: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000bd0: PUSH1 0x00 00000bd2: MSTORE 00000bd3: PUSH1 0x41 00000bd5: PUSH1 0x04 00000bd7: MSTORE 00000bd8: PUSH1 0x24 00000bda: PUSH1 0x00 00000bdc: REVERT 00000bdd: JUMPDEST 00000bde: PUSH1 0x40 00000be0: MLOAD 00000be1: SWAP1 00000be2: DUP1 00000be3: DUP3 00000be4: MSTORE 00000be5: DUP1 00000be6: PUSH1 0x20 00000be8: MUL 00000be9: PUSH1 0x20 00000beb: ADD 00000bec: DUP3 00000bed: ADD 00000bee: PUSH1 0x40 00000bf0: MSTORE 00000bf1: DUP1 00000bf2: ISZERO 00000bf3: PUSH2 0x0c16 00000bf6: JUMPI 00000bf7: DUP2 00000bf8: PUSH1 0x20 00000bfa: ADD 00000bfb: JUMPDEST 00000bfc: PUSH2 0x0c03 00000bff: PUSH2 0x0ffe 00000c02: JUMP 00000c03: JUMPDEST 00000c04: DUP2 00000c05: MSTORE 00000c06: PUSH1 0x20 00000c08: ADD 00000c09: SWAP1 00000c0a: PUSH1 0x01 00000c0c: SWAP1 00000c0d: SUB 00000c0e: SWAP1 00000c0f: DUP2 00000c10: PUSH2 0x0bfb 00000c13: JUMPI 00000c14: SWAP1 00000c15: POP 00000c16: JUMPDEST 00000c17: POP 00000c18: SWAP1 00000c19: POP 00000c1a: PUSH1 0x00 00000c1c: JUMPDEST 00000c1d: PUSH1 0x00 00000c1f: DUP1 00000c20: SLOAD 00000c21: SWAP1 00000c22: POP 00000c23: DUP2 00000c24: LT 00000c25: ISZERO 00000c26: PUSH2 0x0dd1 00000c29: JUMPI 00000c2a: PUSH1 0x00 00000c2c: PUSH4 0x3b9aca00 00000c31: PUSH1 0x01 00000c33: PUSH1 0x00 00000c35: DUP1 00000c36: DUP6 00000c37: DUP2 00000c38: SLOAD 00000c39: DUP2 00000c3a: LT 00000c3b: PUSH2 0x0c6d 00000c3e: JUMPI 00000c3f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000c60: PUSH1 0x00 00000c62: MSTORE 00000c63: PUSH1 0x32 00000c65: PUSH1 0x04 00000c67: MSTORE 00000c68: PUSH1 0x24 00000c6a: PUSH1 0x00 00000c6c: REVERT 00000c6d: JUMPDEST 00000c6e: SWAP1 00000c6f: PUSH1 0x00 00000c71: MSTORE 00000c72: PUSH1 0x20 00000c74: PUSH1 0x00 00000c76: KECCAK256 00000c77: ADD 00000c78: PUSH1 0x00 00000c7a: SWAP1 00000c7b: SLOAD 00000c7c: SWAP1 00000c7d: PUSH2 0x0100 00000c80: EXP 00000c81: SWAP1 00000c82: DIV 00000c83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c98: AND 00000c99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cae: AND 00000caf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cc4: AND 00000cc5: DUP2 00000cc6: MSTORE 00000cc7: PUSH1 0x20 00000cc9: ADD 00000cca: SWAP1 00000ccb: DUP2 00000ccc: MSTORE 00000ccd: PUSH1 0x20 00000ccf: ADD 00000cd0: PUSH1 0x00 00000cd2: KECCAK256 00000cd3: SLOAD 00000cd4: DUP7 00000cd5: PUSH2 0x0cde 00000cd8: SWAP2 00000cd9: SWAP1 00000cda: PUSH2 0x13be 00000cdd: JUMP 00000cde: JUMPDEST 00000cdf: PUSH2 0x0ce8 00000ce2: SWAP2 00000ce3: SWAP1 00000ce4: PUSH2 0x138d 00000ce7: JUMP 00000ce8: JUMPDEST 00000ce9: SWAP1 00000cea: POP 00000ceb: PUSH1 0x40 00000ced: MLOAD 00000cee: DUP1 00000cef: PUSH1 0x40 00000cf1: ADD 00000cf2: PUSH1 0x40 00000cf4: MSTORE 00000cf5: DUP1 00000cf6: PUSH1 0x00 00000cf8: DUP5 00000cf9: DUP2 00000cfa: SLOAD 00000cfb: DUP2 00000cfc: LT 00000cfd: PUSH2 0x0d2f 00000d00: JUMPI 00000d01: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000d22: PUSH1 0x00 00000d24: MSTORE 00000d25: PUSH1 0x32 00000d27: PUSH1 0x04 00000d29: MSTORE 00000d2a: PUSH1 0x24 00000d2c: PUSH1 0x00 00000d2e: REVERT 00000d2f: JUMPDEST 00000d30: SWAP1 00000d31: PUSH1 0x00 00000d33: MSTORE 00000d34: PUSH1 0x20 00000d36: PUSH1 0x00 00000d38: KECCAK256 00000d39: ADD 00000d3a: PUSH1 0x00 00000d3c: SWAP1 00000d3d: SLOAD 00000d3e: SWAP1 00000d3f: PUSH2 0x0100 00000d42: EXP 00000d43: SWAP1 00000d44: DIV 00000d45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d5a: AND 00000d5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d70: AND 00000d71: DUP2 00000d72: MSTORE 00000d73: PUSH1 0x20 00000d75: ADD 00000d76: DUP3 00000d77: DUP2 00000d78: MSTORE 00000d79: POP 00000d7a: DUP4 00000d7b: DUP4 00000d7c: DUP2 00000d7d: MLOAD 00000d7e: DUP2 00000d7f: LT 00000d80: PUSH2 0x0db2 00000d83: JUMPI 00000d84: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000da5: PUSH1 0x00 00000da7: MSTORE 00000da8: PUSH1 0x32 00000daa: PUSH1 0x04 00000dac: MSTORE 00000dad: PUSH1 0x24 00000daf: PUSH1 0x00 00000db1: REVERT 00000db2: JUMPDEST 00000db3: PUSH1 0x20 00000db5: MUL 00000db6: PUSH1 0x20 00000db8: ADD 00000db9: ADD 00000dba: DUP2 00000dbb: SWAP1 00000dbc: MSTORE 00000dbd: POP 00000dbe: POP 00000dbf: DUP1 00000dc0: DUP1 00000dc1: PUSH2 0x0dc9 00000dc4: SWAP1 00000dc5: PUSH2 0x1494 00000dc8: JUMP 00000dc9: JUMPDEST 00000dca: SWAP2 00000dcb: POP 00000dcc: POP 00000dcd: PUSH2 0x0c1c 00000dd0: JUMP 00000dd1: JUMPDEST 00000dd2: POP 00000dd3: DUP1 00000dd4: SWAP2 00000dd5: POP 00000dd6: POP 00000dd7: SWAP2 00000dd8: SWAP1 00000dd9: POP 00000dda: JUMP 00000ddb: JUMPDEST 00000ddc: PUSH1 0x03 00000dde: PUSH1 0x00 00000de0: SWAP1 00000de1: SLOAD 00000de2: SWAP1 00000de3: PUSH2 0x0100 00000de6: EXP 00000de7: SWAP1 00000de8: DIV 00000de9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dfe: AND 00000dff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e14: AND 00000e15: CALLER 00000e16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2b: AND 00000e2c: EQ 00000e2d: PUSH2 0x0e6b 00000e30: JUMPI 00000e31: PUSH1 0x40 00000e33: MLOAD 00000e34: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e55: DUP2 00000e56: MSTORE 00000e57: PUSH1 0x04 00000e59: ADD 00000e5a: PUSH2 0x0e62 00000e5d: SWAP1 00000e5e: PUSH2 0x12e8 00000e61: JUMP 00000e62: JUMPDEST 00000e63: PUSH1 0x40 00000e65: MLOAD 00000e66: DUP1 00000e67: SWAP2 00000e68: SUB 00000e69: SWAP1 00000e6a: REVERT 00000e6b: JUMPDEST 00000e6c: DUP1 00000e6d: PUSH1 0x03 00000e6f: PUSH1 0x00 00000e71: PUSH2 0x0100 00000e74: EXP 00000e75: DUP2 00000e76: SLOAD 00000e77: DUP2 00000e78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e8d: MUL 00000e8e: NOT 00000e8f: AND 00000e90: SWAP1 00000e91: DUP4 00000e92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ea7: AND 00000ea8: MUL 00000ea9: OR 00000eaa: SWAP1 00000eab: SSTORE 00000eac: POP 00000ead: PUSH32 0xc73be659241aade67e9a059bcf21494955018b213dbd1179054ccf928b13f3b6 00000ece: PUSH1 0x03 00000ed0: PUSH1 0x00 00000ed2: SWAP1 00000ed3: SLOAD 00000ed4: SWAP1 00000ed5: PUSH2 0x0100 00000ed8: EXP 00000ed9: SWAP1 00000eda: DIV 00000edb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ef0: AND 00000ef1: PUSH1 0x40 00000ef3: MLOAD 00000ef4: PUSH2 0x0efd 00000ef7: SWAP2 00000ef8: SWAP1 00000ef9: PUSH2 0x124b 00000efc: JUMP 00000efd: JUMPDEST 00000efe: PUSH1 0x40 00000f00: MLOAD 00000f01: DUP1 00000f02: SWAP2 00000f03: SUB 00000f04: SWAP1 00000f05: LOG1 00000f06: POP 00000f07: JUMP 00000f08: JUMPDEST 00000f09: PUSH1 0x03 00000f0b: PUSH1 0x00 00000f0d: SWAP1 00000f0e: SLOAD 00000f0f: SWAP1 00000f10: PUSH2 0x0100 00000f13: EXP 00000f14: SWAP1 00000f15: DIV 00000f16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f2b: AND 00000f2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f41: AND 00000f42: CALLER 00000f43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f58: AND 00000f59: EQ 00000f5a: PUSH2 0x0f98 00000f5d: JUMPI 00000f5e: PUSH1 0x40 00000f60: MLOAD 00000f61: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f82: DUP2 00000f83: MSTORE 00000f84: PUSH1 0x04 00000f86: ADD 00000f87: PUSH2 0x0f8f 00000f8a: SWAP1 00000f8b: PUSH2 0x12e8 00000f8e: JUMP 00000f8f: JUMPDEST 00000f90: PUSH1 0x40 00000f92: MLOAD 00000f93: DUP1 00000f94: SWAP2 00000f95: SUB 00000f96: SWAP1 00000f97: REVERT 00000f98: JUMPDEST 00000f99: PUSH1 0x00 00000f9b: DUP2 00000f9c: SWAP1 00000f9d: DUP1 00000f9e: PUSH1 0x01 00000fa0: DUP2 00000fa1: SLOAD 00000fa2: ADD 00000fa3: DUP1 00000fa4: DUP3 00000fa5: SSTORE 00000fa6: DUP1 00000fa7: SWAP2 00000fa8: POP 00000fa9: POP 00000faa: PUSH1 0x01 00000fac: SWAP1 00000fad: SUB 00000fae: SWAP1 00000faf: PUSH1 0x00 00000fb1: MSTORE 00000fb2: PUSH1 0x20 00000fb4: PUSH1 0x00 00000fb6: KECCAK256 00000fb7: ADD 00000fb8: PUSH1 0x00 00000fba: SWAP1 00000fbb: SWAP2 00000fbc: SWAP1 00000fbd: SWAP2 00000fbe: SWAP1 00000fbf: SWAP2 00000fc0: PUSH2 0x0100 00000fc3: EXP 00000fc4: DUP2 00000fc5: SLOAD 00000fc6: DUP2 00000fc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fdc: MUL 00000fdd: NOT 00000fde: AND 00000fdf: SWAP1 00000fe0: DUP4 00000fe1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ff6: AND 00000ff7: MUL 00000ff8: OR 00000ff9: SWAP1 00000ffa: SSTORE 00000ffb: POP 00000ffc: POP 00000ffd: JUMP 00000ffe: JUMPDEST 00000fff: PUSH1 0x40 00001001: MLOAD 00001002: DUP1 00001003: PUSH1 0x40 00001005: ADD 00001006: PUSH1 0x40 00001008: MSTORE 00001009: DUP1 0000100a: PUSH1 0x00 0000100c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001021: AND 00001022: DUP2 00001023: MSTORE 00001024: PUSH1 0x20 00001026: ADD 00001027: PUSH1 0x00 00001029: DUP2 0000102a: MSTORE 0000102b: POP 0000102c: SWAP1 0000102d: JUMP 0000102e: JUMPDEST 0000102f: PUSH1 0x00 00001031: DUP2 00001032: CALLDATALOAD 00001033: SWAP1 00001034: POP 00001035: PUSH2 0x103d 00001038: DUP2 00001039: PUSH2 0x158d 0000103c: JUMP 0000103d: JUMPDEST 0000103e: SWAP3 0000103f: SWAP2 00001040: POP 00001041: POP 00001042: JUMP 00001043: JUMPDEST 00001044: PUSH1 0x00 00001046: DUP2 00001047: MLOAD 00001048: SWAP1 00001049: POP 0000104a: PUSH2 0x1052 0000104d: DUP2 0000104e: PUSH2 0x15a4 00001051: JUMP 00001052: JUMPDEST 00001053: SWAP3 00001054: SWAP2 00001055: POP 00001056: POP 00001057: JUMP 00001058: JUMPDEST 00001059: PUSH1 0x00 0000105b: DUP2 0000105c: CALLDATALOAD 0000105d: SWAP1 0000105e: POP 0000105f: PUSH2 0x1067 00001062: DUP2 00001063: PUSH2 0x15bb 00001066: JUMP 00001067: JUMPDEST 00001068: SWAP3 00001069: SWAP2 0000106a: POP 0000106b: POP 0000106c: JUMP 0000106d: JUMPDEST 0000106e: PUSH1 0x00 00001070: PUSH1 0x20 00001072: DUP3 00001073: DUP5 00001074: SUB 00001075: SLT 00001076: ISZERO 00001077: PUSH2 0x107f 0000107a: JUMPI 0000107b: PUSH1 0x00 0000107d: DUP1 0000107e: REVERT 0000107f: JUMPDEST 00001080: PUSH1 0x00 00001082: PUSH2 0x108d 00001085: DUP5 00001086: DUP3 00001087: DUP6 00001088: ADD 00001089: PUSH2 0x102e 0000108c: JUMP 0000108d: JUMPDEST 0000108e: SWAP2 0000108f: POP 00001090: POP 00001091: SWAP3 00001092: SWAP2 00001093: POP 00001094: POP 00001095: JUMP 00001096: JUMPDEST 00001097: PUSH1 0x00 00001099: DUP1 0000109a: PUSH1 0x40 0000109c: DUP4 0000109d: DUP6 0000109e: SUB 0000109f: SLT 000010a0: ISZERO 000010a1: PUSH2 0x10a9 000010a4: JUMPI 000010a5: PUSH1 0x00 000010a7: DUP1 000010a8: REVERT 000010a9: JUMPDEST 000010aa: PUSH1 0x00 000010ac: PUSH2 0x10b7 000010af: DUP6 000010b0: DUP3 000010b1: DUP7 000010b2: ADD 000010b3: PUSH2 0x102e 000010b6: JUMP 000010b7: JUMPDEST 000010b8: SWAP3 000010b9: POP 000010ba: POP 000010bb: PUSH1 0x20 000010bd: PUSH2 0x10c8 000010c0: DUP6 000010c1: DUP3 000010c2: DUP7 000010c3: ADD 000010c4: PUSH2 0x1058 000010c7: JUMP 000010c8: JUMPDEST 000010c9: SWAP2 000010ca: POP 000010cb: POP 000010cc: SWAP3 000010cd: POP 000010ce: SWAP3 000010cf: SWAP1 000010d0: POP 000010d1: JUMP 000010d2: JUMPDEST 000010d3: PUSH1 0x00 000010d5: PUSH1 0x20 000010d7: DUP3 000010d8: DUP5 000010d9: SUB 000010da: SLT 000010db: ISZERO 000010dc: PUSH2 0x10e4 000010df: JUMPI 000010e0: PUSH1 0x00 000010e2: DUP1 000010e3: REVERT 000010e4: JUMPDEST 000010e5: PUSH1 0x00 000010e7: PUSH2 0x10f2 000010ea: DUP5 000010eb: DUP3 000010ec: DUP6 000010ed: ADD 000010ee: PUSH2 0x1043 000010f1: JUMP 000010f2: JUMPDEST 000010f3: SWAP2 000010f4: POP 000010f5: POP 000010f6: SWAP3 000010f7: SWAP2 000010f8: POP 000010f9: POP 000010fa: JUMP 000010fb: JUMPDEST 000010fc: PUSH1 0x00 000010fe: PUSH1 0x20 00001100: DUP3 00001101: DUP5 00001102: SUB 00001103: SLT 00001104: ISZERO 00001105: PUSH2 0x110d 00001108: JUMPI 00001109: PUSH1 0x00 0000110b: DUP1 0000110c: REVERT 0000110d: JUMPDEST 0000110e: PUSH1 0x00 00001110: PUSH2 0x111b 00001113: DUP5 00001114: DUP3 00001115: DUP6 00001116: ADD 00001117: PUSH2 0x1058 0000111a: JUMP 0000111b: JUMPDEST 0000111c: SWAP2 0000111d: POP 0000111e: POP 0000111f: SWAP3 00001120: SWAP2 00001121: POP 00001122: POP 00001123: JUMP 00001124: JUMPDEST 00001125: PUSH1 0x00 00001127: PUSH2 0x1130 0000112a: DUP4 0000112b: DUP4 0000112c: PUSH2 0x11fe 0000112f: JUMP 00001130: JUMPDEST 00001131: PUSH1 0x40 00001133: DUP4 00001134: ADD 00001135: SWAP1 00001136: POP 00001137: SWAP3 00001138: SWAP2 00001139: POP 0000113a: POP 0000113b: JUMP 0000113c: JUMPDEST 0000113d: PUSH2 0x1145 00001140: DUP2 00001141: PUSH2 0x144c 00001144: JUMP 00001145: JUMPDEST 00001146: DUP3 00001147: MSTORE 00001148: POP 00001149: POP 0000114a: JUMP 0000114b: JUMPDEST 0000114c: PUSH2 0x1154 0000114f: DUP2 00001150: PUSH2 0x144c 00001153: JUMP 00001154: JUMPDEST 00001155: DUP3 00001156: MSTORE 00001157: POP 00001158: POP 00001159: JUMP 0000115a: JUMPDEST 0000115b: PUSH1 0x00 0000115d: PUSH2 0x1165 00001160: DUP3 00001161: PUSH2 0x1353 00001164: JUMP 00001165: JUMPDEST 00001166: PUSH2 0x116f 00001169: DUP2 0000116a: DUP6 0000116b: PUSH2 0x136b 0000116e: JUMP 0000116f: JUMPDEST 00001170: SWAP4 00001171: POP 00001172: PUSH2 0x117a 00001175: DUP4 00001176: PUSH2 0x1343 00001179: JUMP 0000117a: JUMPDEST 0000117b: DUP1 0000117c: PUSH1 0x00 0000117e: JUMPDEST 0000117f: DUP4 00001180: DUP2 00001181: LT 00001182: ISZERO 00001183: PUSH2 0x11ab 00001186: JUMPI 00001187: DUP2 00001188: MLOAD 00001189: PUSH2 0x1192 0000118c: DUP9 0000118d: DUP3 0000118e: PUSH2 0x1124 00001191: JUMP 00001192: JUMPDEST 00001193: SWAP8 00001194: POP 00001195: PUSH2 0x119d 00001198: DUP4 00001199: PUSH2 0x135e 0000119c: JUMP 0000119d: JUMPDEST 0000119e: SWAP3 0000119f: POP 000011a0: POP 000011a1: PUSH1 0x01 000011a3: DUP2 000011a4: ADD 000011a5: SWAP1 000011a6: POP 000011a7: PUSH2 0x117e 000011aa: JUMP 000011ab: JUMPDEST 000011ac: POP 000011ad: DUP6 000011ae: SWAP4 000011af: POP 000011b0: POP 000011b1: POP 000011b2: POP 000011b3: SWAP3 000011b4: SWAP2 000011b5: POP 000011b6: POP 000011b7: JUMP 000011b8: JUMPDEST 000011b9: PUSH1 0x00 000011bb: PUSH2 0x11c5 000011be: PUSH1 0x0b 000011c0: DUP4 000011c1: PUSH2 0x137c 000011c4: JUMP 000011c5: JUMPDEST 000011c6: SWAP2 000011c7: POP 000011c8: PUSH2 0x11d0 000011cb: DUP3 000011cc: PUSH2 0x153b 000011cf: JUMP 000011d0: JUMPDEST 000011d1: PUSH1 0x20 000011d3: DUP3 000011d4: ADD 000011d5: SWAP1 000011d6: POP 000011d7: SWAP2 000011d8: SWAP1 000011d9: POP 000011da: JUMP 000011db: JUMPDEST 000011dc: PUSH1 0x00 000011de: PUSH2 0x11e8 000011e1: PUSH1 0x1a 000011e3: DUP4 000011e4: PUSH2 0x137c 000011e7: JUMP 000011e8: JUMPDEST 000011e9: SWAP2 000011ea: POP 000011eb: PUSH2 0x11f3 000011ee: DUP3 000011ef: PUSH2 0x1564 000011f2: JUMP 000011f3: JUMPDEST 000011f4: PUSH1 0x20 000011f6: DUP3 000011f7: ADD 000011f8: SWAP1 000011f9: POP 000011fa: SWAP2 000011fb: SWAP1 000011fc: POP 000011fd: JUMP 000011fe: JUMPDEST 000011ff: PUSH1 0x40 00001201: DUP3 00001202: ADD 00001203: PUSH1 0x00 00001205: DUP3 00001206: ADD 00001207: MLOAD 00001208: PUSH2 0x1214 0000120b: PUSH1 0x00 0000120d: DUP6 0000120e: ADD 0000120f: DUP3 00001210: PUSH2 0x113c 00001213: JUMP 00001214: JUMPDEST 00001215: POP 00001216: PUSH1 0x20 00001218: DUP3 00001219: ADD 0000121a: MLOAD 0000121b: PUSH2 0x1227 0000121e: PUSH1 0x20 00001220: DUP6 00001221: ADD 00001222: DUP3 00001223: PUSH2 0x122d 00001226: JUMP 00001227: JUMPDEST 00001228: POP 00001229: POP 0000122a: POP 0000122b: POP 0000122c: JUMP 0000122d: JUMPDEST 0000122e: PUSH2 0x1236 00001231: DUP2 00001232: PUSH2 0x148a 00001235: JUMP 00001236: JUMPDEST 00001237: DUP3 00001238: MSTORE 00001239: POP 0000123a: POP 0000123b: JUMP 0000123c: JUMPDEST 0000123d: PUSH2 0x1245 00001240: DUP2 00001241: PUSH2 0x148a 00001244: JUMP 00001245: JUMPDEST 00001246: DUP3 00001247: MSTORE 00001248: POP 00001249: POP 0000124a: JUMP 0000124b: JUMPDEST 0000124c: PUSH1 0x00 0000124e: PUSH1 0x20 00001250: DUP3 00001251: ADD 00001252: SWAP1 00001253: POP 00001254: PUSH2 0x1260 00001257: PUSH1 0x00 00001259: DUP4 0000125a: ADD 0000125b: DUP5 0000125c: PUSH2 0x114b 0000125f: JUMP 00001260: JUMPDEST 00001261: SWAP3 00001262: SWAP2 00001263: POP 00001264: POP 00001265: JUMP 00001266: JUMPDEST 00001267: PUSH1 0x00 00001269: PUSH1 0x60 0000126b: DUP3 0000126c: ADD 0000126d: SWAP1 0000126e: POP 0000126f: PUSH2 0x127b 00001272: PUSH1 0x00 00001274: DUP4 00001275: ADD 00001276: DUP7 00001277: PUSH2 0x114b 0000127a: JUMP 0000127b: JUMPDEST 0000127c: PUSH2 0x1288 0000127f: PUSH1 0x20 00001281: DUP4 00001282: ADD 00001283: DUP6 00001284: PUSH2 0x114b 00001287: JUMP 00001288: JUMPDEST 00001289: PUSH2 0x1295 0000128c: PUSH1 0x40 0000128e: DUP4 0000128f: ADD 00001290: DUP5 00001291: PUSH2 0x123c 00001294: JUMP 00001295: JUMPDEST 00001296: SWAP5 00001297: SWAP4 00001298: POP 00001299: POP 0000129a: POP 0000129b: POP 0000129c: JUMP 0000129d: JUMPDEST 0000129e: PUSH1 0x00 000012a0: PUSH1 0x40 000012a2: DUP3 000012a3: ADD 000012a4: SWAP1 000012a5: POP 000012a6: PUSH2 0x12b2 000012a9: PUSH1 0x00 000012ab: DUP4 000012ac: ADD 000012ad: DUP6 000012ae: PUSH2 0x114b 000012b1: JUMP 000012b2: JUMPDEST 000012b3: PUSH2 0x12bf 000012b6: PUSH1 0x20 000012b8: DUP4 000012b9: ADD 000012ba: DUP5 000012bb: PUSH2 0x123c 000012be: JUMP 000012bf: JUMPDEST 000012c0: SWAP4 000012c1: SWAP3 000012c2: POP 000012c3: POP 000012c4: POP 000012c5: JUMP 000012c6: JUMPDEST 000012c7: PUSH1 0x00 000012c9: PUSH1 0x20 000012cb: DUP3 000012cc: ADD 000012cd: SWAP1 000012ce: POP 000012cf: DUP2 000012d0: DUP2 000012d1: SUB 000012d2: PUSH1 0x00 000012d4: DUP4 000012d5: ADD 000012d6: MSTORE 000012d7: PUSH2 0x12e0 000012da: DUP2 000012db: DUP5 000012dc: PUSH2 0x115a 000012df: JUMP 000012e0: JUMPDEST 000012e1: SWAP1 000012e2: POP 000012e3: SWAP3 000012e4: SWAP2 000012e5: POP 000012e6: POP 000012e7: JUMP 000012e8: JUMPDEST 000012e9: PUSH1 0x00 000012eb: PUSH1 0x20 000012ed: DUP3 000012ee: ADD 000012ef: SWAP1 000012f0: POP 000012f1: DUP2 000012f2: DUP2 000012f3: SUB 000012f4: PUSH1 0x00 000012f6: DUP4 000012f7: ADD 000012f8: MSTORE 000012f9: PUSH2 0x1301 000012fc: DUP2 000012fd: PUSH2 0x11b8 00001300: JUMP 00001301: JUMPDEST 00001302: SWAP1 00001303: POP 00001304: SWAP2 00001305: SWAP1 00001306: POP 00001307: JUMP 00001308: JUMPDEST 00001309: PUSH1 0x00 0000130b: PUSH1 0x20 0000130d: DUP3 0000130e: ADD 0000130f: SWAP1 00001310: POP 00001311: DUP2 00001312: DUP2 00001313: SUB 00001314: PUSH1 0x00 00001316: DUP4 00001317: ADD 00001318: MSTORE 00001319: PUSH2 0x1321 0000131c: DUP2 0000131d: PUSH2 0x11db 00001320: JUMP 00001321: JUMPDEST 00001322: SWAP1 00001323: POP 00001324: SWAP2 00001325: SWAP1 00001326: POP 00001327: JUMP 00001328: JUMPDEST 00001329: PUSH1 0x00 0000132b: PUSH1 0x20 0000132d: DUP3 0000132e: ADD 0000132f: SWAP1 00001330: POP 00001331: PUSH2 0x133d 00001334: PUSH1 0x00 00001336: DUP4 00001337: ADD 00001338: DUP5 00001339: PUSH2 0x123c 0000133c: JUMP 0000133d: JUMPDEST 0000133e: SWAP3 0000133f: SWAP2 00001340: POP 00001341: POP 00001342: JUMP 00001343: JUMPDEST 00001344: PUSH1 0x00 00001346: DUP2 00001347: SWAP1 00001348: POP 00001349: PUSH1 0x20 0000134b: DUP3 0000134c: ADD 0000134d: SWAP1 0000134e: POP 0000134f: SWAP2 00001350: SWAP1 00001351: POP 00001352: JUMP 00001353: JUMPDEST 00001354: PUSH1 0x00 00001356: DUP2 00001357: MLOAD 00001358: SWAP1 00001359: POP 0000135a: SWAP2 0000135b: SWAP1 0000135c: POP 0000135d: JUMP 0000135e: JUMPDEST 0000135f: PUSH1 0x00 00001361: PUSH1 0x20 00001363: DUP3 00001364: ADD 00001365: SWAP1 00001366: POP 00001367: SWAP2 00001368: SWAP1 00001369: POP 0000136a: JUMP 0000136b: JUMPDEST 0000136c: PUSH1 0x00 0000136e: DUP3 0000136f: DUP3 00001370: MSTORE 00001371: PUSH1 0x20 00001373: DUP3 00001374: ADD 00001375: SWAP1 00001376: POP 00001377: SWAP3 00001378: SWAP2 00001379: POP 0000137a: POP 0000137b: JUMP 0000137c: JUMPDEST 0000137d: PUSH1 0x00 0000137f: DUP3 00001380: DUP3 00001381: MSTORE 00001382: PUSH1 0x20 00001384: DUP3 00001385: ADD 00001386: SWAP1 00001387: POP 00001388: SWAP3 00001389: SWAP2 0000138a: POP 0000138b: POP 0000138c: JUMP 0000138d: JUMPDEST 0000138e: PUSH1 0x00 00001390: PUSH2 0x1398 00001393: DUP3 00001394: PUSH2 0x148a 00001397: JUMP 00001398: JUMPDEST 00001399: SWAP2 0000139a: POP 0000139b: PUSH2 0x13a3 0000139e: DUP4 0000139f: PUSH2 0x148a 000013a2: JUMP 000013a3: JUMPDEST 000013a4: SWAP3 000013a5: POP 000013a6: DUP3 000013a7: PUSH2 0x13b3 000013aa: JUMPI 000013ab: PUSH2 0x13b2 000013ae: PUSH2 0x150c 000013b1: JUMP 000013b2: JUMPDEST 000013b3: JUMPDEST 000013b4: DUP3 000013b5: DUP3 000013b6: DIV 000013b7: SWAP1 000013b8: POP 000013b9: SWAP3 000013ba: SWAP2 000013bb: POP 000013bc: POP 000013bd: JUMP 000013be: JUMPDEST 000013bf: PUSH1 0x00 000013c1: PUSH2 0x13c9 000013c4: DUP3 000013c5: PUSH2 0x148a 000013c8: JUMP 000013c9: JUMPDEST 000013ca: SWAP2 000013cb: POP 000013cc: PUSH2 0x13d4 000013cf: DUP4 000013d0: PUSH2 0x148a 000013d3: JUMP 000013d4: JUMPDEST 000013d5: SWAP3 000013d6: POP 000013d7: DUP2 000013d8: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000013f9: DIV 000013fa: DUP4 000013fb: GT 000013fc: DUP3 000013fd: ISZERO 000013fe: ISZERO 000013ff: AND 00001400: ISZERO 00001401: PUSH2 0x140d 00001404: JUMPI 00001405: PUSH2 0x140c 00001408: PUSH2 0x14dd 0000140b: JUMP 0000140c: JUMPDEST 0000140d: JUMPDEST 0000140e: DUP3 0000140f: DUP3 00001410: MUL 00001411: SWAP1 00001412: POP 00001413: SWAP3 00001414: SWAP2 00001415: POP 00001416: POP 00001417: JUMP 00001418: JUMPDEST 00001419: PUSH1 0x00 0000141b: PUSH2 0x1423 0000141e: DUP3 0000141f: PUSH2 0x148a 00001422: JUMP 00001423: JUMPDEST 00001424: SWAP2 00001425: POP 00001426: PUSH2 0x142e 00001429: DUP4 0000142a: PUSH2 0x148a 0000142d: JUMP 0000142e: JUMPDEST 0000142f: SWAP3 00001430: POP 00001431: DUP3 00001432: DUP3 00001433: LT 00001434: ISZERO 00001435: PUSH2 0x1441 00001438: JUMPI 00001439: PUSH2 0x1440 0000143c: PUSH2 0x14dd 0000143f: JUMP 00001440: JUMPDEST 00001441: JUMPDEST 00001442: DUP3 00001443: DUP3 00001444: SUB 00001445: SWAP1 00001446: POP 00001447: SWAP3 00001448: SWAP2 00001449: POP 0000144a: POP 0000144b: JUMP 0000144c: JUMPDEST 0000144d: PUSH1 0x00 0000144f: PUSH2 0x1457 00001452: DUP3 00001453: PUSH2 0x146a 00001456: JUMP 00001457: JUMPDEST 00001458: SWAP1 00001459: POP 0000145a: SWAP2 0000145b: SWAP1 0000145c: POP 0000145d: JUMP 0000145e: JUMPDEST 0000145f: PUSH1 0x00 00001461: DUP2 00001462: ISZERO 00001463: ISZERO 00001464: SWAP1 00001465: POP 00001466: SWAP2 00001467: SWAP1 00001468: POP 00001469: JUMP 0000146a: JUMPDEST 0000146b: PUSH1 0x00 0000146d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001482: DUP3 00001483: AND 00001484: SWAP1 00001485: POP 00001486: SWAP2 00001487: SWAP1 00001488: POP 00001489: JUMP 0000148a: JUMPDEST 0000148b: PUSH1 0x00 0000148d: DUP2 0000148e: SWAP1 0000148f: POP 00001490: SWAP2 00001491: SWAP1 00001492: POP 00001493: JUMP 00001494: JUMPDEST 00001495: PUSH1 0x00 00001497: PUSH2 0x149f 0000149a: DUP3 0000149b: PUSH2 0x148a 0000149e: JUMP 0000149f: JUMPDEST 000014a0: SWAP2 000014a1: POP 000014a2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000014c3: DUP3 000014c4: EQ 000014c5: ISZERO 000014c6: PUSH2 0x14d2 000014c9: JUMPI 000014ca: PUSH2 0x14d1 000014cd: PUSH2 0x14dd 000014d0: JUMP 000014d1: JUMPDEST 000014d2: JUMPDEST 000014d3: PUSH1 0x01 000014d5: DUP3 000014d6: ADD 000014d7: SWAP1 000014d8: POP 000014d9: SWAP2 000014da: SWAP1 000014db: POP 000014dc: JUMP 000014dd: JUMPDEST 000014de: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000014ff: PUSH1 0x00 00001501: MSTORE 00001502: PUSH1 0x11 00001504: PUSH1 0x04 00001506: MSTORE 00001507: PUSH1 0x24 00001509: PUSH1 0x00 0000150b: REVERT 0000150c: JUMPDEST 0000150d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000152e: PUSH1 0x00 00001530: MSTORE 00001531: PUSH1 0x12 00001533: PUSH1 0x04 00001535: MSTORE 00001536: PUSH1 0x24 00001538: PUSH1 0x00 0000153a: REVERT 0000153b: JUMPDEST 0000153c: PUSH32 0x21676f7665726e616e6365000000000000000000000000000000000000000000 0000155d: PUSH1 0x00 0000155f: DUP3 00001560: ADD 00001561: MSTORE 00001562: POP 00001563: JUMP 00001564: JUMPDEST 00001565: PUSH32 0x4c6f626973206c6f636b656420756e74696c20666f7265766572000000000000 00001586: PUSH1 0x00 00001588: DUP3 00001589: ADD 0000158a: MSTORE 0000158b: POP 0000158c: JUMP 0000158d: JUMPDEST 0000158e: PUSH2 0x1596 00001591: DUP2 00001592: PUSH2 0x144c 00001595: JUMP 00001596: JUMPDEST 00001597: DUP2 00001598: EQ 00001599: PUSH2 0x15a1 0000159c: JUMPI 0000159d: PUSH1 0x00 0000159f: DUP1 000015a0: REVERT 000015a1: JUMPDEST 000015a2: POP 000015a3: JUMP 000015a4: JUMPDEST 000015a5: PUSH2 0x15ad 000015a8: DUP2 000015a9: PUSH2 0x145e 000015ac: JUMP 000015ad: JUMPDEST 000015ae: DUP2 000015af: EQ 000015b0: PUSH2 0x15b8 000015b3: JUMPI 000015b4: PUSH1 0x00 000015b6: DUP1 000015b7: REVERT 000015b8: JUMPDEST 000015b9: POP 000015ba: JUMP 000015bb: JUMPDEST 000015bc: PUSH2 0x15c4 000015bf: DUP2 000015c0: PUSH2 0x148a 000015c3: JUMP 000015c4: JUMPDEST 000015c5: DUP2 000015c6: EQ 000015c7: PUSH2 0x15cf 000015ca: JUMPI 000015cb: PUSH1 0x00 000015cd: DUP1 000015ce: REVERT 000015cf: JUMPDEST 000015d0: POP 000015d1: JUMP 000015d2: INVALID 000015d3: LOG2 000015d4: PUSH5 0x6970667358 000015da: UNKNOWN(0x22) 000015db: SLT 000015dc: KECCAK256 000015dd: UNKNOWN(0xC5) 000015de: UNKNOWN(0x4D) 000015df: ISZERO 000015e0: UNKNOWN(0x4E) 000015e1: UNKNOWN(0xB8) 000015e2: UNKNOWN(0xAB) 000015e3: UNKNOWN(0x4D) 000015e4: BLOCKHASH 000015e5: UNKNOWN(0xDD) 000015e6: CALL 000015e7: UNKNOWN(0xC1) 000015e8: COINBASE 000015e9: SWAP6 000015ea: DUP4 000015eb: STATICCALL 000015ec: INVALID 000015ed: PUSH23 0x289408f8104df62d31f29859b4c54864736f6c63430008 00001605: DIV 00001606: STOP 00001607: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xc7847289c5335ebde45a4dc0e53617b1bc9bc0814961a9743b514b89488646c4
call_targets:
0x889dfe07caa0baf3814ddcd1b933d208d9913b5e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc7847289c5335ebde45a4dc0e53617b1bc9bc0814961a9743b514b89488646c4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x889dfe07caa0baf3814ddcd1b933d208d9913b5e"
],
"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": "0x5fa7b584",
"selector": "0x5fa7b584",
"calldata_variants": [
"0x5fa7b584",
"0x5fa7b5840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x72a0f6ae",
"selector": "0x72a0f6ae",
"calldata_variants": [
"0x72a0f6ae",
"0x72a0f6ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa8734f0b",
"selector": "0xa8734f0b",
"calldata_variants": [
"0xa8734f0b",
"0xa8734f0b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1d58b25",
"selector": "0xd1d58b25",
"calldata_variants": [
"0xd1d58b25",
"0xd1d58b250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd38bfff4",
"selector": "0xd38bfff4",
"calldata_variants": [
"0xd38bfff4",
"0xd38bfff40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd48bfca7",
"selector": "0xd48bfca7",
"calldata_variants": [
"0xd48bfca7",
"0xd48bfca70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x069c9fae",
"selector": "0x069c9fae",
"calldata_variants": [
"0x069c9fae",
"0x069c9fae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2bdb7097",
"selector": "0x2bdb7097",
"calldata_variants": [
"0x2bdb7097",
"0x2bdb70970000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 957,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1412,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1867,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 604,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1073,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2264,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3605,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3906,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xc7847289c5335ebde45a4dc0e53617b1bc9bc0814961a9743b514b89488646c4
call_targets:
0x889dfe07caa0baf3814ddcd1b933d208d9913b5e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc7847289c5335ebde45a4dc0e53617b1bc9bc0814961a9743b514b89488646c4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x889dfe07caa0baf3814ddcd1b933d208d9913b5e"
],
"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": "0x5fa7b584",
"selector": "0x5fa7b584",
"calldata_variants": [
"0x5fa7b584",
"0x5fa7b5840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x72a0f6ae",
"selector": "0x72a0f6ae",
"calldata_variants": [
"0x72a0f6ae",
"0x72a0f6ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa8734f0b",
"selector": "0xa8734f0b",
"calldata_variants": [
"0xa8734f0b",
"0xa8734f0b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1d58b25",
"selector": "0xd1d58b25",
"calldata_variants": [
"0xd1d58b25",
"0xd1d58b250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd38bfff4",
"selector": "0xd38bfff4",
"calldata_variants": [
"0xd38bfff4",
"0xd38bfff40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd48bfca7",
"selector": "0xd48bfca7",
"calldata_variants": [
"0xd48bfca7",
"0xd48bfca70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x069c9fae",
"selector": "0x069c9fae",
"calldata_variants": [
"0x069c9fae",
"0x069c9fae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2bdb7097",
"selector": "0x2bdb7097",
"calldata_variants": [
"0x2bdb7097",
"0x2bdb70970000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 957,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1412,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1867,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 604,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1073,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2264,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3605,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3906,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|