019ba8e4-0741-71d1-b9d9-e676102ae814
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 |
|---|---|---|---|---|
| 33387 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 33388 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 33389 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 33390 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 33391 | capability.graph | complete | 1 / 3 | 3 months ago |
| 33392 | detector.run | complete | 1 / 3 | 3 months ago |
| 33393 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00c6 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x007f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xbf1b4061 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xbf1b4061 0000002f: EQ 00000030: PUSH2 0x0244 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc4a2c6e6 0000003a: EQ 0000003b: PUSH2 0x0268 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xc8be08a4 00000045: EQ 00000046: PUSH2 0x0288 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x02a8 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x8da5cb5b 00000060: EQ 00000061: PUSH2 0x01e7 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x8de20b94 0000006b: EQ 0000006c: PUSH2 0x020f 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xaad2816e 00000076: EQ 00000077: PUSH2 0x022f 0000007a: JUMPI 0000007b: PUSH1 0x00 0000007d: DUP1 0000007e: REVERT 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0x1f0ce4f5 00000086: EQ 00000087: PUSH2 0x0105 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x2e7ba6ef 00000091: EQ 00000092: PUSH2 0x013c 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x3ff8035b 0000009c: EQ 0000009d: PUSH2 0x015e 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x5c975abb 000000a7: EQ 000000a8: PUSH2 0x0173 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x674a2a90 000000b2: EQ 000000b3: PUSH2 0x0197 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x715018a6 000000bd: EQ 000000be: PUSH2 0x01d2 000000c1: JUMPI 000000c2: PUSH1 0x00 000000c4: DUP1 000000c5: REVERT 000000c6: JUMPDEST 000000c7: CALLDATASIZE 000000c8: PUSH2 0x0100 000000cb: JUMPI 000000cc: PUSH1 0x40 000000ce: MLOAD 000000cf: CALLVALUE 000000d0: DUP2 000000d1: MSTORE 000000d2: PUSH32 0x27f12abfe35860a9a927b465bb3d4a9c23c8428174b83f278fe45ed7b4da2662 000000f3: SWAP1 000000f4: PUSH1 0x20 000000f6: ADD 000000f7: PUSH1 0x40 000000f9: MLOAD 000000fa: DUP1 000000fb: SWAP2 000000fc: SUB 000000fd: SWAP1 000000fe: LOG1 000000ff: STOP 00000100: JUMPDEST 00000101: PUSH1 0x00 00000103: DUP1 00000104: REVERT 00000105: JUMPDEST 00000106: CALLVALUE 00000107: DUP1 00000108: ISZERO 00000109: PUSH2 0x0111 0000010c: JUMPI 0000010d: PUSH1 0x00 0000010f: DUP1 00000110: REVERT 00000111: JUMPDEST 00000112: POP 00000113: PUSH2 0x0125 00000116: PUSH2 0x0120 00000119: CALLDATASIZE 0000011a: PUSH1 0x04 0000011c: PUSH2 0x0e15 0000011f: JUMP 00000120: JUMPDEST 00000121: PUSH2 0x02c8 00000124: JUMP 00000125: JUMPDEST 00000126: PUSH1 0x40 00000128: MLOAD 00000129: PUSH2 0x0133 0000012c: SWAP3 0000012d: SWAP2 0000012e: SWAP1 0000012f: PUSH2 0x0fa4 00000132: JUMP 00000133: JUMPDEST 00000134: PUSH1 0x40 00000136: MLOAD 00000137: DUP1 00000138: SWAP2 00000139: SUB 0000013a: SWAP1 0000013b: RETURN 0000013c: JUMPDEST 0000013d: CALLVALUE 0000013e: DUP1 0000013f: ISZERO 00000140: PUSH2 0x0148 00000143: JUMPI 00000144: PUSH1 0x00 00000146: DUP1 00000147: REVERT 00000148: JUMPDEST 00000149: POP 0000014a: PUSH2 0x015c 0000014d: PUSH2 0x0157 00000150: CALLDATASIZE 00000151: PUSH1 0x04 00000153: PUSH2 0x0f08 00000156: JUMP 00000157: JUMPDEST 00000158: PUSH2 0x036d 0000015b: JUMP 0000015c: JUMPDEST 0000015d: STOP 0000015e: JUMPDEST 0000015f: CALLVALUE 00000160: DUP1 00000161: ISZERO 00000162: PUSH2 0x016a 00000165: JUMPI 00000166: PUSH1 0x00 00000168: DUP1 00000169: REVERT 0000016a: JUMPDEST 0000016b: POP 0000016c: PUSH2 0x015c 0000016f: PUSH2 0x040a 00000172: JUMP 00000173: JUMPDEST 00000174: CALLVALUE 00000175: DUP1 00000176: ISZERO 00000177: PUSH2 0x017f 0000017a: JUMPI 0000017b: PUSH1 0x00 0000017d: DUP1 0000017e: REVERT 0000017f: JUMPDEST 00000180: POP 00000181: PUSH1 0x00 00000183: SLOAD 00000184: PUSH1 0xff 00000186: AND 00000187: JUMPDEST 00000188: PUSH1 0x40 0000018a: MLOAD 0000018b: SWAP1 0000018c: ISZERO 0000018d: ISZERO 0000018e: DUP2 0000018f: MSTORE 00000190: PUSH1 0x20 00000192: ADD 00000193: PUSH2 0x0133 00000196: JUMP 00000197: JUMPDEST 00000198: CALLVALUE 00000199: DUP1 0000019a: ISZERO 0000019b: PUSH2 0x01a3 0000019e: JUMPI 0000019f: PUSH1 0x00 000001a1: DUP1 000001a2: REVERT 000001a3: JUMPDEST 000001a4: POP 000001a5: PUSH2 0x0187 000001a8: PUSH2 0x01b2 000001ab: CALLDATASIZE 000001ac: PUSH1 0x04 000001ae: PUSH2 0x0d8c 000001b1: JUMP 000001b2: JUMPDEST 000001b3: PUSH1 0x05 000001b5: PUSH1 0x20 000001b7: SWAP1 000001b8: DUP2 000001b9: MSTORE 000001ba: PUSH1 0x00 000001bc: SWAP3 000001bd: DUP4 000001be: MSTORE 000001bf: PUSH1 0x40 000001c1: DUP1 000001c2: DUP5 000001c3: KECCAK256 000001c4: SWAP1 000001c5: SWAP2 000001c6: MSTORE 000001c7: SWAP1 000001c8: DUP3 000001c9: MSTORE 000001ca: SWAP1 000001cb: KECCAK256 000001cc: SLOAD 000001cd: PUSH1 0xff 000001cf: AND 000001d0: DUP2 000001d1: JUMP 000001d2: JUMPDEST 000001d3: CALLVALUE 000001d4: DUP1 000001d5: ISZERO 000001d6: PUSH2 0x01de 000001d9: JUMPI 000001da: PUSH1 0x00 000001dc: DUP1 000001dd: REVERT 000001de: JUMPDEST 000001df: POP 000001e0: PUSH2 0x015c 000001e3: PUSH2 0x043e 000001e6: JUMP 000001e7: JUMPDEST 000001e8: CALLVALUE 000001e9: DUP1 000001ea: ISZERO 000001eb: PUSH2 0x01f3 000001ee: JUMPI 000001ef: PUSH1 0x00 000001f1: DUP1 000001f2: REVERT 000001f3: JUMPDEST 000001f4: POP 000001f5: PUSH1 0x02 000001f7: SLOAD 000001f8: PUSH1 0x40 000001fa: MLOAD 000001fb: PUSH1 0x01 000001fd: PUSH1 0x01 000001ff: PUSH1 0xa0 00000201: SHL 00000202: SUB 00000203: SWAP1 00000204: SWAP2 00000205: AND 00000206: DUP2 00000207: MSTORE 00000208: PUSH1 0x20 0000020a: ADD 0000020b: PUSH2 0x0133 0000020e: JUMP 0000020f: JUMPDEST 00000210: CALLVALUE 00000211: DUP1 00000212: ISZERO 00000213: PUSH2 0x021b 00000216: JUMPI 00000217: PUSH1 0x00 00000219: DUP1 0000021a: REVERT 0000021b: JUMPDEST 0000021c: POP 0000021d: PUSH2 0x015c 00000220: PUSH2 0x022a 00000223: CALLDATASIZE 00000224: PUSH1 0x04 00000226: PUSH2 0x0eaa 00000229: JUMP 0000022a: JUMPDEST 0000022b: PUSH2 0x0472 0000022e: JUMP 0000022f: JUMPDEST 00000230: CALLVALUE 00000231: DUP1 00000232: ISZERO 00000233: PUSH2 0x023b 00000236: JUMPI 00000237: PUSH1 0x00 00000239: DUP1 0000023a: REVERT 0000023b: JUMPDEST 0000023c: POP 0000023d: PUSH2 0x015c 00000240: PUSH2 0x0507 00000243: JUMP 00000244: JUMPDEST 00000245: CALLVALUE 00000246: DUP1 00000247: ISZERO 00000248: PUSH2 0x0250 0000024b: JUMPI 0000024c: PUSH1 0x00 0000024e: DUP1 0000024f: REVERT 00000250: JUMPDEST 00000251: POP 00000252: PUSH2 0x025a 00000255: PUSH1 0x03 00000257: SLOAD 00000258: DUP2 00000259: JUMP 0000025a: JUMPDEST 0000025b: PUSH1 0x40 0000025d: MLOAD 0000025e: SWAP1 0000025f: DUP2 00000260: MSTORE 00000261: PUSH1 0x20 00000263: ADD 00000264: PUSH2 0x0133 00000267: JUMP 00000268: JUMPDEST 00000269: CALLVALUE 0000026a: DUP1 0000026b: ISZERO 0000026c: PUSH2 0x0274 0000026f: JUMPI 00000270: PUSH1 0x00 00000272: DUP1 00000273: REVERT 00000274: JUMPDEST 00000275: POP 00000276: PUSH2 0x015c 00000279: PUSH2 0x0283 0000027c: CALLDATASIZE 0000027d: PUSH1 0x04 0000027f: PUSH2 0x0dda 00000282: JUMP 00000283: JUMPDEST 00000284: PUSH2 0x0539 00000287: JUMP 00000288: JUMPDEST 00000289: CALLVALUE 0000028a: DUP1 0000028b: ISZERO 0000028c: PUSH2 0x0294 0000028f: JUMPI 00000290: PUSH1 0x00 00000292: DUP1 00000293: REVERT 00000294: JUMPDEST 00000295: POP 00000296: PUSH2 0x0187 00000299: PUSH2 0x02a3 0000029c: CALLDATASIZE 0000029d: PUSH1 0x04 0000029f: PUSH2 0x0e2e 000002a2: JUMP 000002a3: JUMPDEST 000002a4: PUSH2 0x05c0 000002a7: JUMP 000002a8: JUMPDEST 000002a9: CALLVALUE 000002aa: DUP1 000002ab: ISZERO 000002ac: PUSH2 0x02b4 000002af: JUMPI 000002b0: PUSH1 0x00 000002b2: DUP1 000002b3: REVERT 000002b4: JUMPDEST 000002b5: POP 000002b6: PUSH2 0x015c 000002b9: PUSH2 0x02c3 000002bc: CALLDATASIZE 000002bd: PUSH1 0x04 000002bf: PUSH2 0x0d68 000002c2: JUMP 000002c3: JUMPDEST 000002c4: PUSH2 0x064b 000002c7: JUMP 000002c8: JUMPDEST 000002c9: PUSH1 0x04 000002cb: PUSH1 0x20 000002cd: MSTORE 000002ce: PUSH1 0x00 000002d0: SWAP1 000002d1: DUP2 000002d2: MSTORE 000002d3: PUSH1 0x40 000002d5: SWAP1 000002d6: KECCAK256 000002d7: DUP1 000002d8: SLOAD 000002d9: PUSH1 0x01 000002db: DUP3 000002dc: ADD 000002dd: DUP1 000002de: SLOAD 000002df: SWAP2 000002e0: SWAP3 000002e1: SWAP2 000002e2: PUSH2 0x02ea 000002e5: SWAP1 000002e6: PUSH2 0x1177 000002e9: JUMP 000002ea: JUMPDEST 000002eb: DUP1 000002ec: PUSH1 0x1f 000002ee: ADD 000002ef: PUSH1 0x20 000002f1: DUP1 000002f2: SWAP2 000002f3: DIV 000002f4: MUL 000002f5: PUSH1 0x20 000002f7: ADD 000002f8: PUSH1 0x40 000002fa: MLOAD 000002fb: SWAP1 000002fc: DUP2 000002fd: ADD 000002fe: PUSH1 0x40 00000300: MSTORE 00000301: DUP1 00000302: SWAP3 00000303: SWAP2 00000304: SWAP1 00000305: DUP2 00000306: DUP2 00000307: MSTORE 00000308: PUSH1 0x20 0000030a: ADD 0000030b: DUP3 0000030c: DUP1 0000030d: SLOAD 0000030e: PUSH2 0x0316 00000311: SWAP1 00000312: PUSH2 0x1177 00000315: JUMP 00000316: JUMPDEST 00000317: DUP1 00000318: ISZERO 00000319: PUSH2 0x0363 0000031c: JUMPI 0000031d: DUP1 0000031e: PUSH1 0x1f 00000320: LT 00000321: PUSH2 0x0338 00000324: JUMPI 00000325: PUSH2 0x0100 00000328: DUP1 00000329: DUP4 0000032a: SLOAD 0000032b: DIV 0000032c: MUL 0000032d: DUP4 0000032e: MSTORE 0000032f: SWAP2 00000330: PUSH1 0x20 00000332: ADD 00000333: SWAP2 00000334: PUSH2 0x0363 00000337: JUMP 00000338: JUMPDEST 00000339: DUP3 0000033a: ADD 0000033b: SWAP2 0000033c: SWAP1 0000033d: PUSH1 0x00 0000033f: MSTORE 00000340: PUSH1 0x20 00000342: PUSH1 0x00 00000344: KECCAK256 00000345: SWAP1 00000346: JUMPDEST 00000347: DUP2 00000348: SLOAD 00000349: DUP2 0000034a: MSTORE 0000034b: SWAP1 0000034c: PUSH1 0x01 0000034e: ADD 0000034f: SWAP1 00000350: PUSH1 0x20 00000352: ADD 00000353: DUP1 00000354: DUP4 00000355: GT 00000356: PUSH2 0x0346 00000359: JUMPI 0000035a: DUP3 0000035b: SWAP1 0000035c: SUB 0000035d: PUSH1 0x1f 0000035f: AND 00000360: DUP3 00000361: ADD 00000362: SWAP2 00000363: JUMPDEST 00000364: POP 00000365: POP 00000366: POP 00000367: POP 00000368: POP 00000369: SWAP1 0000036a: POP 0000036b: DUP3 0000036c: JUMP 0000036d: JUMPDEST 0000036e: PUSH1 0x00 00000370: SLOAD 00000371: PUSH1 0xff 00000373: AND 00000374: ISZERO 00000375: PUSH2 0x0399 00000378: JUMPI 00000379: PUSH1 0x40 0000037b: MLOAD 0000037c: PUSH3 0x461bcd 00000380: PUSH1 0xe5 00000382: SHL 00000383: DUP2 00000384: MSTORE 00000385: PUSH1 0x04 00000387: ADD 00000388: PUSH2 0x0390 0000038b: SWAP1 0000038c: PUSH2 0x1001 0000038f: JUMP 00000390: JUMPDEST 00000391: PUSH1 0x40 00000393: MLOAD 00000394: DUP1 00000395: SWAP2 00000396: SUB 00000397: SWAP1 00000398: REVERT 00000399: JUMPDEST 0000039a: PUSH1 0x02 0000039c: PUSH1 0x01 0000039e: SLOAD 0000039f: EQ 000003a0: ISZERO 000003a1: PUSH2 0x03ec 000003a4: JUMPI 000003a5: PUSH1 0x40 000003a7: MLOAD 000003a8: PUSH3 0x461bcd 000003ac: PUSH1 0xe5 000003ae: SHL 000003af: DUP2 000003b0: MSTORE 000003b1: PUSH1 0x20 000003b3: PUSH1 0x04 000003b5: DUP3 000003b6: ADD 000003b7: MSTORE 000003b8: PUSH1 0x1f 000003ba: PUSH1 0x24 000003bc: DUP3 000003bd: ADD 000003be: MSTORE 000003bf: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000003e0: PUSH1 0x44 000003e2: DUP3 000003e3: ADD 000003e4: MSTORE 000003e5: PUSH1 0x64 000003e7: ADD 000003e8: PUSH2 0x0390 000003eb: JUMP 000003ec: JUMPDEST 000003ed: PUSH1 0x02 000003ef: PUSH1 0x01 000003f1: SSTORE 000003f2: PUSH2 0x03ff 000003f5: DUP6 000003f6: DUP6 000003f7: DUP6 000003f8: CALLER 000003f9: DUP7 000003fa: DUP7 000003fb: PUSH2 0x06e3 000003fe: JUMP 000003ff: JUMPDEST 00000400: POP 00000401: POP 00000402: PUSH1 0x01 00000404: DUP1 00000405: SSTORE 00000406: POP 00000407: POP 00000408: POP 00000409: JUMP 0000040a: JUMPDEST 0000040b: PUSH1 0x02 0000040d: SLOAD 0000040e: PUSH1 0x01 00000410: PUSH1 0x01 00000412: PUSH1 0xa0 00000414: SHL 00000415: SUB 00000416: AND 00000417: CALLER 00000418: EQ 00000419: PUSH2 0x0434 0000041c: JUMPI 0000041d: PUSH1 0x40 0000041f: MLOAD 00000420: PUSH3 0x461bcd 00000424: PUSH1 0xe5 00000426: SHL 00000427: DUP2 00000428: MSTORE 00000429: PUSH1 0x04 0000042b: ADD 0000042c: PUSH2 0x0390 0000042f: SWAP1 00000430: PUSH2 0x102b 00000433: JUMP 00000434: JUMPDEST 00000435: PUSH2 0x043c 00000438: PUSH2 0x09c9 0000043b: JUMP 0000043c: JUMPDEST 0000043d: JUMP 0000043e: JUMPDEST 0000043f: PUSH1 0x02 00000441: SLOAD 00000442: PUSH1 0x01 00000444: PUSH1 0x01 00000446: PUSH1 0xa0 00000448: SHL 00000449: SUB 0000044a: AND 0000044b: CALLER 0000044c: EQ 0000044d: PUSH2 0x0468 00000450: JUMPI 00000451: PUSH1 0x40 00000453: MLOAD 00000454: PUSH3 0x461bcd 00000458: PUSH1 0xe5 0000045a: SHL 0000045b: DUP2 0000045c: MSTORE 0000045d: PUSH1 0x04 0000045f: ADD 00000460: PUSH2 0x0390 00000463: SWAP1 00000464: PUSH2 0x102b 00000467: JUMP 00000468: JUMPDEST 00000469: PUSH2 0x043c 0000046c: PUSH1 0x00 0000046e: PUSH2 0x0a5c 00000471: JUMP 00000472: JUMPDEST 00000473: PUSH1 0x00 00000475: SLOAD 00000476: PUSH1 0xff 00000478: AND 00000479: ISZERO 0000047a: PUSH2 0x0495 0000047d: JUMPI 0000047e: PUSH1 0x40 00000480: MLOAD 00000481: PUSH3 0x461bcd 00000485: PUSH1 0xe5 00000487: SHL 00000488: DUP2 00000489: MSTORE 0000048a: PUSH1 0x04 0000048c: ADD 0000048d: PUSH2 0x0390 00000490: SWAP1 00000491: PUSH2 0x1001 00000494: JUMP 00000495: JUMPDEST 00000496: PUSH1 0x02 00000498: PUSH1 0x01 0000049a: SLOAD 0000049b: EQ 0000049c: ISZERO 0000049d: PUSH2 0x04e8 000004a0: JUMPI 000004a1: PUSH1 0x40 000004a3: MLOAD 000004a4: PUSH3 0x461bcd 000004a8: PUSH1 0xe5 000004aa: SHL 000004ab: DUP2 000004ac: MSTORE 000004ad: PUSH1 0x20 000004af: PUSH1 0x04 000004b1: DUP3 000004b2: ADD 000004b3: MSTORE 000004b4: PUSH1 0x1f 000004b6: PUSH1 0x24 000004b8: DUP3 000004b9: ADD 000004ba: MSTORE 000004bb: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000004dc: PUSH1 0x44 000004de: DUP3 000004df: ADD 000004e0: MSTORE 000004e1: PUSH1 0x64 000004e3: ADD 000004e4: PUSH2 0x0390 000004e7: JUMP 000004e8: JUMPDEST 000004e9: PUSH1 0x02 000004eb: PUSH1 0x01 000004ed: SSTORE 000004ee: PUSH2 0x04fb 000004f1: DUP7 000004f2: DUP7 000004f3: DUP7 000004f4: DUP7 000004f5: DUP7 000004f6: DUP7 000004f7: PUSH2 0x06e3 000004fa: JUMP 000004fb: JUMPDEST 000004fc: POP 000004fd: POP 000004fe: PUSH1 0x01 00000500: DUP1 00000501: SSTORE 00000502: POP 00000503: POP 00000504: POP 00000505: POP 00000506: JUMP 00000507: JUMPDEST 00000508: PUSH1 0x02 0000050a: SLOAD 0000050b: PUSH1 0x01 0000050d: PUSH1 0x01 0000050f: PUSH1 0xa0 00000511: SHL 00000512: SUB 00000513: AND 00000514: CALLER 00000515: EQ 00000516: PUSH2 0x0531 00000519: JUMPI 0000051a: PUSH1 0x40 0000051c: MLOAD 0000051d: PUSH3 0x461bcd 00000521: PUSH1 0xe5 00000523: SHL 00000524: DUP2 00000525: MSTORE 00000526: PUSH1 0x04 00000528: ADD 00000529: PUSH2 0x0390 0000052c: SWAP1 0000052d: PUSH2 0x102b 00000530: JUMP 00000531: JUMPDEST 00000532: PUSH2 0x043c 00000535: PUSH2 0x0aae 00000538: JUMP 00000539: JUMPDEST 0000053a: PUSH1 0x00 0000053c: SLOAD 0000053d: PUSH1 0xff 0000053f: AND 00000540: PUSH2 0x0582 00000543: JUMPI 00000544: PUSH1 0x40 00000546: MLOAD 00000547: PUSH3 0x461bcd 0000054b: PUSH1 0xe5 0000054d: SHL 0000054e: DUP2 0000054f: MSTORE 00000550: PUSH1 0x20 00000552: PUSH1 0x04 00000554: DUP3 00000555: ADD 00000556: MSTORE 00000557: PUSH1 0x14 00000559: PUSH1 0x24 0000055b: DUP3 0000055c: ADD 0000055d: MSTORE 0000055e: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959 00000573: PUSH1 0x62 00000575: SHL 00000576: PUSH1 0x44 00000578: DUP3 00000579: ADD 0000057a: MSTORE 0000057b: PUSH1 0x64 0000057d: ADD 0000057e: PUSH2 0x0390 00000581: JUMP 00000582: JUMPDEST 00000583: PUSH1 0x02 00000585: SLOAD 00000586: PUSH1 0x01 00000588: PUSH1 0x01 0000058a: PUSH1 0xa0 0000058c: SHL 0000058d: SUB 0000058e: AND 0000058f: CALLER 00000590: EQ 00000591: PUSH2 0x05ac 00000594: JUMPI 00000595: PUSH1 0x40 00000597: MLOAD 00000598: PUSH3 0x461bcd 0000059c: PUSH1 0xe5 0000059e: SHL 0000059f: DUP2 000005a0: MSTORE 000005a1: PUSH1 0x04 000005a3: ADD 000005a4: PUSH2 0x0390 000005a7: SWAP1 000005a8: PUSH2 0x102b 000005ab: JUMP 000005ac: JUMPDEST 000005ad: PUSH2 0x05bd 000005b0: PUSH2 0x05b8 000005b3: DUP3 000005b4: PUSH2 0x10d2 000005b7: JUMP 000005b8: JUMPDEST 000005b9: PUSH2 0x0b06 000005bc: JUMP 000005bd: JUMPDEST 000005be: POP 000005bf: JUMP 000005c0: JUMPDEST 000005c1: PUSH1 0x00 000005c3: DUP1 000005c4: DUP8 000005c5: DUP8 000005c6: DUP8 000005c7: DUP8 000005c8: PUSH1 0x40 000005ca: MLOAD 000005cb: PUSH1 0x20 000005cd: ADD 000005ce: PUSH2 0x05da 000005d1: SWAP5 000005d2: SWAP4 000005d3: SWAP3 000005d4: SWAP2 000005d5: SWAP1 000005d6: PUSH2 0x0f72 000005d9: JUMP 000005da: JUMPDEST 000005db: PUSH1 0x40 000005dd: MLOAD 000005de: PUSH1 0x20 000005e0: DUP2 000005e1: DUP4 000005e2: SUB 000005e3: SUB 000005e4: DUP2 000005e5: MSTORE 000005e6: SWAP1 000005e7: PUSH1 0x40 000005e9: MSTORE 000005ea: DUP1 000005eb: MLOAD 000005ec: SWAP1 000005ed: PUSH1 0x20 000005ef: ADD 000005f0: KECCAK256 000005f1: SWAP1 000005f2: POP 000005f3: PUSH2 0x063f 000005f6: DUP5 000005f7: DUP5 000005f8: DUP1 000005f9: DUP1 000005fa: PUSH1 0x20 000005fc: MUL 000005fd: PUSH1 0x20 000005ff: ADD 00000600: PUSH1 0x40 00000602: MLOAD 00000603: SWAP1 00000604: DUP2 00000605: ADD 00000606: PUSH1 0x40 00000608: MSTORE 00000609: DUP1 0000060a: SWAP4 0000060b: SWAP3 0000060c: SWAP2 0000060d: SWAP1 0000060e: DUP2 0000060f: DUP2 00000610: MSTORE 00000611: PUSH1 0x20 00000613: ADD 00000614: DUP4 00000615: DUP4 00000616: PUSH1 0x20 00000618: MUL 00000619: DUP1 0000061a: DUP3 0000061b: DUP5 0000061c: CALLDATACOPY 0000061d: PUSH1 0x00 0000061f: SWAP3 00000620: ADD 00000621: DUP3 00000622: SWAP1 00000623: MSTORE 00000624: POP 00000625: PUSH1 0x03 00000627: SLOAD 00000628: DUP2 00000629: MSTORE 0000062a: PUSH1 0x04 0000062c: PUSH1 0x20 0000062e: MSTORE 0000062f: PUSH1 0x40 00000631: SWAP1 00000632: KECCAK256 00000633: SLOAD 00000634: SWAP3 00000635: POP 00000636: DUP6 00000637: SWAP2 00000638: POP 00000639: PUSH2 0x0bd4 0000063c: SWAP1 0000063d: POP 0000063e: JUMP 0000063f: JUMPDEST 00000640: SWAP9 00000641: SWAP8 00000642: POP 00000643: POP 00000644: POP 00000645: POP 00000646: POP 00000647: POP 00000648: POP 00000649: POP 0000064a: JUMP 0000064b: JUMPDEST 0000064c: PUSH1 0x02 0000064e: SLOAD 0000064f: PUSH1 0x01 00000651: PUSH1 0x01 00000653: PUSH1 0xa0 00000655: SHL 00000656: SUB 00000657: AND 00000658: CALLER 00000659: EQ 0000065a: PUSH2 0x0675 0000065d: JUMPI 0000065e: PUSH1 0x40 00000660: MLOAD 00000661: PUSH3 0x461bcd 00000665: PUSH1 0xe5 00000667: SHL 00000668: DUP2 00000669: MSTORE 0000066a: PUSH1 0x04 0000066c: ADD 0000066d: PUSH2 0x0390 00000670: SWAP1 00000671: PUSH2 0x102b 00000674: JUMP 00000675: JUMPDEST 00000676: PUSH1 0x01 00000678: PUSH1 0x01 0000067a: PUSH1 0xa0 0000067c: SHL 0000067d: SUB 0000067e: DUP2 0000067f: AND 00000680: PUSH2 0x06da 00000683: JUMPI 00000684: PUSH1 0x40 00000686: MLOAD 00000687: PUSH3 0x461bcd 0000068b: PUSH1 0xe5 0000068d: SHL 0000068e: DUP2 0000068f: MSTORE 00000690: PUSH1 0x20 00000692: PUSH1 0x04 00000694: DUP3 00000695: ADD 00000696: MSTORE 00000697: PUSH1 0x26 00000699: PUSH1 0x24 0000069b: DUP3 0000069c: ADD 0000069d: MSTORE 0000069e: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 000006bf: PUSH1 0x44 000006c1: DUP3 000006c2: ADD 000006c3: MSTORE 000006c4: PUSH6 0x646472657373 000006cb: PUSH1 0xd0 000006cd: SHL 000006ce: PUSH1 0x64 000006d0: DUP3 000006d1: ADD 000006d2: MSTORE 000006d3: PUSH1 0x84 000006d5: ADD 000006d6: PUSH2 0x0390 000006d9: JUMP 000006da: JUMPDEST 000006db: PUSH2 0x05bd 000006de: DUP2 000006df: PUSH2 0x0a5c 000006e2: JUMP 000006e3: JUMPDEST 000006e4: PUSH1 0x01 000006e6: PUSH1 0x01 000006e8: PUSH1 0xa0 000006ea: SHL 000006eb: SUB 000006ec: DUP4 000006ed: AND 000006ee: PUSH1 0x00 000006f0: SWAP1 000006f1: DUP2 000006f2: MSTORE 000006f3: PUSH1 0x05 000006f5: PUSH1 0x20 000006f7: SWAP1 000006f8: DUP2 000006f9: MSTORE 000006fa: PUSH1 0x40 000006fc: DUP1 000006fd: DUP4 000006fe: KECCAK256 000006ff: PUSH1 0x03 00000701: SLOAD 00000702: DUP5 00000703: MSTORE 00000704: SWAP1 00000705: SWAP2 00000706: MSTORE 00000707: SWAP1 00000708: KECCAK256 00000709: SLOAD 0000070a: PUSH1 0xff 0000070c: AND 0000070d: ISZERO 0000070e: PUSH2 0x0759 00000711: JUMPI 00000712: PUSH1 0x40 00000714: MLOAD 00000715: PUSH3 0x461bcd 00000719: PUSH1 0xe5 0000071b: SHL 0000071c: DUP2 0000071d: MSTORE 0000071e: PUSH1 0x20 00000720: PUSH1 0x04 00000722: DUP3 00000723: ADD 00000724: MSTORE 00000725: PUSH1 0x17 00000727: PUSH1 0x24 00000729: DUP3 0000072a: ADD 0000072b: MSTORE 0000072c: PUSH32 0x46756e64732068617665206265656e20636c61696d6564000000000000000000 0000074d: PUSH1 0x44 0000074f: DUP3 00000750: ADD 00000751: MSTORE 00000752: PUSH1 0x64 00000754: ADD 00000755: PUSH2 0x0390 00000758: JUMP 00000759: JUMPDEST 0000075a: PUSH1 0x00 0000075c: DUP7 0000075d: DUP7 0000075e: DUP6 0000075f: DUP8 00000760: PUSH1 0x40 00000762: MLOAD 00000763: PUSH1 0x20 00000765: ADD 00000766: PUSH2 0x0772 00000769: SWAP5 0000076a: SWAP4 0000076b: SWAP3 0000076c: SWAP2 0000076d: SWAP1 0000076e: PUSH2 0x0f72 00000771: JUMP 00000772: JUMPDEST 00000773: PUSH1 0x40 00000775: MLOAD 00000776: PUSH1 0x20 00000778: DUP2 00000779: DUP4 0000077a: SUB 0000077b: SUB 0000077c: DUP2 0000077d: MSTORE 0000077e: SWAP1 0000077f: PUSH1 0x40 00000781: MSTORE 00000782: DUP1 00000783: MLOAD 00000784: SWAP1 00000785: PUSH1 0x20 00000787: ADD 00000788: KECCAK256 00000789: SWAP1 0000078a: POP 0000078b: PUSH2 0x07d7 0000078e: DUP4 0000078f: DUP4 00000790: DUP1 00000791: DUP1 00000792: PUSH1 0x20 00000794: MUL 00000795: PUSH1 0x20 00000797: ADD 00000798: PUSH1 0x40 0000079a: MLOAD 0000079b: SWAP1 0000079c: DUP2 0000079d: ADD 0000079e: PUSH1 0x40 000007a0: MSTORE 000007a1: DUP1 000007a2: SWAP4 000007a3: SWAP3 000007a4: SWAP2 000007a5: SWAP1 000007a6: DUP2 000007a7: DUP2 000007a8: MSTORE 000007a9: PUSH1 0x20 000007ab: ADD 000007ac: DUP4 000007ad: DUP4 000007ae: PUSH1 0x20 000007b0: MUL 000007b1: DUP1 000007b2: DUP3 000007b3: DUP5 000007b4: CALLDATACOPY 000007b5: PUSH1 0x00 000007b7: SWAP3 000007b8: ADD 000007b9: DUP3 000007ba: SWAP1 000007bb: MSTORE 000007bc: POP 000007bd: PUSH1 0x03 000007bf: SLOAD 000007c0: DUP2 000007c1: MSTORE 000007c2: PUSH1 0x04 000007c4: PUSH1 0x20 000007c6: MSTORE 000007c7: PUSH1 0x40 000007c9: SWAP1 000007ca: KECCAK256 000007cb: SLOAD 000007cc: SWAP3 000007cd: POP 000007ce: DUP6 000007cf: SWAP2 000007d0: POP 000007d1: PUSH2 0x0bd4 000007d4: SWAP1 000007d5: POP 000007d6: JUMP 000007d7: JUMPDEST 000007d8: PUSH2 0x0823 000007db: JUMPI 000007dc: PUSH1 0x40 000007de: MLOAD 000007df: PUSH3 0x461bcd 000007e3: PUSH1 0xe5 000007e5: SHL 000007e6: DUP2 000007e7: MSTORE 000007e8: PUSH1 0x20 000007ea: PUSH1 0x04 000007ec: DUP3 000007ed: ADD 000007ee: MSTORE 000007ef: PUSH1 0x1a 000007f1: PUSH1 0x24 000007f3: DUP3 000007f4: ADD 000007f5: MSTORE 000007f6: PUSH32 0x4d65726b6c6520766572696669636174696f6e206661696c6564000000000000 00000817: PUSH1 0x44 00000819: DUP3 0000081a: ADD 0000081b: MSTORE 0000081c: PUSH1 0x64 0000081e: ADD 0000081f: PUSH2 0x0390 00000822: JUMP 00000823: JUMPDEST 00000824: PUSH1 0x01 00000826: PUSH1 0x01 00000828: PUSH1 0xa0 0000082a: SHL 0000082b: SUB 0000082c: DUP1 0000082d: DUP6 0000082e: AND 0000082f: PUSH1 0x00 00000831: SWAP1 00000832: DUP2 00000833: MSTORE 00000834: PUSH1 0x05 00000836: PUSH1 0x20 00000838: SWAP1 00000839: DUP2 0000083a: MSTORE 0000083b: PUSH1 0x40 0000083d: DUP1 0000083e: DUP4 0000083f: KECCAK256 00000840: PUSH1 0x03 00000842: SLOAD 00000843: DUP5 00000844: MSTORE 00000845: SWAP1 00000846: SWAP2 00000847: MSTORE 00000848: SWAP1 00000849: KECCAK256 0000084a: DUP1 0000084b: SLOAD 0000084c: PUSH1 0xff 0000084e: NOT 0000084f: AND 00000850: PUSH1 0x01 00000852: OR 00000853: SWAP1 00000854: SSTORE 00000855: DUP7 00000856: AND 00000857: PUSH2 0x08f9 0000085a: JUMPI 0000085b: PUSH1 0x00 0000085d: DUP5 0000085e: PUSH1 0x01 00000860: PUSH1 0x01 00000862: PUSH1 0xa0 00000864: SHL 00000865: SUB 00000866: AND 00000867: DUP7 00000868: PUSH1 0x40 0000086a: MLOAD 0000086b: PUSH1 0x00 0000086d: PUSH1 0x40 0000086f: MLOAD 00000870: DUP1 00000871: DUP4 00000872: SUB 00000873: DUP2 00000874: DUP6 00000875: DUP8 00000876: GAS 00000877: CALL 00000878: SWAP3 00000879: POP 0000087a: POP 0000087b: POP 0000087c: RETURNDATASIZE 0000087d: DUP1 0000087e: PUSH1 0x00 00000880: DUP2 00000881: EQ 00000882: PUSH2 0x08a7 00000885: JUMPI 00000886: PUSH1 0x40 00000888: MLOAD 00000889: SWAP2 0000088a: POP 0000088b: PUSH1 0x1f 0000088d: NOT 0000088e: PUSH1 0x3f 00000890: RETURNDATASIZE 00000891: ADD 00000892: AND 00000893: DUP3 00000894: ADD 00000895: PUSH1 0x40 00000897: MSTORE 00000898: RETURNDATASIZE 00000899: DUP3 0000089a: MSTORE 0000089b: RETURNDATASIZE 0000089c: PUSH1 0x00 0000089e: PUSH1 0x20 000008a0: DUP5 000008a1: ADD 000008a2: RETURNDATACOPY 000008a3: PUSH2 0x08ac 000008a6: JUMP 000008a7: JUMPDEST 000008a8: PUSH1 0x60 000008aa: SWAP2 000008ab: POP 000008ac: JUMPDEST 000008ad: POP 000008ae: POP 000008af: SWAP1 000008b0: POP 000008b1: DUP1 000008b2: PUSH2 0x08f3 000008b5: JUMPI 000008b6: PUSH1 0x40 000008b8: MLOAD 000008b9: PUSH3 0x461bcd 000008bd: PUSH1 0xe5 000008bf: SHL 000008c0: DUP2 000008c1: MSTORE 000008c2: PUSH1 0x20 000008c4: PUSH1 0x04 000008c6: DUP3 000008c7: ADD 000008c8: MSTORE 000008c9: PUSH1 0x13 000008cb: PUSH1 0x24 000008cd: DUP3 000008ce: ADD 000008cf: MSTORE 000008d0: PUSH19 0x115512081d1c985b9cd9995c8819985a5b1959 000008e4: PUSH1 0x6a 000008e6: SHL 000008e7: PUSH1 0x44 000008e9: DUP3 000008ea: ADD 000008eb: MSTORE 000008ec: PUSH1 0x64 000008ee: ADD 000008ef: PUSH2 0x0390 000008f2: JUMP 000008f3: JUMPDEST 000008f4: POP 000008f5: PUSH2 0x097d 000008f8: JUMP 000008f9: JUMPDEST 000008fa: PUSH1 0x40 000008fc: MLOAD 000008fd: PUSH4 0xa9059cbb 00000902: PUSH1 0xe0 00000904: SHL 00000905: DUP2 00000906: MSTORE 00000907: PUSH1 0x01 00000909: PUSH1 0x01 0000090b: PUSH1 0xa0 0000090d: SHL 0000090e: SUB 0000090f: DUP6 00000910: DUP2 00000911: AND 00000912: PUSH1 0x04 00000914: DUP4 00000915: ADD 00000916: MSTORE 00000917: PUSH1 0x24 00000919: DUP3 0000091a: ADD 0000091b: DUP8 0000091c: SWAP1 0000091d: MSTORE 0000091e: DUP8 0000091f: AND 00000920: SWAP1 00000921: PUSH4 0xa9059cbb 00000926: SWAP1 00000927: PUSH1 0x44 00000929: ADD 0000092a: PUSH1 0x20 0000092c: PUSH1 0x40 0000092e: MLOAD 0000092f: DUP1 00000930: DUP4 00000931: SUB 00000932: DUP2 00000933: PUSH1 0x00 00000935: DUP8 00000936: DUP1 00000937: EXTCODESIZE 00000938: ISZERO 00000939: DUP1 0000093a: ISZERO 0000093b: PUSH2 0x0943 0000093e: JUMPI 0000093f: PUSH1 0x00 00000941: DUP1 00000942: REVERT 00000943: JUMPDEST 00000944: POP 00000945: GAS 00000946: CALL 00000947: ISZERO 00000948: DUP1 00000949: ISZERO 0000094a: PUSH2 0x0957 0000094d: JUMPI 0000094e: RETURNDATASIZE 0000094f: PUSH1 0x00 00000951: DUP1 00000952: RETURNDATACOPY 00000953: RETURNDATASIZE 00000954: PUSH1 0x00 00000956: REVERT 00000957: JUMPDEST 00000958: POP 00000959: POP 0000095a: POP 0000095b: POP 0000095c: PUSH1 0x40 0000095e: MLOAD 0000095f: RETURNDATASIZE 00000960: PUSH1 0x1f 00000962: NOT 00000963: PUSH1 0x1f 00000965: DUP3 00000966: ADD 00000967: AND 00000968: DUP3 00000969: ADD 0000096a: DUP1 0000096b: PUSH1 0x40 0000096d: MSTORE 0000096e: POP 0000096f: DUP2 00000970: ADD 00000971: SWAP1 00000972: PUSH2 0x097b 00000975: SWAP2 00000976: SWAP1 00000977: PUSH2 0x0db8 0000097a: JUMP 0000097b: JUMPDEST 0000097c: POP 0000097d: JUMPDEST 0000097e: DUP6 0000097f: PUSH1 0x01 00000981: PUSH1 0x01 00000983: PUSH1 0xa0 00000985: SHL 00000986: SUB 00000987: AND 00000988: PUSH32 0x896e034966eaaf1adc54acc0f257056febbd300c9e47182cf761982cf1f5e430 000009a9: DUP7 000009aa: PUSH1 0x40 000009ac: MLOAD 000009ad: PUSH2 0x09b8 000009b0: SWAP2 000009b1: DUP2 000009b2: MSTORE 000009b3: PUSH1 0x20 000009b5: ADD 000009b6: SWAP1 000009b7: JUMP 000009b8: JUMPDEST 000009b9: PUSH1 0x40 000009bb: MLOAD 000009bc: DUP1 000009bd: SWAP2 000009be: SUB 000009bf: SWAP1 000009c0: LOG2 000009c1: POP 000009c2: POP 000009c3: POP 000009c4: POP 000009c5: POP 000009c6: POP 000009c7: POP 000009c8: JUMP 000009c9: JUMPDEST 000009ca: PUSH1 0x00 000009cc: SLOAD 000009cd: PUSH1 0xff 000009cf: AND 000009d0: PUSH2 0x0a12 000009d3: JUMPI 000009d4: PUSH1 0x40 000009d6: MLOAD 000009d7: PUSH3 0x461bcd 000009db: PUSH1 0xe5 000009dd: SHL 000009de: DUP2 000009df: MSTORE 000009e0: PUSH1 0x20 000009e2: PUSH1 0x04 000009e4: DUP3 000009e5: ADD 000009e6: MSTORE 000009e7: PUSH1 0x14 000009e9: PUSH1 0x24 000009eb: DUP3 000009ec: ADD 000009ed: MSTORE 000009ee: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959 00000a03: PUSH1 0x62 00000a05: SHL 00000a06: PUSH1 0x44 00000a08: DUP3 00000a09: ADD 00000a0a: MSTORE 00000a0b: PUSH1 0x64 00000a0d: ADD 00000a0e: PUSH2 0x0390 00000a11: JUMP 00000a12: JUMPDEST 00000a13: PUSH1 0x00 00000a15: DUP1 00000a16: SLOAD 00000a17: PUSH1 0xff 00000a19: NOT 00000a1a: AND 00000a1b: SWAP1 00000a1c: SSTORE 00000a1d: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 00000a3e: CALLER 00000a3f: JUMPDEST 00000a40: PUSH1 0x40 00000a42: MLOAD 00000a43: PUSH1 0x01 00000a45: PUSH1 0x01 00000a47: PUSH1 0xa0 00000a49: SHL 00000a4a: SUB 00000a4b: SWAP1 00000a4c: SWAP2 00000a4d: AND 00000a4e: DUP2 00000a4f: MSTORE 00000a50: PUSH1 0x20 00000a52: ADD 00000a53: PUSH1 0x40 00000a55: MLOAD 00000a56: DUP1 00000a57: SWAP2 00000a58: SUB 00000a59: SWAP1 00000a5a: LOG1 00000a5b: JUMP 00000a5c: JUMPDEST 00000a5d: PUSH1 0x02 00000a5f: DUP1 00000a60: SLOAD 00000a61: PUSH1 0x01 00000a63: PUSH1 0x01 00000a65: PUSH1 0xa0 00000a67: SHL 00000a68: SUB 00000a69: DUP4 00000a6a: DUP2 00000a6b: AND 00000a6c: PUSH1 0x01 00000a6e: PUSH1 0x01 00000a70: PUSH1 0xa0 00000a72: SHL 00000a73: SUB 00000a74: NOT 00000a75: DUP4 00000a76: AND 00000a77: DUP2 00000a78: OR 00000a79: SWAP1 00000a7a: SWAP4 00000a7b: SSTORE 00000a7c: PUSH1 0x40 00000a7e: MLOAD 00000a7f: SWAP2 00000a80: AND 00000a81: SWAP2 00000a82: SWAP1 00000a83: DUP3 00000a84: SWAP1 00000a85: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000aa6: SWAP1 00000aa7: PUSH1 0x00 00000aa9: SWAP1 00000aaa: LOG3 00000aab: POP 00000aac: POP 00000aad: JUMP 00000aae: JUMPDEST 00000aaf: PUSH1 0x00 00000ab1: SLOAD 00000ab2: PUSH1 0xff 00000ab4: AND 00000ab5: ISZERO 00000ab6: PUSH2 0x0ad1 00000ab9: JUMPI 00000aba: PUSH1 0x40 00000abc: MLOAD 00000abd: PUSH3 0x461bcd 00000ac1: PUSH1 0xe5 00000ac3: SHL 00000ac4: DUP2 00000ac5: MSTORE 00000ac6: PUSH1 0x04 00000ac8: ADD 00000ac9: PUSH2 0x0390 00000acc: SWAP1 00000acd: PUSH2 0x1001 00000ad0: JUMP 00000ad1: JUMPDEST 00000ad2: PUSH1 0x00 00000ad4: DUP1 00000ad5: SLOAD 00000ad6: PUSH1 0xff 00000ad8: NOT 00000ad9: AND 00000ada: PUSH1 0x01 00000adc: OR 00000add: SWAP1 00000ade: SSTORE 00000adf: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 00000b00: PUSH2 0x0a3f 00000b03: CALLER 00000b04: SWAP1 00000b05: JUMP 00000b06: JUMPDEST 00000b07: DUP1 00000b08: PUSH1 0x20 00000b0a: ADD 00000b0b: MLOAD 00000b0c: MLOAD 00000b0d: PUSH1 0x2e 00000b0f: EQ 00000b10: PUSH2 0x0b4f 00000b13: JUMPI 00000b14: PUSH1 0x40 00000b16: MLOAD 00000b17: PUSH3 0x461bcd 00000b1b: PUSH1 0xe5 00000b1d: SHL 00000b1e: DUP2 00000b1f: MSTORE 00000b20: PUSH1 0x20 00000b22: PUSH1 0x04 00000b24: DUP3 00000b25: ADD 00000b26: MSTORE 00000b27: PUSH1 0x11 00000b29: PUSH1 0x24 00000b2b: DUP3 00000b2c: ADD 00000b2d: MSTORE 00000b2e: PUSH17 0x092dcecc2d8d2c84092a08ca640d0c2e6d 00000b40: PUSH1 0x7b 00000b42: SHL 00000b43: PUSH1 0x44 00000b45: DUP3 00000b46: ADD 00000b47: MSTORE 00000b48: PUSH1 0x64 00000b4a: ADD 00000b4b: PUSH2 0x0390 00000b4e: JUMP 00000b4f: JUMPDEST 00000b50: PUSH1 0x01 00000b52: PUSH1 0x03 00000b54: PUSH1 0x00 00000b56: DUP3 00000b57: DUP3 00000b58: SLOAD 00000b59: PUSH2 0x0b62 00000b5c: SWAP2 00000b5d: SWAP1 00000b5e: PUSH2 0x10ba 00000b61: JUMP 00000b62: JUMPDEST 00000b63: SWAP1 00000b64: SWAP2 00000b65: SSTORE 00000b66: POP 00000b67: POP 00000b68: PUSH1 0x03 00000b6a: SLOAD 00000b6b: PUSH1 0x00 00000b6d: SWAP1 00000b6e: DUP2 00000b6f: MSTORE 00000b70: PUSH1 0x04 00000b72: PUSH1 0x20 00000b74: SWAP1 00000b75: DUP2 00000b76: MSTORE 00000b77: PUSH1 0x40 00000b79: SWAP1 00000b7a: SWAP2 00000b7b: KECCAK256 00000b7c: DUP3 00000b7d: MLOAD 00000b7e: DUP2 00000b7f: SSTORE 00000b80: DUP2 00000b81: DUP4 00000b82: ADD 00000b83: MLOAD 00000b84: DUP1 00000b85: MLOAD 00000b86: DUP5 00000b87: SWAP4 00000b88: PUSH2 0x0b98 00000b8b: SWAP3 00000b8c: PUSH1 0x01 00000b8e: DUP6 00000b8f: ADD 00000b90: SWAP3 00000b91: SWAP2 00000b92: ADD 00000b93: SWAP1 00000b94: PUSH2 0x0c83 00000b97: JUMP 00000b98: JUMPDEST 00000b99: POP 00000b9a: POP 00000b9b: PUSH1 0x03 00000b9d: SLOAD 00000b9e: PUSH1 0x40 00000ba0: MLOAD 00000ba1: SWAP1 00000ba2: DUP2 00000ba3: MSTORE 00000ba4: PUSH32 0x9766c3487f5c2ad5ced50186b0779a29a18050da711df3e4210ba434b1ed3726 00000bc5: SWAP2 00000bc6: POP 00000bc7: PUSH1 0x20 00000bc9: ADD 00000bca: PUSH1 0x40 00000bcc: MLOAD 00000bcd: DUP1 00000bce: SWAP2 00000bcf: SUB 00000bd0: SWAP1 00000bd1: LOG1 00000bd2: POP 00000bd3: JUMP 00000bd4: JUMPDEST 00000bd5: PUSH1 0x00 00000bd7: DUP2 00000bd8: DUP2 00000bd9: JUMPDEST 00000bda: DUP6 00000bdb: MLOAD 00000bdc: DUP2 00000bdd: LT 00000bde: ISZERO 00000bdf: PUSH2 0x0c78 00000be2: JUMPI 00000be3: PUSH1 0x00 00000be5: DUP7 00000be6: DUP3 00000be7: DUP2 00000be8: MLOAD 00000be9: DUP2 00000bea: LT 00000beb: PUSH2 0x0bf6 00000bee: JUMPI 00000bef: PUSH2 0x0bf6 00000bf2: PUSH2 0x11e3 00000bf5: JUMP 00000bf6: JUMPDEST 00000bf7: PUSH1 0x20 00000bf9: MUL 00000bfa: PUSH1 0x20 00000bfc: ADD 00000bfd: ADD 00000bfe: MLOAD 00000bff: SWAP1 00000c00: POP 00000c01: DUP1 00000c02: DUP4 00000c03: GT 00000c04: PUSH2 0x0c38 00000c07: JUMPI 00000c08: PUSH1 0x40 00000c0a: DUP1 00000c0b: MLOAD 00000c0c: PUSH1 0x20 00000c0e: DUP2 00000c0f: ADD 00000c10: DUP6 00000c11: SWAP1 00000c12: MSTORE 00000c13: SWAP1 00000c14: DUP2 00000c15: ADD 00000c16: DUP3 00000c17: SWAP1 00000c18: MSTORE 00000c19: PUSH1 0x60 00000c1b: ADD 00000c1c: PUSH1 0x40 00000c1e: MLOAD 00000c1f: PUSH1 0x20 00000c21: DUP2 00000c22: DUP4 00000c23: SUB 00000c24: SUB 00000c25: DUP2 00000c26: MSTORE 00000c27: SWAP1 00000c28: PUSH1 0x40 00000c2a: MSTORE 00000c2b: DUP1 00000c2c: MLOAD 00000c2d: SWAP1 00000c2e: PUSH1 0x20 00000c30: ADD 00000c31: KECCAK256 00000c32: SWAP3 00000c33: POP 00000c34: PUSH2 0x0c65 00000c37: JUMP 00000c38: JUMPDEST 00000c39: PUSH1 0x40 00000c3b: DUP1 00000c3c: MLOAD 00000c3d: PUSH1 0x20 00000c3f: DUP2 00000c40: ADD 00000c41: DUP4 00000c42: SWAP1 00000c43: MSTORE 00000c44: SWAP1 00000c45: DUP2 00000c46: ADD 00000c47: DUP5 00000c48: SWAP1 00000c49: MSTORE 00000c4a: PUSH1 0x60 00000c4c: ADD 00000c4d: PUSH1 0x40 00000c4f: MLOAD 00000c50: PUSH1 0x20 00000c52: DUP2 00000c53: DUP4 00000c54: SUB 00000c55: SUB 00000c56: DUP2 00000c57: MSTORE 00000c58: SWAP1 00000c59: PUSH1 0x40 00000c5b: MSTORE 00000c5c: DUP1 00000c5d: MLOAD 00000c5e: SWAP1 00000c5f: PUSH1 0x20 00000c61: ADD 00000c62: KECCAK256 00000c63: SWAP3 00000c64: POP 00000c65: JUMPDEST 00000c66: POP 00000c67: DUP1 00000c68: PUSH2 0x0c70 00000c6b: DUP2 00000c6c: PUSH2 0x11b2 00000c6f: JUMP 00000c70: JUMPDEST 00000c71: SWAP2 00000c72: POP 00000c73: POP 00000c74: PUSH2 0x0bd9 00000c77: JUMP 00000c78: JUMPDEST 00000c79: POP 00000c7a: SWAP1 00000c7b: SWAP3 00000c7c: EQ 00000c7d: SWAP4 00000c7e: SWAP3 00000c7f: POP 00000c80: POP 00000c81: POP 00000c82: JUMP 00000c83: JUMPDEST 00000c84: DUP3 00000c85: DUP1 00000c86: SLOAD 00000c87: PUSH2 0x0c8f 00000c8a: SWAP1 00000c8b: PUSH2 0x1177 00000c8e: JUMP 00000c8f: JUMPDEST 00000c90: SWAP1 00000c91: PUSH1 0x00 00000c93: MSTORE 00000c94: PUSH1 0x20 00000c96: PUSH1 0x00 00000c98: KECCAK256 00000c99: SWAP1 00000c9a: PUSH1 0x1f 00000c9c: ADD 00000c9d: PUSH1 0x20 00000c9f: SWAP1 00000ca0: DIV 00000ca1: DUP2 00000ca2: ADD 00000ca3: SWAP3 00000ca4: DUP3 00000ca5: PUSH2 0x0cb1 00000ca8: JUMPI 00000ca9: PUSH1 0x00 00000cab: DUP6 00000cac: SSTORE 00000cad: PUSH2 0x0cf7 00000cb0: JUMP 00000cb1: JUMPDEST 00000cb2: DUP3 00000cb3: PUSH1 0x1f 00000cb5: LT 00000cb6: PUSH2 0x0cca 00000cb9: JUMPI 00000cba: DUP1 00000cbb: MLOAD 00000cbc: PUSH1 0xff 00000cbe: NOT 00000cbf: AND 00000cc0: DUP4 00000cc1: DUP1 00000cc2: ADD 00000cc3: OR 00000cc4: DUP6 00000cc5: SSTORE 00000cc6: PUSH2 0x0cf7 00000cc9: JUMP 00000cca: JUMPDEST 00000ccb: DUP3 00000ccc: DUP1 00000ccd: ADD 00000cce: PUSH1 0x01 00000cd0: ADD 00000cd1: DUP6 00000cd2: SSTORE 00000cd3: DUP3 00000cd4: ISZERO 00000cd5: PUSH2 0x0cf7 00000cd8: JUMPI 00000cd9: SWAP2 00000cda: DUP3 00000cdb: ADD 00000cdc: JUMPDEST 00000cdd: DUP3 00000cde: DUP2 00000cdf: GT 00000ce0: ISZERO 00000ce1: PUSH2 0x0cf7 00000ce4: JUMPI 00000ce5: DUP3 00000ce6: MLOAD 00000ce7: DUP3 00000ce8: SSTORE 00000ce9: SWAP2 00000cea: PUSH1 0x20 00000cec: ADD 00000ced: SWAP2 00000cee: SWAP1 00000cef: PUSH1 0x01 00000cf1: ADD 00000cf2: SWAP1 00000cf3: PUSH2 0x0cdc 00000cf6: JUMP 00000cf7: JUMPDEST 00000cf8: POP 00000cf9: PUSH2 0x0d03 00000cfc: SWAP3 00000cfd: SWAP2 00000cfe: POP 00000cff: PUSH2 0x0d07 00000d02: JUMP 00000d03: JUMPDEST 00000d04: POP 00000d05: SWAP1 00000d06: JUMP 00000d07: JUMPDEST 00000d08: JUMPDEST 00000d09: DUP1 00000d0a: DUP3 00000d0b: GT 00000d0c: ISZERO 00000d0d: PUSH2 0x0d03 00000d10: JUMPI 00000d11: PUSH1 0x00 00000d13: DUP2 00000d14: SSTORE 00000d15: PUSH1 0x01 00000d17: ADD 00000d18: PUSH2 0x0d08 00000d1b: JUMP 00000d1c: JUMPDEST 00000d1d: PUSH1 0x00 00000d1f: DUP1 00000d20: DUP4 00000d21: PUSH1 0x1f 00000d23: DUP5 00000d24: ADD 00000d25: SLT 00000d26: PUSH2 0x0d2e 00000d29: JUMPI 00000d2a: PUSH1 0x00 00000d2c: DUP1 00000d2d: REVERT 00000d2e: JUMPDEST 00000d2f: POP 00000d30: DUP2 00000d31: CALLDATALOAD 00000d32: PUSH8 0xffffffffffffffff 00000d3b: DUP2 00000d3c: GT 00000d3d: ISZERO 00000d3e: PUSH2 0x0d46 00000d41: JUMPI 00000d42: PUSH1 0x00 00000d44: DUP1 00000d45: REVERT 00000d46: JUMPDEST 00000d47: PUSH1 0x20 00000d49: DUP4 00000d4a: ADD 00000d4b: SWAP2 00000d4c: POP 00000d4d: DUP4 00000d4e: PUSH1 0x20 00000d50: DUP3 00000d51: PUSH1 0x05 00000d53: SHL 00000d54: DUP6 00000d55: ADD 00000d56: ADD 00000d57: GT 00000d58: ISZERO 00000d59: PUSH2 0x0d61 00000d5c: JUMPI 00000d5d: PUSH1 0x00 00000d5f: DUP1 00000d60: REVERT 00000d61: JUMPDEST 00000d62: SWAP3 00000d63: POP 00000d64: SWAP3 00000d65: SWAP1 00000d66: POP 00000d67: JUMP 00000d68: JUMPDEST 00000d69: PUSH1 0x00 00000d6b: PUSH1 0x20 00000d6d: DUP3 00000d6e: DUP5 00000d6f: SUB 00000d70: SLT 00000d71: ISZERO 00000d72: PUSH2 0x0d7a 00000d75: JUMPI 00000d76: PUSH1 0x00 00000d78: DUP1 00000d79: REVERT 00000d7a: JUMPDEST 00000d7b: DUP2 00000d7c: CALLDATALOAD 00000d7d: PUSH2 0x0d85 00000d80: DUP2 00000d81: PUSH2 0x120f 00000d84: JUMP 00000d85: JUMPDEST 00000d86: SWAP4 00000d87: SWAP3 00000d88: POP 00000d89: POP 00000d8a: POP 00000d8b: JUMP 00000d8c: JUMPDEST 00000d8d: PUSH1 0x00 00000d8f: DUP1 00000d90: PUSH1 0x40 00000d92: DUP4 00000d93: DUP6 00000d94: SUB 00000d95: SLT 00000d96: ISZERO 00000d97: PUSH2 0x0d9f 00000d9a: JUMPI 00000d9b: PUSH1 0x00 00000d9d: DUP1 00000d9e: REVERT 00000d9f: JUMPDEST 00000da0: DUP3 00000da1: CALLDATALOAD 00000da2: PUSH2 0x0daa 00000da5: DUP2 00000da6: PUSH2 0x120f 00000da9: JUMP 00000daa: JUMPDEST 00000dab: SWAP5 00000dac: PUSH1 0x20 00000dae: SWAP4 00000daf: SWAP1 00000db0: SWAP4 00000db1: ADD 00000db2: CALLDATALOAD 00000db3: SWAP4 00000db4: POP 00000db5: POP 00000db6: POP 00000db7: JUMP 00000db8: JUMPDEST 00000db9: PUSH1 0x00 00000dbb: PUSH1 0x20 00000dbd: DUP3 00000dbe: DUP5 00000dbf: SUB 00000dc0: SLT 00000dc1: ISZERO 00000dc2: PUSH2 0x0dca 00000dc5: JUMPI 00000dc6: PUSH1 0x00 00000dc8: DUP1 00000dc9: REVERT 00000dca: JUMPDEST 00000dcb: DUP2 00000dcc: MLOAD 00000dcd: DUP1 00000dce: ISZERO 00000dcf: ISZERO 00000dd0: DUP2 00000dd1: EQ 00000dd2: PUSH2 0x0d85 00000dd5: JUMPI 00000dd6: PUSH1 0x00 00000dd8: DUP1 00000dd9: REVERT 00000dda: JUMPDEST 00000ddb: PUSH1 0x00 00000ddd: PUSH1 0x20 00000ddf: DUP3 00000de0: DUP5 00000de1: SUB 00000de2: SLT 00000de3: ISZERO 00000de4: PUSH2 0x0dec 00000de7: JUMPI 00000de8: PUSH1 0x00 00000dea: DUP1 00000deb: REVERT 00000dec: JUMPDEST 00000ded: DUP2 00000dee: CALLDATALOAD 00000def: PUSH8 0xffffffffffffffff 00000df8: DUP2 00000df9: GT 00000dfa: ISZERO 00000dfb: PUSH2 0x0e03 00000dfe: JUMPI 00000dff: PUSH1 0x00 00000e01: DUP1 00000e02: REVERT 00000e03: JUMPDEST 00000e04: DUP3 00000e05: ADD 00000e06: PUSH1 0x40 00000e08: DUP2 00000e09: DUP6 00000e0a: SUB 00000e0b: SLT 00000e0c: ISZERO 00000e0d: PUSH2 0x0d85 00000e10: JUMPI 00000e11: PUSH1 0x00 00000e13: DUP1 00000e14: REVERT 00000e15: JUMPDEST 00000e16: PUSH1 0x00 00000e18: PUSH1 0x20 00000e1a: DUP3 00000e1b: DUP5 00000e1c: SUB 00000e1d: SLT 00000e1e: ISZERO 00000e1f: PUSH2 0x0e27 00000e22: JUMPI 00000e23: PUSH1 0x00 00000e25: DUP1 00000e26: REVERT 00000e27: JUMPDEST 00000e28: POP 00000e29: CALLDATALOAD 00000e2a: SWAP2 00000e2b: SWAP1 00000e2c: POP 00000e2d: JUMP 00000e2e: JUMPDEST 00000e2f: PUSH1 0x00 00000e31: DUP1 00000e32: PUSH1 0x00 00000e34: DUP1 00000e35: PUSH1 0x00 00000e37: DUP1 00000e38: PUSH1 0xa0 00000e3a: DUP8 00000e3b: DUP10 00000e3c: SUB 00000e3d: SLT 00000e3e: ISZERO 00000e3f: PUSH2 0x0e47 00000e42: JUMPI 00000e43: PUSH1 0x00 00000e45: DUP1 00000e46: REVERT 00000e47: JUMPDEST 00000e48: DUP7 00000e49: CALLDATALOAD 00000e4a: SWAP6 00000e4b: POP 00000e4c: PUSH1 0x20 00000e4e: DUP8 00000e4f: ADD 00000e50: CALLDATALOAD 00000e51: PUSH2 0x0e59 00000e54: DUP2 00000e55: PUSH2 0x120f 00000e58: JUMP 00000e59: JUMPDEST 00000e5a: SWAP5 00000e5b: POP 00000e5c: PUSH1 0x40 00000e5e: DUP8 00000e5f: ADD 00000e60: CALLDATALOAD 00000e61: PUSH2 0x0e69 00000e64: DUP2 00000e65: PUSH2 0x120f 00000e68: JUMP 00000e69: JUMPDEST 00000e6a: SWAP4 00000e6b: POP 00000e6c: PUSH1 0x60 00000e6e: DUP8 00000e6f: ADD 00000e70: CALLDATALOAD 00000e71: SWAP3 00000e72: POP 00000e73: PUSH1 0x80 00000e75: DUP8 00000e76: ADD 00000e77: CALLDATALOAD 00000e78: PUSH8 0xffffffffffffffff 00000e81: DUP2 00000e82: GT 00000e83: ISZERO 00000e84: PUSH2 0x0e8c 00000e87: JUMPI 00000e88: PUSH1 0x00 00000e8a: DUP1 00000e8b: REVERT 00000e8c: JUMPDEST 00000e8d: PUSH2 0x0e98 00000e90: DUP10 00000e91: DUP3 00000e92: DUP11 00000e93: ADD 00000e94: PUSH2 0x0d1c 00000e97: JUMP 00000e98: JUMPDEST 00000e99: SWAP8 00000e9a: SWAP11 00000e9b: SWAP7 00000e9c: SWAP10 00000e9d: POP 00000e9e: SWAP5 00000e9f: SWAP8 00000ea0: POP 00000ea1: SWAP3 00000ea2: SWAP6 00000ea3: SWAP4 00000ea4: SWAP5 00000ea5: SWAP3 00000ea6: POP 00000ea7: POP 00000ea8: POP 00000ea9: JUMP 00000eaa: JUMPDEST 00000eab: PUSH1 0x00 00000ead: DUP1 00000eae: PUSH1 0x00 00000eb0: DUP1 00000eb1: PUSH1 0x00 00000eb3: DUP1 00000eb4: PUSH1 0xa0 00000eb6: DUP8 00000eb7: DUP10 00000eb8: SUB 00000eb9: SLT 00000eba: ISZERO 00000ebb: PUSH2 0x0ec3 00000ebe: JUMPI 00000ebf: PUSH1 0x00 00000ec1: DUP1 00000ec2: REVERT 00000ec3: JUMPDEST 00000ec4: DUP7 00000ec5: CALLDATALOAD 00000ec6: SWAP6 00000ec7: POP 00000ec8: PUSH1 0x20 00000eca: DUP8 00000ecb: ADD 00000ecc: CALLDATALOAD 00000ecd: PUSH2 0x0ed5 00000ed0: DUP2 00000ed1: PUSH2 0x120f 00000ed4: JUMP 00000ed5: JUMPDEST 00000ed6: SWAP5 00000ed7: POP 00000ed8: PUSH1 0x40 00000eda: DUP8 00000edb: ADD 00000edc: CALLDATALOAD 00000edd: SWAP4 00000ede: POP 00000edf: PUSH1 0x60 00000ee1: DUP8 00000ee2: ADD 00000ee3: CALLDATALOAD 00000ee4: PUSH2 0x0eec 00000ee7: DUP2 00000ee8: PUSH2 0x120f 00000eeb: JUMP 00000eec: JUMPDEST 00000eed: SWAP3 00000eee: POP 00000eef: PUSH1 0x80 00000ef1: DUP8 00000ef2: ADD 00000ef3: CALLDATALOAD 00000ef4: PUSH8 0xffffffffffffffff 00000efd: DUP2 00000efe: GT 00000eff: ISZERO 00000f00: PUSH2 0x0e8c 00000f03: JUMPI 00000f04: PUSH1 0x00 00000f06: DUP1 00000f07: REVERT 00000f08: JUMPDEST 00000f09: PUSH1 0x00 00000f0b: DUP1 00000f0c: PUSH1 0x00 00000f0e: DUP1 00000f0f: PUSH1 0x00 00000f11: PUSH1 0x80 00000f13: DUP7 00000f14: DUP9 00000f15: SUB 00000f16: SLT 00000f17: ISZERO 00000f18: PUSH2 0x0f20 00000f1b: JUMPI 00000f1c: PUSH1 0x00 00000f1e: DUP1 00000f1f: REVERT 00000f20: JUMPDEST 00000f21: DUP6 00000f22: CALLDATALOAD 00000f23: SWAP5 00000f24: POP 00000f25: PUSH1 0x20 00000f27: DUP7 00000f28: ADD 00000f29: CALLDATALOAD 00000f2a: PUSH2 0x0f32 00000f2d: DUP2 00000f2e: PUSH2 0x120f 00000f31: JUMP 00000f32: JUMPDEST 00000f33: SWAP4 00000f34: POP 00000f35: PUSH1 0x40 00000f37: DUP7 00000f38: ADD 00000f39: CALLDATALOAD 00000f3a: SWAP3 00000f3b: POP 00000f3c: PUSH1 0x60 00000f3e: DUP7 00000f3f: ADD 00000f40: CALLDATALOAD 00000f41: PUSH8 0xffffffffffffffff 00000f4a: DUP2 00000f4b: GT 00000f4c: ISZERO 00000f4d: PUSH2 0x0f55 00000f50: JUMPI 00000f51: PUSH1 0x00 00000f53: DUP1 00000f54: REVERT 00000f55: JUMPDEST 00000f56: PUSH2 0x0f61 00000f59: DUP9 00000f5a: DUP3 00000f5b: DUP10 00000f5c: ADD 00000f5d: PUSH2 0x0d1c 00000f60: JUMP 00000f61: JUMPDEST 00000f62: SWAP7 00000f63: SWAP10 00000f64: SWAP6 00000f65: SWAP9 00000f66: POP 00000f67: SWAP4 00000f68: SWAP7 00000f69: POP 00000f6a: SWAP3 00000f6b: SWAP5 00000f6c: SWAP4 00000f6d: SWAP3 00000f6e: POP 00000f6f: POP 00000f70: POP 00000f71: JUMP 00000f72: JUMPDEST 00000f73: SWAP4 00000f74: DUP5 00000f75: MSTORE 00000f76: PUSH12 0xffffffffffffffffffffffff 00000f83: NOT 00000f84: PUSH1 0x60 00000f86: SWAP4 00000f87: DUP5 00000f88: SHL 00000f89: DUP2 00000f8a: AND 00000f8b: PUSH1 0x20 00000f8d: DUP7 00000f8e: ADD 00000f8f: MSTORE 00000f90: SWAP2 00000f91: SWAP1 00000f92: SWAP3 00000f93: SHL 00000f94: AND 00000f95: PUSH1 0x34 00000f97: DUP4 00000f98: ADD 00000f99: MSTORE 00000f9a: PUSH1 0x48 00000f9c: DUP3 00000f9d: ADD 00000f9e: MSTORE 00000f9f: PUSH1 0x68 00000fa1: ADD 00000fa2: SWAP1 00000fa3: JUMP 00000fa4: JUMPDEST 00000fa5: DUP3 00000fa6: DUP2 00000fa7: MSTORE 00000fa8: PUSH1 0x00 00000faa: PUSH1 0x20 00000fac: PUSH1 0x40 00000fae: DUP2 00000faf: DUP5 00000fb0: ADD 00000fb1: MSTORE 00000fb2: DUP4 00000fb3: MLOAD 00000fb4: DUP1 00000fb5: PUSH1 0x40 00000fb7: DUP6 00000fb8: ADD 00000fb9: MSTORE 00000fba: PUSH1 0x00 00000fbc: JUMPDEST 00000fbd: DUP2 00000fbe: DUP2 00000fbf: LT 00000fc0: ISZERO 00000fc1: PUSH2 0x0fd8 00000fc4: JUMPI 00000fc5: DUP6 00000fc6: DUP2 00000fc7: ADD 00000fc8: DUP4 00000fc9: ADD 00000fca: MLOAD 00000fcb: DUP6 00000fcc: DUP3 00000fcd: ADD 00000fce: PUSH1 0x60 00000fd0: ADD 00000fd1: MSTORE 00000fd2: DUP3 00000fd3: ADD 00000fd4: PUSH2 0x0fbc 00000fd7: JUMP 00000fd8: JUMPDEST 00000fd9: DUP2 00000fda: DUP2 00000fdb: GT 00000fdc: ISZERO 00000fdd: PUSH2 0x0fea 00000fe0: JUMPI 00000fe1: PUSH1 0x00 00000fe3: PUSH1 0x60 00000fe5: DUP4 00000fe6: DUP8 00000fe7: ADD 00000fe8: ADD 00000fe9: MSTORE 00000fea: JUMPDEST 00000feb: POP 00000fec: PUSH1 0x1f 00000fee: ADD 00000fef: PUSH1 0x1f 00000ff1: NOT 00000ff2: AND 00000ff3: SWAP3 00000ff4: SWAP1 00000ff5: SWAP3 00000ff6: ADD 00000ff7: PUSH1 0x60 00000ff9: ADD 00000ffa: SWAP5 00000ffb: SWAP4 00000ffc: POP 00000ffd: POP 00000ffe: POP 00000fff: POP 00001000: JUMP 00001001: JUMPDEST 00001002: PUSH1 0x20 00001004: DUP1 00001005: DUP3 00001006: MSTORE 00001007: PUSH1 0x10 00001009: SWAP1 0000100a: DUP3 0000100b: ADD 0000100c: MSTORE 0000100d: PUSH16 0x14185d5cd8589b194e881c185d5cd959 0000101e: PUSH1 0x82 00001020: SHL 00001021: PUSH1 0x40 00001023: DUP3 00001024: ADD 00001025: MSTORE 00001026: PUSH1 0x60 00001028: ADD 00001029: SWAP1 0000102a: JUMP 0000102b: JUMPDEST 0000102c: PUSH1 0x20 0000102e: DUP1 0000102f: DUP3 00001030: MSTORE 00001031: DUP2 00001032: DUP2 00001033: ADD 00001034: MSTORE 00001035: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001056: PUSH1 0x40 00001058: DUP3 00001059: ADD 0000105a: MSTORE 0000105b: PUSH1 0x60 0000105d: ADD 0000105e: SWAP1 0000105f: JUMP 00001060: JUMPDEST 00001061: PUSH1 0x40 00001063: DUP1 00001064: MLOAD 00001065: SWAP1 00001066: DUP2 00001067: ADD 00001068: PUSH8 0xffffffffffffffff 00001071: DUP2 00001072: GT 00001073: DUP3 00001074: DUP3 00001075: LT 00001076: OR 00001077: ISZERO 00001078: PUSH2 0x1083 0000107b: JUMPI 0000107c: PUSH2 0x1083 0000107f: PUSH2 0x11f9 00001082: JUMP 00001083: JUMPDEST 00001084: PUSH1 0x40 00001086: MSTORE 00001087: SWAP1 00001088: JUMP 00001089: JUMPDEST 0000108a: PUSH1 0x40 0000108c: MLOAD 0000108d: PUSH1 0x1f 0000108f: DUP3 00001090: ADD 00001091: PUSH1 0x1f 00001093: NOT 00001094: AND 00001095: DUP2 00001096: ADD 00001097: PUSH8 0xffffffffffffffff 000010a0: DUP2 000010a1: GT 000010a2: DUP3 000010a3: DUP3 000010a4: LT 000010a5: OR 000010a6: ISZERO 000010a7: PUSH2 0x10b2 000010aa: JUMPI 000010ab: PUSH2 0x10b2 000010ae: PUSH2 0x11f9 000010b1: JUMP 000010b2: JUMPDEST 000010b3: PUSH1 0x40 000010b5: MSTORE 000010b6: SWAP2 000010b7: SWAP1 000010b8: POP 000010b9: JUMP 000010ba: JUMPDEST 000010bb: PUSH1 0x00 000010bd: DUP3 000010be: NOT 000010bf: DUP3 000010c0: GT 000010c1: ISZERO 000010c2: PUSH2 0x10cd 000010c5: JUMPI 000010c6: PUSH2 0x10cd 000010c9: PUSH2 0x11cd 000010cc: JUMP 000010cd: JUMPDEST 000010ce: POP 000010cf: ADD 000010d0: SWAP1 000010d1: JUMP 000010d2: JUMPDEST 000010d3: PUSH1 0x00 000010d5: PUSH1 0x40 000010d7: DUP3 000010d8: CALLDATASIZE 000010d9: SUB 000010da: SLT 000010db: ISZERO 000010dc: PUSH2 0x10e4 000010df: JUMPI 000010e0: PUSH1 0x00 000010e2: DUP1 000010e3: REVERT 000010e4: JUMPDEST 000010e5: PUSH2 0x10ec 000010e8: PUSH2 0x1060 000010eb: JUMP 000010ec: JUMPDEST 000010ed: DUP3 000010ee: CALLDATALOAD 000010ef: DUP2 000010f0: MSTORE 000010f1: PUSH1 0x20 000010f3: DUP1 000010f4: DUP5 000010f5: ADD 000010f6: CALLDATALOAD 000010f7: PUSH8 0xffffffffffffffff 00001100: DUP1 00001101: DUP3 00001102: GT 00001103: ISZERO 00001104: PUSH2 0x110c 00001107: JUMPI 00001108: PUSH1 0x00 0000110a: DUP1 0000110b: REVERT 0000110c: JUMPDEST 0000110d: SWAP1 0000110e: DUP6 0000110f: ADD 00001110: SWAP1 00001111: CALLDATASIZE 00001112: PUSH1 0x1f 00001114: DUP4 00001115: ADD 00001116: SLT 00001117: PUSH2 0x111f 0000111a: JUMPI 0000111b: PUSH1 0x00 0000111d: DUP1 0000111e: REVERT 0000111f: JUMPDEST 00001120: DUP2 00001121: CALLDATALOAD 00001122: DUP2 00001123: DUP2 00001124: GT 00001125: ISZERO 00001126: PUSH2 0x1131 00001129: JUMPI 0000112a: PUSH2 0x1131 0000112d: PUSH2 0x11f9 00001130: JUMP 00001131: JUMPDEST 00001132: PUSH2 0x1143 00001135: PUSH1 0x1f 00001137: DUP3 00001138: ADD 00001139: PUSH1 0x1f 0000113b: NOT 0000113c: AND 0000113d: DUP6 0000113e: ADD 0000113f: PUSH2 0x1089 00001142: JUMP 00001143: JUMPDEST 00001144: SWAP2 00001145: POP 00001146: DUP1 00001147: DUP3 00001148: MSTORE 00001149: CALLDATASIZE 0000114a: DUP5 0000114b: DUP3 0000114c: DUP6 0000114d: ADD 0000114e: ADD 0000114f: GT 00001150: ISZERO 00001151: PUSH2 0x1159 00001154: JUMPI 00001155: PUSH1 0x00 00001157: DUP1 00001158: REVERT 00001159: JUMPDEST 0000115a: DUP1 0000115b: DUP5 0000115c: DUP5 0000115d: ADD 0000115e: DUP6 0000115f: DUP5 00001160: ADD 00001161: CALLDATACOPY 00001162: PUSH1 0x00 00001164: SWAP1 00001165: DUP3 00001166: ADD 00001167: DUP5 00001168: ADD 00001169: MSTORE 0000116a: SWAP2 0000116b: DUP4 0000116c: ADD 0000116d: SWAP2 0000116e: SWAP1 0000116f: SWAP2 00001170: MSTORE 00001171: POP 00001172: SWAP3 00001173: SWAP2 00001174: POP 00001175: POP 00001176: JUMP 00001177: JUMPDEST 00001178: PUSH1 0x01 0000117a: DUP2 0000117b: DUP2 0000117c: SHR 0000117d: SWAP1 0000117e: DUP3 0000117f: AND 00001180: DUP1 00001181: PUSH2 0x118b 00001184: JUMPI 00001185: PUSH1 0x7f 00001187: DUP3 00001188: AND 00001189: SWAP2 0000118a: POP 0000118b: JUMPDEST 0000118c: PUSH1 0x20 0000118e: DUP3 0000118f: LT 00001190: DUP2 00001191: EQ 00001192: ISZERO 00001193: PUSH2 0x11ac 00001196: JUMPI 00001197: PUSH4 0x4e487b71 0000119c: PUSH1 0xe0 0000119e: SHL 0000119f: PUSH1 0x00 000011a1: MSTORE 000011a2: PUSH1 0x22 000011a4: PUSH1 0x04 000011a6: MSTORE 000011a7: PUSH1 0x24 000011a9: PUSH1 0x00 000011ab: REVERT 000011ac: JUMPDEST 000011ad: POP 000011ae: SWAP2 000011af: SWAP1 000011b0: POP 000011b1: JUMP 000011b2: JUMPDEST 000011b3: PUSH1 0x00 000011b5: PUSH1 0x00 000011b7: NOT 000011b8: DUP3 000011b9: EQ 000011ba: ISZERO 000011bb: PUSH2 0x11c6 000011be: JUMPI 000011bf: PUSH2 0x11c6 000011c2: PUSH2 0x11cd 000011c5: JUMP 000011c6: JUMPDEST 000011c7: POP 000011c8: PUSH1 0x01 000011ca: ADD 000011cb: SWAP1 000011cc: JUMP 000011cd: JUMPDEST 000011ce: PUSH4 0x4e487b71 000011d3: PUSH1 0xe0 000011d5: SHL 000011d6: PUSH1 0x00 000011d8: MSTORE 000011d9: PUSH1 0x11 000011db: PUSH1 0x04 000011dd: MSTORE 000011de: PUSH1 0x24 000011e0: PUSH1 0x00 000011e2: REVERT 000011e3: JUMPDEST 000011e4: PUSH4 0x4e487b71 000011e9: PUSH1 0xe0 000011eb: SHL 000011ec: PUSH1 0x00 000011ee: MSTORE 000011ef: PUSH1 0x32 000011f1: PUSH1 0x04 000011f3: MSTORE 000011f4: PUSH1 0x24 000011f6: PUSH1 0x00 000011f8: REVERT 000011f9: JUMPDEST 000011fa: PUSH4 0x4e487b71 000011ff: PUSH1 0xe0 00001201: SHL 00001202: PUSH1 0x00 00001204: MSTORE 00001205: PUSH1 0x41 00001207: PUSH1 0x04 00001209: MSTORE 0000120a: PUSH1 0x24 0000120c: PUSH1 0x00 0000120e: REVERT 0000120f: JUMPDEST 00001210: PUSH1 0x01 00001212: PUSH1 0x01 00001214: PUSH1 0xa0 00001216: SHL 00001217: SUB 00001218: DUP2 00001219: AND 0000121a: DUP2 0000121b: EQ 0000121c: PUSH2 0x05bd 0000121f: JUMPI 00001220: PUSH1 0x00 00001222: DUP1 00001223: REVERT 00001224: INVALID 00001225: LOG2 00001226: PUSH5 0x6970667358 0000122c: UNKNOWN(0x22) 0000122d: SLT 0000122e: KECCAK256 0000122f: UNKNOWN(0xC1) 00001230: UNKNOWN(0xBC) 00001231: SELFBALANCE 00001232: DUP14 00001233: UNKNOWN(0xB5) 00001234: SWAP16 00001235: SWAP12 00001236: UNKNOWN(0xC9) 00001237: SWAP1 00001238: UNKNOWN(0x0F) 00001239: CALLER 0000123a: PUSH27 0x4498d8ac0477247b63fdb98516280f95d595fe6b64736f6c634300 00001256: ADDMOD 00001257: MOD 00001258: STOP 00001259: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x4b8676fcab6f755acf7847dad8b35de81db9ef862e04866d20b467f4f47cb8b1
call_targets:
0x11b0d9afd49dc36d86dea579d0d11771a4f2f54b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4b8676fcab6f755acf7847dad8b35de81db9ef862e04866d20b467f4f47cb8b1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x11b0d9afd49dc36d86dea579d0d11771a4f2f54b"
],
"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": "0xbf1b4061",
"selector": "0xbf1b4061",
"calldata_variants": [
"0xbf1b4061",
"0xbf1b40610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc4a2c6e6",
"selector": "0xc4a2c6e6",
"calldata_variants": [
"0xc4a2c6e6",
"0xc4a2c6e60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc8be08a4",
"selector": "0xc8be08a4",
"calldata_variants": [
"0xc8be08a4",
"0xc8be08a40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8de20b94",
"selector": "0x8de20b94",
"calldata_variants": [
"0x8de20b94",
"0x8de20b940000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaad2816e",
"selector": "0xaad2816e",
"calldata_variants": [
"0xaad2816e",
"0xaad2816e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1f0ce4f5",
"selector": "0x1f0ce4f5",
"calldata_variants": [
"0x1f0ce4f5",
"0x1f0ce4f50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2167,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2374,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x4b8676fcab6f755acf7847dad8b35de81db9ef862e04866d20b467f4f47cb8b1
call_targets:
0x11b0d9afd49dc36d86dea579d0d11771a4f2f54b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4b8676fcab6f755acf7847dad8b35de81db9ef862e04866d20b467f4f47cb8b1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x11b0d9afd49dc36d86dea579d0d11771a4f2f54b"
],
"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": "0xbf1b4061",
"selector": "0xbf1b4061",
"calldata_variants": [
"0xbf1b4061",
"0xbf1b40610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc4a2c6e6",
"selector": "0xc4a2c6e6",
"calldata_variants": [
"0xc4a2c6e6",
"0xc4a2c6e60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc8be08a4",
"selector": "0xc8be08a4",
"calldata_variants": [
"0xc8be08a4",
"0xc8be08a40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8de20b94",
"selector": "0x8de20b94",
"calldata_variants": [
"0x8de20b94",
"0x8de20b940000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaad2816e",
"selector": "0xaad2816e",
"calldata_variants": [
"0xaad2816e",
"0xaad2816e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1f0ce4f5",
"selector": "0x1f0ce4f5",
"calldata_variants": [
"0x1f0ce4f5",
"0x1f0ce4f50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2167,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2374,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|