019b477e-b656-709a-81e3-5ce77ede60f7
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 |
|---|---|---|---|---|
| 23099 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23100 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 66698 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 66699 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 66700 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 66701 | 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 0x0135 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x78e97925 00000019: GT 0000001a: PUSH2 0x00ab 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x9d1b464a 00000024: GT 00000025: PUSH2 0x006f 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x9d1b464a 0000002f: EQ 00000030: PUSH2 0x042a 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x9e21ef60 0000003a: EQ 0000003b: PUSH2 0x043f 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xcff29dfd 00000045: EQ 00000046: PUSH2 0x0454 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf1a9af89 00000050: EQ 00000051: PUSH2 0x047e 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x0493 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xfcd15908 00000066: EQ 00000067: PUSH2 0x04c6 0000006a: JUMPI 0000006b: PUSH2 0x0135 0000006e: JUMP 0000006f: JUMPDEST 00000070: DUP1 00000071: PUSH4 0x78e97925 00000076: EQ 00000077: PUSH2 0x02b4 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x7f649783 00000081: EQ 00000082: PUSH2 0x02c9 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x7fb45099 0000008c: EQ 0000008d: PUSH2 0x0379 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x8da5cb5b 00000097: EQ 00000098: PUSH2 0x03b2 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0x9b19251a 000000a2: EQ 000000a3: PUSH2 0x03e3 000000a6: JUMPI 000000a7: PUSH2 0x0135 000000aa: JUMP 000000ab: JUMPDEST 000000ac: DUP1 000000ad: PUSH4 0x509e66ba 000000b2: GT 000000b3: PUSH2 0x00fd 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x509e66ba 000000bd: EQ 000000be: PUSH2 0x0203 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x5c681215 000000c8: EQ 000000c9: PUSH2 0x0218 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x627749e6 000000d3: EQ 000000d4: PUSH2 0x022d 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x62ea82db 000000de: EQ 000000df: PUSH2 0x0242 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0x6b64c769 000000e9: EQ 000000ea: PUSH2 0x0275 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0x72b21f8f 000000f4: EQ 000000f5: PUSH2 0x028a 000000f8: JUMPI 000000f9: PUSH2 0x0135 000000fc: JUMP 000000fd: JUMPDEST 000000fe: DUP1 000000ff: PUSH4 0x0aa237bb 00000104: EQ 00000105: PUSH2 0x0193 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x1998aeef 0000010f: EQ 00000110: PUSH2 0x01ba 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x378252f2 0000011a: EQ 0000011b: PUSH2 0x01c4 0000011e: JUMPI 0000011f: DUP1 00000120: PUSH4 0x3ccfd60b 00000125: EQ 00000126: PUSH2 0x01d9 00000129: JUMPI 0000012a: DUP1 0000012b: PUSH4 0x4644d8ba 00000130: EQ 00000131: PUSH2 0x01ee 00000134: JUMPI 00000135: JUMPDEST 00000136: PUSH1 0x01 00000138: DUP1 00000139: PUSH1 0x05 0000013b: SLOAD 0000013c: PUSH1 0xff 0000013e: AND 0000013f: PUSH1 0x04 00000141: DUP2 00000142: GT 00000143: ISZERO 00000144: PUSH2 0x0149 00000147: JUMPI 00000148: INVALID 00000149: JUMPDEST 0000014a: EQ 0000014b: PUSH2 0x0188 0000014e: JUMPI 0000014f: PUSH1 0x40 00000151: MLOAD 00000152: PUSH1 0x01 00000154: PUSH1 0xe5 00000156: SHL 00000157: PUSH3 0x461bcd 0000015b: MUL 0000015c: DUP2 0000015d: MSTORE 0000015e: PUSH1 0x04 00000160: ADD 00000161: DUP1 00000162: DUP1 00000163: PUSH1 0x20 00000165: ADD 00000166: DUP3 00000167: DUP2 00000168: SUB 00000169: DUP3 0000016a: MSTORE 0000016b: PUSH1 0x36 0000016d: DUP2 0000016e: MSTORE 0000016f: PUSH1 0x20 00000171: ADD 00000172: DUP1 00000173: PUSH2 0x14c4 00000176: PUSH1 0x36 00000178: SWAP2 00000179: CODECOPY 0000017a: PUSH1 0x40 0000017c: ADD 0000017d: SWAP2 0000017e: POP 0000017f: POP 00000180: PUSH1 0x40 00000182: MLOAD 00000183: DUP1 00000184: SWAP2 00000185: SUB 00000186: SWAP1 00000187: REVERT 00000188: JUMPDEST 00000189: PUSH2 0x0190 0000018c: PUSH2 0x04db 0000018f: JUMP 00000190: JUMPDEST 00000191: POP 00000192: STOP 00000193: JUMPDEST 00000194: CALLVALUE 00000195: DUP1 00000196: ISZERO 00000197: PUSH2 0x019f 0000019a: JUMPI 0000019b: PUSH1 0x00 0000019d: DUP1 0000019e: REVERT 0000019f: JUMPDEST 000001a0: POP 000001a1: PUSH2 0x01a8 000001a4: PUSH2 0x08d0 000001a7: JUMP 000001a8: JUMPDEST 000001a9: PUSH1 0x40 000001ab: DUP1 000001ac: MLOAD 000001ad: SWAP2 000001ae: DUP3 000001af: MSTORE 000001b0: MLOAD 000001b1: SWAP1 000001b2: DUP2 000001b3: SWAP1 000001b4: SUB 000001b5: PUSH1 0x20 000001b7: ADD 000001b8: SWAP1 000001b9: RETURN 000001ba: JUMPDEST 000001bb: PUSH2 0x01c2 000001be: PUSH2 0x04db 000001c1: JUMP 000001c2: JUMPDEST 000001c3: STOP 000001c4: JUMPDEST 000001c5: CALLVALUE 000001c6: DUP1 000001c7: ISZERO 000001c8: PUSH2 0x01d0 000001cb: JUMPI 000001cc: PUSH1 0x00 000001ce: DUP1 000001cf: REVERT 000001d0: JUMPDEST 000001d1: POP 000001d2: PUSH2 0x01c2 000001d5: PUSH2 0x08d6 000001d8: JUMP 000001d9: JUMPDEST 000001da: CALLVALUE 000001db: DUP1 000001dc: ISZERO 000001dd: PUSH2 0x01e5 000001e0: JUMPI 000001e1: PUSH1 0x00 000001e3: DUP1 000001e4: REVERT 000001e5: JUMPDEST 000001e6: POP 000001e7: PUSH2 0x01c2 000001ea: PUSH2 0x09a5 000001ed: JUMP 000001ee: JUMPDEST 000001ef: CALLVALUE 000001f0: DUP1 000001f1: ISZERO 000001f2: PUSH2 0x01fa 000001f5: JUMPI 000001f6: PUSH1 0x00 000001f8: DUP1 000001f9: REVERT 000001fa: JUMPDEST 000001fb: POP 000001fc: PUSH2 0x01c2 000001ff: PUSH2 0x0a5d 00000202: JUMP 00000203: JUMPDEST 00000204: CALLVALUE 00000205: DUP1 00000206: ISZERO 00000207: PUSH2 0x020f 0000020a: JUMPI 0000020b: PUSH1 0x00 0000020d: DUP1 0000020e: REVERT 0000020f: JUMPDEST 00000210: POP 00000211: PUSH2 0x01a8 00000214: PUSH2 0x0b81 00000217: JUMP 00000218: JUMPDEST 00000219: CALLVALUE 0000021a: DUP1 0000021b: ISZERO 0000021c: PUSH2 0x0224 0000021f: JUMPI 00000220: PUSH1 0x00 00000222: DUP1 00000223: REVERT 00000224: JUMPDEST 00000225: POP 00000226: PUSH2 0x01a8 00000229: PUSH2 0x0b87 0000022c: JUMP 0000022d: JUMPDEST 0000022e: CALLVALUE 0000022f: DUP1 00000230: ISZERO 00000231: PUSH2 0x0239 00000234: JUMPI 00000235: PUSH1 0x00 00000237: DUP1 00000238: REVERT 00000239: JUMPDEST 0000023a: POP 0000023b: PUSH2 0x01a8 0000023e: PUSH2 0x0b8d 00000241: JUMP 00000242: JUMPDEST 00000243: CALLVALUE 00000244: DUP1 00000245: ISZERO 00000246: PUSH2 0x024e 00000249: JUMPI 0000024a: PUSH1 0x00 0000024c: DUP1 0000024d: REVERT 0000024e: JUMPDEST 0000024f: POP 00000250: PUSH2 0x01a8 00000253: PUSH1 0x04 00000255: DUP1 00000256: CALLDATASIZE 00000257: SUB 00000258: PUSH1 0x20 0000025a: DUP2 0000025b: LT 0000025c: ISZERO 0000025d: PUSH2 0x0265 00000260: JUMPI 00000261: PUSH1 0x00 00000263: DUP1 00000264: REVERT 00000265: JUMPDEST 00000266: POP 00000267: CALLDATALOAD 00000268: PUSH1 0x01 0000026a: PUSH1 0x01 0000026c: PUSH1 0xa0 0000026e: SHL 0000026f: SUB 00000270: AND 00000271: PUSH2 0x0b93 00000274: JUMP 00000275: JUMPDEST 00000276: CALLVALUE 00000277: DUP1 00000278: ISZERO 00000279: PUSH2 0x0281 0000027c: JUMPI 0000027d: PUSH1 0x00 0000027f: DUP1 00000280: REVERT 00000281: JUMPDEST 00000282: POP 00000283: PUSH2 0x01c2 00000286: PUSH2 0x0ba5 00000289: JUMP 0000028a: JUMPDEST 0000028b: CALLVALUE 0000028c: DUP1 0000028d: ISZERO 0000028e: PUSH2 0x0296 00000291: JUMPI 00000292: PUSH1 0x00 00000294: DUP1 00000295: REVERT 00000296: JUMPDEST 00000297: POP 00000298: PUSH2 0x01a8 0000029b: PUSH1 0x04 0000029d: DUP1 0000029e: CALLDATASIZE 0000029f: SUB 000002a0: PUSH1 0x20 000002a2: DUP2 000002a3: LT 000002a4: ISZERO 000002a5: PUSH2 0x02ad 000002a8: JUMPI 000002a9: PUSH1 0x00 000002ab: DUP1 000002ac: REVERT 000002ad: JUMPDEST 000002ae: POP 000002af: CALLDATALOAD 000002b0: PUSH2 0x0d45 000002b3: JUMP 000002b4: JUMPDEST 000002b5: CALLVALUE 000002b6: DUP1 000002b7: ISZERO 000002b8: PUSH2 0x02c0 000002bb: JUMPI 000002bc: PUSH1 0x00 000002be: DUP1 000002bf: REVERT 000002c0: JUMPDEST 000002c1: POP 000002c2: PUSH2 0x01a8 000002c5: PUSH2 0x0dd6 000002c8: JUMP 000002c9: JUMPDEST 000002ca: CALLVALUE 000002cb: DUP1 000002cc: ISZERO 000002cd: PUSH2 0x02d5 000002d0: JUMPI 000002d1: PUSH1 0x00 000002d3: DUP1 000002d4: REVERT 000002d5: JUMPDEST 000002d6: POP 000002d7: PUSH2 0x01c2 000002da: PUSH1 0x04 000002dc: DUP1 000002dd: CALLDATASIZE 000002de: SUB 000002df: PUSH1 0x20 000002e1: DUP2 000002e2: LT 000002e3: ISZERO 000002e4: PUSH2 0x02ec 000002e7: JUMPI 000002e8: PUSH1 0x00 000002ea: DUP1 000002eb: REVERT 000002ec: JUMPDEST 000002ed: DUP2 000002ee: ADD 000002ef: SWAP1 000002f0: PUSH1 0x20 000002f2: DUP2 000002f3: ADD 000002f4: DUP2 000002f5: CALLDATALOAD 000002f6: PUSH5 0x0100000000 000002fc: DUP2 000002fd: GT 000002fe: ISZERO 000002ff: PUSH2 0x0307 00000302: JUMPI 00000303: PUSH1 0x00 00000305: DUP1 00000306: REVERT 00000307: JUMPDEST 00000308: DUP3 00000309: ADD 0000030a: DUP4 0000030b: PUSH1 0x20 0000030d: DUP3 0000030e: ADD 0000030f: GT 00000310: ISZERO 00000311: PUSH2 0x0319 00000314: JUMPI 00000315: PUSH1 0x00 00000317: DUP1 00000318: REVERT 00000319: JUMPDEST 0000031a: DUP1 0000031b: CALLDATALOAD 0000031c: SWAP1 0000031d: PUSH1 0x20 0000031f: ADD 00000320: SWAP2 00000321: DUP5 00000322: PUSH1 0x20 00000324: DUP4 00000325: MUL 00000326: DUP5 00000327: ADD 00000328: GT 00000329: PUSH5 0x0100000000 0000032f: DUP4 00000330: GT 00000331: OR 00000332: ISZERO 00000333: PUSH2 0x033b 00000336: JUMPI 00000337: PUSH1 0x00 00000339: DUP1 0000033a: REVERT 0000033b: JUMPDEST 0000033c: SWAP2 0000033d: SWAP1 0000033e: DUP1 0000033f: DUP1 00000340: PUSH1 0x20 00000342: MUL 00000343: PUSH1 0x20 00000345: ADD 00000346: PUSH1 0x40 00000348: MLOAD 00000349: SWAP1 0000034a: DUP2 0000034b: ADD 0000034c: PUSH1 0x40 0000034e: MSTORE 0000034f: DUP1 00000350: SWAP4 00000351: SWAP3 00000352: SWAP2 00000353: SWAP1 00000354: DUP2 00000355: DUP2 00000356: MSTORE 00000357: PUSH1 0x20 00000359: ADD 0000035a: DUP4 0000035b: DUP4 0000035c: PUSH1 0x20 0000035e: MUL 0000035f: DUP1 00000360: DUP3 00000361: DUP5 00000362: CALLDATACOPY 00000363: PUSH1 0x00 00000365: SWAP3 00000366: ADD 00000367: SWAP2 00000368: SWAP1 00000369: SWAP2 0000036a: MSTORE 0000036b: POP 0000036c: SWAP3 0000036d: SWAP6 0000036e: POP 0000036f: PUSH2 0x0ddc 00000372: SWAP5 00000373: POP 00000374: POP 00000375: POP 00000376: POP 00000377: POP 00000378: JUMP 00000379: JUMPDEST 0000037a: CALLVALUE 0000037b: DUP1 0000037c: ISZERO 0000037d: PUSH2 0x0385 00000380: JUMPI 00000381: PUSH1 0x00 00000383: DUP1 00000384: REVERT 00000385: JUMPDEST 00000386: POP 00000387: PUSH2 0x038e 0000038a: PUSH2 0x0f53 0000038d: JUMP 0000038e: JUMPDEST 0000038f: PUSH1 0x40 00000391: MLOAD 00000392: DUP1 00000393: DUP3 00000394: PUSH1 0x04 00000396: DUP2 00000397: GT 00000398: ISZERO 00000399: PUSH2 0x039e 0000039c: JUMPI 0000039d: INVALID 0000039e: JUMPDEST 0000039f: PUSH1 0xff 000003a1: AND 000003a2: DUP2 000003a3: MSTORE 000003a4: PUSH1 0x20 000003a6: ADD 000003a7: SWAP2 000003a8: POP 000003a9: POP 000003aa: PUSH1 0x40 000003ac: MLOAD 000003ad: DUP1 000003ae: SWAP2 000003af: SUB 000003b0: SWAP1 000003b1: RETURN 000003b2: JUMPDEST 000003b3: CALLVALUE 000003b4: DUP1 000003b5: ISZERO 000003b6: PUSH2 0x03be 000003b9: JUMPI 000003ba: PUSH1 0x00 000003bc: DUP1 000003bd: REVERT 000003be: JUMPDEST 000003bf: POP 000003c0: PUSH2 0x03c7 000003c3: PUSH2 0x0f5c 000003c6: JUMP 000003c7: JUMPDEST 000003c8: PUSH1 0x40 000003ca: DUP1 000003cb: MLOAD 000003cc: PUSH1 0x01 000003ce: PUSH1 0x01 000003d0: PUSH1 0xa0 000003d2: SHL 000003d3: SUB 000003d4: SWAP1 000003d5: SWAP3 000003d6: AND 000003d7: DUP3 000003d8: MSTORE 000003d9: MLOAD 000003da: SWAP1 000003db: DUP2 000003dc: SWAP1 000003dd: SUB 000003de: PUSH1 0x20 000003e0: ADD 000003e1: SWAP1 000003e2: RETURN 000003e3: JUMPDEST 000003e4: CALLVALUE 000003e5: DUP1 000003e6: ISZERO 000003e7: PUSH2 0x03ef 000003ea: JUMPI 000003eb: PUSH1 0x00 000003ed: DUP1 000003ee: REVERT 000003ef: JUMPDEST 000003f0: POP 000003f1: PUSH2 0x0416 000003f4: PUSH1 0x04 000003f6: DUP1 000003f7: CALLDATASIZE 000003f8: SUB 000003f9: PUSH1 0x20 000003fb: DUP2 000003fc: LT 000003fd: ISZERO 000003fe: PUSH2 0x0406 00000401: JUMPI 00000402: PUSH1 0x00 00000404: DUP1 00000405: REVERT 00000406: JUMPDEST 00000407: POP 00000408: CALLDATALOAD 00000409: PUSH1 0x01 0000040b: PUSH1 0x01 0000040d: PUSH1 0xa0 0000040f: SHL 00000410: SUB 00000411: AND 00000412: PUSH2 0x0f6b 00000415: JUMP 00000416: JUMPDEST 00000417: PUSH1 0x40 00000419: DUP1 0000041a: MLOAD 0000041b: SWAP2 0000041c: ISZERO 0000041d: ISZERO 0000041e: DUP3 0000041f: MSTORE 00000420: MLOAD 00000421: SWAP1 00000422: DUP2 00000423: SWAP1 00000424: SUB 00000425: PUSH1 0x20 00000427: ADD 00000428: SWAP1 00000429: RETURN 0000042a: JUMPDEST 0000042b: CALLVALUE 0000042c: DUP1 0000042d: ISZERO 0000042e: PUSH2 0x0436 00000431: JUMPI 00000432: PUSH1 0x00 00000434: DUP1 00000435: REVERT 00000436: JUMPDEST 00000437: POP 00000438: PUSH2 0x01a8 0000043b: PUSH2 0x0f80 0000043e: JUMP 0000043f: JUMPDEST 00000440: CALLVALUE 00000441: DUP1 00000442: ISZERO 00000443: PUSH2 0x044b 00000446: JUMPI 00000447: PUSH1 0x00 00000449: DUP1 0000044a: REVERT 0000044b: JUMPDEST 0000044c: POP 0000044d: PUSH2 0x03c7 00000450: PUSH2 0x0ff6 00000453: JUMP 00000454: JUMPDEST 00000455: CALLVALUE 00000456: DUP1 00000457: ISZERO 00000458: PUSH2 0x0460 0000045b: JUMPI 0000045c: PUSH1 0x00 0000045e: DUP1 0000045f: REVERT 00000460: JUMPDEST 00000461: POP 00000462: PUSH2 0x03c7 00000465: PUSH1 0x04 00000467: DUP1 00000468: CALLDATASIZE 00000469: SUB 0000046a: PUSH1 0x20 0000046c: DUP2 0000046d: LT 0000046e: ISZERO 0000046f: PUSH2 0x0477 00000472: JUMPI 00000473: PUSH1 0x00 00000475: DUP1 00000476: REVERT 00000477: JUMPDEST 00000478: POP 00000479: CALLDATALOAD 0000047a: PUSH2 0x100a 0000047d: JUMP 0000047e: JUMPDEST 0000047f: CALLVALUE 00000480: DUP1 00000481: ISZERO 00000482: PUSH2 0x048a 00000485: JUMPI 00000486: PUSH1 0x00 00000488: DUP1 00000489: REVERT 0000048a: JUMPDEST 0000048b: POP 0000048c: PUSH2 0x01a8 0000048f: PUSH2 0x1031 00000492: JUMP 00000493: JUMPDEST 00000494: CALLVALUE 00000495: DUP1 00000496: ISZERO 00000497: PUSH2 0x049f 0000049a: JUMPI 0000049b: PUSH1 0x00 0000049d: DUP1 0000049e: REVERT 0000049f: JUMPDEST 000004a0: POP 000004a1: PUSH2 0x01c2 000004a4: PUSH1 0x04 000004a6: DUP1 000004a7: CALLDATASIZE 000004a8: SUB 000004a9: PUSH1 0x20 000004ab: DUP2 000004ac: LT 000004ad: ISZERO 000004ae: PUSH2 0x04b6 000004b1: JUMPI 000004b2: PUSH1 0x00 000004b4: DUP1 000004b5: REVERT 000004b6: JUMPDEST 000004b7: POP 000004b8: CALLDATALOAD 000004b9: PUSH1 0x01 000004bb: PUSH1 0x01 000004bd: PUSH1 0xa0 000004bf: SHL 000004c0: SUB 000004c1: AND 000004c2: PUSH2 0x1037 000004c5: JUMP 000004c6: JUMPDEST 000004c7: CALLVALUE 000004c8: DUP1 000004c9: ISZERO 000004ca: PUSH2 0x04d2 000004cd: JUMPI 000004ce: PUSH1 0x00 000004d0: DUP1 000004d1: REVERT 000004d2: JUMPDEST 000004d3: POP 000004d4: PUSH2 0x01a8 000004d7: PUSH2 0x10b2 000004da: JUMP 000004db: JUMPDEST 000004dc: PUSH1 0x01 000004de: DUP1 000004df: PUSH1 0x05 000004e1: SLOAD 000004e2: PUSH1 0xff 000004e4: AND 000004e5: PUSH1 0x04 000004e7: DUP2 000004e8: GT 000004e9: ISZERO 000004ea: PUSH2 0x04ef 000004ed: JUMPI 000004ee: INVALID 000004ef: JUMPDEST 000004f0: EQ 000004f1: PUSH2 0x052e 000004f4: JUMPI 000004f5: PUSH1 0x40 000004f7: MLOAD 000004f8: PUSH1 0x01 000004fa: PUSH1 0xe5 000004fc: SHL 000004fd: PUSH3 0x461bcd 00000501: MUL 00000502: DUP2 00000503: MSTORE 00000504: PUSH1 0x04 00000506: ADD 00000507: DUP1 00000508: DUP1 00000509: PUSH1 0x20 0000050b: ADD 0000050c: DUP3 0000050d: DUP2 0000050e: SUB 0000050f: DUP3 00000510: MSTORE 00000511: PUSH1 0x36 00000513: DUP2 00000514: MSTORE 00000515: PUSH1 0x20 00000517: ADD 00000518: DUP1 00000519: PUSH2 0x14c4 0000051c: PUSH1 0x36 0000051e: SWAP2 0000051f: CODECOPY 00000520: PUSH1 0x40 00000522: ADD 00000523: SWAP2 00000524: POP 00000525: POP 00000526: PUSH1 0x40 00000528: MLOAD 00000529: DUP1 0000052a: SWAP2 0000052b: SUB 0000052c: SWAP1 0000052d: REVERT 0000052e: JUMPDEST 0000052f: PUSH1 0x09 00000531: SLOAD 00000532: TIMESTAMP 00000533: GT 00000534: PUSH2 0x0587 00000537: JUMPI 00000538: PUSH1 0x40 0000053a: DUP1 0000053b: MLOAD 0000053c: PUSH1 0x01 0000053e: PUSH1 0xe5 00000540: SHL 00000541: PUSH3 0x461bcd 00000545: MUL 00000546: DUP2 00000547: MSTORE 00000548: PUSH1 0x20 0000054a: PUSH1 0x04 0000054c: DUP3 0000054d: ADD 0000054e: MSTORE 0000054f: PUSH1 0x17 00000551: PUSH1 0x24 00000553: DUP3 00000554: ADD 00000555: MSTORE 00000556: PUSH32 0x497420697320746f6f206561726c7920746f206269642e000000000000000000 00000577: PUSH1 0x44 00000579: DUP3 0000057a: ADD 0000057b: MSTORE 0000057c: SWAP1 0000057d: MLOAD 0000057e: SWAP1 0000057f: DUP2 00000580: SWAP1 00000581: SUB 00000582: PUSH1 0x64 00000584: ADD 00000585: SWAP1 00000586: REVERT 00000587: JUMPDEST 00000588: PUSH1 0x01 0000058a: SLOAD 0000058b: PUSH3 0x015180 0000058f: MUL 00000590: PUSH1 0x09 00000592: SLOAD 00000593: ADD 00000594: TIMESTAMP 00000595: GT 00000596: ISZERO 00000597: PUSH2 0x05ea 0000059a: JUMPI 0000059b: PUSH1 0x40 0000059d: DUP1 0000059e: MLOAD 0000059f: PUSH1 0x01 000005a1: PUSH1 0xe5 000005a3: SHL 000005a4: PUSH3 0x461bcd 000005a8: MUL 000005a9: DUP2 000005aa: MSTORE 000005ab: PUSH1 0x20 000005ad: PUSH1 0x04 000005af: DUP3 000005b0: ADD 000005b1: MSTORE 000005b2: PUSH1 0x1a 000005b4: PUSH1 0x24 000005b6: DUP3 000005b7: ADD 000005b8: MSTORE 000005b9: PUSH32 0x41756374696f6e2068617320616c726561647920656e6465642e000000000000 000005da: PUSH1 0x44 000005dc: DUP3 000005dd: ADD 000005de: MSTORE 000005df: SWAP1 000005e0: MLOAD 000005e1: SWAP1 000005e2: DUP2 000005e3: SWAP1 000005e4: SUB 000005e5: PUSH1 0x64 000005e7: ADD 000005e8: SWAP1 000005e9: REVERT 000005ea: JUMPDEST 000005eb: PUSH1 0x00 000005ed: PUSH2 0x05f4 000005f0: PUSH2 0x0f80 000005f3: JUMP 000005f4: JUMPDEST 000005f5: SWAP1 000005f6: POP 000005f7: DUP1 000005f8: CALLVALUE 000005f9: LT 000005fa: ISZERO 000005fb: PUSH2 0x0638 000005fe: JUMPI 000005ff: PUSH1 0x40 00000601: MLOAD 00000602: PUSH1 0x01 00000604: PUSH1 0xe5 00000606: SHL 00000607: PUSH3 0x461bcd 0000060b: MUL 0000060c: DUP2 0000060d: MSTORE 0000060e: PUSH1 0x04 00000610: ADD 00000611: DUP1 00000612: DUP1 00000613: PUSH1 0x20 00000615: ADD 00000616: DUP3 00000617: DUP2 00000618: SUB 00000619: DUP3 0000061a: MSTORE 0000061b: PUSH1 0x2a 0000061d: DUP2 0000061e: MSTORE 0000061f: PUSH1 0x20 00000621: ADD 00000622: DUP1 00000623: PUSH2 0x1440 00000626: PUSH1 0x2a 00000628: SWAP2 00000629: CODECOPY 0000062a: PUSH1 0x40 0000062c: ADD 0000062d: SWAP2 0000062e: POP 0000062f: POP 00000630: PUSH1 0x40 00000632: MLOAD 00000633: DUP1 00000634: SWAP2 00000635: SUB 00000636: SWAP1 00000637: REVERT 00000638: JUMPDEST 00000639: CALLER 0000063a: PUSH1 0x00 0000063c: SWAP1 0000063d: DUP2 0000063e: MSTORE 0000063f: PUSH1 0x06 00000641: PUSH1 0x20 00000643: MSTORE 00000644: PUSH1 0x40 00000646: SWAP1 00000647: KECCAK256 00000648: SLOAD 00000649: PUSH1 0xff 0000064b: AND 0000064c: PUSH2 0x069f 0000064f: JUMPI 00000650: PUSH1 0x40 00000652: DUP1 00000653: MLOAD 00000654: PUSH1 0x01 00000656: PUSH1 0xe5 00000658: SHL 00000659: PUSH3 0x461bcd 0000065d: MUL 0000065e: DUP2 0000065f: MSTORE 00000660: PUSH1 0x20 00000662: PUSH1 0x04 00000664: DUP3 00000665: ADD 00000666: MSTORE 00000667: PUSH1 0x1e 00000669: PUSH1 0x24 0000066b: DUP3 0000066c: ADD 0000066d: MSTORE 0000066e: PUSH32 0x5468652073656e646572206973206e6f742077686974656c69737465642e0000 0000068f: PUSH1 0x44 00000691: DUP3 00000692: ADD 00000693: MSTORE 00000694: SWAP1 00000695: MLOAD 00000696: SWAP1 00000697: DUP2 00000698: SWAP1 00000699: SUB 0000069a: PUSH1 0x64 0000069c: ADD 0000069d: SWAP1 0000069e: REVERT 0000069f: JUMPDEST 000006a0: PUSH2 0x06a7 000006a3: PUSH2 0x10b8 000006a6: JUMP 000006a7: JUMPDEST 000006a8: ISZERO 000006a9: PUSH2 0x06fc 000006ac: JUMPI 000006ad: PUSH1 0x40 000006af: DUP1 000006b0: MLOAD 000006b1: PUSH1 0x01 000006b3: PUSH1 0xe5 000006b5: SHL 000006b6: PUSH3 0x461bcd 000006ba: MUL 000006bb: DUP2 000006bc: MSTORE 000006bd: PUSH1 0x20 000006bf: PUSH1 0x04 000006c1: DUP3 000006c2: ADD 000006c3: DUP2 000006c4: SWAP1 000006c5: MSTORE 000006c6: PUSH1 0x24 000006c8: DUP3 000006c9: ADD 000006ca: MSTORE 000006cb: PUSH32 0x5468652073656e6465722063616e6e6f74206265206120636f6e74726163742e 000006ec: PUSH1 0x44 000006ee: DUP3 000006ef: ADD 000006f0: MSTORE 000006f1: SWAP1 000006f2: MLOAD 000006f3: SWAP1 000006f4: DUP2 000006f5: SWAP1 000006f6: SUB 000006f7: PUSH1 0x64 000006f9: ADD 000006fa: SWAP1 000006fb: REVERT 000006fc: JUMPDEST 000006fd: PUSH1 0x04 000006ff: SLOAD 00000700: PUSH1 0x08 00000702: SLOAD 00000703: LT 00000704: PUSH2 0x0741 00000707: JUMPI 00000708: PUSH1 0x40 0000070a: MLOAD 0000070b: PUSH1 0x01 0000070d: PUSH1 0xe5 0000070f: SHL 00000710: PUSH3 0x461bcd 00000714: MUL 00000715: DUP2 00000716: MSTORE 00000717: PUSH1 0x04 00000719: ADD 0000071a: DUP1 0000071b: DUP1 0000071c: PUSH1 0x20 0000071e: ADD 0000071f: DUP3 00000720: DUP2 00000721: SUB 00000722: DUP3 00000723: MSTORE 00000724: PUSH1 0x33 00000726: DUP2 00000727: MSTORE 00000728: PUSH1 0x20 0000072a: ADD 0000072b: DUP1 0000072c: PUSH2 0x1550 0000072f: PUSH1 0x33 00000731: SWAP2 00000732: CODECOPY 00000733: PUSH1 0x40 00000735: ADD 00000736: SWAP2 00000737: POP 00000738: POP 00000739: PUSH1 0x40 0000073b: MLOAD 0000073c: DUP1 0000073d: SWAP2 0000073e: SUB 0000073f: SWAP1 00000740: REVERT 00000741: JUMPDEST 00000742: CALLER 00000743: PUSH1 0x00 00000745: SWAP1 00000746: DUP2 00000747: MSTORE 00000748: PUSH1 0x07 0000074a: PUSH1 0x20 0000074c: MSTORE 0000074d: PUSH1 0x40 0000074f: SWAP1 00000750: KECCAK256 00000751: SLOAD 00000752: ISZERO 00000753: PUSH2 0x07a6 00000756: JUMPI 00000757: PUSH1 0x40 00000759: DUP1 0000075a: MLOAD 0000075b: PUSH1 0x01 0000075d: PUSH1 0xe5 0000075f: SHL 00000760: PUSH3 0x461bcd 00000764: MUL 00000765: DUP2 00000766: MSTORE 00000767: PUSH1 0x20 00000769: PUSH1 0x04 0000076b: DUP3 0000076c: ADD 0000076d: MSTORE 0000076e: PUSH1 0x1b 00000770: PUSH1 0x24 00000772: DUP3 00000773: ADD 00000774: MSTORE 00000775: PUSH32 0x5468652073656e6465722068617320616c7265616479206269642e0000000000 00000796: PUSH1 0x44 00000798: DUP3 00000799: ADD 0000079a: MSTORE 0000079b: SWAP1 0000079c: MLOAD 0000079d: SWAP1 0000079e: DUP2 0000079f: SWAP1 000007a0: SUB 000007a1: PUSH1 0x64 000007a3: ADD 000007a4: SWAP1 000007a5: REVERT 000007a6: JUMPDEST 000007a7: CALLER 000007a8: PUSH1 0x00 000007aa: DUP2 000007ab: DUP2 000007ac: MSTORE 000007ad: PUSH1 0x07 000007af: PUSH1 0x20 000007b1: MSTORE 000007b2: PUSH1 0x40 000007b4: DUP2 000007b5: KECCAK256 000007b6: CALLVALUE 000007b7: SWAP1 000007b8: SSTORE 000007b9: PUSH1 0x08 000007bb: DUP1 000007bc: SLOAD 000007bd: PUSH1 0x01 000007bf: DUP2 000007c0: ADD 000007c1: DUP3 000007c2: SSTORE 000007c3: SWAP2 000007c4: MSTORE 000007c5: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3 000007e6: ADD 000007e7: DUP1 000007e8: SLOAD 000007e9: PUSH1 0x01 000007eb: PUSH1 0x01 000007ed: PUSH1 0xa0 000007ef: SHL 000007f0: SUB 000007f1: NOT 000007f2: AND 000007f3: SWAP1 000007f4: SWAP2 000007f5: OR 000007f6: SWAP1 000007f7: SSTORE 000007f8: PUSH1 0x0b 000007fa: SLOAD 000007fb: DUP2 000007fc: LT 000007fd: ISZERO 000007fe: PUSH2 0x0807 00000801: JUMPI 00000802: PUSH1 0x0b 00000804: DUP2 00000805: SWAP1 00000806: SSTORE 00000807: JUMPDEST 00000808: PUSH1 0x05 0000080a: SLOAD 0000080b: PUSH1 0x40 0000080d: DUP1 0000080e: MLOAD 0000080f: PUSH1 0x01 00000811: PUSH1 0xe0 00000813: SHL 00000814: PUSH4 0x38c56be1 00000819: MUL 0000081a: DUP2 0000081b: MSTORE 0000081c: CALLER 0000081d: PUSH1 0x04 0000081f: DUP3 00000820: ADD 00000821: MSTORE 00000822: SWAP1 00000823: MLOAD 00000824: PUSH2 0x0100 00000827: SWAP1 00000828: SWAP3 00000829: DIV 0000082a: PUSH1 0x01 0000082c: PUSH1 0x01 0000082e: PUSH1 0xa0 00000830: SHL 00000831: SUB 00000832: AND 00000833: SWAP2 00000834: PUSH4 0x38c56be1 00000839: SWAP2 0000083a: PUSH1 0x24 0000083c: DUP1 0000083d: DUP3 0000083e: ADD 0000083f: SWAP3 00000840: PUSH1 0x00 00000842: SWAP3 00000843: SWAP1 00000844: SWAP2 00000845: SWAP1 00000846: DUP3 00000847: SWAP1 00000848: SUB 00000849: ADD 0000084a: DUP2 0000084b: DUP4 0000084c: DUP8 0000084d: DUP1 0000084e: EXTCODESIZE 0000084f: ISZERO 00000850: DUP1 00000851: ISZERO 00000852: PUSH2 0x085a 00000855: JUMPI 00000856: PUSH1 0x00 00000858: DUP1 00000859: REVERT 0000085a: JUMPDEST 0000085b: POP 0000085c: GAS 0000085d: CALL 0000085e: ISZERO 0000085f: DUP1 00000860: ISZERO 00000861: PUSH2 0x086e 00000864: JUMPI 00000865: RETURNDATASIZE 00000866: PUSH1 0x00 00000868: DUP1 00000869: RETURNDATACOPY 0000086a: RETURNDATASIZE 0000086b: PUSH1 0x00 0000086d: REVERT 0000086e: JUMPDEST 0000086f: POP 00000870: POP 00000871: PUSH1 0x40 00000873: DUP1 00000874: MLOAD 00000875: CALLER 00000876: DUP2 00000877: MSTORE 00000878: CALLVALUE 00000879: PUSH1 0x20 0000087b: DUP3 0000087c: ADD 0000087d: MSTORE 0000087e: DUP1 0000087f: DUP3 00000880: ADD 00000881: DUP6 00000882: SWAP1 00000883: MSTORE 00000884: TIMESTAMP 00000885: PUSH1 0x60 00000887: DUP3 00000888: ADD 00000889: MSTORE 0000088a: SWAP1 0000088b: MLOAD 0000088c: PUSH32 0xdd6cd52ba2b8b19d6d10846c2d11027b8838c49378c4ab4450865c31193d8a37 000008ad: SWAP4 000008ae: POP 000008af: SWAP1 000008b0: DUP2 000008b1: SWAP1 000008b2: SUB 000008b3: PUSH1 0x80 000008b5: ADD 000008b6: SWAP2 000008b7: POP 000008b8: LOG1 000008b9: PUSH1 0x04 000008bb: SLOAD 000008bc: PUSH1 0x08 000008be: SLOAD 000008bf: EQ 000008c0: ISZERO 000008c1: PUSH2 0x08cc 000008c4: JUMPI 000008c5: PUSH2 0x08cc 000008c8: PUSH2 0x10c5 000008cb: JUMP 000008cc: JUMPDEST 000008cd: POP 000008ce: POP 000008cf: JUMP 000008d0: JUMPDEST 000008d1: PUSH1 0x0b 000008d3: SLOAD 000008d4: DUP2 000008d5: JUMP 000008d6: JUMPDEST 000008d7: PUSH1 0x01 000008d9: DUP1 000008da: PUSH1 0x05 000008dc: SLOAD 000008dd: PUSH1 0xff 000008df: AND 000008e0: PUSH1 0x04 000008e2: DUP2 000008e3: GT 000008e4: ISZERO 000008e5: PUSH2 0x08ea 000008e8: JUMPI 000008e9: INVALID 000008ea: JUMPDEST 000008eb: EQ 000008ec: PUSH2 0x0929 000008ef: JUMPI 000008f0: PUSH1 0x40 000008f2: MLOAD 000008f3: PUSH1 0x01 000008f5: PUSH1 0xe5 000008f7: SHL 000008f8: PUSH3 0x461bcd 000008fc: MUL 000008fd: DUP2 000008fe: MSTORE 000008ff: PUSH1 0x04 00000901: ADD 00000902: DUP1 00000903: DUP1 00000904: PUSH1 0x20 00000906: ADD 00000907: DUP3 00000908: DUP2 00000909: SUB 0000090a: DUP3 0000090b: MSTORE 0000090c: PUSH1 0x36 0000090e: DUP2 0000090f: MSTORE 00000910: PUSH1 0x20 00000912: ADD 00000913: DUP1 00000914: PUSH2 0x14c4 00000917: PUSH1 0x36 00000919: SWAP2 0000091a: CODECOPY 0000091b: PUSH1 0x40 0000091d: ADD 0000091e: SWAP2 0000091f: POP 00000920: POP 00000921: PUSH1 0x40 00000923: MLOAD 00000924: DUP1 00000925: SWAP2 00000926: SUB 00000927: SWAP1 00000928: REVERT 00000929: JUMPDEST 0000092a: PUSH1 0x01 0000092c: SLOAD 0000092d: PUSH3 0x015180 00000931: MUL 00000932: PUSH1 0x09 00000934: SLOAD 00000935: ADD 00000936: TIMESTAMP 00000937: GT 00000938: PUSH2 0x0975 0000093b: JUMPI 0000093c: PUSH1 0x40 0000093e: MLOAD 0000093f: PUSH1 0x01 00000941: PUSH1 0xe5 00000943: SHL 00000944: PUSH3 0x461bcd 00000948: MUL 00000949: DUP2 0000094a: MSTORE 0000094b: PUSH1 0x04 0000094d: ADD 0000094e: DUP1 0000094f: DUP1 00000950: PUSH1 0x20 00000952: ADD 00000953: DUP3 00000954: DUP2 00000955: SUB 00000956: DUP3 00000957: MSTORE 00000958: PUSH1 0x28 0000095a: DUP2 0000095b: MSTORE 0000095c: PUSH1 0x20 0000095e: ADD 0000095f: DUP1 00000960: PUSH2 0x14fa 00000963: PUSH1 0x28 00000965: SWAP2 00000966: CODECOPY 00000967: PUSH1 0x40 00000969: ADD 0000096a: SWAP2 0000096b: POP 0000096c: POP 0000096d: PUSH1 0x40 0000096f: MLOAD 00000970: DUP1 00000971: SWAP2 00000972: SUB 00000973: SWAP1 00000974: REVERT 00000975: JUMPDEST 00000976: PUSH1 0x04 00000978: SLOAD 00000979: PUSH1 0x08 0000097b: SLOAD 0000097c: LT 0000097d: PUSH2 0x0982 00000980: JUMPI 00000981: INVALID 00000982: JUMPDEST 00000983: PUSH1 0x03 00000985: SLOAD 00000986: PUSH1 0x08 00000988: SLOAD 00000989: LT 0000098a: PUSH2 0x099a 0000098d: JUMPI 0000098e: PUSH2 0x0995 00000991: PUSH2 0x10c5 00000994: JUMP 00000995: JUMPDEST 00000996: PUSH2 0x09a2 00000999: JUMP 0000099a: JUMPDEST 0000099b: PUSH2 0x09a2 0000099e: PUSH2 0x1173 000009a1: JUMP 000009a2: JUMPDEST 000009a3: POP 000009a4: JUMP 000009a5: JUMPDEST 000009a6: PUSH1 0x03 000009a8: PUSH1 0x05 000009aa: SLOAD 000009ab: PUSH1 0xff 000009ad: AND 000009ae: PUSH1 0x04 000009b0: DUP2 000009b1: GT 000009b2: ISZERO 000009b3: PUSH2 0x09b8 000009b6: JUMPI 000009b7: INVALID 000009b8: JUMPDEST 000009b9: EQ 000009ba: DUP1 000009bb: PUSH2 0x09d4 000009be: JUMPI 000009bf: POP 000009c0: PUSH1 0x04 000009c2: PUSH1 0x05 000009c4: SLOAD 000009c5: PUSH1 0xff 000009c7: AND 000009c8: PUSH1 0x04 000009ca: DUP2 000009cb: GT 000009cc: ISZERO 000009cd: PUSH2 0x09d2 000009d0: JUMPI 000009d1: INVALID 000009d2: JUMPDEST 000009d3: EQ 000009d4: JUMPDEST 000009d5: PUSH2 0x0a12 000009d8: JUMPI 000009d9: PUSH1 0x40 000009db: MLOAD 000009dc: PUSH1 0x01 000009de: PUSH1 0xe5 000009e0: SHL 000009e1: PUSH3 0x461bcd 000009e5: MUL 000009e6: DUP2 000009e7: MSTORE 000009e8: PUSH1 0x04 000009ea: ADD 000009eb: DUP1 000009ec: DUP1 000009ed: PUSH1 0x20 000009ef: ADD 000009f0: DUP3 000009f1: DUP2 000009f2: SUB 000009f3: DUP3 000009f4: MSTORE 000009f5: PUSH1 0x3d 000009f7: DUP2 000009f8: MSTORE 000009f9: PUSH1 0x20 000009fb: ADD 000009fc: DUP1 000009fd: PUSH2 0x1403 00000a00: PUSH1 0x3d 00000a02: SWAP2 00000a03: CODECOPY 00000a04: PUSH1 0x40 00000a06: ADD 00000a07: SWAP2 00000a08: POP 00000a09: POP 00000a0a: PUSH1 0x40 00000a0c: MLOAD 00000a0d: DUP1 00000a0e: SWAP2 00000a0f: SUB 00000a10: SWAP1 00000a11: REVERT 00000a12: JUMPDEST 00000a13: PUSH1 0x03 00000a15: PUSH1 0x05 00000a17: SLOAD 00000a18: PUSH1 0xff 00000a1a: AND 00000a1b: PUSH1 0x04 00000a1d: DUP2 00000a1e: GT 00000a1f: ISZERO 00000a20: PUSH2 0x0a25 00000a23: JUMPI 00000a24: INVALID 00000a25: JUMPDEST 00000a26: EQ 00000a27: ISZERO 00000a28: PUSH2 0x0a38 00000a2b: JUMPI 00000a2c: PUSH2 0x0a33 00000a2f: PUSH2 0x121a 00000a32: JUMP 00000a33: JUMPDEST 00000a34: PUSH2 0x0a5b 00000a37: JUMP 00000a38: JUMPDEST 00000a39: PUSH1 0x04 00000a3b: PUSH1 0x05 00000a3d: SLOAD 00000a3e: PUSH1 0xff 00000a40: AND 00000a41: PUSH1 0x04 00000a43: DUP2 00000a44: GT 00000a45: ISZERO 00000a46: PUSH2 0x0a4b 00000a49: JUMPI 00000a4a: INVALID 00000a4b: JUMPDEST 00000a4c: EQ 00000a4d: ISZERO 00000a4e: PUSH2 0x0a59 00000a51: JUMPI 00000a52: PUSH2 0x0a33 00000a55: PUSH2 0x1320 00000a58: JUMP 00000a59: JUMPDEST 00000a5a: INVALID 00000a5b: JUMPDEST 00000a5c: JUMP 00000a5d: JUMPDEST 00000a5e: PUSH1 0x02 00000a60: DUP1 00000a61: PUSH1 0x05 00000a63: SLOAD 00000a64: PUSH1 0xff 00000a66: AND 00000a67: PUSH1 0x04 00000a69: DUP2 00000a6a: GT 00000a6b: ISZERO 00000a6c: PUSH2 0x0a71 00000a6f: JUMPI 00000a70: INVALID 00000a71: JUMPDEST 00000a72: EQ 00000a73: PUSH2 0x0ab0 00000a76: JUMPI 00000a77: PUSH1 0x40 00000a79: MLOAD 00000a7a: PUSH1 0x01 00000a7c: PUSH1 0xe5 00000a7e: SHL 00000a7f: PUSH3 0x461bcd 00000a83: MUL 00000a84: DUP2 00000a85: MSTORE 00000a86: PUSH1 0x04 00000a88: ADD 00000a89: DUP1 00000a8a: DUP1 00000a8b: PUSH1 0x20 00000a8d: ADD 00000a8e: DUP3 00000a8f: DUP2 00000a90: SUB 00000a91: DUP3 00000a92: MSTORE 00000a93: PUSH1 0x36 00000a95: DUP2 00000a96: MSTORE 00000a97: PUSH1 0x20 00000a99: ADD 00000a9a: DUP1 00000a9b: PUSH2 0x14c4 00000a9e: PUSH1 0x36 00000aa0: SWAP2 00000aa1: CODECOPY 00000aa2: PUSH1 0x40 00000aa4: ADD 00000aa5: SWAP2 00000aa6: POP 00000aa7: POP 00000aa8: PUSH1 0x40 00000aaa: MLOAD 00000aab: DUP1 00000aac: SWAP2 00000aad: SUB 00000aae: SWAP1 00000aaf: REVERT 00000ab0: JUMPDEST 00000ab1: PUSH1 0x05 00000ab3: DUP1 00000ab4: SLOAD 00000ab5: PUSH1 0x03 00000ab7: PUSH1 0xff 00000ab9: NOT 00000aba: SWAP1 00000abb: SWAP2 00000abc: AND 00000abd: OR 00000abe: SWAP1 00000abf: DUP2 00000ac0: SWAP1 00000ac1: SSTORE 00000ac2: PUSH1 0x08 00000ac4: SLOAD 00000ac5: PUSH1 0x0b 00000ac7: SLOAD 00000ac8: PUSH1 0x40 00000aca: DUP1 00000acb: MLOAD 00000acc: PUSH1 0x01 00000ace: PUSH1 0xe0 00000ad0: SHL 00000ad1: PUSH4 0xb6b55f25 00000ad6: MUL 00000ad7: DUP2 00000ad8: MSTORE 00000ad9: PUSH1 0x04 00000adb: DUP2 00000adc: ADD 00000add: DUP4 00000ade: SWAP1 00000adf: MSTORE 00000ae0: SWAP1 00000ae1: MLOAD 00000ae2: PUSH2 0x0100 00000ae5: SWAP1 00000ae6: SWAP5 00000ae7: DIV 00000ae8: PUSH1 0x01 00000aea: PUSH1 0x01 00000aec: PUSH1 0xa0 00000aee: SHL 00000aef: SUB 00000af0: AND 00000af1: SWAP4 00000af2: PUSH4 0xb6b55f25 00000af7: SWAP4 00000af8: SWAP3 00000af9: SWAP1 00000afa: SWAP3 00000afb: MUL 00000afc: SWAP2 00000afd: PUSH1 0x24 00000aff: DUP1 00000b00: DUP4 00000b01: ADD 00000b02: SWAP3 00000b03: PUSH1 0x00 00000b05: SWAP3 00000b06: SWAP2 00000b07: SWAP1 00000b08: DUP3 00000b09: SWAP1 00000b0a: SUB 00000b0b: ADD 00000b0c: DUP2 00000b0d: DUP6 00000b0e: DUP9 00000b0f: DUP1 00000b10: EXTCODESIZE 00000b11: ISZERO 00000b12: DUP1 00000b13: ISZERO 00000b14: PUSH2 0x0b1c 00000b17: JUMPI 00000b18: PUSH1 0x00 00000b1a: DUP1 00000b1b: REVERT 00000b1c: JUMPDEST 00000b1d: POP 00000b1e: GAS 00000b1f: CALL 00000b20: ISZERO 00000b21: DUP1 00000b22: ISZERO 00000b23: PUSH2 0x0b30 00000b26: JUMPI 00000b27: RETURNDATASIZE 00000b28: PUSH1 0x00 00000b2a: DUP1 00000b2b: RETURNDATACOPY 00000b2c: RETURNDATASIZE 00000b2d: PUSH1 0x00 00000b2f: REVERT 00000b30: JUMPDEST 00000b31: POP 00000b32: POP 00000b33: PUSH1 0x0a 00000b35: SLOAD 00000b36: PUSH1 0x0b 00000b38: SLOAD 00000b39: PUSH1 0x08 00000b3b: SLOAD 00000b3c: PUSH1 0x40 00000b3e: DUP1 00000b3f: MLOAD 00000b40: SWAP4 00000b41: DUP5 00000b42: MSTORE 00000b43: PUSH1 0x20 00000b45: DUP5 00000b46: ADD 00000b47: SWAP3 00000b48: SWAP1 00000b49: SWAP3 00000b4a: MSTORE 00000b4b: DUP3 00000b4c: DUP3 00000b4d: ADD 00000b4e: MSTORE 00000b4f: MLOAD 00000b50: PUSH32 0x02e3b2fea29cf6e561a51ffc4d68d233b0358b5aade05b3d98b7a7efbe75c8c1 00000b71: SWAP5 00000b72: POP 00000b73: SWAP1 00000b74: DUP2 00000b75: SWAP1 00000b76: SUB 00000b77: PUSH1 0x60 00000b79: ADD 00000b7a: SWAP3 00000b7b: POP 00000b7c: SWAP1 00000b7d: POP 00000b7e: LOG1 00000b7f: POP 00000b80: JUMP 00000b81: JUMPDEST 00000b82: PUSH1 0x04 00000b84: SLOAD 00000b85: DUP2 00000b86: JUMP 00000b87: JUMPDEST 00000b88: PUSH1 0x01 00000b8a: SLOAD 00000b8b: DUP2 00000b8c: JUMP 00000b8d: JUMPDEST 00000b8e: PUSH1 0x0a 00000b90: SLOAD 00000b91: DUP2 00000b92: JUMP 00000b93: JUMPDEST 00000b94: PUSH1 0x07 00000b96: PUSH1 0x20 00000b98: MSTORE 00000b99: PUSH1 0x00 00000b9b: SWAP1 00000b9c: DUP2 00000b9d: MSTORE 00000b9e: PUSH1 0x40 00000ba0: SWAP1 00000ba1: KECCAK256 00000ba2: SLOAD 00000ba3: DUP2 00000ba4: JUMP 00000ba5: JUMPDEST 00000ba6: PUSH1 0x00 00000ba8: SLOAD 00000ba9: PUSH1 0x01 00000bab: PUSH1 0x01 00000bad: PUSH1 0xa0 00000baf: SHL 00000bb0: SUB 00000bb1: AND 00000bb2: CALLER 00000bb3: EQ 00000bb4: PUSH2 0x0bf1 00000bb7: JUMPI 00000bb8: PUSH1 0x40 00000bba: MLOAD 00000bbb: PUSH1 0x01 00000bbd: PUSH1 0xe5 00000bbf: SHL 00000bc0: PUSH3 0x461bcd 00000bc4: MUL 00000bc5: DUP2 00000bc6: MSTORE 00000bc7: PUSH1 0x04 00000bc9: ADD 00000bca: DUP1 00000bcb: DUP1 00000bcc: PUSH1 0x20 00000bce: ADD 00000bcf: DUP3 00000bd0: DUP2 00000bd1: SUB 00000bd2: DUP3 00000bd3: MSTORE 00000bd4: PUSH1 0x2c 00000bd6: DUP2 00000bd7: MSTORE 00000bd8: PUSH1 0x20 00000bda: ADD 00000bdb: DUP1 00000bdc: PUSH2 0x146a 00000bdf: PUSH1 0x2c 00000be1: SWAP2 00000be2: CODECOPY 00000be3: PUSH1 0x40 00000be5: ADD 00000be6: SWAP2 00000be7: POP 00000be8: POP 00000be9: PUSH1 0x40 00000beb: MLOAD 00000bec: DUP1 00000bed: SWAP2 00000bee: SUB 00000bef: SWAP1 00000bf0: REVERT 00000bf1: JUMPDEST 00000bf2: PUSH1 0x00 00000bf4: DUP1 00000bf5: PUSH1 0x05 00000bf7: SLOAD 00000bf8: PUSH1 0xff 00000bfa: AND 00000bfb: PUSH1 0x04 00000bfd: DUP2 00000bfe: GT 00000bff: ISZERO 00000c00: PUSH2 0x0c05 00000c03: JUMPI 00000c04: INVALID 00000c05: JUMPDEST 00000c06: EQ 00000c07: PUSH2 0x0c44 00000c0a: JUMPI 00000c0b: PUSH1 0x40 00000c0d: MLOAD 00000c0e: PUSH1 0x01 00000c10: PUSH1 0xe5 00000c12: SHL 00000c13: PUSH3 0x461bcd 00000c17: MUL 00000c18: DUP2 00000c19: MSTORE 00000c1a: PUSH1 0x04 00000c1c: ADD 00000c1d: DUP1 00000c1e: DUP1 00000c1f: PUSH1 0x20 00000c21: ADD 00000c22: DUP3 00000c23: DUP2 00000c24: SUB 00000c25: DUP3 00000c26: MSTORE 00000c27: PUSH1 0x36 00000c29: DUP2 00000c2a: MSTORE 00000c2b: PUSH1 0x20 00000c2d: ADD 00000c2e: DUP1 00000c2f: PUSH2 0x14c4 00000c32: PUSH1 0x36 00000c34: SWAP2 00000c35: CODECOPY 00000c36: PUSH1 0x40 00000c38: ADD 00000c39: SWAP2 00000c3a: POP 00000c3b: POP 00000c3c: PUSH1 0x40 00000c3e: MLOAD 00000c3f: DUP1 00000c40: SWAP2 00000c41: SUB 00000c42: SWAP1 00000c43: REVERT 00000c44: JUMPDEST 00000c45: PUSH1 0x05 00000c47: PUSH1 0x01 00000c49: SWAP1 00000c4a: SLOAD 00000c4b: SWAP1 00000c4c: PUSH2 0x0100 00000c4f: EXP 00000c50: SWAP1 00000c51: DIV 00000c52: PUSH1 0x01 00000c54: PUSH1 0x01 00000c56: PUSH1 0xa0 00000c58: SHL 00000c59: SUB 00000c5a: AND 00000c5b: PUSH1 0x01 00000c5d: PUSH1 0x01 00000c5f: PUSH1 0xa0 00000c61: SHL 00000c62: SUB 00000c63: AND 00000c64: PUSH4 0x158ef93e 00000c69: PUSH1 0x40 00000c6b: MLOAD 00000c6c: DUP2 00000c6d: PUSH4 0xffffffff 00000c72: AND 00000c73: PUSH1 0xe0 00000c75: SHL 00000c76: DUP2 00000c77: MSTORE 00000c78: PUSH1 0x04 00000c7a: ADD 00000c7b: PUSH1 0x20 00000c7d: PUSH1 0x40 00000c7f: MLOAD 00000c80: DUP1 00000c81: DUP4 00000c82: SUB 00000c83: DUP2 00000c84: DUP7 00000c85: DUP1 00000c86: EXTCODESIZE 00000c87: ISZERO 00000c88: DUP1 00000c89: ISZERO 00000c8a: PUSH2 0x0c92 00000c8d: JUMPI 00000c8e: PUSH1 0x00 00000c90: DUP1 00000c91: REVERT 00000c92: JUMPDEST 00000c93: POP 00000c94: GAS 00000c95: STATICCALL 00000c96: ISZERO 00000c97: DUP1 00000c98: ISZERO 00000c99: PUSH2 0x0ca6 00000c9c: JUMPI 00000c9d: RETURNDATASIZE 00000c9e: PUSH1 0x00 00000ca0: DUP1 00000ca1: RETURNDATACOPY 00000ca2: RETURNDATASIZE 00000ca3: PUSH1 0x00 00000ca5: REVERT 00000ca6: JUMPDEST 00000ca7: POP 00000ca8: POP 00000ca9: POP 00000caa: POP 00000cab: PUSH1 0x40 00000cad: MLOAD 00000cae: RETURNDATASIZE 00000caf: PUSH1 0x20 00000cb1: DUP2 00000cb2: LT 00000cb3: ISZERO 00000cb4: PUSH2 0x0cbc 00000cb7: JUMPI 00000cb8: PUSH1 0x00 00000cba: DUP1 00000cbb: REVERT 00000cbc: JUMPDEST 00000cbd: POP 00000cbe: MLOAD 00000cbf: PUSH2 0x0cfc 00000cc2: JUMPI 00000cc3: PUSH1 0x40 00000cc5: MLOAD 00000cc6: PUSH1 0x01 00000cc8: PUSH1 0xe5 00000cca: SHL 00000ccb: PUSH3 0x461bcd 00000ccf: MUL 00000cd0: DUP2 00000cd1: MSTORE 00000cd2: PUSH1 0x04 00000cd4: ADD 00000cd5: DUP1 00000cd6: DUP1 00000cd7: PUSH1 0x20 00000cd9: ADD 00000cda: DUP3 00000cdb: DUP2 00000cdc: SUB 00000cdd: DUP3 00000cde: MSTORE 00000cdf: PUSH1 0x2e 00000ce1: DUP2 00000ce2: MSTORE 00000ce3: PUSH1 0x20 00000ce5: ADD 00000ce6: DUP1 00000ce7: PUSH2 0x1496 00000cea: PUSH1 0x2e 00000cec: SWAP2 00000ced: CODECOPY 00000cee: PUSH1 0x40 00000cf0: ADD 00000cf1: SWAP2 00000cf2: POP 00000cf3: POP 00000cf4: PUSH1 0x40 00000cf6: MLOAD 00000cf7: DUP1 00000cf8: SWAP2 00000cf9: SUB 00000cfa: SWAP1 00000cfb: REVERT 00000cfc: JUMPDEST 00000cfd: PUSH1 0x05 00000cff: DUP1 00000d00: SLOAD 00000d01: PUSH1 0xff 00000d03: NOT 00000d04: AND 00000d05: PUSH1 0x01 00000d07: OR 00000d08: SWAP1 00000d09: SSTORE 00000d0a: TIMESTAMP 00000d0b: PUSH1 0x09 00000d0d: DUP2 00000d0e: SWAP1 00000d0f: SSTORE 00000d10: PUSH1 0x40 00000d12: DUP1 00000d13: MLOAD 00000d14: SWAP2 00000d15: DUP3 00000d16: MSTORE 00000d17: MLOAD 00000d18: PUSH32 0x1bb96dff6ab5005aff98cdc0cf176bb7d8e0423cb48e02217d35b042cec81e9f 00000d39: SWAP2 00000d3a: PUSH1 0x20 00000d3c: SWAP1 00000d3d: DUP3 00000d3e: SWAP1 00000d3f: SUB 00000d40: ADD 00000d41: SWAP1 00000d42: LOG1 00000d43: POP 00000d44: JUMP 00000d45: JUMPDEST 00000d46: PUSH1 0x00 00000d48: PUSH4 0xbbf81e00 00000d4d: DUP3 00000d4e: LT 00000d4f: PUSH2 0x0d8c 00000d52: JUMPI 00000d53: PUSH1 0x40 00000d55: MLOAD 00000d56: PUSH1 0x01 00000d58: PUSH1 0xe5 00000d5a: SHL 00000d5b: PUSH3 0x461bcd 00000d5f: MUL 00000d60: DUP2 00000d61: MSTORE 00000d62: PUSH1 0x04 00000d64: ADD 00000d65: DUP1 00000d66: DUP1 00000d67: PUSH1 0x20 00000d69: ADD 00000d6a: DUP3 00000d6b: DUP2 00000d6c: SUB 00000d6d: DUP3 00000d6e: MSTORE 00000d6f: PUSH1 0x2e 00000d71: DUP2 00000d72: MSTORE 00000d73: PUSH1 0x20 00000d75: ADD 00000d76: DUP1 00000d77: PUSH2 0x1522 00000d7a: PUSH1 0x2e 00000d7c: SWAP2 00000d7d: CODECOPY 00000d7e: PUSH1 0x40 00000d80: ADD 00000d81: SWAP2 00000d82: POP 00000d83: POP 00000d84: PUSH1 0x40 00000d86: MLOAD 00000d87: DUP1 00000d88: SWAP2 00000d89: SUB 00000d8a: SWAP1 00000d8b: REVERT 00000d8c: JUMPDEST 00000d8d: PUSH1 0x01 00000d8f: SLOAD 00000d90: PUSH2 0x03e8 00000d93: DUP4 00000d94: MUL 00000d95: SWAP1 00000d96: PUSH1 0x00 00000d98: SWAP1 00000d99: DUP3 00000d9a: DUP2 00000d9b: PUSH2 0x0da0 00000d9e: JUMPI 00000d9f: INVALID 00000da0: JUMPDEST 00000da1: DIV 00000da2: SWAP1 00000da3: POP 00000da4: PUSH5 0xadd31ff2db 00000daa: PUSH1 0x00 00000dac: DUP2 00000dad: PUSH1 0x03 00000daf: DUP5 00000db0: EXP 00000db1: DIV 00000db2: SWAP1 00000db3: POP 00000db4: PUSH1 0x00 00000db6: DUP2 00000db7: DUP5 00000db8: PUSH1 0x01 00000dba: ADD 00000dbb: ADD 00000dbc: DUP5 00000dbd: PUSH1 0x01 00000dbf: ADD 00000dc0: PUSH1 0x02 00000dc2: SLOAD 00000dc3: MUL 00000dc4: DUP2 00000dc5: PUSH2 0x0dca 00000dc8: JUMPI 00000dc9: INVALID 00000dca: JUMPDEST 00000dcb: DIV 00000dcc: SWAP8 00000dcd: SWAP7 00000dce: POP 00000dcf: POP 00000dd0: POP 00000dd1: POP 00000dd2: POP 00000dd3: POP 00000dd4: POP 00000dd5: JUMP 00000dd6: JUMPDEST 00000dd7: PUSH1 0x09 00000dd9: SLOAD 00000dda: DUP2 00000ddb: JUMP 00000ddc: JUMPDEST 00000ddd: PUSH1 0x00 00000ddf: SLOAD 00000de0: PUSH1 0x01 00000de2: PUSH1 0x01 00000de4: PUSH1 0xa0 00000de6: SHL 00000de7: SUB 00000de8: AND 00000de9: CALLER 00000dea: EQ 00000deb: PUSH2 0x0e28 00000dee: JUMPI 00000def: PUSH1 0x40 00000df1: MLOAD 00000df2: PUSH1 0x01 00000df4: PUSH1 0xe5 00000df6: SHL 00000df7: PUSH3 0x461bcd 00000dfb: MUL 00000dfc: DUP2 00000dfd: MSTORE 00000dfe: PUSH1 0x04 00000e00: ADD 00000e01: DUP1 00000e02: DUP1 00000e03: PUSH1 0x20 00000e05: ADD 00000e06: DUP3 00000e07: DUP2 00000e08: SUB 00000e09: DUP3 00000e0a: MSTORE 00000e0b: PUSH1 0x2c 00000e0d: DUP2 00000e0e: MSTORE 00000e0f: PUSH1 0x20 00000e11: ADD 00000e12: DUP1 00000e13: PUSH2 0x146a 00000e16: PUSH1 0x2c 00000e18: SWAP2 00000e19: CODECOPY 00000e1a: PUSH1 0x40 00000e1c: ADD 00000e1d: SWAP2 00000e1e: POP 00000e1f: POP 00000e20: PUSH1 0x40 00000e22: MLOAD 00000e23: DUP1 00000e24: SWAP2 00000e25: SUB 00000e26: SWAP1 00000e27: REVERT 00000e28: JUMPDEST 00000e29: PUSH1 0x00 00000e2b: DUP1 00000e2c: PUSH1 0x05 00000e2e: SLOAD 00000e2f: PUSH1 0xff 00000e31: AND 00000e32: PUSH1 0x04 00000e34: DUP2 00000e35: GT 00000e36: ISZERO 00000e37: PUSH2 0x0e3c 00000e3a: JUMPI 00000e3b: INVALID 00000e3c: JUMPDEST 00000e3d: EQ 00000e3e: PUSH2 0x0e7b 00000e41: JUMPI 00000e42: PUSH1 0x40 00000e44: MLOAD 00000e45: PUSH1 0x01 00000e47: PUSH1 0xe5 00000e49: SHL 00000e4a: PUSH3 0x461bcd 00000e4e: MUL 00000e4f: DUP2 00000e50: MSTORE 00000e51: PUSH1 0x04 00000e53: ADD 00000e54: DUP1 00000e55: DUP1 00000e56: PUSH1 0x20 00000e58: ADD 00000e59: DUP3 00000e5a: DUP2 00000e5b: SUB 00000e5c: DUP3 00000e5d: MSTORE 00000e5e: PUSH1 0x36 00000e60: DUP2 00000e61: MSTORE 00000e62: PUSH1 0x20 00000e64: ADD 00000e65: DUP1 00000e66: PUSH2 0x14c4 00000e69: PUSH1 0x36 00000e6b: SWAP2 00000e6c: CODECOPY 00000e6d: PUSH1 0x40 00000e6f: ADD 00000e70: SWAP2 00000e71: POP 00000e72: POP 00000e73: PUSH1 0x40 00000e75: MLOAD 00000e76: DUP1 00000e77: SWAP2 00000e78: SUB 00000e79: SWAP1 00000e7a: REVERT 00000e7b: JUMPDEST 00000e7c: PUSH1 0x00 00000e7e: JUMPDEST 00000e7f: DUP3 00000e80: MLOAD 00000e81: DUP2 00000e82: PUSH4 0xffffffff 00000e87: AND 00000e88: LT 00000e89: ISZERO 00000e8a: PUSH2 0x0f4e 00000e8d: JUMPI 00000e8e: PUSH1 0x01 00000e90: PUSH1 0x06 00000e92: PUSH1 0x00 00000e94: DUP6 00000e95: DUP5 00000e96: PUSH4 0xffffffff 00000e9b: AND 00000e9c: DUP2 00000e9d: MLOAD 00000e9e: DUP2 00000e9f: LT 00000ea0: PUSH2 0x0ea5 00000ea3: JUMPI 00000ea4: INVALID 00000ea5: JUMPDEST 00000ea6: PUSH1 0x20 00000ea8: MUL 00000ea9: PUSH1 0x20 00000eab: ADD 00000eac: ADD 00000ead: MLOAD 00000eae: PUSH1 0x01 00000eb0: PUSH1 0x01 00000eb2: PUSH1 0xa0 00000eb4: SHL 00000eb5: SUB 00000eb6: AND 00000eb7: PUSH1 0x01 00000eb9: PUSH1 0x01 00000ebb: PUSH1 0xa0 00000ebd: SHL 00000ebe: SUB 00000ebf: AND 00000ec0: DUP2 00000ec1: MSTORE 00000ec2: PUSH1 0x20 00000ec4: ADD 00000ec5: SWAP1 00000ec6: DUP2 00000ec7: MSTORE 00000ec8: PUSH1 0x20 00000eca: ADD 00000ecb: PUSH1 0x00 00000ecd: KECCAK256 00000ece: PUSH1 0x00 00000ed0: PUSH2 0x0100 00000ed3: EXP 00000ed4: DUP2 00000ed5: SLOAD 00000ed6: DUP2 00000ed7: PUSH1 0xff 00000ed9: MUL 00000eda: NOT 00000edb: AND 00000edc: SWAP1 00000edd: DUP4 00000ede: ISZERO 00000edf: ISZERO 00000ee0: MUL 00000ee1: OR 00000ee2: SWAP1 00000ee3: SSTORE 00000ee4: POP 00000ee5: PUSH32 0x4f783c179409b4127238bc9c990bc99b9a651666a0d20b51d6c42849eb88466d 00000f06: DUP4 00000f07: DUP3 00000f08: PUSH4 0xffffffff 00000f0d: AND 00000f0e: DUP2 00000f0f: MLOAD 00000f10: DUP2 00000f11: LT 00000f12: PUSH2 0x0f17 00000f15: JUMPI 00000f16: INVALID 00000f17: JUMPDEST 00000f18: PUSH1 0x20 00000f1a: MUL 00000f1b: PUSH1 0x20 00000f1d: ADD 00000f1e: ADD 00000f1f: MLOAD 00000f20: PUSH1 0x40 00000f22: MLOAD 00000f23: DUP1 00000f24: DUP3 00000f25: PUSH1 0x01 00000f27: PUSH1 0x01 00000f29: PUSH1 0xa0 00000f2b: SHL 00000f2c: SUB 00000f2d: AND 00000f2e: PUSH1 0x01 00000f30: PUSH1 0x01 00000f32: PUSH1 0xa0 00000f34: SHL 00000f35: SUB 00000f36: AND 00000f37: DUP2 00000f38: MSTORE 00000f39: PUSH1 0x20 00000f3b: ADD 00000f3c: SWAP2 00000f3d: POP 00000f3e: POP 00000f3f: PUSH1 0x40 00000f41: MLOAD 00000f42: DUP1 00000f43: SWAP2 00000f44: SUB 00000f45: SWAP1 00000f46: LOG1 00000f47: PUSH1 0x01 00000f49: ADD 00000f4a: PUSH2 0x0e7e 00000f4d: JUMP 00000f4e: JUMPDEST 00000f4f: POP 00000f50: POP 00000f51: POP 00000f52: JUMP 00000f53: JUMPDEST 00000f54: PUSH1 0x05 00000f56: SLOAD 00000f57: PUSH1 0xff 00000f59: AND 00000f5a: DUP2 00000f5b: JUMP 00000f5c: JUMPDEST 00000f5d: PUSH1 0x00 00000f5f: SLOAD 00000f60: PUSH1 0x01 00000f62: PUSH1 0x01 00000f64: PUSH1 0xa0 00000f66: SHL 00000f67: SUB 00000f68: AND 00000f69: DUP2 00000f6a: JUMP 00000f6b: JUMPDEST 00000f6c: PUSH1 0x06 00000f6e: PUSH1 0x20 00000f70: MSTORE 00000f71: PUSH1 0x00 00000f73: SWAP1 00000f74: DUP2 00000f75: MSTORE 00000f76: PUSH1 0x40 00000f78: SWAP1 00000f79: KECCAK256 00000f7a: SLOAD 00000f7b: PUSH1 0xff 00000f7d: AND 00000f7e: DUP2 00000f7f: JUMP 00000f80: JUMPDEST 00000f81: PUSH1 0x00 00000f83: PUSH1 0x01 00000f85: DUP1 00000f86: PUSH1 0x05 00000f88: SLOAD 00000f89: PUSH1 0xff 00000f8b: AND 00000f8c: PUSH1 0x04 00000f8e: DUP2 00000f8f: GT 00000f90: ISZERO 00000f91: PUSH2 0x0f96 00000f94: JUMPI 00000f95: INVALID 00000f96: JUMPDEST 00000f97: EQ 00000f98: PUSH2 0x0fd5 00000f9b: JUMPI 00000f9c: PUSH1 0x40 00000f9e: MLOAD 00000f9f: PUSH1 0x01 00000fa1: PUSH1 0xe5 00000fa3: SHL 00000fa4: PUSH3 0x461bcd 00000fa8: MUL 00000fa9: DUP2 00000faa: MSTORE 00000fab: PUSH1 0x04 00000fad: ADD 00000fae: DUP1 00000faf: DUP1 00000fb0: PUSH1 0x20 00000fb2: ADD 00000fb3: DUP3 00000fb4: DUP2 00000fb5: SUB 00000fb6: DUP3 00000fb7: MSTORE 00000fb8: PUSH1 0x36 00000fba: DUP2 00000fbb: MSTORE 00000fbc: PUSH1 0x20 00000fbe: ADD 00000fbf: DUP1 00000fc0: PUSH2 0x14c4 00000fc3: PUSH1 0x36 00000fc5: SWAP2 00000fc6: CODECOPY 00000fc7: PUSH1 0x40 00000fc9: ADD 00000fca: SWAP2 00000fcb: POP 00000fcc: POP 00000fcd: PUSH1 0x40 00000fcf: MLOAD 00000fd0: DUP1 00000fd1: SWAP2 00000fd2: SUB 00000fd3: SWAP1 00000fd4: REVERT 00000fd5: JUMPDEST 00000fd6: PUSH1 0x09 00000fd8: SLOAD 00000fd9: TIMESTAMP 00000fda: LT 00000fdb: ISZERO 00000fdc: PUSH2 0x0fe1 00000fdf: JUMPI 00000fe0: INVALID 00000fe1: JUMPDEST 00000fe2: PUSH1 0x09 00000fe4: SLOAD 00000fe5: TIMESTAMP 00000fe6: SUB 00000fe7: PUSH2 0x0fef 00000fea: DUP2 00000feb: PUSH2 0x0d45 00000fee: JUMP 00000fef: JUMPDEST 00000ff0: SWAP3 00000ff1: POP 00000ff2: POP 00000ff3: POP 00000ff4: SWAP1 00000ff5: JUMP 00000ff6: JUMPDEST 00000ff7: PUSH1 0x05 00000ff9: SLOAD 00000ffa: PUSH2 0x0100 00000ffd: SWAP1 00000ffe: DIV 00000fff: PUSH1 0x01 00001001: PUSH1 0x01 00001003: PUSH1 0xa0 00001005: SHL 00001006: SUB 00001007: AND 00001008: DUP2 00001009: JUMP 0000100a: JUMPDEST 0000100b: PUSH1 0x08 0000100d: DUP2 0000100e: DUP2 0000100f: SLOAD 00001010: DUP2 00001011: LT 00001012: PUSH2 0x1017 00001015: JUMPI 00001016: INVALID 00001017: JUMPDEST 00001018: PUSH1 0x00 0000101a: SWAP2 0000101b: DUP3 0000101c: MSTORE 0000101d: PUSH1 0x20 0000101f: SWAP1 00001020: SWAP2 00001021: KECCAK256 00001022: ADD 00001023: SLOAD 00001024: PUSH1 0x01 00001026: PUSH1 0x01 00001028: PUSH1 0xa0 0000102a: SHL 0000102b: SUB 0000102c: AND 0000102d: SWAP1 0000102e: POP 0000102f: DUP2 00001030: JUMP 00001031: JUMPDEST 00001032: PUSH1 0x02 00001034: SLOAD 00001035: DUP2 00001036: JUMP 00001037: JUMPDEST 00001038: PUSH1 0x00 0000103a: SLOAD 0000103b: PUSH1 0x01 0000103d: PUSH1 0x01 0000103f: PUSH1 0xa0 00001041: SHL 00001042: SUB 00001043: AND 00001044: CALLER 00001045: EQ 00001046: PUSH2 0x1083 00001049: JUMPI 0000104a: PUSH1 0x40 0000104c: MLOAD 0000104d: PUSH1 0x01 0000104f: PUSH1 0xe5 00001051: SHL 00001052: PUSH3 0x461bcd 00001056: MUL 00001057: DUP2 00001058: MSTORE 00001059: PUSH1 0x04 0000105b: ADD 0000105c: DUP1 0000105d: DUP1 0000105e: PUSH1 0x20 00001060: ADD 00001061: DUP3 00001062: DUP2 00001063: SUB 00001064: DUP3 00001065: MSTORE 00001066: PUSH1 0x2c 00001068: DUP2 00001069: MSTORE 0000106a: PUSH1 0x20 0000106c: ADD 0000106d: DUP1 0000106e: PUSH2 0x146a 00001071: PUSH1 0x2c 00001073: SWAP2 00001074: CODECOPY 00001075: PUSH1 0x40 00001077: ADD 00001078: SWAP2 00001079: POP 0000107a: POP 0000107b: PUSH1 0x40 0000107d: MLOAD 0000107e: DUP1 0000107f: SWAP2 00001080: SUB 00001081: SWAP1 00001082: REVERT 00001083: JUMPDEST 00001084: PUSH1 0x01 00001086: PUSH1 0x01 00001088: PUSH1 0xa0 0000108a: SHL 0000108b: SUB 0000108c: DUP2 0000108d: AND 0000108e: ISZERO 0000108f: PUSH2 0x09a2 00001092: JUMPI 00001093: PUSH1 0x00 00001095: DUP1 00001096: SLOAD 00001097: PUSH1 0x01 00001099: PUSH1 0x01 0000109b: PUSH1 0xa0 0000109d: SHL 0000109e: SUB 0000109f: DUP4 000010a0: AND 000010a1: PUSH1 0x01 000010a3: PUSH1 0x01 000010a5: PUSH1 0xa0 000010a7: SHL 000010a8: SUB 000010a9: NOT 000010aa: SWAP1 000010ab: SWAP2 000010ac: AND 000010ad: OR 000010ae: SWAP1 000010af: SSTORE 000010b0: POP 000010b1: JUMP 000010b2: JUMPDEST 000010b3: PUSH1 0x03 000010b5: SLOAD 000010b6: DUP2 000010b7: JUMP 000010b8: JUMPDEST 000010b9: PUSH4 0xffffffff 000010be: CALLER 000010bf: EXTCODESIZE 000010c0: AND 000010c1: ISZERO 000010c2: ISZERO 000010c3: SWAP1 000010c4: JUMP 000010c5: JUMPDEST 000010c6: PUSH1 0x01 000010c8: DUP1 000010c9: PUSH1 0x05 000010cb: SLOAD 000010cc: PUSH1 0xff 000010ce: AND 000010cf: PUSH1 0x04 000010d1: DUP2 000010d2: GT 000010d3: ISZERO 000010d4: PUSH2 0x10d9 000010d7: JUMPI 000010d8: INVALID 000010d9: JUMPDEST 000010da: EQ 000010db: PUSH2 0x1118 000010de: JUMPI 000010df: PUSH1 0x40 000010e1: MLOAD 000010e2: PUSH1 0x01 000010e4: PUSH1 0xe5 000010e6: SHL 000010e7: PUSH3 0x461bcd 000010eb: MUL 000010ec: DUP2 000010ed: MSTORE 000010ee: PUSH1 0x04 000010f0: ADD 000010f1: DUP1 000010f2: DUP1 000010f3: PUSH1 0x20 000010f5: ADD 000010f6: DUP3 000010f7: DUP2 000010f8: SUB 000010f9: DUP3 000010fa: MSTORE 000010fb: PUSH1 0x36 000010fd: DUP2 000010fe: MSTORE 000010ff: PUSH1 0x20 00001101: ADD 00001102: DUP1 00001103: PUSH2 0x14c4 00001106: PUSH1 0x36 00001108: SWAP2 00001109: CODECOPY 0000110a: PUSH1 0x40 0000110c: ADD 0000110d: SWAP2 0000110e: POP 0000110f: POP 00001110: PUSH1 0x40 00001112: MLOAD 00001113: DUP1 00001114: SWAP2 00001115: SUB 00001116: SWAP1 00001117: REVERT 00001118: JUMPDEST 00001119: PUSH1 0x05 0000111b: DUP1 0000111c: SLOAD 0000111d: PUSH1 0xff 0000111f: NOT 00001120: AND 00001121: PUSH1 0x02 00001123: OR 00001124: SWAP1 00001125: SSTORE 00001126: TIMESTAMP 00001127: PUSH1 0x0a 00001129: DUP2 0000112a: SWAP1 0000112b: SSTORE 0000112c: PUSH1 0x0b 0000112e: SLOAD 0000112f: PUSH1 0x08 00001131: SLOAD 00001132: PUSH1 0x40 00001134: DUP1 00001135: MLOAD 00001136: SWAP4 00001137: DUP5 00001138: MSTORE 00001139: PUSH1 0x20 0000113b: DUP5 0000113c: ADD 0000113d: SWAP3 0000113e: SWAP1 0000113f: SWAP3 00001140: MSTORE 00001141: DUP3 00001142: DUP3 00001143: ADD 00001144: MSTORE 00001145: MLOAD 00001146: PUSH32 0xca2a8cd07fc62c8133bc74e94a78c502f520bb7a5792243176b20e2c5bda59f6 00001167: SWAP2 00001168: PUSH1 0x60 0000116a: SWAP1 0000116b: DUP3 0000116c: SWAP1 0000116d: SUB 0000116e: ADD 0000116f: SWAP1 00001170: LOG1 00001171: POP 00001172: JUMP 00001173: JUMPDEST 00001174: PUSH1 0x01 00001176: DUP1 00001177: PUSH1 0x05 00001179: SLOAD 0000117a: PUSH1 0xff 0000117c: AND 0000117d: PUSH1 0x04 0000117f: DUP2 00001180: GT 00001181: ISZERO 00001182: PUSH2 0x1187 00001185: JUMPI 00001186: INVALID 00001187: JUMPDEST 00001188: EQ 00001189: PUSH2 0x11c6 0000118c: JUMPI 0000118d: PUSH1 0x40 0000118f: MLOAD 00001190: PUSH1 0x01 00001192: PUSH1 0xe5 00001194: SHL 00001195: PUSH3 0x461bcd 00001199: MUL 0000119a: DUP2 0000119b: MSTORE 0000119c: PUSH1 0x04 0000119e: ADD 0000119f: DUP1 000011a0: DUP1 000011a1: PUSH1 0x20 000011a3: ADD 000011a4: DUP3 000011a5: DUP2 000011a6: SUB 000011a7: DUP3 000011a8: MSTORE 000011a9: PUSH1 0x36 000011ab: DUP2 000011ac: MSTORE 000011ad: PUSH1 0x20 000011af: ADD 000011b0: DUP1 000011b1: PUSH2 0x14c4 000011b4: PUSH1 0x36 000011b6: SWAP2 000011b7: CODECOPY 000011b8: PUSH1 0x40 000011ba: ADD 000011bb: SWAP2 000011bc: POP 000011bd: POP 000011be: PUSH1 0x40 000011c0: MLOAD 000011c1: DUP1 000011c2: SWAP2 000011c3: SUB 000011c4: SWAP1 000011c5: REVERT 000011c6: JUMPDEST 000011c7: PUSH1 0x05 000011c9: DUP1 000011ca: SLOAD 000011cb: PUSH1 0xff 000011cd: NOT 000011ce: AND 000011cf: PUSH1 0x04 000011d1: OR 000011d2: SWAP1 000011d3: SSTORE 000011d4: TIMESTAMP 000011d5: PUSH1 0x0a 000011d7: DUP2 000011d8: SWAP1 000011d9: SSTORE 000011da: PUSH1 0x08 000011dc: SLOAD 000011dd: PUSH1 0x40 000011df: DUP1 000011e0: MLOAD 000011e1: SWAP3 000011e2: DUP4 000011e3: MSTORE 000011e4: PUSH1 0x20 000011e6: DUP4 000011e7: ADD 000011e8: SWAP2 000011e9: SWAP1 000011ea: SWAP2 000011eb: MSTORE 000011ec: DUP1 000011ed: MLOAD 000011ee: PUSH32 0x960b8f6fb0032af274e187030bca69877c3919bb3208d8d0ffdf417aac0bc592 0000120f: SWAP3 00001210: DUP2 00001211: SWAP1 00001212: SUB 00001213: SWAP1 00001214: SWAP2 00001215: ADD 00001216: SWAP1 00001217: LOG1 00001218: POP 00001219: JUMP 0000121a: JUMPDEST 0000121b: PUSH1 0x03 0000121d: DUP1 0000121e: PUSH1 0x05 00001220: SLOAD 00001221: PUSH1 0xff 00001223: AND 00001224: PUSH1 0x04 00001226: DUP2 00001227: GT 00001228: ISZERO 00001229: PUSH2 0x122e 0000122c: JUMPI 0000122d: INVALID 0000122e: JUMPDEST 0000122f: EQ 00001230: PUSH2 0x126d 00001233: JUMPI 00001234: PUSH1 0x40 00001236: MLOAD 00001237: PUSH1 0x01 00001239: PUSH1 0xe5 0000123b: SHL 0000123c: PUSH3 0x461bcd 00001240: MUL 00001241: DUP2 00001242: MSTORE 00001243: PUSH1 0x04 00001245: ADD 00001246: DUP1 00001247: DUP1 00001248: PUSH1 0x20 0000124a: ADD 0000124b: DUP3 0000124c: DUP2 0000124d: SUB 0000124e: DUP3 0000124f: MSTORE 00001250: PUSH1 0x36 00001252: DUP2 00001253: MSTORE 00001254: PUSH1 0x20 00001256: ADD 00001257: DUP1 00001258: PUSH2 0x14c4 0000125b: PUSH1 0x36 0000125d: SWAP2 0000125e: CODECOPY 0000125f: PUSH1 0x40 00001261: ADD 00001262: SWAP2 00001263: POP 00001264: POP 00001265: PUSH1 0x40 00001267: MLOAD 00001268: DUP1 00001269: SWAP2 0000126a: SUB 0000126b: SWAP1 0000126c: REVERT 0000126d: JUMPDEST 0000126e: PUSH1 0x0b 00001270: SLOAD 00001271: CALLER 00001272: PUSH1 0x00 00001274: SWAP1 00001275: DUP2 00001276: MSTORE 00001277: PUSH1 0x07 00001279: PUSH1 0x20 0000127b: MSTORE 0000127c: PUSH1 0x40 0000127e: SWAP1 0000127f: KECCAK256 00001280: SLOAD 00001281: GT 00001282: PUSH2 0x12bf 00001285: JUMPI 00001286: PUSH1 0x40 00001288: MLOAD 00001289: PUSH1 0x01 0000128b: PUSH1 0xe5 0000128d: SHL 0000128e: PUSH3 0x461bcd 00001292: MUL 00001293: DUP2 00001294: MSTORE 00001295: PUSH1 0x04 00001297: ADD 00001298: DUP1 00001299: DUP1 0000129a: PUSH1 0x20 0000129c: ADD 0000129d: DUP3 0000129e: DUP2 0000129f: SUB 000012a0: DUP3 000012a1: MSTORE 000012a2: PUSH1 0x23 000012a4: DUP2 000012a5: MSTORE 000012a6: PUSH1 0x20 000012a8: ADD 000012a9: DUP1 000012aa: PUSH2 0x1583 000012ad: PUSH1 0x23 000012af: SWAP2 000012b0: CODECOPY 000012b1: PUSH1 0x40 000012b3: ADD 000012b4: SWAP2 000012b5: POP 000012b6: POP 000012b7: PUSH1 0x40 000012b9: MLOAD 000012ba: DUP1 000012bb: SWAP2 000012bc: SUB 000012bd: SWAP1 000012be: REVERT 000012bf: JUMPDEST 000012c0: PUSH1 0x0b 000012c2: SLOAD 000012c3: CALLER 000012c4: PUSH1 0x00 000012c6: SWAP1 000012c7: DUP2 000012c8: MSTORE 000012c9: PUSH1 0x07 000012cb: PUSH1 0x20 000012cd: MSTORE 000012ce: PUSH1 0x40 000012d0: SWAP1 000012d1: KECCAK256 000012d2: SLOAD 000012d3: SWAP1 000012d4: DUP2 000012d5: SUB 000012d6: SWAP1 000012d7: DUP2 000012d8: GT 000012d9: ISZERO 000012da: PUSH2 0x12df 000012dd: JUMPI 000012de: INVALID 000012df: JUMPDEST 000012e0: PUSH1 0x0b 000012e2: SLOAD 000012e3: CALLER 000012e4: PUSH1 0x00 000012e6: DUP2 000012e7: DUP2 000012e8: MSTORE 000012e9: PUSH1 0x07 000012eb: PUSH1 0x20 000012ed: MSTORE 000012ee: PUSH1 0x40 000012f0: DUP1 000012f1: DUP3 000012f2: KECCAK256 000012f3: SWAP4 000012f4: SWAP1 000012f5: SWAP4 000012f6: SSTORE 000012f7: SWAP2 000012f8: MLOAD 000012f9: SWAP1 000012fa: SWAP2 000012fb: DUP4 000012fc: ISZERO 000012fd: PUSH2 0x08fc 00001300: MUL 00001301: SWAP2 00001302: DUP5 00001303: SWAP2 00001304: DUP2 00001305: DUP2 00001306: DUP2 00001307: DUP6 00001308: DUP9 00001309: DUP9 0000130a: CALL 0000130b: SWAP4 0000130c: POP 0000130d: POP 0000130e: POP 0000130f: POP 00001310: ISZERO 00001311: DUP1 00001312: ISZERO 00001313: PUSH2 0x0f4e 00001316: JUMPI 00001317: RETURNDATASIZE 00001318: PUSH1 0x00 0000131a: DUP1 0000131b: RETURNDATACOPY 0000131c: RETURNDATASIZE 0000131d: PUSH1 0x00 0000131f: REVERT 00001320: JUMPDEST 00001321: PUSH1 0x04 00001323: DUP1 00001324: PUSH1 0x05 00001326: SLOAD 00001327: PUSH1 0xff 00001329: AND 0000132a: PUSH1 0x04 0000132c: DUP2 0000132d: GT 0000132e: ISZERO 0000132f: PUSH2 0x1334 00001332: JUMPI 00001333: INVALID 00001334: JUMPDEST 00001335: EQ 00001336: PUSH2 0x1373 00001339: JUMPI 0000133a: PUSH1 0x40 0000133c: MLOAD 0000133d: PUSH1 0x01 0000133f: PUSH1 0xe5 00001341: SHL 00001342: PUSH3 0x461bcd 00001346: MUL 00001347: DUP2 00001348: MSTORE 00001349: PUSH1 0x04 0000134b: ADD 0000134c: DUP1 0000134d: DUP1 0000134e: PUSH1 0x20 00001350: ADD 00001351: DUP3 00001352: DUP2 00001353: SUB 00001354: DUP3 00001355: MSTORE 00001356: PUSH1 0x36 00001358: DUP2 00001359: MSTORE 0000135a: PUSH1 0x20 0000135c: ADD 0000135d: DUP1 0000135e: PUSH2 0x14c4 00001361: PUSH1 0x36 00001363: SWAP2 00001364: CODECOPY 00001365: PUSH1 0x40 00001367: ADD 00001368: SWAP2 00001369: POP 0000136a: POP 0000136b: PUSH1 0x40 0000136d: MLOAD 0000136e: DUP1 0000136f: SWAP2 00001370: SUB 00001371: SWAP1 00001372: REVERT 00001373: JUMPDEST 00001374: CALLER 00001375: PUSH1 0x00 00001377: SWAP1 00001378: DUP2 00001379: MSTORE 0000137a: PUSH1 0x07 0000137c: PUSH1 0x20 0000137e: MSTORE 0000137f: PUSH1 0x40 00001381: SWAP1 00001382: KECCAK256 00001383: SLOAD 00001384: PUSH2 0x13c1 00001387: JUMPI 00001388: PUSH1 0x40 0000138a: MLOAD 0000138b: PUSH1 0x01 0000138d: PUSH1 0xe5 0000138f: SHL 00001390: PUSH3 0x461bcd 00001394: MUL 00001395: DUP2 00001396: MSTORE 00001397: PUSH1 0x04 00001399: ADD 0000139a: DUP1 0000139b: DUP1 0000139c: PUSH1 0x20 0000139e: ADD 0000139f: DUP3 000013a0: DUP2 000013a1: SUB 000013a2: DUP3 000013a3: MSTORE 000013a4: PUSH1 0x23 000013a6: DUP2 000013a7: MSTORE 000013a8: PUSH1 0x20 000013aa: ADD 000013ab: DUP1 000013ac: PUSH2 0x1583 000013af: PUSH1 0x23 000013b1: SWAP2 000013b2: CODECOPY 000013b3: PUSH1 0x40 000013b5: ADD 000013b6: SWAP2 000013b7: POP 000013b8: POP 000013b9: PUSH1 0x40 000013bb: MLOAD 000013bc: DUP1 000013bd: SWAP2 000013be: SUB 000013bf: SWAP1 000013c0: REVERT 000013c1: JUMPDEST 000013c2: CALLER 000013c3: PUSH1 0x00 000013c5: DUP2 000013c6: DUP2 000013c7: MSTORE 000013c8: PUSH1 0x07 000013ca: PUSH1 0x20 000013cc: MSTORE 000013cd: PUSH1 0x40 000013cf: DUP1 000013d0: DUP3 000013d1: KECCAK256 000013d2: DUP1 000013d3: SLOAD 000013d4: SWAP1 000013d5: DUP4 000013d6: SWAP1 000013d7: SSTORE 000013d8: SWAP1 000013d9: MLOAD 000013da: SWAP1 000013db: SWAP3 000013dc: SWAP2 000013dd: DUP4 000013de: ISZERO 000013df: PUSH2 0x08fc 000013e2: MUL 000013e3: SWAP2 000013e4: DUP5 000013e5: SWAP2 000013e6: DUP2 000013e7: DUP2 000013e8: DUP2 000013e9: DUP6 000013ea: DUP9 000013eb: DUP9 000013ec: CALL 000013ed: SWAP4 000013ee: POP 000013ef: POP 000013f0: POP 000013f1: POP 000013f2: ISZERO 000013f3: DUP1 000013f4: ISZERO 000013f5: PUSH2 0x0f4e 000013f8: JUMPI 000013f9: RETURNDATASIZE 000013fa: PUSH1 0x00 000013fc: DUP1 000013fd: RETURNDATACOPY 000013fe: RETURNDATASIZE 000013ff: PUSH1 0x00 00001401: REVERT 00001402: INVALID 00001403: MSIZE 00001404: PUSH16 0x752063616e6e6f742077697468647261 00001415: PUSH24 0x206265666f7265207468652061756374696f6e2069732065 0000142e: PUSH15 0x646564206f72206974206661696c65 0000143e: PUSH5 0x2e4e6f7420 00001444: PUSH6 0x6e6f75676820 0000144b: PUSH6 0x746865722077 00001452: PUSH2 0x7320 00001455: PUSH17 0x726f766964656420666f72206269646469 00001467: PUSH15 0x672e5468652066756e6374696f6e20 00001477: PUSH4 0x616e206f 0000147c: PUSH15 0x6c792062652063616c6c6564206279 0000148c: KECCAK256 0000148d: PUSH21 0x6865206f776e6572546865206465706f736974206c 000014a3: PUSH16 0x636b657220636f6e7472616374206973 000014b4: KECCAK256 000014b5: PUSH15 0x6f7420696e697469616c697a656441 000014c5: PUSH22 0x6374696f6e206973206e6f7420696e20746865207072 000014dc: PUSH16 0x70657220737461746520666f72206465 000014ed: PUSH20 0x6972656420616374696f6e2e5468652061756374 00001502: PUSH10 0x6f6e2063616e6e6f7420 0000150d: PUSH3 0x652063 00001511: PUSH13 0x6f736564207468697320656172 0000151f: PUSH13 0x792e54696d6573206c6f6e6765 0000152d: PUSH19 0x207468616e2031303020796561727320617265 00001541: KECCAK256 00001542: PUSH15 0x6f7420737570706f727465642e5468 00001552: PUSH6 0x206c696d6974 00001559: KECCAK256 0000155a: PUSH16 0x66207061727469636970616e74732068 0000156b: PUSH2 0x7320 0000156e: PUSH2 0x6c72 00001571: PUSH6 0x616479206265 00001578: PUSH6 0x6e2072656163 0000157f: PUSH9 0x65642e546865207365 00001589: PUSH15 0x64657220686173206e6f7468696e67 00001599: KECCAK256 0000159a: PUSH21 0x6f2077697468647261772ea165627a7a72305820f0 000015b0: UNKNOWN(0x25) 000015b1: UNKNOWN(0xCF) 000015b2: UNKNOWN(0xF7) 000015b3: UNKNOWN(0x21) 000015b4: UNKNOWN(0x0C) 000015b5: UNKNOWN(0xAC) 000015b6: PUSH0 000015b7: UNKNOWN(0xCC) 000015b8: UNKNOWN(0x23) 000015b9: SLT 000015ba: UNKNOWN(0x0E) 000015bb: MSIZE 000015bc: STOP 000015bd: UNKNOWN(0xE1) 000015be: DIV 000015bf: UNKNOWN(0xAD) 000015c0: PUSH30
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x61f1a25969c599b40c8fc1766219da78437bf285303dcae4528f244311c4ebcd
call_targets:
0x7255e01f934307ffb7a41fc78b6b1688f5dc6845
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x61f1a25969c599b40c8fc1766219da78437bf285303dcae4528f244311c4ebcd",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7255e01f934307ffb7a41fc78b6b1688f5dc6845"
],
"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": "0x9d1b464a",
"selector": "0x9d1b464a",
"calldata_variants": [
"0x9d1b464a",
"0x9d1b464a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e21ef60",
"selector": "0x9e21ef60",
"calldata_variants": [
"0x9e21ef60",
"0x9e21ef600000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcff29dfd",
"selector": "0xcff29dfd",
"calldata_variants": [
"0xcff29dfd",
"0xcff29dfd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf1a9af89",
"selector": "0xf1a9af89",
"calldata_variants": [
"0xf1a9af89",
"0xf1a9af890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfcd15908",
"selector": "0xfcd15908",
"calldata_variants": [
"0xfcd15908",
"0xfcd159080000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x78e97925",
"selector": "0x78e97925",
"calldata_variants": [
"0x78e97925",
"0x78e979250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7f649783",
"selector": "0x7f649783",
"calldata_variants": [
"0x7f649783",
"0x7f6497830000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2141,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2847,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4874,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x61f1a25969c599b40c8fc1766219da78437bf285303dcae4528f244311c4ebcd
call_targets:
0x7255e01f934307ffb7a41fc78b6b1688f5dc6845
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x61f1a25969c599b40c8fc1766219da78437bf285303dcae4528f244311c4ebcd",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7255e01f934307ffb7a41fc78b6b1688f5dc6845"
],
"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": "0x9d1b464a",
"selector": "0x9d1b464a",
"calldata_variants": [
"0x9d1b464a",
"0x9d1b464a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e21ef60",
"selector": "0x9e21ef60",
"calldata_variants": [
"0x9e21ef60",
"0x9e21ef600000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcff29dfd",
"selector": "0xcff29dfd",
"calldata_variants": [
"0xcff29dfd",
"0xcff29dfd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf1a9af89",
"selector": "0xf1a9af89",
"calldata_variants": [
"0xf1a9af89",
"0xf1a9af890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfcd15908",
"selector": "0xfcd15908",
"calldata_variants": [
"0xfcd15908",
"0xfcd159080000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x78e97925",
"selector": "0x78e97925",
"calldata_variants": [
"0x78e97925",
"0x78e979250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7f649783",
"selector": "0x7f649783",
"calldata_variants": [
"0x7f649783",
"0x7f6497830000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2141,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2847,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4874,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|