019b477e-b08c-7042-840e-891970651792
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 |
|---|---|---|---|---|
| 21995 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21996 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 89141 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 89142 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 89143 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 89144 | 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 0x00b9 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x018a25e8 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x070c 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x3c28308a 00000046: EQ 00000047: PUSH2 0x0733 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x3c3c9c23 00000051: EQ 00000052: PUSH2 0x0748 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x4311de8f 0000005c: EQ 0000005d: PUSH2 0x075d 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x528ce7de 00000067: EQ 00000068: PUSH2 0x0772 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x6561e6ba 00000072: EQ 00000073: PUSH2 0x078c 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x747dff42 0000007d: EQ 0000007e: PUSH2 0x07a1 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x7e8ac590 00000088: EQ 00000089: PUSH2 0x0800 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x80ec35ff 00000093: EQ 00000094: PUSH2 0x085b 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x8da5cb5b 0000009e: EQ 0000009f: PUSH2 0x0873 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xa05ce940 000000a9: EQ 000000aa: PUSH2 0x08a4 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xa6f9dae1 000000b4: EQ 000000b5: PUSH2 0x08e6 000000b8: JUMPI 000000b9: JUMPDEST 000000ba: PUSH1 0x00 000000bc: DUP1 000000bd: DUP1 000000be: DUP1 000000bf: DUP1 000000c0: DUP1 000000c1: DUP1 000000c2: CALLER 000000c3: DUP1 000000c4: EXTCODESIZE 000000c5: DUP1 000000c6: ISZERO 000000c7: PUSH2 0x0108 000000ca: JUMPI 000000cb: PUSH1 0x40 000000cd: DUP1 000000ce: MLOAD 000000cf: PUSH1 0xe5 000000d1: PUSH1 0x02 000000d3: EXP 000000d4: PUSH3 0x461bcd 000000d8: MUL 000000d9: DUP2 000000da: MSTORE 000000db: PUSH1 0x20 000000dd: PUSH1 0x04 000000df: DUP3 000000e0: ADD 000000e1: MSTORE 000000e2: PUSH1 0x11 000000e4: PUSH1 0x24 000000e6: DUP3 000000e7: ADD 000000e8: MSTORE 000000e9: PUSH1 0x00 000000eb: DUP1 000000ec: MLOAD 000000ed: PUSH1 0x20 000000ef: PUSH2 0x1421 000000f2: DUP4 000000f3: CODECOPY 000000f4: DUP2 000000f5: MLOAD 000000f6: SWAP2 000000f7: MSTORE 000000f8: PUSH1 0x44 000000fa: DUP3 000000fb: ADD 000000fc: MSTORE 000000fd: SWAP1 000000fe: MLOAD 000000ff: SWAP1 00000100: DUP2 00000101: SWAP1 00000102: SUB 00000103: PUSH1 0x64 00000105: ADD 00000106: SWAP1 00000107: REVERT 00000108: JUMPDEST 00000109: CALLVALUE 0000010a: PUSH4 0x3b9aca00 0000010f: DUP2 00000110: LT 00000111: ISZERO 00000112: PUSH2 0x018b 00000115: JUMPI 00000116: PUSH1 0x40 00000118: DUP1 00000119: MLOAD 0000011a: PUSH1 0xe5 0000011c: PUSH1 0x02 0000011e: EXP 0000011f: PUSH3 0x461bcd 00000123: MUL 00000124: DUP2 00000125: MSTORE 00000126: PUSH1 0x20 00000128: PUSH1 0x04 0000012a: DUP3 0000012b: ADD 0000012c: MSTORE 0000012d: PUSH1 0x21 0000012f: PUSH1 0x24 00000131: DUP3 00000132: ADD 00000133: MSTORE 00000134: PUSH32 0x706f636b6574206c696e743a206e6f7420612076616c69642063757272656e63 00000155: PUSH1 0x44 00000157: DUP3 00000158: ADD 00000159: MSTORE 0000015a: PUSH32 0x7900000000000000000000000000000000000000000000000000000000000000 0000017b: PUSH1 0x64 0000017d: DUP3 0000017e: ADD 0000017f: MSTORE 00000180: SWAP1 00000181: MLOAD 00000182: SWAP1 00000183: DUP2 00000184: SWAP1 00000185: SUB 00000186: PUSH1 0x84 00000188: ADD 00000189: SWAP1 0000018a: REVERT 0000018b: JUMPDEST 0000018c: PUSH10 0x152d02c7e14af6800000 00000197: DUP2 00000198: GT 00000199: ISZERO 0000019a: PUSH2 0x01ed 0000019d: JUMPI 0000019e: PUSH1 0x40 000001a0: DUP1 000001a1: MLOAD 000001a2: PUSH1 0xe5 000001a4: PUSH1 0x02 000001a6: EXP 000001a7: PUSH3 0x461bcd 000001ab: MUL 000001ac: DUP2 000001ad: MSTORE 000001ae: PUSH1 0x20 000001b0: PUSH1 0x04 000001b2: DUP3 000001b3: ADD 000001b4: MSTORE 000001b5: PUSH1 0x0e 000001b7: PUSH1 0x24 000001b9: DUP3 000001ba: ADD 000001bb: MSTORE 000001bc: PUSH32 0x6e6f20766974616c696b2c206e6f000000000000000000000000000000000000 000001dd: PUSH1 0x44 000001df: DUP3 000001e0: ADD 000001e1: MSTORE 000001e2: SWAP1 000001e3: MLOAD 000001e4: SWAP1 000001e5: DUP2 000001e6: SWAP1 000001e7: SUB 000001e8: PUSH1 0x64 000001ea: ADD 000001eb: SWAP1 000001ec: REVERT 000001ed: JUMPDEST 000001ee: PUSH1 0x00 000001f0: DUP1 000001f1: SLOAD 000001f2: DUP1 000001f3: DUP3 000001f4: MSTORE 000001f5: PUSH1 0x02 000001f7: PUSH1 0x20 000001f9: MSTORE 000001fa: PUSH1 0x40 000001fc: SWAP1 000001fd: SWAP2 000001fe: KECCAK256 000001ff: PUSH1 0x03 00000201: ADD 00000202: SLOAD 00000203: CALLVALUE 00000204: SWAP12 00000205: POP 00000206: TIMESTAMP 00000207: SWAP11 00000208: POP 00000209: SWAP1 0000020a: SWAP9 0000020b: POP 0000020c: DUP11 0000020d: SWAP8 0000020e: POP 0000020f: DUP10 00000210: GT 00000211: ISZERO 00000212: PUSH2 0x024e 00000215: JUMPI 00000216: PUSH2 0x0226 00000219: DUP9 0000021a: PUSH1 0x01 0000021c: PUSH4 0xffffffff 00000221: PUSH2 0x0907 00000224: AND 00000225: JUMP 00000226: JUMPDEST 00000227: PUSH1 0x00 00000229: DUP2 0000022a: DUP2 0000022b: SSTORE 0000022c: DUP2 0000022d: DUP2 0000022e: MSTORE 0000022f: PUSH1 0x02 00000231: PUSH1 0x20 00000233: DUP2 00000234: SWAP1 00000235: MSTORE 00000236: PUSH1 0x40 00000238: SWAP1 00000239: SWAP2 0000023a: KECCAK256 0000023b: SWAP1 0000023c: DUP2 0000023d: ADD 0000023e: DUP12 0000023f: SWAP1 00000240: SSTORE 00000241: PUSH2 0xa8c0 00000244: DUP12 00000245: ADD 00000246: PUSH1 0x03 00000248: SWAP1 00000249: SWAP2 0000024a: ADD 0000024b: SSTORE 0000024c: SWAP8 0000024d: POP 0000024e: JUMPDEST 0000024f: PUSH1 0x00 00000251: DUP9 00000252: DUP2 00000253: MSTORE 00000254: PUSH1 0x02 00000256: PUSH1 0x20 00000258: MSTORE 00000259: PUSH1 0x40 0000025b: SWAP1 0000025c: KECCAK256 0000025d: PUSH1 0x01 0000025f: ADD 00000260: SLOAD 00000261: PUSH11 0x084595161401484a000000 0000026d: GT 0000026e: ISZERO 0000026f: PUSH2 0x0511 00000272: JUMPI 00000273: PUSH1 0x00 00000275: DUP9 00000276: DUP2 00000277: MSTORE 00000278: PUSH1 0x02 0000027a: PUSH1 0x20 0000027c: MSTORE 0000027d: PUSH1 0x40 0000027f: SWAP1 00000280: KECCAK256 00000281: SLOAD 00000282: PUSH2 0x0291 00000285: SWAP1 00000286: DUP12 00000287: PUSH4 0xffffffff 0000028c: PUSH2 0x0968 0000028f: AND 00000290: JUMP 00000291: JUMPDEST 00000292: PUSH1 0x00 00000294: DUP10 00000295: DUP2 00000296: MSTORE 00000297: PUSH1 0x02 00000299: PUSH1 0x20 0000029b: MSTORE 0000029c: PUSH1 0x40 0000029e: SWAP1 0000029f: KECCAK256 000002a0: PUSH1 0x01 000002a2: ADD 000002a3: SLOAD 000002a4: SWAP1 000002a5: SWAP7 000002a6: POP 000002a7: PUSH11 0x084595161401484a000000 000002b3: SWAP1 000002b4: PUSH2 0x02c4 000002b7: SWAP1 000002b8: DUP9 000002b9: SWAP1 000002ba: PUSH4 0xffffffff 000002bf: PUSH2 0x0907 000002c2: AND 000002c3: JUMP 000002c4: JUMPDEST 000002c5: LT 000002c6: PUSH2 0x039d 000002c9: JUMPI 000002ca: PUSH1 0x00 000002cc: DUP9 000002cd: DUP2 000002ce: MSTORE 000002cf: PUSH1 0x02 000002d1: PUSH1 0x20 000002d3: MSTORE 000002d4: PUSH1 0x40 000002d6: SWAP1 000002d7: KECCAK256 000002d8: PUSH1 0x01 000002da: ADD 000002db: SLOAD 000002dc: PUSH2 0x02f7 000002df: SWAP1 000002e0: PUSH11 0x084595161401484a000000 000002ec: SWAP1 000002ed: PUSH4 0xffffffff 000002f2: PUSH2 0x09a1 000002f5: AND 000002f6: JUMP 000002f7: JUMPDEST 000002f8: PUSH1 0x00 000002fa: DUP10 000002fb: DUP2 000002fc: MSTORE 000002fd: PUSH1 0x02 000002ff: PUSH1 0x20 00000301: MSTORE 00000302: PUSH1 0x40 00000304: SWAP1 00000305: KECCAK256 00000306: SLOAD 00000307: SWAP1 00000308: SWAP7 00000309: POP 0000030a: PUSH10 0x01d02c8edfee423a0000 00000315: GT 00000316: PUSH2 0x0322 00000319: JUMPI 0000031a: PUSH1 0x00 0000031c: SWAP7 0000031d: POP 0000031e: PUSH2 0x034f 00000321: JUMP 00000322: JUMPDEST 00000323: PUSH1 0x00 00000325: DUP9 00000326: DUP2 00000327: MSTORE 00000328: PUSH1 0x02 0000032a: PUSH1 0x20 0000032c: MSTORE 0000032d: PUSH1 0x40 0000032f: SWAP1 00000330: KECCAK256 00000331: SLOAD 00000332: PUSH2 0x034c 00000335: SWAP1 00000336: PUSH10 0x01d02c8edfee423a0000 00000341: SWAP1 00000342: PUSH4 0xffffffff 00000347: PUSH2 0x09a1 0000034a: AND 0000034b: JUMP 0000034c: JUMPDEST 0000034d: SWAP7 0000034e: POP 0000034f: JUMPDEST 00000350: DUP7 00000351: DUP11 00000352: GT 00000353: ISZERO 00000354: PUSH2 0x0399 00000357: JUMPI 00000358: CALLER 00000359: PUSH2 0x08fc 0000035c: PUSH2 0x036b 0000035f: DUP13 00000360: DUP11 00000361: PUSH4 0xffffffff 00000366: PUSH2 0x09a1 00000369: AND 0000036a: JUMP 0000036b: JUMPDEST 0000036c: PUSH1 0x40 0000036e: MLOAD 0000036f: DUP2 00000370: ISZERO 00000371: SWAP1 00000372: SWAP3 00000373: MUL 00000374: SWAP2 00000375: PUSH1 0x00 00000377: DUP2 00000378: DUP2 00000379: DUP2 0000037a: DUP6 0000037b: DUP9 0000037c: DUP9 0000037d: CALL 0000037e: SWAP4 0000037f: POP 00000380: POP 00000381: POP 00000382: POP 00000383: ISZERO 00000384: DUP1 00000385: ISZERO 00000386: PUSH2 0x0393 00000389: JUMPI 0000038a: RETURNDATASIZE 0000038b: PUSH1 0x00 0000038d: DUP1 0000038e: RETURNDATACOPY 0000038f: RETURNDATASIZE 00000390: PUSH1 0x00 00000392: REVERT 00000393: JUMPDEST 00000394: POP 00000395: PUSH2 0x039d 00000398: JUMP 00000399: JUMPDEST 0000039a: DUP10 0000039b: SWAP7 0000039c: POP 0000039d: JUMPDEST 0000039e: PUSH8 0x0de0b6b3a7640000 000003a7: DUP7 000003a8: LT 000003a9: PUSH2 0x03e5 000003ac: JUMPI 000003ad: PUSH1 0x00 000003af: DUP9 000003b0: DUP2 000003b1: MSTORE 000003b2: PUSH1 0x02 000003b4: PUSH1 0x20 000003b6: MSTORE 000003b7: PUSH1 0x40 000003b9: SWAP1 000003ba: KECCAK256 000003bb: PUSH2 0xa8c0 000003be: DUP11 000003bf: ADD 000003c0: PUSH1 0x03 000003c2: DUP3 000003c3: ADD 000003c4: SSTORE 000003c5: PUSH1 0x04 000003c7: ADD 000003c8: DUP1 000003c9: SLOAD 000003ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003df: NOT 000003e0: AND 000003e1: CALLER 000003e2: OR 000003e3: SWAP1 000003e4: SSTORE 000003e5: JUMPDEST 000003e6: PUSH1 0x00 000003e8: DUP9 000003e9: DUP2 000003ea: MSTORE 000003eb: PUSH1 0x03 000003ed: PUSH1 0x20 000003ef: SWAP1 000003f0: DUP2 000003f1: MSTORE 000003f2: PUSH1 0x40 000003f4: DUP1 000003f5: DUP4 000003f6: KECCAK256 000003f7: CALLER 000003f8: DUP5 000003f9: MSTORE 000003fa: SWAP1 000003fb: SWAP2 000003fc: MSTORE 000003fd: SWAP1 000003fe: KECCAK256 000003ff: PUSH1 0x01 00000401: ADD 00000402: SLOAD 00000403: PUSH2 0x0413 00000406: SWAP1 00000407: DUP8 00000408: SWAP1 00000409: PUSH4 0xffffffff 0000040e: PUSH2 0x0907 00000411: AND 00000412: JUMP 00000413: JUMPDEST 00000414: PUSH1 0x00 00000416: DUP10 00000417: DUP2 00000418: MSTORE 00000419: PUSH1 0x03 0000041b: PUSH1 0x20 0000041d: SWAP1 0000041e: DUP2 0000041f: MSTORE 00000420: PUSH1 0x40 00000422: DUP1 00000423: DUP4 00000424: KECCAK256 00000425: CALLER 00000426: DUP5 00000427: MSTORE 00000428: SWAP1 00000429: SWAP2 0000042a: MSTORE 0000042b: SWAP1 0000042c: KECCAK256 0000042d: PUSH1 0x01 0000042f: DUP2 00000430: ADD 00000431: SWAP2 00000432: SWAP1 00000433: SWAP2 00000434: SSTORE 00000435: SLOAD 00000436: PUSH2 0x0440 00000439: SWAP1 0000043a: DUP9 0000043b: SWAP1 0000043c: PUSH2 0x0907 0000043f: JUMP 00000440: JUMPDEST 00000441: PUSH1 0x00 00000443: DUP10 00000444: DUP2 00000445: MSTORE 00000446: PUSH1 0x03 00000448: PUSH1 0x20 0000044a: SWAP1 0000044b: DUP2 0000044c: MSTORE 0000044d: PUSH1 0x40 0000044f: DUP1 00000450: DUP4 00000451: KECCAK256 00000452: CALLER 00000453: DUP5 00000454: MSTORE 00000455: DUP3 00000456: MSTORE 00000457: DUP1 00000458: DUP4 00000459: KECCAK256 0000045a: SWAP4 0000045b: SWAP1 0000045c: SWAP4 0000045d: SSTORE 0000045e: DUP11 0000045f: DUP3 00000460: MSTORE 00000461: PUSH1 0x02 00000463: SWAP1 00000464: MSTORE 00000465: KECCAK256 00000466: PUSH1 0x01 00000468: ADD 00000469: SLOAD 0000046a: PUSH2 0x047a 0000046d: SWAP1 0000046e: DUP8 0000046f: SWAP1 00000470: PUSH4 0xffffffff 00000475: PUSH2 0x0907 00000478: AND 00000479: JUMP 0000047a: JUMPDEST 0000047b: PUSH1 0x00 0000047d: DUP10 0000047e: DUP2 0000047f: MSTORE 00000480: PUSH1 0x02 00000482: PUSH1 0x20 00000484: MSTORE 00000485: PUSH1 0x40 00000487: SWAP1 00000488: KECCAK256 00000489: PUSH1 0x01 0000048b: DUP2 0000048c: ADD 0000048d: SWAP2 0000048e: SWAP1 0000048f: SWAP2 00000490: SSTORE 00000491: SLOAD 00000492: PUSH2 0x04a2 00000495: SWAP1 00000496: DUP9 00000497: SWAP1 00000498: PUSH4 0xffffffff 0000049d: PUSH2 0x0907 000004a0: AND 000004a1: JUMP 000004a2: JUMPDEST 000004a3: PUSH1 0x00 000004a5: DUP10 000004a6: DUP2 000004a7: MSTORE 000004a8: PUSH1 0x02 000004aa: PUSH1 0x20 000004ac: MSTORE 000004ad: PUSH1 0x40 000004af: SWAP1 000004b0: KECCAK256 000004b1: SSTORE 000004b2: PUSH1 0x01 000004b4: SLOAD 000004b5: PUSH2 0x04c5 000004b8: SWAP1 000004b9: DUP9 000004ba: SWAP1 000004bb: PUSH4 0xffffffff 000004c0: PUSH2 0x0907 000004c3: AND 000004c4: JUMP 000004c5: JUMPDEST 000004c6: PUSH1 0x01 000004c8: SSTORE 000004c9: PUSH1 0x40 000004cb: DUP1 000004cc: MLOAD 000004cd: DUP8 000004ce: DUP2 000004cf: MSTORE 000004d0: PUSH1 0x20 000004d2: DUP2 000004d3: ADD 000004d4: DUP10 000004d5: SWAP1 000004d6: MSTORE 000004d7: DUP1 000004d8: DUP3 000004d9: ADD 000004da: DUP12 000004db: SWAP1 000004dc: MSTORE 000004dd: SWAP1 000004de: MLOAD 000004df: DUP10 000004e0: SWAP2 000004e1: CALLER 000004e2: SWAP2 000004e3: PUSH32 0x34bcf67c3ef69ce65c0a8a1a121ab672129441005fea1eb1f65693816fad1d0e 00000504: SWAP2 00000505: DUP2 00000506: SWAP1 00000507: SUB 00000508: PUSH1 0x60 0000050a: ADD 0000050b: SWAP1 0000050c: LOG3 0000050d: PUSH2 0x0700 00000510: JUMP 00000511: JUMPDEST 00000512: PUSH1 0x00 00000514: DUP9 00000515: DUP2 00000516: MSTORE 00000517: PUSH1 0x02 00000519: PUSH1 0x20 0000051b: MSTORE 0000051c: PUSH1 0x40 0000051e: SWAP1 0000051f: KECCAK256 00000520: PUSH1 0x05 00000522: ADD 00000523: SLOAD 00000524: SWAP5 00000525: POP 00000526: PUSH2 0x053d 00000529: PUSH8 0x8ac7230489e80000 00000532: DUP7 00000533: PUSH4 0xffffffff 00000538: PUSH2 0x0907 0000053b: AND 0000053c: JUMP 0000053d: JUMPDEST 0000053e: SWAP4 0000053f: POP 00000540: PUSH2 0x0557 00000543: PUSH8 0x016345785d8a0000 0000054c: DUP7 0000054d: PUSH4 0xffffffff 00000552: PUSH2 0x0907 00000555: AND 00000556: JUMP 00000557: JUMPDEST 00000558: DUP11 00000559: LT 0000055a: ISZERO 0000055b: PUSH2 0x05ae 0000055e: JUMPI 0000055f: PUSH1 0x40 00000561: DUP1 00000562: MLOAD 00000563: PUSH1 0xe5 00000565: PUSH1 0x02 00000567: EXP 00000568: PUSH3 0x461bcd 0000056c: MUL 0000056d: DUP2 0000056e: MSTORE 0000056f: PUSH1 0x20 00000571: PUSH1 0x04 00000573: DUP3 00000574: ADD 00000575: MSTORE 00000576: PUSH1 0x0f 00000578: PUSH1 0x24 0000057a: DUP3 0000057b: ADD 0000057c: MSTORE 0000057d: PUSH32 0x4e656564206d6f72652045746865720000000000000000000000000000000000 0000059e: PUSH1 0x44 000005a0: DUP3 000005a1: ADD 000005a2: MSTORE 000005a3: SWAP1 000005a4: MLOAD 000005a5: SWAP1 000005a6: DUP2 000005a7: SWAP1 000005a8: SUB 000005a9: PUSH1 0x64 000005ab: ADD 000005ac: SWAP1 000005ad: REVERT 000005ae: JUMPDEST 000005af: DUP4 000005b0: DUP11 000005b1: GT 000005b2: ISZERO 000005b3: PUSH2 0x05f9 000005b6: JUMPI 000005b7: SWAP3 000005b8: SWAP6 000005b9: POP 000005ba: DUP6 000005bb: SWAP3 000005bc: CALLER 000005bd: PUSH2 0x08fc 000005c0: PUSH2 0x05cf 000005c3: DUP13 000005c4: DUP8 000005c5: PUSH4 0xffffffff 000005ca: PUSH2 0x09a1 000005cd: AND 000005ce: JUMP 000005cf: JUMPDEST 000005d0: PUSH1 0x40 000005d2: MLOAD 000005d3: DUP2 000005d4: ISZERO 000005d5: SWAP1 000005d6: SWAP3 000005d7: MUL 000005d8: SWAP2 000005d9: PUSH1 0x00 000005db: DUP2 000005dc: DUP2 000005dd: DUP2 000005de: DUP6 000005df: DUP9 000005e0: DUP9 000005e1: CALL 000005e2: SWAP4 000005e3: POP 000005e4: POP 000005e5: POP 000005e6: POP 000005e7: ISZERO 000005e8: DUP1 000005e9: ISZERO 000005ea: PUSH2 0x05f7 000005ed: JUMPI 000005ee: RETURNDATASIZE 000005ef: PUSH1 0x00 000005f1: DUP1 000005f2: RETURNDATACOPY 000005f3: RETURNDATASIZE 000005f4: PUSH1 0x00 000005f6: REVERT 000005f7: JUMPDEST 000005f8: POP 000005f9: JUMPDEST 000005fa: PUSH1 0x00 000005fc: DUP9 000005fd: DUP2 000005fe: MSTORE 000005ff: PUSH1 0x02 00000601: PUSH1 0x20 00000603: SWAP1 00000604: DUP2 00000605: MSTORE 00000606: PUSH1 0x40 00000608: DUP1 00000609: DUP4 0000060a: KECCAK256 0000060b: PUSH2 0xa8c0 0000060e: DUP14 0000060f: ADD 00000610: PUSH1 0x03 00000612: DUP1 00000613: DUP4 00000614: ADD 00000615: SWAP2 00000616: SWAP1 00000617: SWAP2 00000618: SSTORE 00000619: PUSH1 0x04 0000061b: DUP3 0000061c: ADD 0000061d: DUP1 0000061e: SLOAD 0000061f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000634: NOT 00000635: AND 00000636: CALLER 00000637: SWAP1 00000638: DUP2 00000639: OR 0000063a: SWAP1 0000063b: SWAP2 0000063c: SSTORE 0000063d: PUSH1 0x05 0000063f: SWAP1 00000640: SWAP3 00000641: ADD 00000642: DUP13 00000643: SWAP1 00000644: SSTORE 00000645: DUP4 00000646: MSTORE 00000647: DUP2 00000648: DUP5 00000649: KECCAK256 0000064a: SWAP1 0000064b: DUP5 0000064c: MSTORE 0000064d: SWAP1 0000064e: SWAP2 0000064f: MSTORE 00000650: SWAP1 00000651: KECCAK256 00000652: SLOAD 00000653: PUSH2 0x0663 00000656: SWAP1 00000657: DUP9 00000658: SWAP1 00000659: PUSH4 0xffffffff 0000065e: PUSH2 0x0907 00000661: AND 00000662: JUMP 00000663: JUMPDEST 00000664: PUSH1 0x00 00000666: DUP10 00000667: DUP2 00000668: MSTORE 00000669: PUSH1 0x03 0000066b: PUSH1 0x20 0000066d: SWAP1 0000066e: DUP2 0000066f: MSTORE 00000670: PUSH1 0x40 00000672: DUP1 00000673: DUP4 00000674: KECCAK256 00000675: CALLER 00000676: DUP5 00000677: MSTORE 00000678: DUP3 00000679: MSTORE 0000067a: DUP1 0000067b: DUP4 0000067c: KECCAK256 0000067d: SWAP4 0000067e: SWAP1 0000067f: SWAP4 00000680: SSTORE 00000681: DUP11 00000682: DUP3 00000683: MSTORE 00000684: PUSH1 0x02 00000686: SWAP1 00000687: MSTORE 00000688: KECCAK256 00000689: SLOAD 0000068a: PUSH2 0x069a 0000068d: SWAP1 0000068e: DUP9 0000068f: SWAP1 00000690: PUSH4 0xffffffff 00000695: PUSH2 0x0907 00000698: AND 00000699: JUMP 0000069a: JUMPDEST 0000069b: PUSH1 0x00 0000069d: DUP10 0000069e: DUP2 0000069f: MSTORE 000006a0: PUSH1 0x02 000006a2: PUSH1 0x20 000006a4: MSTORE 000006a5: PUSH1 0x40 000006a7: SWAP1 000006a8: KECCAK256 000006a9: SSTORE 000006aa: PUSH1 0x01 000006ac: SLOAD 000006ad: PUSH2 0x06bd 000006b0: SWAP1 000006b1: DUP9 000006b2: SWAP1 000006b3: PUSH4 0xffffffff 000006b8: PUSH2 0x0907 000006bb: AND 000006bc: JUMP 000006bd: JUMPDEST 000006be: PUSH1 0x01 000006c0: SSTORE 000006c1: PUSH1 0x40 000006c3: DUP1 000006c4: MLOAD 000006c5: DUP9 000006c6: DUP2 000006c7: MSTORE 000006c8: PUSH1 0x20 000006ca: DUP2 000006cb: ADD 000006cc: DUP12 000006cd: SWAP1 000006ce: MSTORE 000006cf: DUP2 000006d0: MLOAD 000006d1: DUP11 000006d2: SWAP3 000006d3: CALLER 000006d4: SWAP3 000006d5: PUSH32 0x267ac6ebc3d6b413782aeb4a2994e39edc25b4725f251588f7ffa8910337e4bf 000006f6: SWAP3 000006f7: SWAP1 000006f8: DUP2 000006f9: SWAP1 000006fa: SUB 000006fb: SWAP1 000006fc: SWAP2 000006fd: ADD 000006fe: SWAP1 000006ff: LOG3 00000700: JUMPDEST 00000701: POP 00000702: POP 00000703: POP 00000704: POP 00000705: POP 00000706: POP 00000707: POP 00000708: POP 00000709: POP 0000070a: POP 0000070b: STOP 0000070c: JUMPDEST 0000070d: CALLVALUE 0000070e: DUP1 0000070f: ISZERO 00000710: PUSH2 0x0718 00000713: JUMPI 00000714: PUSH1 0x00 00000716: DUP1 00000717: REVERT 00000718: JUMPDEST 00000719: POP 0000071a: PUSH2 0x0721 0000071d: PUSH2 0x0a01 00000720: JUMP 00000721: JUMPDEST 00000722: PUSH1 0x40 00000724: DUP1 00000725: MLOAD 00000726: SWAP2 00000727: DUP3 00000728: MSTORE 00000729: MLOAD 0000072a: SWAP1 0000072b: DUP2 0000072c: SWAP1 0000072d: SUB 0000072e: PUSH1 0x20 00000730: ADD 00000731: SWAP1 00000732: RETURN 00000733: JUMPDEST 00000734: CALLVALUE 00000735: DUP1 00000736: ISZERO 00000737: PUSH2 0x073f 0000073a: JUMPI 0000073b: PUSH1 0x00 0000073d: DUP1 0000073e: REVERT 0000073f: JUMPDEST 00000740: POP 00000741: PUSH2 0x0721 00000744: PUSH2 0x0a9d 00000747: JUMP 00000748: JUMPDEST 00000749: CALLVALUE 0000074a: DUP1 0000074b: ISZERO 0000074c: PUSH2 0x0754 0000074f: JUMPI 00000750: PUSH1 0x00 00000752: DUP1 00000753: REVERT 00000754: JUMPDEST 00000755: POP 00000756: PUSH2 0x0721 00000759: PUSH2 0x0aa3 0000075c: JUMP 0000075d: JUMPDEST 0000075e: CALLVALUE 0000075f: DUP1 00000760: ISZERO 00000761: PUSH2 0x0769 00000764: JUMPI 00000765: PUSH1 0x00 00000767: DUP1 00000768: REVERT 00000769: JUMPDEST 0000076a: POP 0000076b: PUSH2 0x0721 0000076e: PUSH2 0x0aa9 00000771: JUMP 00000772: JUMPDEST 00000773: CALLVALUE 00000774: DUP1 00000775: ISZERO 00000776: PUSH2 0x077e 00000779: JUMPI 0000077a: PUSH1 0x00 0000077c: DUP1 0000077d: REVERT 0000077e: JUMPDEST 0000077f: POP 00000780: PUSH2 0x078a 00000783: PUSH1 0x04 00000785: CALLDATALOAD 00000786: PUSH2 0x0aaf 00000789: JUMP 0000078a: JUMPDEST 0000078b: STOP 0000078c: JUMPDEST 0000078d: CALLVALUE 0000078e: DUP1 0000078f: ISZERO 00000790: PUSH2 0x0798 00000793: JUMPI 00000794: PUSH1 0x00 00000796: DUP1 00000797: REVERT 00000798: JUMPDEST 00000799: POP 0000079a: PUSH2 0x078a 0000079d: PUSH2 0x0ce9 000007a0: JUMP 000007a1: JUMPDEST 000007a2: CALLVALUE 000007a3: DUP1 000007a4: ISZERO 000007a5: PUSH2 0x07ad 000007a8: JUMPI 000007a9: PUSH1 0x00 000007ab: DUP1 000007ac: REVERT 000007ad: JUMPDEST 000007ae: POP 000007af: PUSH2 0x07b6 000007b2: PUSH2 0x0e07 000007b5: JUMP 000007b6: JUMPDEST 000007b7: PUSH1 0x40 000007b9: DUP1 000007ba: MLOAD 000007bb: SWAP9 000007bc: DUP10 000007bd: MSTORE 000007be: PUSH1 0x20 000007c0: DUP10 000007c1: ADD 000007c2: SWAP8 000007c3: SWAP1 000007c4: SWAP8 000007c5: MSTORE 000007c6: DUP8 000007c7: DUP8 000007c8: ADD 000007c9: SWAP6 000007ca: SWAP1 000007cb: SWAP6 000007cc: MSTORE 000007cd: PUSH1 0x60 000007cf: DUP8 000007d0: ADD 000007d1: SWAP4 000007d2: SWAP1 000007d3: SWAP4 000007d4: MSTORE 000007d5: PUSH1 0x80 000007d7: DUP7 000007d8: ADD 000007d9: SWAP2 000007da: SWAP1 000007db: SWAP2 000007dc: MSTORE 000007dd: PUSH1 0x01 000007df: PUSH1 0xa0 000007e1: PUSH1 0x02 000007e3: EXP 000007e4: SUB 000007e5: AND 000007e6: PUSH1 0xa0 000007e8: DUP6 000007e9: ADD 000007ea: MSTORE 000007eb: PUSH1 0xc0 000007ed: DUP5 000007ee: ADD 000007ef: MSTORE 000007f0: PUSH1 0xe0 000007f2: DUP4 000007f3: ADD 000007f4: MSTORE 000007f5: MLOAD 000007f6: SWAP1 000007f7: DUP2 000007f8: SWAP1 000007f9: SUB 000007fa: PUSH2 0x0100 000007fd: ADD 000007fe: SWAP1 000007ff: RETURN 00000800: JUMPDEST 00000801: CALLVALUE 00000802: DUP1 00000803: ISZERO 00000804: PUSH2 0x080c 00000807: JUMPI 00000808: PUSH1 0x00 0000080a: DUP1 0000080b: REVERT 0000080c: JUMPDEST 0000080d: POP 0000080e: PUSH2 0x0818 00000811: PUSH1 0x04 00000813: CALLDATALOAD 00000814: PUSH2 0x0e73 00000817: JUMP 00000818: JUMPDEST 00000819: PUSH1 0x40 0000081b: DUP1 0000081c: MLOAD 0000081d: SWAP8 0000081e: DUP9 0000081f: MSTORE 00000820: PUSH1 0x20 00000822: DUP9 00000823: ADD 00000824: SWAP7 00000825: SWAP1 00000826: SWAP7 00000827: MSTORE 00000828: DUP7 00000829: DUP7 0000082a: ADD 0000082b: SWAP5 0000082c: SWAP1 0000082d: SWAP5 0000082e: MSTORE 0000082f: PUSH1 0x60 00000831: DUP7 00000832: ADD 00000833: SWAP3 00000834: SWAP1 00000835: SWAP3 00000836: MSTORE 00000837: PUSH1 0x01 00000839: PUSH1 0xa0 0000083b: PUSH1 0x02 0000083d: EXP 0000083e: SUB 0000083f: AND 00000840: PUSH1 0x80 00000842: DUP6 00000843: ADD 00000844: MSTORE 00000845: PUSH1 0xa0 00000847: DUP5 00000848: ADD 00000849: MSTORE 0000084a: ISZERO 0000084b: ISZERO 0000084c: PUSH1 0xc0 0000084e: DUP4 0000084f: ADD 00000850: MSTORE 00000851: MLOAD 00000852: SWAP1 00000853: DUP2 00000854: SWAP1 00000855: SUB 00000856: PUSH1 0xe0 00000858: ADD 00000859: SWAP1 0000085a: RETURN 0000085b: JUMPDEST 0000085c: CALLVALUE 0000085d: DUP1 0000085e: ISZERO 0000085f: PUSH2 0x0867 00000862: JUMPI 00000863: PUSH1 0x00 00000865: DUP1 00000866: REVERT 00000867: JUMPDEST 00000868: POP 00000869: PUSH2 0x078a 0000086c: PUSH1 0x04 0000086e: CALLDATALOAD 0000086f: PUSH2 0x0ebd 00000872: JUMP 00000873: JUMPDEST 00000874: CALLVALUE 00000875: DUP1 00000876: ISZERO 00000877: PUSH2 0x087f 0000087a: JUMPI 0000087b: PUSH1 0x00 0000087d: DUP1 0000087e: REVERT 0000087f: JUMPDEST 00000880: POP 00000881: PUSH2 0x0888 00000884: PUSH2 0x1161 00000887: JUMP 00000888: JUMPDEST 00000889: PUSH1 0x40 0000088b: DUP1 0000088c: MLOAD 0000088d: PUSH1 0x01 0000088f: PUSH1 0xa0 00000891: PUSH1 0x02 00000893: EXP 00000894: SUB 00000895: SWAP1 00000896: SWAP3 00000897: AND 00000898: DUP3 00000899: MSTORE 0000089a: MLOAD 0000089b: SWAP1 0000089c: DUP2 0000089d: SWAP1 0000089e: SUB 0000089f: PUSH1 0x20 000008a1: ADD 000008a2: SWAP1 000008a3: RETURN 000008a4: JUMPDEST 000008a5: CALLVALUE 000008a6: DUP1 000008a7: ISZERO 000008a8: PUSH2 0x08b0 000008ab: JUMPI 000008ac: PUSH1 0x00 000008ae: DUP1 000008af: REVERT 000008b0: JUMPDEST 000008b1: POP 000008b2: PUSH2 0x08c8 000008b5: PUSH1 0x04 000008b7: CALLDATALOAD 000008b8: PUSH1 0x01 000008ba: PUSH1 0xa0 000008bc: PUSH1 0x02 000008be: EXP 000008bf: SUB 000008c0: PUSH1 0x24 000008c2: CALLDATALOAD 000008c3: AND 000008c4: PUSH2 0x1170 000008c7: JUMP 000008c8: JUMPDEST 000008c9: PUSH1 0x40 000008cb: DUP1 000008cc: MLOAD 000008cd: SWAP4 000008ce: DUP5 000008cf: MSTORE 000008d0: PUSH1 0x20 000008d2: DUP5 000008d3: ADD 000008d4: SWAP3 000008d5: SWAP1 000008d6: SWAP3 000008d7: MSTORE 000008d8: DUP3 000008d9: DUP3 000008da: ADD 000008db: MSTORE 000008dc: MLOAD 000008dd: SWAP1 000008de: DUP2 000008df: SWAP1 000008e0: SUB 000008e1: PUSH1 0x60 000008e3: ADD 000008e4: SWAP1 000008e5: RETURN 000008e6: JUMPDEST 000008e7: CALLVALUE 000008e8: DUP1 000008e9: ISZERO 000008ea: PUSH2 0x08f2 000008ed: JUMPI 000008ee: PUSH1 0x00 000008f0: DUP1 000008f1: REVERT 000008f2: JUMPDEST 000008f3: POP 000008f4: PUSH2 0x078a 000008f7: PUSH1 0x01 000008f9: PUSH1 0xa0 000008fb: PUSH1 0x02 000008fd: EXP 000008fe: SUB 000008ff: PUSH1 0x04 00000901: CALLDATALOAD 00000902: AND 00000903: PUSH2 0x119c 00000906: JUMP 00000907: JUMPDEST 00000908: DUP2 00000909: DUP2 0000090a: ADD 0000090b: DUP3 0000090c: DUP2 0000090d: LT 0000090e: ISZERO 0000090f: PUSH2 0x0962 00000912: JUMPI 00000913: PUSH1 0x40 00000915: DUP1 00000916: MLOAD 00000917: PUSH1 0xe5 00000919: PUSH1 0x02 0000091b: EXP 0000091c: PUSH3 0x461bcd 00000920: MUL 00000921: DUP2 00000922: MSTORE 00000923: PUSH1 0x20 00000925: PUSH1 0x04 00000927: DUP3 00000928: ADD 00000929: MSTORE 0000092a: PUSH1 0x13 0000092c: PUSH1 0x24 0000092e: DUP3 0000092f: ADD 00000930: MSTORE 00000931: PUSH32 0x536166654d61746820616464206661696c656400000000000000000000000000 00000952: PUSH1 0x44 00000954: DUP3 00000955: ADD 00000956: MSTORE 00000957: SWAP1 00000958: MLOAD 00000959: SWAP1 0000095a: DUP2 0000095b: SWAP1 0000095c: SUB 0000095d: PUSH1 0x64 0000095f: ADD 00000960: SWAP1 00000961: REVERT 00000962: JUMPDEST 00000963: SWAP3 00000964: SWAP2 00000965: POP 00000966: POP 00000967: JUMP 00000968: JUMPDEST 00000969: PUSH1 0x00 0000096b: PUSH2 0x099a 0000096e: PUSH2 0x0976 00000971: DUP5 00000972: PUSH2 0x122d 00000975: JUMP 00000976: JUMPDEST 00000977: PUSH2 0x098e 0000097a: PUSH2 0x0989 0000097d: DUP7 0000097e: DUP7 0000097f: PUSH4 0xffffffff 00000984: PUSH2 0x0907 00000987: AND 00000988: JUMP 00000989: JUMPDEST 0000098a: PUSH2 0x122d 0000098d: JUMP 0000098e: JUMPDEST 0000098f: SWAP1 00000990: PUSH4 0xffffffff 00000995: PUSH2 0x09a1 00000998: AND 00000999: JUMP 0000099a: JUMPDEST 0000099b: SWAP4 0000099c: SWAP3 0000099d: POP 0000099e: POP 0000099f: POP 000009a0: JUMP 000009a1: JUMPDEST 000009a2: PUSH1 0x00 000009a4: DUP3 000009a5: DUP3 000009a6: GT 000009a7: ISZERO 000009a8: PUSH2 0x09fb 000009ab: JUMPI 000009ac: PUSH1 0x40 000009ae: DUP1 000009af: MLOAD 000009b0: PUSH1 0xe5 000009b2: PUSH1 0x02 000009b4: EXP 000009b5: PUSH3 0x461bcd 000009b9: MUL 000009ba: DUP2 000009bb: MSTORE 000009bc: PUSH1 0x20 000009be: PUSH1 0x04 000009c0: DUP3 000009c1: ADD 000009c2: MSTORE 000009c3: PUSH1 0x13 000009c5: PUSH1 0x24 000009c7: DUP3 000009c8: ADD 000009c9: MSTORE 000009ca: PUSH32 0x536166654d61746820737562206661696c656400000000000000000000000000 000009eb: PUSH1 0x44 000009ed: DUP3 000009ee: ADD 000009ef: MSTORE 000009f0: SWAP1 000009f1: MLOAD 000009f2: SWAP1 000009f3: DUP2 000009f4: SWAP1 000009f5: SUB 000009f6: PUSH1 0x64 000009f8: ADD 000009f9: SWAP1 000009fa: REVERT 000009fb: JUMPDEST 000009fc: POP 000009fd: SWAP1 000009fe: SUB 000009ff: SWAP1 00000a00: JUMP 00000a01: JUMPDEST 00000a02: PUSH1 0x00 00000a04: DUP1 00000a05: SLOAD 00000a06: DUP1 00000a07: DUP3 00000a08: MSTORE 00000a09: PUSH1 0x02 00000a0b: PUSH1 0x20 00000a0d: MSTORE 00000a0e: PUSH1 0x40 00000a10: DUP3 00000a11: KECCAK256 00000a12: PUSH1 0x03 00000a14: ADD 00000a15: SLOAD 00000a16: TIMESTAMP 00000a17: SWAP1 00000a18: DUP2 00000a19: GT 00000a1a: ISZERO 00000a1b: PUSH2 0x0a2c 00000a1e: JUMPI 00000a1f: PUSH6 0x44364c5bb000 00000a26: SWAP3 00000a27: POP 00000a28: PUSH2 0x0a98 00000a2b: JUMP 00000a2c: JUMPDEST 00000a2d: PUSH1 0x00 00000a2f: DUP3 00000a30: DUP2 00000a31: MSTORE 00000a32: PUSH1 0x02 00000a34: PUSH1 0x20 00000a36: MSTORE 00000a37: PUSH1 0x40 00000a39: SWAP1 00000a3a: KECCAK256 00000a3b: PUSH1 0x01 00000a3d: ADD 00000a3e: SLOAD 00000a3f: PUSH11 0x084595161401484a000000 00000a4b: GT 00000a4c: ISZERO 00000a4d: PUSH2 0x0a93 00000a50: JUMPI 00000a51: PUSH1 0x00 00000a53: DUP3 00000a54: DUP2 00000a55: MSTORE 00000a56: PUSH1 0x02 00000a58: PUSH1 0x20 00000a5a: MSTORE 00000a5b: PUSH1 0x40 00000a5d: SWAP1 00000a5e: KECCAK256 00000a5f: PUSH1 0x01 00000a61: ADD 00000a62: SLOAD 00000a63: PUSH2 0x0a8c 00000a66: SWAP1 00000a67: PUSH8 0x0de0b6b3a7640000 00000a70: SWAP1 00000a71: PUSH2 0x0a80 00000a74: SWAP1 00000a75: DUP3 00000a76: PUSH4 0xffffffff 00000a7b: PUSH2 0x0907 00000a7e: AND 00000a7f: JUMP 00000a80: JUMPDEST 00000a81: SWAP1 00000a82: PUSH4 0xffffffff 00000a87: PUSH2 0x12b1 00000a8a: AND 00000a8b: JUMP 00000a8c: JUMPDEST 00000a8d: SWAP3 00000a8e: POP 00000a8f: PUSH2 0x0a98 00000a92: JUMP 00000a93: JUMPDEST 00000a94: PUSH1 0x00 00000a96: SWAP3 00000a97: POP 00000a98: JUMPDEST 00000a99: POP 00000a9a: POP 00000a9b: SWAP1 00000a9c: JUMP 00000a9d: JUMPDEST 00000a9e: PUSH1 0x00 00000aa0: SLOAD 00000aa1: DUP2 00000aa2: JUMP 00000aa3: JUMPDEST 00000aa4: PUSH1 0x01 00000aa6: SLOAD 00000aa7: DUP2 00000aa8: JUMP 00000aa9: JUMPDEST 00000aaa: PUSH1 0x05 00000aac: SLOAD 00000aad: DUP2 00000aae: JUMP 00000aaf: JUMPDEST 00000ab0: PUSH1 0x00 00000ab2: DUP1 00000ab3: DUP1 00000ab4: CALLER 00000ab5: DUP1 00000ab6: EXTCODESIZE 00000ab7: DUP1 00000ab8: ISZERO 00000ab9: PUSH2 0x0afa 00000abc: JUMPI 00000abd: PUSH1 0x40 00000abf: DUP1 00000ac0: MLOAD 00000ac1: PUSH1 0xe5 00000ac3: PUSH1 0x02 00000ac5: EXP 00000ac6: PUSH3 0x461bcd 00000aca: MUL 00000acb: DUP2 00000acc: MSTORE 00000acd: PUSH1 0x20 00000acf: PUSH1 0x04 00000ad1: DUP3 00000ad2: ADD 00000ad3: MSTORE 00000ad4: PUSH1 0x11 00000ad6: PUSH1 0x24 00000ad8: DUP3 00000ad9: ADD 00000ada: MSTORE 00000adb: PUSH1 0x00 00000add: DUP1 00000ade: MLOAD 00000adf: PUSH1 0x20 00000ae1: PUSH2 0x1421 00000ae4: DUP4 00000ae5: CODECOPY 00000ae6: DUP2 00000ae7: MLOAD 00000ae8: SWAP2 00000ae9: MSTORE 00000aea: PUSH1 0x44 00000aec: DUP3 00000aed: ADD 00000aee: MSTORE 00000aef: SWAP1 00000af0: MLOAD 00000af1: SWAP1 00000af2: DUP2 00000af3: SWAP1 00000af4: SUB 00000af5: PUSH1 0x64 00000af7: ADD 00000af8: SWAP1 00000af9: REVERT 00000afa: JUMPDEST 00000afb: PUSH1 0x00 00000afd: SLOAD 00000afe: DUP7 00000aff: GT 00000b00: ISZERO 00000b01: PUSH2 0x0b54 00000b04: JUMPI 00000b05: PUSH1 0x40 00000b07: DUP1 00000b08: MLOAD 00000b09: PUSH1 0xe5 00000b0b: PUSH1 0x02 00000b0d: EXP 00000b0e: PUSH3 0x461bcd 00000b12: MUL 00000b13: DUP2 00000b14: MSTORE 00000b15: PUSH1 0x20 00000b17: PUSH1 0x04 00000b19: DUP3 00000b1a: ADD 00000b1b: MSTORE 00000b1c: PUSH1 0x17 00000b1e: PUSH1 0x24 00000b20: DUP3 00000b21: ADD 00000b22: MSTORE 00000b23: PUSH32 0x596f752772652072756e6e696e6720746f6f2066617374000000000000000000 00000b44: PUSH1 0x44 00000b46: DUP3 00000b47: ADD 00000b48: MSTORE 00000b49: SWAP1 00000b4a: MLOAD 00000b4b: SWAP1 00000b4c: DUP2 00000b4d: SWAP1 00000b4e: SUB 00000b4f: PUSH1 0x64 00000b51: ADD 00000b52: SWAP1 00000b53: REVERT 00000b54: JUMPDEST 00000b55: PUSH1 0x00 00000b57: DUP7 00000b58: DUP2 00000b59: MSTORE 00000b5a: PUSH1 0x02 00000b5c: PUSH1 0x20 00000b5e: MSTORE 00000b5f: PUSH1 0x40 00000b61: SWAP1 00000b62: KECCAK256 00000b63: PUSH1 0x01 00000b65: ADD 00000b66: SLOAD 00000b67: PUSH2 0x0b77 00000b6a: SWAP1 00000b6b: PUSH1 0x64 00000b6d: PUSH4 0xffffffff 00000b72: PUSH2 0x12d7 00000b75: AND 00000b76: JUMP 00000b77: JUMPDEST 00000b78: PUSH1 0x00 00000b7a: DUP8 00000b7b: DUP2 00000b7c: MSTORE 00000b7d: PUSH1 0x03 00000b7f: PUSH1 0x20 00000b81: SWAP1 00000b82: DUP2 00000b83: MSTORE 00000b84: PUSH1 0x40 00000b86: DUP1 00000b87: DUP4 00000b88: KECCAK256 00000b89: CALLER 00000b8a: DUP5 00000b8b: MSTORE 00000b8c: DUP3 00000b8d: MSTORE 00000b8e: DUP1 00000b8f: DUP4 00000b90: KECCAK256 00000b91: PUSH1 0x01 00000b93: ADD 00000b94: SLOAD 00000b95: DUP11 00000b96: DUP5 00000b97: MSTORE 00000b98: PUSH1 0x02 00000b9a: SWAP1 00000b9b: SWAP3 00000b9c: MSTORE 00000b9d: SWAP1 00000b9e: SWAP2 00000b9f: KECCAK256 00000ba0: SLOAD 00000ba1: PUSH2 0x0bc2 00000ba4: SWAP2 00000ba5: PUSH1 0x3c 00000ba7: SWAP2 00000ba8: PUSH2 0x0bb6 00000bab: SWAP2 00000bac: PUSH4 0xffffffff 00000bb1: PUSH2 0x12d7 00000bb4: AND 00000bb5: JUMP 00000bb6: JUMPDEST 00000bb7: SWAP1 00000bb8: PUSH4 0xffffffff 00000bbd: PUSH2 0x12d7 00000bc0: AND 00000bc1: JUMP 00000bc2: JUMPDEST 00000bc3: DUP2 00000bc4: ISZERO 00000bc5: ISZERO 00000bc6: PUSH2 0x0bcb 00000bc9: JUMPI 00000bca: INVALID 00000bcb: JUMPDEST 00000bcc: PUSH1 0x00 00000bce: DUP9 00000bcf: DUP2 00000bd0: MSTORE 00000bd1: PUSH1 0x03 00000bd3: PUSH1 0x20 00000bd5: SWAP1 00000bd6: DUP2 00000bd7: MSTORE 00000bd8: PUSH1 0x40 00000bda: DUP1 00000bdb: DUP4 00000bdc: KECCAK256 00000bdd: CALLER 00000bde: DUP5 00000bdf: MSTORE 00000be0: SWAP1 00000be1: SWAP2 00000be2: MSTORE 00000be3: SWAP1 00000be4: KECCAK256 00000be5: PUSH1 0x02 00000be7: ADD 00000be8: SLOAD 00000be9: SWAP2 00000bea: SWAP1 00000beb: DIV 00000bec: SWAP6 00000bed: POP 00000bee: SWAP4 00000bef: POP 00000bf0: DUP4 00000bf1: DUP6 00000bf2: GT 00000bf3: PUSH2 0x0c46 00000bf6: JUMPI 00000bf7: PUSH1 0x40 00000bf9: DUP1 00000bfa: MLOAD 00000bfb: PUSH1 0xe5 00000bfd: PUSH1 0x02 00000bff: EXP 00000c00: PUSH3 0x461bcd 00000c04: MUL 00000c05: DUP2 00000c06: MSTORE 00000c07: PUSH1 0x20 00000c09: PUSH1 0x04 00000c0b: DUP3 00000c0c: ADD 00000c0d: MSTORE 00000c0e: PUSH1 0x13 00000c10: PUSH1 0x24 00000c12: DUP3 00000c13: ADD 00000c14: MSTORE 00000c15: PUSH32 0x4e6f206e65656420746f20776974686472617700000000000000000000000000 00000c36: PUSH1 0x44 00000c38: DUP3 00000c39: ADD 00000c3a: MSTORE 00000c3b: SWAP1 00000c3c: MLOAD 00000c3d: SWAP1 00000c3e: DUP2 00000c3f: SWAP1 00000c40: SUB 00000c41: PUSH1 0x64 00000c43: ADD 00000c44: SWAP1 00000c45: REVERT 00000c46: JUMPDEST 00000c47: PUSH2 0x0c56 00000c4a: DUP6 00000c4b: DUP6 00000c4c: PUSH4 0xffffffff 00000c51: PUSH2 0x09a1 00000c54: AND 00000c55: JUMP 00000c56: JUMPDEST 00000c57: PUSH1 0x00 00000c59: DUP8 00000c5a: DUP2 00000c5b: MSTORE 00000c5c: PUSH1 0x03 00000c5e: PUSH1 0x20 00000c60: SWAP1 00000c61: DUP2 00000c62: MSTORE 00000c63: PUSH1 0x40 00000c65: DUP1 00000c66: DUP4 00000c67: KECCAK256 00000c68: CALLER 00000c69: DUP1 00000c6a: DUP6 00000c6b: MSTORE 00000c6c: SWAP3 00000c6d: MSTORE 00000c6e: DUP1 00000c6f: DUP4 00000c70: KECCAK256 00000c71: PUSH1 0x02 00000c73: ADD 00000c74: DUP10 00000c75: SWAP1 00000c76: SSTORE 00000c77: MLOAD 00000c78: SWAP3 00000c79: SWAP6 00000c7a: POP 00000c7b: SWAP2 00000c7c: DUP6 00000c7d: ISZERO 00000c7e: PUSH2 0x08fc 00000c81: MUL 00000c82: SWAP2 00000c83: DUP7 00000c84: SWAP2 00000c85: SWAP1 00000c86: DUP2 00000c87: DUP2 00000c88: DUP2 00000c89: DUP6 00000c8a: DUP9 00000c8b: DUP9 00000c8c: CALL 00000c8d: SWAP4 00000c8e: POP 00000c8f: POP 00000c90: POP 00000c91: POP 00000c92: ISZERO 00000c93: DUP1 00000c94: ISZERO 00000c95: PUSH2 0x0ca2 00000c98: JUMPI 00000c99: RETURNDATASIZE 00000c9a: PUSH1 0x00 00000c9c: DUP1 00000c9d: RETURNDATACOPY 00000c9e: RETURNDATASIZE 00000c9f: PUSH1 0x00 00000ca1: REVERT 00000ca2: JUMPDEST 00000ca3: POP 00000ca4: PUSH1 0x40 00000ca6: DUP1 00000ca7: MLOAD 00000ca8: DUP5 00000ca9: DUP2 00000caa: MSTORE 00000cab: TIMESTAMP 00000cac: PUSH1 0x20 00000cae: DUP3 00000caf: ADD 00000cb0: MSTORE 00000cb1: DUP2 00000cb2: MLOAD 00000cb3: DUP9 00000cb4: SWAP3 00000cb5: CALLER 00000cb6: SWAP3 00000cb7: PUSH32 0x90ebb005d68efee044927e1e77e1fd0cecc508368aa72c39250a787eed5f0a70 00000cd8: SWAP3 00000cd9: SWAP1 00000cda: DUP2 00000cdb: SWAP1 00000cdc: SUB 00000cdd: SWAP1 00000cde: SWAP2 00000cdf: ADD 00000ce0: SWAP1 00000ce1: LOG3 00000ce2: POP 00000ce3: POP 00000ce4: POP 00000ce5: POP 00000ce6: POP 00000ce7: POP 00000ce8: JUMP 00000ce9: JUMPDEST 00000cea: PUSH1 0x00 00000cec: DUP1 00000ced: CALLER 00000cee: DUP1 00000cef: EXTCODESIZE 00000cf0: DUP1 00000cf1: ISZERO 00000cf2: PUSH2 0x0d33 00000cf5: JUMPI 00000cf6: PUSH1 0x40 00000cf8: DUP1 00000cf9: MLOAD 00000cfa: PUSH1 0xe5 00000cfc: PUSH1 0x02 00000cfe: EXP 00000cff: PUSH3 0x461bcd 00000d03: MUL 00000d04: DUP2 00000d05: MSTORE 00000d06: PUSH1 0x20 00000d08: PUSH1 0x04 00000d0a: DUP3 00000d0b: ADD 00000d0c: MSTORE 00000d0d: PUSH1 0x11 00000d0f: PUSH1 0x24 00000d11: DUP3 00000d12: ADD 00000d13: MSTORE 00000d14: PUSH1 0x00 00000d16: DUP1 00000d17: MLOAD 00000d18: PUSH1 0x20 00000d1a: PUSH2 0x1421 00000d1d: DUP4 00000d1e: CODECOPY 00000d1f: DUP2 00000d20: MLOAD 00000d21: SWAP2 00000d22: MSTORE 00000d23: PUSH1 0x44 00000d25: DUP3 00000d26: ADD 00000d27: MSTORE 00000d28: SWAP1 00000d29: MLOAD 00000d2a: SWAP1 00000d2b: DUP2 00000d2c: SWAP1 00000d2d: SUB 00000d2e: PUSH1 0x64 00000d30: ADD 00000d31: SWAP1 00000d32: REVERT 00000d33: JUMPDEST 00000d34: PUSH1 0x01 00000d36: SLOAD 00000d37: PUSH1 0x64 00000d39: SWAP1 00000d3a: PUSH2 0x0d4a 00000d3d: SWAP1 00000d3e: PUSH1 0x05 00000d40: PUSH4 0xffffffff 00000d45: PUSH2 0x12d7 00000d48: AND 00000d49: JUMP 00000d4a: JUMPDEST 00000d4b: DUP2 00000d4c: ISZERO 00000d4d: ISZERO 00000d4e: PUSH2 0x0d53 00000d51: JUMPI 00000d52: INVALID 00000d53: JUMPDEST 00000d54: DIV 00000d55: SWAP4 00000d56: POP 00000d57: PUSH1 0x05 00000d59: SLOAD 00000d5a: SWAP3 00000d5b: POP 00000d5c: DUP3 00000d5d: DUP5 00000d5e: GT 00000d5f: ISZERO 00000d60: ISZERO 00000d61: PUSH2 0x0db4 00000d64: JUMPI 00000d65: PUSH1 0x40 00000d67: DUP1 00000d68: MLOAD 00000d69: PUSH1 0xe5 00000d6b: PUSH1 0x02 00000d6d: EXP 00000d6e: PUSH3 0x461bcd 00000d72: MUL 00000d73: DUP2 00000d74: MSTORE 00000d75: PUSH1 0x20 00000d77: PUSH1 0x04 00000d79: DUP3 00000d7a: ADD 00000d7b: MSTORE 00000d7c: PUSH1 0x13 00000d7e: PUSH1 0x24 00000d80: DUP3 00000d81: ADD 00000d82: MSTORE 00000d83: PUSH32 0x4e6f206e65656420746f20776974686472617700000000000000000000000000 00000da4: PUSH1 0x44 00000da6: DUP3 00000da7: ADD 00000da8: MSTORE 00000da9: SWAP1 00000daa: MLOAD 00000dab: SWAP1 00000dac: DUP2 00000dad: SWAP1 00000dae: SUB 00000daf: PUSH1 0x64 00000db1: ADD 00000db2: SWAP1 00000db3: REVERT 00000db4: JUMPDEST 00000db5: PUSH1 0x05 00000db7: DUP5 00000db8: SWAP1 00000db9: SSTORE 00000dba: PUSH1 0x04 00000dbc: SLOAD 00000dbd: PUSH1 0x01 00000dbf: PUSH1 0xa0 00000dc1: PUSH1 0x02 00000dc3: EXP 00000dc4: SUB 00000dc5: AND 00000dc6: PUSH2 0x08fc 00000dc9: PUSH2 0x0dd8 00000dcc: DUP7 00000dcd: DUP7 00000dce: PUSH4 0xffffffff 00000dd3: PUSH2 0x09a1 00000dd6: AND 00000dd7: JUMP 00000dd8: JUMPDEST 00000dd9: PUSH1 0x40 00000ddb: MLOAD 00000ddc: DUP2 00000ddd: ISZERO 00000dde: SWAP1 00000ddf: SWAP3 00000de0: MUL 00000de1: SWAP2 00000de2: PUSH1 0x00 00000de4: DUP2 00000de5: DUP2 00000de6: DUP2 00000de7: DUP6 00000de8: DUP9 00000de9: DUP9 00000dea: CALL 00000deb: SWAP4 00000dec: POP 00000ded: POP 00000dee: POP 00000def: POP 00000df0: ISZERO 00000df1: DUP1 00000df2: ISZERO 00000df3: PUSH2 0x0e00 00000df6: JUMPI 00000df7: RETURNDATASIZE 00000df8: PUSH1 0x00 00000dfa: DUP1 00000dfb: RETURNDATACOPY 00000dfc: RETURNDATASIZE 00000dfd: PUSH1 0x00 00000dff: REVERT 00000e00: JUMPDEST 00000e01: POP 00000e02: POP 00000e03: POP 00000e04: POP 00000e05: POP 00000e06: JUMP 00000e07: JUMPDEST 00000e08: PUSH1 0x00 00000e0a: DUP1 00000e0b: SLOAD 00000e0c: DUP1 00000e0d: DUP3 00000e0e: MSTORE 00000e0f: PUSH1 0x02 00000e11: PUSH1 0x20 00000e13: DUP2 00000e14: SWAP1 00000e15: MSTORE 00000e16: PUSH1 0x40 00000e18: DUP4 00000e19: KECCAK256 00000e1a: DUP1 00000e1b: SLOAD 00000e1c: PUSH1 0x01 00000e1e: DUP3 00000e1f: ADD 00000e20: SLOAD 00000e21: SWAP3 00000e22: DUP3 00000e23: ADD 00000e24: SLOAD 00000e25: PUSH1 0x03 00000e27: DUP4 00000e28: ADD 00000e29: SLOAD 00000e2a: PUSH1 0x04 00000e2c: DUP5 00000e2d: ADD 00000e2e: SLOAD 00000e2f: PUSH1 0x05 00000e31: SWAP1 00000e32: SWAP5 00000e33: ADD 00000e34: SLOAD 00000e35: DUP8 00000e36: SWAP7 00000e37: DUP8 00000e38: SWAP7 00000e39: DUP8 00000e3a: SWAP7 00000e3b: DUP8 00000e3c: SWAP7 00000e3d: DUP8 00000e3e: SWAP7 00000e3f: DUP8 00000e40: SWAP7 00000e41: DUP8 00000e42: SWAP7 00000e43: DUP7 00000e44: SWAP6 00000e45: SWAP4 00000e46: SWAP5 00000e47: PUSH1 0x01 00000e49: PUSH1 0xa0 00000e4b: PUSH1 0x02 00000e4d: EXP 00000e4e: SUB 00000e4f: AND 00000e50: SWAP1 00000e51: PUSH2 0x0e58 00000e54: PUSH2 0x0a01 00000e57: JUMP 00000e58: JUMPDEST 00000e59: SWAP9 00000e5a: POP 00000e5b: SWAP9 00000e5c: POP 00000e5d: SWAP9 00000e5e: POP 00000e5f: SWAP9 00000e60: POP 00000e61: SWAP9 00000e62: POP 00000e63: SWAP9 00000e64: POP 00000e65: SWAP9 00000e66: POP 00000e67: SWAP9 00000e68: POP 00000e69: POP 00000e6a: SWAP1 00000e6b: SWAP2 00000e6c: SWAP3 00000e6d: SWAP4 00000e6e: SWAP5 00000e6f: SWAP6 00000e70: SWAP7 00000e71: SWAP8 00000e72: JUMP 00000e73: JUMPDEST 00000e74: PUSH1 0x02 00000e76: PUSH1 0x20 00000e78: DUP2 00000e79: SWAP1 00000e7a: MSTORE 00000e7b: PUSH1 0x00 00000e7d: SWAP2 00000e7e: DUP3 00000e7f: MSTORE 00000e80: PUSH1 0x40 00000e82: SWAP1 00000e83: SWAP2 00000e84: KECCAK256 00000e85: DUP1 00000e86: SLOAD 00000e87: PUSH1 0x01 00000e89: DUP3 00000e8a: ADD 00000e8b: SLOAD 00000e8c: SWAP3 00000e8d: DUP3 00000e8e: ADD 00000e8f: SLOAD 00000e90: PUSH1 0x03 00000e92: DUP4 00000e93: ADD 00000e94: SLOAD 00000e95: PUSH1 0x04 00000e97: DUP5 00000e98: ADD 00000e99: SLOAD 00000e9a: PUSH1 0x05 00000e9c: DUP6 00000e9d: ADD 00000e9e: SLOAD 00000e9f: PUSH1 0x06 00000ea1: SWAP1 00000ea2: SWAP6 00000ea3: ADD 00000ea4: SLOAD 00000ea5: SWAP4 00000ea6: SWAP6 00000ea7: SWAP5 00000ea8: SWAP3 00000ea9: SWAP4 00000eaa: SWAP2 00000eab: SWAP3 00000eac: PUSH1 0x01 00000eae: PUSH1 0xa0 00000eb0: PUSH1 0x02 00000eb2: EXP 00000eb3: SUB 00000eb4: SWAP1 00000eb5: SWAP2 00000eb6: AND 00000eb7: SWAP2 00000eb8: PUSH1 0xff 00000eba: AND 00000ebb: DUP8 00000ebc: JUMP 00000ebd: JUMPDEST 00000ebe: PUSH1 0x00 00000ec0: CALLER 00000ec1: DUP1 00000ec2: EXTCODESIZE 00000ec3: DUP1 00000ec4: ISZERO 00000ec5: PUSH2 0x0f06 00000ec8: JUMPI 00000ec9: PUSH1 0x40 00000ecb: DUP1 00000ecc: MLOAD 00000ecd: PUSH1 0xe5 00000ecf: PUSH1 0x02 00000ed1: EXP 00000ed2: PUSH3 0x461bcd 00000ed6: MUL 00000ed7: DUP2 00000ed8: MSTORE 00000ed9: PUSH1 0x20 00000edb: PUSH1 0x04 00000edd: DUP3 00000ede: ADD 00000edf: MSTORE 00000ee0: PUSH1 0x11 00000ee2: PUSH1 0x24 00000ee4: DUP3 00000ee5: ADD 00000ee6: MSTORE 00000ee7: PUSH1 0x00 00000ee9: DUP1 00000eea: MLOAD 00000eeb: PUSH1 0x20 00000eed: PUSH2 0x1421 00000ef0: DUP4 00000ef1: CODECOPY 00000ef2: DUP2 00000ef3: MLOAD 00000ef4: SWAP2 00000ef5: MSTORE 00000ef6: PUSH1 0x44 00000ef8: DUP3 00000ef9: ADD 00000efa: MSTORE 00000efb: SWAP1 00000efc: MLOAD 00000efd: SWAP1 00000efe: DUP2 00000eff: SWAP1 00000f00: SUB 00000f01: PUSH1 0x64 00000f03: ADD 00000f04: SWAP1 00000f05: REVERT 00000f06: JUMPDEST 00000f07: PUSH1 0x00 00000f09: SLOAD 00000f0a: DUP5 00000f0b: GT 00000f0c: ISZERO 00000f0d: PUSH2 0x0f60 00000f10: JUMPI 00000f11: PUSH1 0x40 00000f13: DUP1 00000f14: MLOAD 00000f15: PUSH1 0xe5 00000f17: PUSH1 0x02 00000f19: EXP 00000f1a: PUSH3 0x461bcd 00000f1e: MUL 00000f1f: DUP2 00000f20: MSTORE 00000f21: PUSH1 0x20 00000f23: PUSH1 0x04 00000f25: DUP3 00000f26: ADD 00000f27: MSTORE 00000f28: PUSH1 0x17 00000f2a: PUSH1 0x24 00000f2c: DUP3 00000f2d: ADD 00000f2e: MSTORE 00000f2f: PUSH32 0x596f752772652072756e6e696e6720746f6f2066617374000000000000000000 00000f50: PUSH1 0x44 00000f52: DUP3 00000f53: ADD 00000f54: MSTORE 00000f55: SWAP1 00000f56: MLOAD 00000f57: SWAP1 00000f58: DUP2 00000f59: SWAP1 00000f5a: SUB 00000f5b: PUSH1 0x64 00000f5d: ADD 00000f5e: SWAP1 00000f5f: REVERT 00000f60: JUMPDEST 00000f61: PUSH1 0x00 00000f63: DUP5 00000f64: DUP2 00000f65: MSTORE 00000f66: PUSH1 0x02 00000f68: PUSH1 0x20 00000f6a: MSTORE 00000f6b: PUSH1 0x40 00000f6d: SWAP1 00000f6e: KECCAK256 00000f6f: PUSH1 0x03 00000f71: ADD 00000f72: SLOAD 00000f73: TIMESTAMP 00000f74: GT 00000f75: PUSH2 0x0fc8 00000f78: JUMPI 00000f79: PUSH1 0x40 00000f7b: DUP1 00000f7c: MLOAD 00000f7d: PUSH1 0xe5 00000f7f: PUSH1 0x02 00000f81: EXP 00000f82: PUSH3 0x461bcd 00000f86: MUL 00000f87: DUP2 00000f88: MSTORE 00000f89: PUSH1 0x20 00000f8b: PUSH1 0x04 00000f8d: DUP3 00000f8e: ADD 00000f8f: MSTORE 00000f90: PUSH1 0x0e 00000f92: PUSH1 0x24 00000f94: DUP3 00000f95: ADD 00000f96: MSTORE 00000f97: PUSH32 0x576169742070617469656e746c79000000000000000000000000000000000000 00000fb8: PUSH1 0x44 00000fba: DUP3 00000fbb: ADD 00000fbc: MSTORE 00000fbd: SWAP1 00000fbe: MLOAD 00000fbf: SWAP1 00000fc0: DUP2 00000fc1: SWAP1 00000fc2: SUB 00000fc3: PUSH1 0x64 00000fc5: ADD 00000fc6: SWAP1 00000fc7: REVERT 00000fc8: JUMPDEST 00000fc9: PUSH1 0x00 00000fcb: DUP5 00000fcc: DUP2 00000fcd: MSTORE 00000fce: PUSH1 0x02 00000fd0: PUSH1 0x20 00000fd2: MSTORE 00000fd3: PUSH1 0x40 00000fd5: SWAP1 00000fd6: KECCAK256 00000fd7: PUSH1 0x04 00000fd9: ADD 00000fda: SLOAD 00000fdb: PUSH1 0x01 00000fdd: PUSH1 0xa0 00000fdf: PUSH1 0x02 00000fe1: EXP 00000fe2: SUB 00000fe3: AND 00000fe4: CALLER 00000fe5: EQ 00000fe6: PUSH2 0x1039 00000fe9: JUMPI 00000fea: PUSH1 0x40 00000fec: DUP1 00000fed: MLOAD 00000fee: PUSH1 0xe5 00000ff0: PUSH1 0x02 00000ff2: EXP 00000ff3: PUSH3 0x461bcd 00000ff7: MUL 00000ff8: DUP2 00000ff9: MSTORE 00000ffa: PUSH1 0x20 00000ffc: PUSH1 0x04 00000ffe: DUP3 00000fff: ADD 00001000: MSTORE 00001001: PUSH1 0x16 00001003: PUSH1 0x24 00001005: DUP3 00001006: ADD 00001007: MSTORE 00001008: PUSH32 0x546865207072697a65206973206e6f7420796f75727300000000000000000000 00001029: PUSH1 0x44 0000102b: DUP3 0000102c: ADD 0000102d: MSTORE 0000102e: SWAP1 0000102f: MLOAD 00001030: SWAP1 00001031: DUP2 00001032: SWAP1 00001033: SUB 00001034: PUSH1 0x64 00001036: ADD 00001037: SWAP1 00001038: REVERT 00001039: JUMPDEST 0000103a: PUSH1 0x00 0000103c: DUP5 0000103d: DUP2 0000103e: MSTORE 0000103f: PUSH1 0x02 00001041: PUSH1 0x20 00001043: MSTORE 00001044: PUSH1 0x40 00001046: SWAP1 00001047: KECCAK256 00001048: PUSH1 0x06 0000104a: ADD 0000104b: SLOAD 0000104c: PUSH1 0xff 0000104e: AND 0000104f: ISZERO 00001050: PUSH2 0x10a3 00001053: JUMPI 00001054: PUSH1 0x40 00001056: DUP1 00001057: MLOAD 00001058: PUSH1 0xe5 0000105a: PUSH1 0x02 0000105c: EXP 0000105d: PUSH3 0x461bcd 00001061: MUL 00001062: DUP2 00001063: MSTORE 00001064: PUSH1 0x20 00001066: PUSH1 0x04 00001068: DUP3 00001069: ADD 0000106a: MSTORE 0000106b: PUSH1 0x1b 0000106d: PUSH1 0x24 0000106f: DUP3 00001070: ADD 00001071: MSTORE 00001072: PUSH32 0x43616e277420676574207072697a65732072657065617465646c790000000000 00001093: PUSH1 0x44 00001095: DUP3 00001096: ADD 00001097: MSTORE 00001098: SWAP1 00001099: MLOAD 0000109a: SWAP1 0000109b: DUP2 0000109c: SWAP1 0000109d: SUB 0000109e: PUSH1 0x64 000010a0: ADD 000010a1: SWAP1 000010a2: REVERT 000010a3: JUMPDEST 000010a4: PUSH1 0x00 000010a6: DUP5 000010a7: DUP2 000010a8: MSTORE 000010a9: PUSH1 0x02 000010ab: PUSH1 0x20 000010ad: MSTORE 000010ae: PUSH1 0x40 000010b0: SWAP1 000010b1: KECCAK256 000010b2: SLOAD 000010b3: PUSH1 0x64 000010b5: SWAP1 000010b6: PUSH2 0x10c6 000010b9: SWAP1 000010ba: PUSH1 0x23 000010bc: PUSH4 0xffffffff 000010c1: PUSH2 0x12d7 000010c4: AND 000010c5: JUMP 000010c6: JUMPDEST 000010c7: DUP2 000010c8: ISZERO 000010c9: ISZERO 000010ca: PUSH2 0x10cf 000010cd: JUMPI 000010ce: INVALID 000010cf: JUMPDEST 000010d0: PUSH1 0x00 000010d2: DUP7 000010d3: DUP2 000010d4: MSTORE 000010d5: PUSH1 0x02 000010d7: PUSH1 0x20 000010d9: MSTORE 000010da: PUSH1 0x40 000010dc: DUP1 000010dd: DUP3 000010de: KECCAK256 000010df: PUSH1 0x06 000010e1: ADD 000010e2: DUP1 000010e3: SLOAD 000010e4: PUSH1 0xff 000010e6: NOT 000010e7: AND 000010e8: PUSH1 0x01 000010ea: OR 000010eb: SWAP1 000010ec: SSTORE 000010ed: MLOAD 000010ee: SWAP3 000010ef: SWAP1 000010f0: SWAP2 000010f1: DIV 000010f2: SWAP5 000010f3: POP 000010f4: CALLER 000010f5: SWAP2 000010f6: DUP6 000010f7: ISZERO 000010f8: PUSH2 0x08fc 000010fb: MUL 000010fc: SWAP2 000010fd: DUP7 000010fe: SWAP2 000010ff: SWAP1 00001100: DUP2 00001101: DUP2 00001102: DUP2 00001103: DUP6 00001104: DUP9 00001105: DUP9 00001106: CALL 00001107: SWAP4 00001108: POP 00001109: POP 0000110a: POP 0000110b: POP 0000110c: ISZERO 0000110d: DUP1 0000110e: ISZERO 0000110f: PUSH2 0x111c 00001112: JUMPI 00001113: RETURNDATASIZE 00001114: PUSH1 0x00 00001116: DUP1 00001117: RETURNDATACOPY 00001118: RETURNDATASIZE 00001119: PUSH1 0x00 0000111b: REVERT 0000111c: JUMPDEST 0000111d: POP 0000111e: PUSH1 0x40 00001120: DUP1 00001121: MLOAD 00001122: DUP5 00001123: DUP2 00001124: MSTORE 00001125: TIMESTAMP 00001126: PUSH1 0x20 00001128: DUP3 00001129: ADD 0000112a: MSTORE 0000112b: DUP2 0000112c: MLOAD 0000112d: DUP7 0000112e: SWAP3 0000112f: CALLER 00001130: SWAP3 00001131: PUSH32 0x067aa1d7e7bd2c0daf878a68551cbd9e1a4dbaaa1510600154c71bffbe420d86 00001152: SWAP3 00001153: SWAP1 00001154: DUP2 00001155: SWAP1 00001156: SUB 00001157: SWAP1 00001158: SWAP2 00001159: ADD 0000115a: SWAP1 0000115b: LOG3 0000115c: POP 0000115d: POP 0000115e: POP 0000115f: POP 00001160: JUMP 00001161: JUMPDEST 00001162: PUSH1 0x04 00001164: SLOAD 00001165: PUSH1 0x01 00001167: PUSH1 0xa0 00001169: PUSH1 0x02 0000116b: EXP 0000116c: SUB 0000116d: AND 0000116e: DUP2 0000116f: JUMP 00001170: JUMPDEST 00001171: PUSH1 0x03 00001173: PUSH1 0x20 00001175: SWAP1 00001176: DUP2 00001177: MSTORE 00001178: PUSH1 0x00 0000117a: SWAP3 0000117b: DUP4 0000117c: MSTORE 0000117d: PUSH1 0x40 0000117f: DUP1 00001180: DUP5 00001181: KECCAK256 00001182: SWAP1 00001183: SWAP2 00001184: MSTORE 00001185: SWAP1 00001186: DUP3 00001187: MSTORE 00001188: SWAP1 00001189: KECCAK256 0000118a: DUP1 0000118b: SLOAD 0000118c: PUSH1 0x01 0000118e: DUP3 0000118f: ADD 00001190: SLOAD 00001191: PUSH1 0x02 00001193: SWAP1 00001194: SWAP3 00001195: ADD 00001196: SLOAD 00001197: SWAP1 00001198: SWAP2 00001199: SWAP1 0000119a: DUP4 0000119b: JUMP 0000119c: JUMPDEST 0000119d: PUSH1 0x04 0000119f: SLOAD 000011a0: PUSH1 0x01 000011a2: PUSH1 0xa0 000011a4: PUSH1 0x02 000011a6: EXP 000011a7: SUB 000011a8: AND 000011a9: CALLER 000011aa: EQ 000011ab: PUSH2 0x11fe 000011ae: JUMPI 000011af: PUSH1 0x40 000011b1: DUP1 000011b2: MLOAD 000011b3: PUSH1 0xe5 000011b5: PUSH1 0x02 000011b7: EXP 000011b8: PUSH3 0x461bcd 000011bc: MUL 000011bd: DUP2 000011be: MSTORE 000011bf: PUSH1 0x20 000011c1: PUSH1 0x04 000011c3: DUP3 000011c4: ADD 000011c5: MSTORE 000011c6: PUSH1 0x14 000011c8: PUSH1 0x24 000011ca: DUP3 000011cb: ADD 000011cc: MSTORE 000011cd: PUSH32 0x6f6e6c79206f776e65722063616e20646f206974000000000000000000000000 000011ee: PUSH1 0x44 000011f0: DUP3 000011f1: ADD 000011f2: MSTORE 000011f3: SWAP1 000011f4: MLOAD 000011f5: SWAP1 000011f6: DUP2 000011f7: SWAP1 000011f8: SUB 000011f9: PUSH1 0x64 000011fb: ADD 000011fc: SWAP1 000011fd: REVERT 000011fe: JUMPDEST 000011ff: PUSH1 0x04 00001201: DUP1 00001202: SLOAD 00001203: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001218: NOT 00001219: AND 0000121a: PUSH1 0x01 0000121c: PUSH1 0xa0 0000121e: PUSH1 0x02 00001220: EXP 00001221: SUB 00001222: SWAP3 00001223: SWAP1 00001224: SWAP3 00001225: AND 00001226: SWAP2 00001227: SWAP1 00001228: SWAP2 00001229: OR 0000122a: SWAP1 0000122b: SSTORE 0000122c: JUMP 0000122d: JUMPDEST 0000122e: PUSH1 0x00 00001230: PUSH4 0x09502f90 00001235: PUSH2 0x12a1 00001238: PUSH14 0x03b2a1d15167e7c5699bfde00000 00001247: PUSH2 0x098e 0000124a: PUSH2 0x129c 0000124d: PUSH27 0x0dac7055469777a6122ee4310dd6c14410500f2904840000000000 00001269: PUSH2 0x1290 0000126c: PUSH12 0x01027e72f1f1281308800000 00001279: PUSH2 0x0bb6 0000127c: DUP11 0000127d: PUSH8 0x0de0b6b3a7640000 00001286: PUSH4 0xffffffff 0000128b: PUSH2 0x12d7 0000128e: AND 0000128f: JUMP 00001290: JUMPDEST 00001291: SWAP1 00001292: PUSH4 0xffffffff 00001297: PUSH2 0x0907 0000129a: AND 0000129b: JUMP 0000129c: JUMPDEST 0000129d: PUSH2 0x134e 000012a0: JUMP 000012a1: JUMPDEST 000012a2: DUP2 000012a3: ISZERO 000012a4: ISZERO 000012a5: PUSH2 0x12aa 000012a8: JUMPI 000012a9: INVALID 000012aa: JUMPDEST 000012ab: DIV 000012ac: SWAP3 000012ad: SWAP2 000012ae: POP 000012af: POP 000012b0: JUMP 000012b1: JUMPDEST 000012b2: PUSH1 0x00 000012b4: PUSH2 0x099a 000012b7: PUSH2 0x12ce 000012ba: PUSH2 0x12c9 000012bd: DUP6 000012be: DUP6 000012bf: PUSH4 0xffffffff 000012c4: PUSH2 0x09a1 000012c7: AND 000012c8: JUMP 000012c9: JUMPDEST 000012ca: PUSH2 0x13a7 000012cd: JUMP 000012ce: JUMPDEST 000012cf: PUSH2 0x098e 000012d2: DUP6 000012d3: PUSH2 0x13a7 000012d6: JUMP 000012d7: JUMPDEST 000012d8: PUSH1 0x00 000012da: DUP3 000012db: ISZERO 000012dc: ISZERO 000012dd: PUSH2 0x12e8 000012e0: JUMPI 000012e1: POP 000012e2: PUSH1 0x00 000012e4: PUSH2 0x0962 000012e7: JUMP 000012e8: JUMPDEST 000012e9: POP 000012ea: DUP2 000012eb: DUP2 000012ec: MUL 000012ed: DUP2 000012ee: DUP4 000012ef: DUP3 000012f0: DUP2 000012f1: ISZERO 000012f2: ISZERO 000012f3: PUSH2 0x12f8 000012f6: JUMPI 000012f7: INVALID 000012f8: JUMPDEST 000012f9: DIV 000012fa: EQ 000012fb: PUSH2 0x0962 000012fe: JUMPI 000012ff: PUSH1 0x40 00001301: DUP1 00001302: MLOAD 00001303: PUSH1 0xe5 00001305: PUSH1 0x02 00001307: EXP 00001308: PUSH3 0x461bcd 0000130c: MUL 0000130d: DUP2 0000130e: MSTORE 0000130f: PUSH1 0x20 00001311: PUSH1 0x04 00001313: DUP3 00001314: ADD 00001315: MSTORE 00001316: PUSH1 0x13 00001318: PUSH1 0x24 0000131a: DUP3 0000131b: ADD 0000131c: MSTORE 0000131d: PUSH32 0x536166654d617468206d756c206661696c656400000000000000000000000000 0000133e: PUSH1 0x44 00001340: DUP3 00001341: ADD 00001342: MSTORE 00001343: SWAP1 00001344: MLOAD 00001345: SWAP1 00001346: DUP2 00001347: SWAP1 00001348: SUB 00001349: PUSH1 0x64 0000134b: ADD 0000134c: SWAP1 0000134d: REVERT 0000134e: JUMPDEST 0000134f: PUSH1 0x00 00001351: DUP1 00001352: PUSH1 0x02 00001354: PUSH2 0x135e 00001357: DUP5 00001358: PUSH1 0x01 0000135a: PUSH2 0x0907 0000135d: JUMP 0000135e: JUMPDEST 0000135f: DUP2 00001360: ISZERO 00001361: ISZERO 00001362: PUSH2 0x1367 00001365: JUMPI 00001366: INVALID 00001367: JUMPDEST 00001368: DIV 00001369: SWAP1 0000136a: POP 0000136b: DUP3 0000136c: SWAP2 0000136d: POP 0000136e: JUMPDEST 0000136f: DUP2 00001370: DUP2 00001371: LT 00001372: ISZERO 00001373: PUSH2 0x13a1 00001376: JUMPI 00001377: DUP1 00001378: SWAP2 00001379: POP 0000137a: PUSH1 0x02 0000137c: PUSH2 0x1390 0000137f: DUP3 00001380: DUP6 00001381: DUP2 00001382: ISZERO 00001383: ISZERO 00001384: PUSH2 0x1389 00001387: JUMPI 00001388: INVALID 00001389: JUMPDEST 0000138a: DIV 0000138b: DUP4 0000138c: PUSH2 0x0907 0000138f: JUMP 00001390: JUMPDEST 00001391: DUP2 00001392: ISZERO 00001393: ISZERO 00001394: PUSH2 0x1399 00001397: JUMPI 00001398: INVALID 00001399: JUMPDEST 0000139a: DIV 0000139b: SWAP1 0000139c: POP 0000139d: PUSH2 0x136e 000013a0: JUMP 000013a1: JUMPDEST 000013a2: POP 000013a3: SWAP2 000013a4: SWAP1 000013a5: POP 000013a6: JUMP 000013a7: JUMPDEST 000013a8: PUSH1 0x00 000013aa: PUSH2 0x13ba 000013ad: PUSH8 0x0de0b6b3a7640000 000013b6: PUSH2 0x1414 000013b9: JUMP 000013ba: JUMPDEST 000013bb: PUSH2 0x12a1 000013be: PUSH1 0x02 000013c0: PUSH2 0x13ed 000013c3: PUSH2 0x13da 000013c6: DUP7 000013c7: PUSH8 0x0de0b6b3a7640000 000013d0: PUSH4 0xffffffff 000013d5: PUSH2 0x12d7 000013d8: AND 000013d9: JUMP 000013da: JUMPDEST 000013db: PUSH6 0x886c8f673070 000013e2: SWAP1 000013e3: PUSH4 0xffffffff 000013e8: PUSH2 0x12d7 000013eb: AND 000013ec: JUMP 000013ed: JUMPDEST 000013ee: DUP2 000013ef: ISZERO 000013f0: ISZERO 000013f1: PUSH2 0x13f6 000013f4: JUMPI 000013f5: INVALID 000013f6: JUMPDEST 000013f7: DIV 000013f8: PUSH2 0x1290 000013fb: PUSH2 0x1403 000013fe: DUP7 000013ff: PUSH2 0x1414 00001402: JUMP 00001403: JUMPDEST 00001404: PUSH4 0x04a817c8 00001409: SWAP1 0000140a: PUSH4 0xffffffff 0000140f: PUSH2 0x12d7 00001412: AND 00001413: JUMP 00001414: JUMPDEST 00001415: PUSH1 0x00 00001417: PUSH2 0x0962 0000141a: DUP3 0000141b: DUP4 0000141c: PUSH2 0x12d7 0000141f: JUMP 00001420: STOP 00001421: PUSH20 0x6f7272792068756d616e73206f6e6c7900000000 00001436: STOP 00001437: STOP 00001438: STOP 00001439: STOP 0000143a: STOP 0000143b: STOP 0000143c: STOP 0000143d: STOP 0000143e: STOP 0000143f: STOP 00001440: STOP 00001441: LOG1 00001442: PUSH6 0x627a7a723058 00001449: KECCAK256 0000144a: SLOAD 0000144b: UNKNOWN(0xCA) 0000144c: DUP13 0000144d: UNKNOWN(0x4E) 0000144e: CALLER 0000144f: ADD 00001450: SHR 00001451: SWAP15 00001452: UNKNOWN(0xC4) 00001453: PUSH29
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x74c9c767554aa975ae0fb85119779f84c1a4b4906d4b13f65601608fdd418ef1
call_targets:
0x0b588a1d41518991a94590a7884f52b8836df38d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x74c9c767554aa975ae0fb85119779f84c1a4b4906d4b13f65601608fdd418ef1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0b588a1d41518991a94590a7884f52b8836df38d"
],
"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": "0x018a25e8",
"selector": "0x018a25e8",
"calldata_variants": [
"0x018a25e8",
"0x018a25e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3c28308a",
"selector": "0x3c28308a",
"calldata_variants": [
"0x3c28308a",
"0x3c28308a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3c3c9c23",
"selector": "0x3c3c9c23",
"calldata_variants": [
"0x3c3c9c23",
"0x3c3c9c230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4311de8f",
"selector": "0x4311de8f",
"calldata_variants": [
"0x4311de8f",
"0x4311de8f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x528ce7de",
"selector": "0x528ce7de",
"calldata_variants": [
"0x528ce7de",
"0x528ce7de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6561e6ba",
"selector": "0x6561e6ba",
"calldata_variants": [
"0x6561e6ba",
"0x6561e6ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x747dff42",
"selector": "0x747dff42",
"calldata_variants": [
"0x747dff42",
"0x747dff420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7e8ac590",
"selector": "0x7e8ac590",
"calldata_variants": [
"0x7e8ac590",
"0x7e8ac5900000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 893,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1505,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3212,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x74c9c767554aa975ae0fb85119779f84c1a4b4906d4b13f65601608fdd418ef1
call_targets:
0x0b588a1d41518991a94590a7884f52b8836df38d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x74c9c767554aa975ae0fb85119779f84c1a4b4906d4b13f65601608fdd418ef1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0b588a1d41518991a94590a7884f52b8836df38d"
],
"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": "0x018a25e8",
"selector": "0x018a25e8",
"calldata_variants": [
"0x018a25e8",
"0x018a25e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3c28308a",
"selector": "0x3c28308a",
"calldata_variants": [
"0x3c28308a",
"0x3c28308a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3c3c9c23",
"selector": "0x3c3c9c23",
"calldata_variants": [
"0x3c3c9c23",
"0x3c3c9c230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4311de8f",
"selector": "0x4311de8f",
"calldata_variants": [
"0x4311de8f",
"0x4311de8f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x528ce7de",
"selector": "0x528ce7de",
"calldata_variants": [
"0x528ce7de",
"0x528ce7de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6561e6ba",
"selector": "0x6561e6ba",
"calldata_variants": [
"0x6561e6ba",
"0x6561e6ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x747dff42",
"selector": "0x747dff42",
"calldata_variants": [
"0x747dff42",
"0x747dff420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7e8ac590",
"selector": "0x7e8ac590",
"calldata_variants": [
"0x7e8ac590",
"0x7e8ac5900000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 893,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1505,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3212,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|