019b477e-c39a-73de-99f0-cd920571bd0f
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 |
|---|---|---|---|---|
| 25249 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 25250 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 68174 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 68175 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 68176 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 68177 | 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 0x997664d7 00000019: GT 0000001a: PUSH2 0x0059 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x997664d7 00000024: EQ 00000025: PUSH2 0x0179 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xce7c2ac2 0000002f: EQ 00000030: PUSH2 0x01a4 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd0e30db0 0000003a: EQ 0000003b: PUSH2 0x01e3 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe2d2e219 00000045: EQ 00000046: PUSH2 0x01ed 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 0x1014edf5 00000060: EQ 00000061: PUSH2 0x0096 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x14b6ca96 0000006b: EQ 0000006c: PUSH2 0x00bf 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x15f7e05e 00000076: EQ 00000077: PUSH2 0x00e8 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x28fd3198 00000081: EQ 00000082: PUSH2 0x0111 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x3a98ef39 0000008c: EQ 0000008d: PUSH2 0x014e 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 0x00bd 000000a7: PUSH1 0x04 000000a9: DUP1 000000aa: CALLDATASIZE 000000ab: SUB 000000ac: DUP2 000000ad: ADD 000000ae: SWAP1 000000af: PUSH2 0x00b8 000000b2: SWAP2 000000b3: SWAP1 000000b4: PUSH2 0x0fe7 000000b7: JUMP 000000b8: JUMPDEST 000000b9: PUSH2 0x0243 000000bc: JUMP 000000bd: JUMPDEST 000000be: STOP 000000bf: JUMPDEST 000000c0: CALLVALUE 000000c1: DUP1 000000c2: ISZERO 000000c3: PUSH2 0x00cb 000000c6: JUMPI 000000c7: PUSH1 0x00 000000c9: DUP1 000000ca: REVERT 000000cb: JUMPDEST 000000cc: POP 000000cd: PUSH2 0x00e6 000000d0: PUSH1 0x04 000000d2: DUP1 000000d3: CALLDATASIZE 000000d4: SUB 000000d5: DUP2 000000d6: ADD 000000d7: SWAP1 000000d8: PUSH2 0x00e1 000000db: SWAP2 000000dc: SWAP1 000000dd: PUSH2 0x0fa7 000000e0: JUMP 000000e1: JUMPDEST 000000e2: PUSH2 0x02fd 000000e5: JUMP 000000e6: JUMPDEST 000000e7: STOP 000000e8: JUMPDEST 000000e9: CALLVALUE 000000ea: DUP1 000000eb: ISZERO 000000ec: PUSH2 0x00f4 000000ef: JUMPI 000000f0: PUSH1 0x00 000000f2: DUP1 000000f3: REVERT 000000f4: JUMPDEST 000000f5: POP 000000f6: PUSH2 0x010f 000000f9: PUSH1 0x04 000000fb: DUP1 000000fc: CALLDATASIZE 000000fd: SUB 000000fe: DUP2 000000ff: ADD 00000100: SWAP1 00000101: PUSH2 0x010a 00000104: SWAP2 00000105: SWAP1 00000106: PUSH2 0x0f7a 00000109: JUMP 0000010a: JUMPDEST 0000010b: PUSH2 0x05bc 0000010e: JUMP 0000010f: JUMPDEST 00000110: STOP 00000111: JUMPDEST 00000112: CALLVALUE 00000113: DUP1 00000114: ISZERO 00000115: PUSH2 0x011d 00000118: JUMPI 00000119: PUSH1 0x00 0000011b: DUP1 0000011c: REVERT 0000011d: JUMPDEST 0000011e: POP 0000011f: PUSH2 0x0138 00000122: PUSH1 0x04 00000124: DUP1 00000125: CALLDATASIZE 00000126: SUB 00000127: DUP2 00000128: ADD 00000129: SWAP1 0000012a: PUSH2 0x0133 0000012d: SWAP2 0000012e: SWAP1 0000012f: PUSH2 0x0f7a 00000132: JUMP 00000133: JUMPDEST 00000134: PUSH2 0x0620 00000137: JUMP 00000138: JUMPDEST 00000139: PUSH1 0x40 0000013b: MLOAD 0000013c: PUSH2 0x0145 0000013f: SWAP2 00000140: SWAP1 00000141: PUSH2 0x1117 00000144: JUMP 00000145: JUMPDEST 00000146: PUSH1 0x40 00000148: MLOAD 00000149: DUP1 0000014a: SWAP2 0000014b: SUB 0000014c: SWAP1 0000014d: RETURN 0000014e: JUMPDEST 0000014f: CALLVALUE 00000150: DUP1 00000151: ISZERO 00000152: PUSH2 0x015a 00000155: JUMPI 00000156: PUSH1 0x00 00000158: DUP1 00000159: REVERT 0000015a: JUMPDEST 0000015b: POP 0000015c: PUSH2 0x0163 0000015f: PUSH2 0x073a 00000162: JUMP 00000163: JUMPDEST 00000164: PUSH1 0x40 00000166: MLOAD 00000167: PUSH2 0x0170 0000016a: SWAP2 0000016b: SWAP1 0000016c: PUSH2 0x1117 0000016f: JUMP 00000170: JUMPDEST 00000171: PUSH1 0x40 00000173: MLOAD 00000174: DUP1 00000175: SWAP2 00000176: SUB 00000177: SWAP1 00000178: RETURN 00000179: JUMPDEST 0000017a: CALLVALUE 0000017b: DUP1 0000017c: ISZERO 0000017d: PUSH2 0x0185 00000180: JUMPI 00000181: PUSH1 0x00 00000183: DUP1 00000184: REVERT 00000185: JUMPDEST 00000186: POP 00000187: PUSH2 0x018e 0000018a: PUSH2 0x0740 0000018d: JUMP 0000018e: JUMPDEST 0000018f: PUSH1 0x40 00000191: MLOAD 00000192: PUSH2 0x019b 00000195: SWAP2 00000196: SWAP1 00000197: PUSH2 0x1117 0000019a: JUMP 0000019b: JUMPDEST 0000019c: PUSH1 0x40 0000019e: MLOAD 0000019f: DUP1 000001a0: SWAP2 000001a1: SUB 000001a2: SWAP1 000001a3: RETURN 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 0x01cb 000001b5: PUSH1 0x04 000001b7: DUP1 000001b8: CALLDATASIZE 000001b9: SUB 000001ba: DUP2 000001bb: ADD 000001bc: SWAP1 000001bd: PUSH2 0x01c6 000001c0: SWAP2 000001c1: SWAP1 000001c2: PUSH2 0x0f7a 000001c5: JUMP 000001c6: JUMPDEST 000001c7: PUSH2 0x0746 000001ca: JUMP 000001cb: JUMPDEST 000001cc: PUSH1 0x40 000001ce: MLOAD 000001cf: PUSH2 0x01da 000001d2: SWAP4 000001d3: SWAP3 000001d4: SWAP2 000001d5: SWAP1 000001d6: PUSH2 0x1132 000001d9: JUMP 000001da: JUMPDEST 000001db: PUSH1 0x40 000001dd: MLOAD 000001de: DUP1 000001df: SWAP2 000001e0: SUB 000001e1: SWAP1 000001e2: RETURN 000001e3: JUMPDEST 000001e4: PUSH2 0x01eb 000001e7: PUSH2 0x0770 000001ea: JUMP 000001eb: JUMPDEST 000001ec: STOP 000001ed: JUMPDEST 000001ee: CALLVALUE 000001ef: DUP1 000001f0: ISZERO 000001f1: PUSH2 0x01f9 000001f4: JUMPI 000001f5: PUSH1 0x00 000001f7: DUP1 000001f8: REVERT 000001f9: JUMPDEST 000001fa: POP 000001fb: PUSH2 0x0202 000001fe: PUSH2 0x082e 00000201: JUMP 00000202: JUMPDEST 00000203: PUSH1 0x40 00000205: MLOAD 00000206: PUSH2 0x020f 00000209: SWAP2 0000020a: SWAP1 0000020b: PUSH2 0x1117 0000020e: JUMP 0000020f: JUMPDEST 00000210: PUSH1 0x40 00000212: MLOAD 00000213: DUP1 00000214: SWAP2 00000215: SUB 00000216: SWAP1 00000217: RETURN 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 0x01 00000246: PUSH1 0x00 00000248: SWAP1 00000249: SLOAD 0000024a: SWAP1 0000024b: PUSH2 0x0100 0000024e: EXP 0000024f: SWAP1 00000250: DIV 00000251: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000266: AND 00000267: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000027c: AND 0000027d: CALLER 0000027e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000293: AND 00000294: EQ 00000295: PUSH2 0x029d 00000298: JUMPI 00000299: PUSH1 0x00 0000029b: DUP1 0000029c: REVERT 0000029d: JUMPDEST 0000029e: PUSH1 0x00 000002a0: SELFBALANCE 000002a1: SWAP1 000002a2: POP 000002a3: DUP2 000002a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002b9: AND 000002ba: PUSH2 0x08fc 000002bd: PUSH1 0x00 000002bf: DUP6 000002c0: GT 000002c1: PUSH2 0x02ca 000002c4: JUMPI 000002c5: DUP3 000002c6: PUSH2 0x02cc 000002c9: JUMP 000002ca: JUMPDEST 000002cb: DUP5 000002cc: JUMPDEST 000002cd: SWAP1 000002ce: DUP2 000002cf: ISZERO 000002d0: MUL 000002d1: SWAP1 000002d2: PUSH1 0x40 000002d4: MLOAD 000002d5: PUSH1 0x00 000002d7: PUSH1 0x40 000002d9: MLOAD 000002da: DUP1 000002db: DUP4 000002dc: SUB 000002dd: DUP2 000002de: DUP6 000002df: DUP9 000002e0: DUP9 000002e1: CALL 000002e2: SWAP4 000002e3: POP 000002e4: POP 000002e5: POP 000002e6: POP 000002e7: ISZERO 000002e8: DUP1 000002e9: ISZERO 000002ea: PUSH2 0x02f7 000002ed: JUMPI 000002ee: RETURNDATASIZE 000002ef: PUSH1 0x00 000002f1: DUP1 000002f2: RETURNDATACOPY 000002f3: RETURNDATASIZE 000002f4: PUSH1 0x00 000002f6: REVERT 000002f7: JUMPDEST 000002f8: POP 000002f9: POP 000002fa: POP 000002fb: POP 000002fc: JUMP 000002fd: JUMPDEST 000002fe: PUSH1 0x00 00000300: DUP1 00000301: SLOAD 00000302: SWAP1 00000303: PUSH2 0x0100 00000306: EXP 00000307: SWAP1 00000308: DIV 00000309: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000031e: AND 0000031f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000334: AND 00000335: CALLER 00000336: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000034b: AND 0000034c: EQ 0000034d: PUSH2 0x0355 00000350: JUMPI 00000351: PUSH1 0x00 00000353: DUP1 00000354: REVERT 00000355: JUMPDEST 00000356: PUSH1 0x00 00000358: PUSH1 0x04 0000035a: PUSH1 0x00 0000035c: DUP5 0000035d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000372: AND 00000373: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000388: AND 00000389: DUP2 0000038a: MSTORE 0000038b: PUSH1 0x20 0000038d: ADD 0000038e: SWAP1 0000038f: DUP2 00000390: MSTORE 00000391: PUSH1 0x20 00000393: ADD 00000394: PUSH1 0x00 00000396: KECCAK256 00000397: PUSH1 0x00 00000399: ADD 0000039a: SLOAD 0000039b: GT 0000039c: ISZERO 0000039d: PUSH2 0x03aa 000003a0: JUMPI 000003a1: PUSH2 0x03a9 000003a4: DUP3 000003a5: PUSH2 0x083a 000003a8: JUMP 000003a9: JUMPDEST 000003aa: JUMPDEST 000003ab: PUSH1 0x00 000003ad: DUP2 000003ae: GT 000003af: DUP1 000003b0: ISZERO 000003b1: PUSH2 0x03fc 000003b4: JUMPI 000003b5: POP 000003b6: PUSH1 0x00 000003b8: PUSH1 0x04 000003ba: PUSH1 0x00 000003bc: DUP5 000003bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003d2: AND 000003d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003e8: AND 000003e9: DUP2 000003ea: MSTORE 000003eb: PUSH1 0x20 000003ed: ADD 000003ee: SWAP1 000003ef: DUP2 000003f0: MSTORE 000003f1: PUSH1 0x20 000003f3: ADD 000003f4: PUSH1 0x00 000003f6: KECCAK256 000003f7: PUSH1 0x00 000003f9: ADD 000003fa: SLOAD 000003fb: EQ 000003fc: JUMPDEST 000003fd: ISZERO 000003fe: PUSH2 0x040f 00000401: JUMPI 00000402: PUSH2 0x040a 00000405: DUP3 00000406: PUSH2 0x0a34 00000409: JUMP 0000040a: JUMPDEST 0000040b: PUSH2 0x0471 0000040e: JUMP 0000040f: JUMPDEST 00000410: PUSH1 0x00 00000412: DUP2 00000413: EQ 00000414: DUP1 00000415: ISZERO 00000416: PUSH2 0x0461 00000419: JUMPI 0000041a: POP 0000041b: PUSH1 0x00 0000041d: PUSH1 0x04 0000041f: PUSH1 0x00 00000421: DUP5 00000422: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000437: AND 00000438: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000044d: AND 0000044e: DUP2 0000044f: MSTORE 00000450: PUSH1 0x20 00000452: ADD 00000453: SWAP1 00000454: DUP2 00000455: MSTORE 00000456: PUSH1 0x20 00000458: ADD 00000459: PUSH1 0x00 0000045b: KECCAK256 0000045c: PUSH1 0x00 0000045e: ADD 0000045f: SLOAD 00000460: GT 00000461: JUMPDEST 00000462: ISZERO 00000463: PUSH2 0x0470 00000466: JUMPI 00000467: PUSH2 0x046f 0000046a: DUP3 0000046b: PUSH2 0x0ae3 0000046e: JUMP 0000046f: JUMPDEST 00000470: JUMPDEST 00000471: JUMPDEST 00000472: PUSH2 0x04da 00000475: DUP2 00000476: PUSH2 0x04cc 00000479: PUSH1 0x04 0000047b: PUSH1 0x00 0000047d: DUP7 0000047e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000493: AND 00000494: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a9: AND 000004aa: DUP2 000004ab: MSTORE 000004ac: PUSH1 0x20 000004ae: ADD 000004af: SWAP1 000004b0: DUP2 000004b1: MSTORE 000004b2: PUSH1 0x20 000004b4: ADD 000004b5: PUSH1 0x00 000004b7: KECCAK256 000004b8: PUSH1 0x00 000004ba: ADD 000004bb: SLOAD 000004bc: PUSH1 0x05 000004be: SLOAD 000004bf: PUSH2 0x0cea 000004c2: SWAP1 000004c3: SWAP2 000004c4: SWAP1 000004c5: PUSH4 0xffffffff 000004ca: AND 000004cb: JUMP 000004cc: JUMPDEST 000004cd: PUSH2 0x0d34 000004d0: SWAP1 000004d1: SWAP2 000004d2: SWAP1 000004d3: PUSH4 0xffffffff 000004d8: AND 000004d9: JUMP 000004da: JUMPDEST 000004db: PUSH1 0x05 000004dd: DUP2 000004de: SWAP1 000004df: SSTORE 000004e0: POP 000004e1: DUP1 000004e2: PUSH1 0x04 000004e4: PUSH1 0x00 000004e6: DUP5 000004e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004fc: AND 000004fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000512: AND 00000513: DUP2 00000514: MSTORE 00000515: PUSH1 0x20 00000517: ADD 00000518: SWAP1 00000519: DUP2 0000051a: MSTORE 0000051b: PUSH1 0x20 0000051d: ADD 0000051e: PUSH1 0x00 00000520: KECCAK256 00000521: PUSH1 0x00 00000523: ADD 00000524: DUP2 00000525: SWAP1 00000526: SSTORE 00000527: POP 00000528: PUSH2 0x0572 0000052b: PUSH1 0x04 0000052d: PUSH1 0x00 0000052f: DUP5 00000530: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000545: AND 00000546: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000055b: AND 0000055c: DUP2 0000055d: MSTORE 0000055e: PUSH1 0x20 00000560: ADD 00000561: SWAP1 00000562: DUP2 00000563: MSTORE 00000564: PUSH1 0x20 00000566: ADD 00000567: PUSH1 0x00 00000569: KECCAK256 0000056a: PUSH1 0x00 0000056c: ADD 0000056d: SLOAD 0000056e: PUSH2 0x0d92 00000571: JUMP 00000572: JUMPDEST 00000573: PUSH1 0x04 00000575: PUSH1 0x00 00000577: DUP5 00000578: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000058d: AND 0000058e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a3: AND 000005a4: DUP2 000005a5: MSTORE 000005a6: PUSH1 0x20 000005a8: ADD 000005a9: SWAP1 000005aa: DUP2 000005ab: MSTORE 000005ac: PUSH1 0x20 000005ae: ADD 000005af: PUSH1 0x00 000005b1: KECCAK256 000005b2: PUSH1 0x01 000005b4: ADD 000005b5: DUP2 000005b6: SWAP1 000005b7: SSTORE 000005b8: POP 000005b9: POP 000005ba: POP 000005bb: JUMP 000005bc: JUMPDEST 000005bd: PUSH1 0x00 000005bf: DUP1 000005c0: SLOAD 000005c1: SWAP1 000005c2: PUSH2 0x0100 000005c5: EXP 000005c6: SWAP1 000005c7: DIV 000005c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005dd: AND 000005de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f3: AND 000005f4: CALLER 000005f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000060a: AND 0000060b: EQ 0000060c: PUSH2 0x0614 0000060f: JUMPI 00000610: PUSH1 0x00 00000612: DUP1 00000613: REVERT 00000614: JUMPDEST 00000615: PUSH2 0x061d 00000618: DUP2 00000619: PUSH2 0x083a 0000061c: JUMP 0000061d: JUMPDEST 0000061e: POP 0000061f: JUMP 00000620: JUMPDEST 00000621: PUSH1 0x00 00000623: DUP1 00000624: PUSH1 0x04 00000626: PUSH1 0x00 00000628: DUP5 00000629: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000063e: AND 0000063f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000654: AND 00000655: DUP2 00000656: MSTORE 00000657: PUSH1 0x20 00000659: ADD 0000065a: SWAP1 0000065b: DUP2 0000065c: MSTORE 0000065d: PUSH1 0x20 0000065f: ADD 00000660: PUSH1 0x00 00000662: KECCAK256 00000663: PUSH1 0x00 00000665: ADD 00000666: SLOAD 00000667: EQ 00000668: ISZERO 00000669: PUSH2 0x0675 0000066c: JUMPI 0000066d: PUSH1 0x00 0000066f: SWAP1 00000670: POP 00000671: PUSH2 0x0735 00000674: JUMP 00000675: JUMPDEST 00000676: PUSH1 0x00 00000678: PUSH2 0x06c2 0000067b: PUSH1 0x04 0000067d: PUSH1 0x00 0000067f: DUP6 00000680: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000695: AND 00000696: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ab: AND 000006ac: DUP2 000006ad: MSTORE 000006ae: PUSH1 0x20 000006b0: ADD 000006b1: SWAP1 000006b2: DUP2 000006b3: MSTORE 000006b4: PUSH1 0x20 000006b6: ADD 000006b7: PUSH1 0x00 000006b9: KECCAK256 000006ba: PUSH1 0x00 000006bc: ADD 000006bd: SLOAD 000006be: PUSH2 0x0d92 000006c1: JUMP 000006c2: JUMPDEST 000006c3: SWAP1 000006c4: POP 000006c5: PUSH1 0x00 000006c7: PUSH1 0x04 000006c9: PUSH1 0x00 000006cb: DUP6 000006cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006e1: AND 000006e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f7: AND 000006f8: DUP2 000006f9: MSTORE 000006fa: PUSH1 0x20 000006fc: ADD 000006fd: SWAP1 000006fe: DUP2 000006ff: MSTORE 00000700: PUSH1 0x20 00000702: ADD 00000703: PUSH1 0x00 00000705: KECCAK256 00000706: PUSH1 0x01 00000708: ADD 00000709: SLOAD 0000070a: SWAP1 0000070b: POP 0000070c: DUP1 0000070d: DUP3 0000070e: GT 0000070f: PUSH2 0x071d 00000712: JUMPI 00000713: PUSH1 0x00 00000715: SWAP3 00000716: POP 00000717: POP 00000718: POP 00000719: PUSH2 0x0735 0000071c: JUMP 0000071d: JUMPDEST 0000071e: PUSH2 0x0730 00000721: DUP2 00000722: DUP4 00000723: PUSH2 0x0cea 00000726: SWAP1 00000727: SWAP2 00000728: SWAP1 00000729: PUSH4 0xffffffff 0000072e: AND 0000072f: JUMP 00000730: JUMPDEST 00000731: SWAP3 00000732: POP 00000733: POP 00000734: POP 00000735: JUMPDEST 00000736: SWAP2 00000737: SWAP1 00000738: POP 00000739: JUMP 0000073a: JUMPDEST 0000073b: PUSH1 0x05 0000073d: SLOAD 0000073e: DUP2 0000073f: JUMP 00000740: JUMPDEST 00000741: PUSH1 0x06 00000743: SLOAD 00000744: DUP2 00000745: JUMP 00000746: JUMPDEST 00000747: PUSH1 0x04 00000749: PUSH1 0x20 0000074b: MSTORE 0000074c: DUP1 0000074d: PUSH1 0x00 0000074f: MSTORE 00000750: PUSH1 0x40 00000752: PUSH1 0x00 00000754: KECCAK256 00000755: PUSH1 0x00 00000757: SWAP2 00000758: POP 00000759: SWAP1 0000075a: POP 0000075b: DUP1 0000075c: PUSH1 0x00 0000075e: ADD 0000075f: SLOAD 00000760: SWAP1 00000761: DUP1 00000762: PUSH1 0x01 00000764: ADD 00000765: SLOAD 00000766: SWAP1 00000767: DUP1 00000768: PUSH1 0x02 0000076a: ADD 0000076b: SLOAD 0000076c: SWAP1 0000076d: POP 0000076e: DUP4 0000076f: JUMP 00000770: JUMPDEST 00000771: PUSH1 0x00 00000773: DUP1 00000774: SLOAD 00000775: SWAP1 00000776: PUSH2 0x0100 00000779: EXP 0000077a: SWAP1 0000077b: DIV 0000077c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000791: AND 00000792: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007a7: AND 000007a8: CALLER 000007a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007be: AND 000007bf: EQ 000007c0: PUSH2 0x07c8 000007c3: JUMPI 000007c4: PUSH1 0x00 000007c6: DUP1 000007c7: REVERT 000007c8: JUMPDEST 000007c9: PUSH1 0x00 000007cb: CALLVALUE 000007cc: SWAP1 000007cd: POP 000007ce: PUSH2 0x07e2 000007d1: DUP2 000007d2: PUSH1 0x06 000007d4: SLOAD 000007d5: PUSH2 0x0d34 000007d8: SWAP1 000007d9: SWAP2 000007da: SWAP1 000007db: PUSH4 0xffffffff 000007e0: AND 000007e1: JUMP 000007e2: JUMPDEST 000007e3: PUSH1 0x06 000007e5: DUP2 000007e6: SWAP1 000007e7: SSTORE 000007e8: POP 000007e9: PUSH2 0x0825 000007ec: PUSH2 0x0814 000007ef: PUSH1 0x05 000007f1: SLOAD 000007f2: PUSH2 0x0806 000007f5: DUP5 000007f6: PUSH1 0x09 000007f8: SLOAD 000007f9: PUSH2 0x0dc4 000007fc: SWAP1 000007fd: SWAP2 000007fe: SWAP1 000007ff: PUSH4 0xffffffff 00000804: AND 00000805: JUMP 00000806: JUMPDEST 00000807: PUSH2 0x0e3f 0000080a: SWAP1 0000080b: SWAP2 0000080c: SWAP1 0000080d: PUSH4 0xffffffff 00000812: AND 00000813: JUMP 00000814: JUMPDEST 00000815: PUSH1 0x08 00000817: SLOAD 00000818: PUSH2 0x0d34 0000081b: SWAP1 0000081c: SWAP2 0000081d: SWAP1 0000081e: PUSH4 0xffffffff 00000823: AND 00000824: JUMP 00000825: JUMPDEST 00000826: PUSH1 0x08 00000828: DUP2 00000829: SWAP1 0000082a: SSTORE 0000082b: POP 0000082c: POP 0000082d: JUMP 0000082e: JUMPDEST 0000082f: PUSH1 0x08 00000831: SLOAD 00000832: DUP2 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 0x0620 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: EXTCODEHASH 0000148d: SWAP11 0000148e: MSTORE8 0000148f: UNKNOWN(0xD1) 00001490: UNKNOWN(0xA7) 00001491: LT 00001492: DUP7 00001493: DUP13 00001494: REVERT 00001495: SWAP11 00001496: ADDRESS 00001497: UNKNOWN(0xED) 00001498: UNKNOWN(0xDB) 00001499: UNKNOWN(0xC8) 0000149a: SWAP12 0000149b: PUSH13 0xf27499784d787c9ef9ed8e88a2 000014a9: SHR 000014aa: UNKNOWN(0xC4) 000014ab: DUP10 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: 0x6cc3ebded938a820efd689e2f1971f085a23adc28d88529ed4f8376c125b6395
call_targets:
0x705d80bbc3d38fb9ced808626782b474e3b7a4d6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6cc3ebded938a820efd689e2f1971f085a23adc28d88529ed4f8376c125b6395",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x705d80bbc3d38fb9ced808626782b474e3b7a4d6"
],
"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": "0x997664d7",
"selector": "0x997664d7",
"calldata_variants": [
"0x997664d7",
"0x997664d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe2d2e219",
"selector": "0xe2d2e219",
"calldata_variants": [
"0xe2d2e219",
"0xe2d2e2190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefca2eed",
"selector": "0xefca2eed",
"calldata_variants": [
"0xefca2eed",
"0xefca2eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1014edf5",
"selector": "0x1014edf5",
"calldata_variants": [
"0x1014edf5",
"0x1014edf50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14b6ca96",
"selector": "0x14b6ca96",
"calldata_variants": [
"0x14b6ca96",
"0x14b6ca960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x15f7e05e",
"selector": "0x15f7e05e",
"calldata_variants": [
"0x15f7e05e",
"0x15f7e05e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 737,
"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": 637,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 821,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1524,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1960,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x6cc3ebded938a820efd689e2f1971f085a23adc28d88529ed4f8376c125b6395
call_targets:
0x705d80bbc3d38fb9ced808626782b474e3b7a4d6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6cc3ebded938a820efd689e2f1971f085a23adc28d88529ed4f8376c125b6395",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x705d80bbc3d38fb9ced808626782b474e3b7a4d6"
],
"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": "0x997664d7",
"selector": "0x997664d7",
"calldata_variants": [
"0x997664d7",
"0x997664d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe2d2e219",
"selector": "0xe2d2e219",
"calldata_variants": [
"0xe2d2e219",
"0xe2d2e2190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefca2eed",
"selector": "0xefca2eed",
"calldata_variants": [
"0xefca2eed",
"0xefca2eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1014edf5",
"selector": "0x1014edf5",
"calldata_variants": [
"0x1014edf5",
"0x1014edf50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14b6ca96",
"selector": "0x14b6ca96",
"calldata_variants": [
"0x14b6ca96",
"0x14b6ca960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x15f7e05e",
"selector": "0x15f7e05e",
"calldata_variants": [
"0x15f7e05e",
"0x15f7e05e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 737,
"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": 637,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 821,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1524,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1960,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|