019b477e-c481-71ef-8bfa-e4b737a23c71
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 |
|---|---|---|---|---|
| 25421 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25422 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 90849 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 90850 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 90851 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 90852 | 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 0x010d 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x9b6b3f6b 00000019: GT 0000001a: PUSH2 0x0095 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xbbb86327 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xbbb86327 0000002f: EQ 00000030: PUSH2 0x036a 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc1dfa0bb 0000003a: EQ 0000003b: PUSH2 0x038a 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd2de0c54 00000045: EQ 00000046: PUSH2 0x03aa 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe59a58ee 00000050: EQ 00000051: PUSH2 0x043a 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x0442 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x9b6b3f6b 0000006b: EQ 0000006c: PUSH2 0x02fd 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xae169a50 00000076: EQ 00000077: PUSH2 0x032a 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xb37f105b 00000081: EQ 00000082: PUSH2 0x01ac 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xb865749d 0000008c: EQ 0000008d: PUSH2 0x034a 00000090: JUMPI 00000091: PUSH1 0x00 00000093: DUP1 00000094: REVERT 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x54fabe36 0000009c: GT 0000009d: PUSH2 0x00dc 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x54fabe36 000000a7: EQ 000000a8: PUSH2 0x024c 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x6954f3e5 000000b2: EQ 000000b3: PUSH2 0x028a 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x6eb604e0 000000bd: EQ 000000be: PUSH2 0x02aa 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x715018a6 000000c8: EQ 000000c9: PUSH2 0x02ca 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x8da5cb5b 000000d3: EQ 000000d4: PUSH2 0x02df 000000d7: JUMPI 000000d8: PUSH1 0x00 000000da: DUP1 000000db: REVERT 000000dc: JUMPDEST 000000dd: DUP1 000000de: PUSH4 0x01ffc9a7 000000e3: EQ 000000e4: PUSH2 0x0121 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x150b7a02 000000ee: EQ 000000ef: PUSH2 0x0167 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x35af2a5c 000000f9: EQ 000000fa: PUSH2 0x01ac 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x47ccca02 00000104: EQ 00000105: PUSH2 0x0214 00000108: JUMPI 00000109: PUSH1 0x00 0000010b: DUP1 0000010c: REVERT 0000010d: JUMPDEST 0000010e: CALLDATASIZE 0000010f: PUSH2 0x011c 00000112: JUMPI 00000113: PUSH2 0x011a 00000116: PUSH2 0x0462 00000119: JUMP 0000011a: JUMPDEST 0000011b: STOP 0000011c: JUMPDEST 0000011d: PUSH1 0x00 0000011f: DUP1 00000120: REVERT 00000121: JUMPDEST 00000122: CALLVALUE 00000123: DUP1 00000124: ISZERO 00000125: PUSH2 0x012d 00000128: JUMPI 00000129: PUSH1 0x00 0000012b: DUP1 0000012c: REVERT 0000012d: JUMPDEST 0000012e: POP 0000012f: PUSH2 0x0152 00000132: PUSH2 0x013c 00000135: CALLDATASIZE 00000136: PUSH1 0x04 00000138: PUSH2 0x154b 0000013b: JUMP 0000013c: JUMPDEST 0000013d: PUSH1 0x01 0000013f: PUSH1 0x01 00000141: PUSH1 0xe0 00000143: SHL 00000144: SUB 00000145: NOT 00000146: AND 00000147: PUSH4 0x0a85bd01 0000014c: PUSH1 0xe1 0000014e: SHL 0000014f: EQ 00000150: SWAP1 00000151: JUMP 00000152: JUMPDEST 00000153: PUSH1 0x40 00000155: MLOAD 00000156: SWAP1 00000157: ISZERO 00000158: ISZERO 00000159: DUP2 0000015a: MSTORE 0000015b: PUSH1 0x20 0000015d: ADD 0000015e: JUMPDEST 0000015f: PUSH1 0x40 00000161: MLOAD 00000162: DUP1 00000163: SWAP2 00000164: SUB 00000165: SWAP1 00000166: RETURN 00000167: JUMPDEST 00000168: CALLVALUE 00000169: DUP1 0000016a: ISZERO 0000016b: PUSH2 0x0173 0000016e: JUMPI 0000016f: PUSH1 0x00 00000171: DUP1 00000172: REVERT 00000173: JUMPDEST 00000174: POP 00000175: PUSH2 0x0193 00000178: PUSH2 0x0182 0000017b: CALLDATASIZE 0000017c: PUSH1 0x04 0000017e: PUSH2 0x13c5 00000181: JUMP 00000182: JUMPDEST 00000183: PUSH4 0x0a85bd01 00000188: PUSH1 0xe1 0000018a: SHL 0000018b: SWAP6 0000018c: SWAP5 0000018d: POP 0000018e: POP 0000018f: POP 00000190: POP 00000191: POP 00000192: JUMP 00000193: JUMPDEST 00000194: PUSH1 0x40 00000196: MLOAD 00000197: PUSH1 0x01 00000199: PUSH1 0x01 0000019b: PUSH1 0xe0 0000019d: SHL 0000019e: SUB 0000019f: NOT 000001a0: SWAP1 000001a1: SWAP2 000001a2: AND 000001a3: DUP2 000001a4: MSTORE 000001a5: PUSH1 0x20 000001a7: ADD 000001a8: PUSH2 0x015e 000001ab: JUMP 000001ac: JUMPDEST 000001ad: CALLVALUE 000001ae: DUP1 000001af: ISZERO 000001b0: PUSH2 0x01b8 000001b3: JUMPI 000001b4: PUSH1 0x00 000001b6: DUP1 000001b7: REVERT 000001b8: JUMPDEST 000001b9: POP 000001ba: PUSH2 0x01cc 000001bd: PUSH2 0x01c7 000001c0: CALLDATASIZE 000001c1: PUSH1 0x04 000001c3: PUSH2 0x1575 000001c6: JUMP 000001c7: JUMPDEST 000001c8: PUSH2 0x05f7 000001cb: JUMP 000001cc: JUMPDEST 000001cd: PUSH1 0x40 000001cf: MLOAD 000001d0: PUSH2 0x015e 000001d3: SWAP2 000001d4: SWAP1 000001d5: DUP2 000001d6: MLOAD 000001d7: DUP2 000001d8: MSTORE 000001d9: PUSH1 0x20 000001db: DUP1 000001dc: DUP4 000001dd: ADD 000001de: MLOAD 000001df: SWAP1 000001e0: DUP3 000001e1: ADD 000001e2: MSTORE 000001e3: PUSH1 0x40 000001e5: DUP1 000001e6: DUP4 000001e7: ADD 000001e8: MLOAD 000001e9: PUSH1 0x01 000001eb: PUSH1 0x01 000001ed: PUSH1 0xa0 000001ef: SHL 000001f0: SUB 000001f1: AND 000001f2: SWAP1 000001f3: DUP3 000001f4: ADD 000001f5: MSTORE 000001f6: PUSH1 0x60 000001f8: DUP1 000001f9: DUP4 000001fa: ADD 000001fb: MLOAD 000001fc: ISZERO 000001fd: ISZERO 000001fe: SWAP1 000001ff: DUP3 00000200: ADD 00000201: MSTORE 00000202: PUSH1 0x80 00000204: SWAP2 00000205: DUP3 00000206: ADD 00000207: MLOAD 00000208: SWAP2 00000209: DUP2 0000020a: ADD 0000020b: SWAP2 0000020c: SWAP1 0000020d: SWAP2 0000020e: MSTORE 0000020f: PUSH1 0xa0 00000211: ADD 00000212: SWAP1 00000213: JUMP 00000214: JUMPDEST 00000215: CALLVALUE 00000216: DUP1 00000217: ISZERO 00000218: PUSH2 0x0220 0000021b: JUMPI 0000021c: PUSH1 0x00 0000021e: DUP1 0000021f: REVERT 00000220: JUMPDEST 00000221: POP 00000222: PUSH1 0x03 00000224: SLOAD 00000225: PUSH2 0x0234 00000228: SWAP1 00000229: PUSH1 0x01 0000022b: PUSH1 0x01 0000022d: PUSH1 0xa0 0000022f: SHL 00000230: SUB 00000231: AND 00000232: DUP2 00000233: JUMP 00000234: JUMPDEST 00000235: PUSH1 0x40 00000237: MLOAD 00000238: PUSH1 0x01 0000023a: PUSH1 0x01 0000023c: PUSH1 0xa0 0000023e: SHL 0000023f: SUB 00000240: SWAP1 00000241: SWAP2 00000242: AND 00000243: DUP2 00000244: MSTORE 00000245: PUSH1 0x20 00000247: ADD 00000248: PUSH2 0x015e 0000024b: JUMP 0000024c: JUMPDEST 0000024d: CALLVALUE 0000024e: DUP1 0000024f: ISZERO 00000250: PUSH2 0x0258 00000253: JUMPI 00000254: PUSH1 0x00 00000256: DUP1 00000257: REVERT 00000258: JUMPDEST 00000259: POP 0000025a: PUSH2 0x027c 0000025d: PUSH2 0x0267 00000260: CALLDATASIZE 00000261: PUSH1 0x04 00000263: PUSH2 0x1575 00000266: JUMP 00000267: JUMPDEST 00000268: PUSH1 0x00 0000026a: SWAP1 0000026b: DUP2 0000026c: MSTORE 0000026d: PUSH1 0x02 0000026f: PUSH1 0x20 00000271: MSTORE 00000272: PUSH1 0x40 00000274: SWAP1 00000275: KECCAK256 00000276: PUSH1 0x01 00000278: ADD 00000279: SLOAD 0000027a: SWAP1 0000027b: JUMP 0000027c: JUMPDEST 0000027d: PUSH1 0x40 0000027f: MLOAD 00000280: SWAP1 00000281: DUP2 00000282: MSTORE 00000283: PUSH1 0x20 00000285: ADD 00000286: PUSH2 0x015e 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 0x011a 0000029b: PUSH2 0x02a5 0000029e: CALLDATASIZE 0000029f: PUSH1 0x04 000002a1: PUSH2 0x1464 000002a4: JUMP 000002a5: JUMPDEST 000002a6: PUSH2 0x0692 000002a9: JUMP 000002aa: JUMPDEST 000002ab: CALLVALUE 000002ac: DUP1 000002ad: ISZERO 000002ae: PUSH2 0x02b6 000002b1: JUMPI 000002b2: PUSH1 0x00 000002b4: DUP1 000002b5: REVERT 000002b6: JUMPDEST 000002b7: POP 000002b8: PUSH2 0x011a 000002bb: PUSH2 0x02c5 000002be: CALLDATASIZE 000002bf: PUSH1 0x04 000002c1: PUSH2 0x1575 000002c4: JUMP 000002c5: JUMPDEST 000002c6: PUSH2 0x0901 000002c9: JUMP 000002ca: JUMPDEST 000002cb: CALLVALUE 000002cc: DUP1 000002cd: ISZERO 000002ce: PUSH2 0x02d6 000002d1: JUMPI 000002d2: PUSH1 0x00 000002d4: DUP1 000002d5: REVERT 000002d6: JUMPDEST 000002d7: POP 000002d8: PUSH2 0x011a 000002db: PUSH2 0x0bf4 000002de: JUMP 000002df: JUMPDEST 000002e0: CALLVALUE 000002e1: DUP1 000002e2: ISZERO 000002e3: PUSH2 0x02eb 000002e6: JUMPI 000002e7: PUSH1 0x00 000002e9: DUP1 000002ea: REVERT 000002eb: JUMPDEST 000002ec: POP 000002ed: PUSH1 0x00 000002ef: SLOAD 000002f0: PUSH1 0x01 000002f2: PUSH1 0x01 000002f4: PUSH1 0xa0 000002f6: SHL 000002f7: SUB 000002f8: AND 000002f9: PUSH2 0x0234 000002fc: JUMP 000002fd: JUMPDEST 000002fe: CALLVALUE 000002ff: DUP1 00000300: ISZERO 00000301: PUSH2 0x0309 00000304: JUMPI 00000305: PUSH1 0x00 00000307: DUP1 00000308: REVERT 00000309: JUMPDEST 0000030a: POP 0000030b: PUSH2 0x027c 0000030e: PUSH2 0x0318 00000311: CALLDATASIZE 00000312: PUSH1 0x04 00000314: PUSH2 0x1575 00000317: JUMP 00000318: JUMPDEST 00000319: PUSH1 0x00 0000031b: SWAP1 0000031c: DUP2 0000031d: MSTORE 0000031e: PUSH1 0x02 00000320: PUSH1 0x20 00000322: MSTORE 00000323: PUSH1 0x40 00000325: SWAP1 00000326: KECCAK256 00000327: SLOAD 00000328: SWAP1 00000329: JUMP 0000032a: JUMPDEST 0000032b: CALLVALUE 0000032c: DUP1 0000032d: ISZERO 0000032e: PUSH2 0x0336 00000331: JUMPI 00000332: PUSH1 0x00 00000334: DUP1 00000335: REVERT 00000336: JUMPDEST 00000337: POP 00000338: PUSH2 0x011a 0000033b: PUSH2 0x0345 0000033e: CALLDATASIZE 0000033f: PUSH1 0x04 00000341: PUSH2 0x1575 00000344: JUMP 00000345: JUMPDEST 00000346: PUSH2 0x0c58 00000349: JUMP 0000034a: JUMPDEST 0000034b: CALLVALUE 0000034c: DUP1 0000034d: ISZERO 0000034e: PUSH2 0x0356 00000351: JUMPI 00000352: PUSH1 0x00 00000354: DUP1 00000355: REVERT 00000356: JUMPDEST 00000357: POP 00000358: PUSH2 0x027c 0000035b: PUSH2 0x0365 0000035e: CALLDATASIZE 0000035f: PUSH1 0x04 00000361: PUSH2 0x1575 00000364: JUMP 00000365: JUMPDEST 00000366: PUSH2 0x0ce8 00000369: JUMP 0000036a: JUMPDEST 0000036b: CALLVALUE 0000036c: DUP1 0000036d: ISZERO 0000036e: PUSH2 0x0376 00000371: JUMPI 00000372: PUSH1 0x00 00000374: DUP1 00000375: REVERT 00000376: JUMPDEST 00000377: POP 00000378: PUSH2 0x011a 0000037b: PUSH2 0x0385 0000037e: CALLDATASIZE 0000037f: PUSH1 0x04 00000381: PUSH2 0x1464 00000384: JUMP 00000385: JUMPDEST 00000386: PUSH2 0x0d09 00000389: JUMP 0000038a: JUMPDEST 0000038b: CALLVALUE 0000038c: DUP1 0000038d: ISZERO 0000038e: PUSH2 0x0396 00000391: JUMPI 00000392: PUSH1 0x00 00000394: DUP1 00000395: REVERT 00000396: JUMPDEST 00000397: POP 00000398: PUSH2 0x011a 0000039b: PUSH2 0x03a5 0000039e: CALLDATASIZE 0000039f: PUSH1 0x04 000003a1: PUSH2 0x1575 000003a4: JUMP 000003a5: JUMPDEST 000003a6: PUSH2 0x0dbc 000003a9: JUMP 000003aa: JUMPDEST 000003ab: CALLVALUE 000003ac: DUP1 000003ad: ISZERO 000003ae: PUSH2 0x03b6 000003b1: JUMPI 000003b2: PUSH1 0x00 000003b4: DUP1 000003b5: REVERT 000003b6: JUMPDEST 000003b7: POP 000003b8: PUSH2 0x0404 000003bb: PUSH2 0x03c5 000003be: CALLDATASIZE 000003bf: PUSH1 0x04 000003c1: PUSH2 0x1575 000003c4: JUMP 000003c5: JUMPDEST 000003c6: PUSH1 0x02 000003c8: PUSH1 0x20 000003ca: DUP2 000003cb: SWAP1 000003cc: MSTORE 000003cd: PUSH1 0x00 000003cf: SWAP2 000003d0: DUP3 000003d1: MSTORE 000003d2: PUSH1 0x40 000003d4: SWAP1 000003d5: SWAP2 000003d6: KECCAK256 000003d7: DUP1 000003d8: SLOAD 000003d9: PUSH1 0x01 000003db: DUP3 000003dc: ADD 000003dd: SLOAD 000003de: SWAP3 000003df: DUP3 000003e0: ADD 000003e1: SLOAD 000003e2: PUSH1 0x03 000003e4: SWAP1 000003e5: SWAP3 000003e6: ADD 000003e7: SLOAD 000003e8: SWAP1 000003e9: SWAP3 000003ea: SWAP2 000003eb: PUSH1 0x01 000003ed: PUSH1 0x01 000003ef: PUSH1 0xa0 000003f1: SHL 000003f2: SUB 000003f3: DUP2 000003f4: AND 000003f5: SWAP2 000003f6: PUSH1 0x01 000003f8: PUSH1 0xa0 000003fa: SHL 000003fb: SWAP1 000003fc: SWAP2 000003fd: DIV 000003fe: PUSH1 0xff 00000400: AND 00000401: SWAP1 00000402: DUP6 00000403: JUMP 00000404: JUMPDEST 00000405: PUSH1 0x40 00000407: DUP1 00000408: MLOAD 00000409: SWAP6 0000040a: DUP7 0000040b: MSTORE 0000040c: PUSH1 0x20 0000040e: DUP7 0000040f: ADD 00000410: SWAP5 00000411: SWAP1 00000412: SWAP5 00000413: MSTORE 00000414: PUSH1 0x01 00000416: PUSH1 0x01 00000418: PUSH1 0xa0 0000041a: SHL 0000041b: SUB 0000041c: SWAP1 0000041d: SWAP3 0000041e: AND 0000041f: SWAP3 00000420: DUP5 00000421: ADD 00000422: SWAP3 00000423: SWAP1 00000424: SWAP3 00000425: MSTORE 00000426: SWAP1 00000427: ISZERO 00000428: ISZERO 00000429: PUSH1 0x60 0000042b: DUP4 0000042c: ADD 0000042d: MSTORE 0000042e: PUSH1 0x80 00000430: DUP3 00000431: ADD 00000432: MSTORE 00000433: PUSH1 0xa0 00000435: ADD 00000436: PUSH2 0x015e 00000439: JUMP 0000043a: JUMPDEST 0000043b: PUSH2 0x011a 0000043e: PUSH2 0x0462 00000441: JUMP 00000442: JUMPDEST 00000443: CALLVALUE 00000444: DUP1 00000445: ISZERO 00000446: PUSH2 0x044e 00000449: JUMPI 0000044a: PUSH1 0x00 0000044c: DUP1 0000044d: REVERT 0000044e: JUMPDEST 0000044f: POP 00000450: PUSH2 0x011a 00000453: PUSH2 0x045d 00000456: CALLDATASIZE 00000457: PUSH1 0x04 00000459: PUSH2 0x138b 0000045c: JUMP 0000045d: JUMPDEST 0000045e: PUSH2 0x0e34 00000461: JUMP 00000462: JUMPDEST 00000463: CALLVALUE 00000464: ISZERO 00000465: PUSH2 0x05f5 00000468: JUMPI 00000469: PUSH1 0x00 0000046b: DUP1 0000046c: JUMPDEST 0000046d: PUSH1 0x01 0000046f: SLOAD 00000470: DUP2 00000471: LT 00000472: ISZERO 00000473: PUSH2 0x0525 00000476: JUMPI 00000477: PUSH1 0x00 00000479: PUSH1 0x02 0000047b: PUSH1 0x00 0000047d: PUSH1 0x01 0000047f: DUP5 00000480: DUP2 00000481: SLOAD 00000482: DUP2 00000483: LT 00000484: PUSH2 0x048f 00000487: JUMPI 00000488: PUSH2 0x048f 0000048b: PUSH2 0x1669 0000048e: JUMP 0000048f: JUMPDEST 00000490: PUSH1 0x00 00000492: SWAP2 00000493: DUP3 00000494: MSTORE 00000495: PUSH1 0x20 00000497: DUP1 00000498: DUP4 00000499: KECCAK256 0000049a: SWAP2 0000049b: SWAP1 0000049c: SWAP2 0000049d: ADD 0000049e: SLOAD 0000049f: DUP4 000004a0: MSTORE 000004a1: DUP3 000004a2: DUP2 000004a3: ADD 000004a4: SWAP4 000004a5: SWAP1 000004a6: SWAP4 000004a7: MSTORE 000004a8: PUSH1 0x40 000004aa: SWAP2 000004ab: DUP3 000004ac: ADD 000004ad: SWAP1 000004ae: KECCAK256 000004af: DUP2 000004b0: MLOAD 000004b1: PUSH1 0xa0 000004b3: DUP2 000004b4: ADD 000004b5: DUP4 000004b6: MSTORE 000004b7: DUP2 000004b8: SLOAD 000004b9: DUP1 000004ba: DUP3 000004bb: MSTORE 000004bc: PUSH1 0x01 000004be: DUP4 000004bf: ADD 000004c0: SLOAD 000004c1: SWAP5 000004c2: DUP3 000004c3: ADD 000004c4: SWAP5 000004c5: SWAP1 000004c6: SWAP5 000004c7: MSTORE 000004c8: PUSH1 0x02 000004ca: DUP3 000004cb: ADD 000004cc: SLOAD 000004cd: PUSH1 0x01 000004cf: PUSH1 0x01 000004d1: PUSH1 0xa0 000004d3: SHL 000004d4: SUB 000004d5: DUP2 000004d6: AND 000004d7: SWAP4 000004d8: DUP3 000004d9: ADD 000004da: SWAP4 000004db: SWAP1 000004dc: SWAP4 000004dd: MSTORE 000004de: PUSH1 0x01 000004e0: PUSH1 0xa0 000004e2: SHL 000004e3: SWAP1 000004e4: SWAP3 000004e5: DIV 000004e6: PUSH1 0xff 000004e8: AND 000004e9: ISZERO 000004ea: ISZERO 000004eb: PUSH1 0x60 000004ed: DUP4 000004ee: ADD 000004ef: MSTORE 000004f0: PUSH1 0x03 000004f2: ADD 000004f3: SLOAD 000004f4: PUSH1 0x80 000004f6: DUP3 000004f7: ADD 000004f8: MSTORE 000004f9: SWAP2 000004fa: POP 000004fb: PUSH2 0x0505 000004fe: SWAP1 000004ff: TIMESTAMP 00000500: SWAP1 00000501: PUSH2 0x0efc 00000504: JUMP 00000505: JUMPDEST 00000506: PUSH2 0x050f 00000509: SWAP1 0000050a: DUP5 0000050b: PUSH2 0x15b2 0000050e: JUMP 0000050f: JUMPDEST 00000510: SWAP3 00000511: POP 00000512: POP 00000513: DUP1 00000514: DUP1 00000515: PUSH2 0x051d 00000518: SWAP1 00000519: PUSH2 0x1622 0000051c: JUMP 0000051d: JUMPDEST 0000051e: SWAP2 0000051f: POP 00000520: POP 00000521: PUSH2 0x046c 00000524: JUMP 00000525: JUMPDEST 00000526: POP 00000527: PUSH1 0x00 00000529: JUMPDEST 0000052a: PUSH1 0x01 0000052c: SLOAD 0000052d: DUP2 0000052e: LT 0000052f: ISZERO 00000530: PUSH2 0x05b9 00000533: JUMPI 00000534: PUSH1 0x00 00000536: PUSH1 0x02 00000538: PUSH1 0x00 0000053a: PUSH1 0x01 0000053c: DUP5 0000053d: DUP2 0000053e: SLOAD 0000053f: DUP2 00000540: LT 00000541: PUSH2 0x054c 00000544: JUMPI 00000545: PUSH2 0x054c 00000548: PUSH2 0x1669 0000054b: JUMP 0000054c: JUMPDEST 0000054d: SWAP1 0000054e: PUSH1 0x00 00000550: MSTORE 00000551: PUSH1 0x20 00000553: PUSH1 0x00 00000555: KECCAK256 00000556: ADD 00000557: SLOAD 00000558: DUP2 00000559: MSTORE 0000055a: PUSH1 0x20 0000055c: ADD 0000055d: SWAP1 0000055e: DUP2 0000055f: MSTORE 00000560: PUSH1 0x20 00000562: ADD 00000563: PUSH1 0x00 00000565: KECCAK256 00000566: SWAP1 00000567: POP 00000568: PUSH1 0x00 0000056a: PUSH2 0x0580 0000056d: DUP3 0000056e: PUSH1 0x00 00000570: ADD 00000571: SLOAD 00000572: TIMESTAMP 00000573: PUSH2 0x0efc 00000576: SWAP1 00000577: SWAP2 00000578: SWAP1 00000579: PUSH4 0xffffffff 0000057e: AND 0000057f: JUMP 00000580: JUMPDEST 00000581: SWAP1 00000582: POP 00000583: PUSH1 0x00 00000585: PUSH2 0x0598 00000588: DUP6 00000589: PUSH2 0x0592 0000058c: DUP5 0000058d: CALLVALUE 0000058e: PUSH2 0x0f0f 00000591: JUMP 00000592: JUMPDEST 00000593: SWAP1 00000594: PUSH2 0x0f1b 00000597: JUMP 00000598: JUMPDEST 00000599: TIMESTAMP 0000059a: DUP5 0000059b: SSTORE 0000059c: PUSH1 0x01 0000059e: SWAP1 0000059f: SWAP4 000005a0: ADD 000005a1: SWAP3 000005a2: SWAP1 000005a3: SWAP3 000005a4: SSTORE 000005a5: POP 000005a6: DUP2 000005a7: SWAP1 000005a8: POP 000005a9: PUSH2 0x05b1 000005ac: DUP2 000005ad: PUSH2 0x1622 000005b0: JUMP 000005b1: JUMPDEST 000005b2: SWAP2 000005b3: POP 000005b4: POP 000005b5: PUSH2 0x0529 000005b8: JUMP 000005b9: JUMPDEST 000005ba: POP 000005bb: PUSH1 0x40 000005bd: DUP1 000005be: MLOAD 000005bf: TIMESTAMP 000005c0: DUP2 000005c1: MSTORE 000005c2: CALLVALUE 000005c3: PUSH1 0x20 000005c5: DUP3 000005c6: ADD 000005c7: MSTORE 000005c8: PUSH32 0x6c07ee05dcf262f13abf9d87b846ee789d2f90fe991d495acd7d7fc109ee1f55 000005e9: SWAP2 000005ea: ADD 000005eb: JUMPDEST 000005ec: PUSH1 0x40 000005ee: MLOAD 000005ef: DUP1 000005f0: SWAP2 000005f1: SUB 000005f2: SWAP1 000005f3: LOG1 000005f4: POP 000005f5: JUMPDEST 000005f6: JUMP 000005f7: JUMPDEST 000005f8: PUSH2 0x0634 000005fb: PUSH1 0x40 000005fd: MLOAD 000005fe: DUP1 000005ff: PUSH1 0xa0 00000601: ADD 00000602: PUSH1 0x40 00000604: MSTORE 00000605: DUP1 00000606: PUSH1 0x00 00000608: DUP2 00000609: MSTORE 0000060a: PUSH1 0x20 0000060c: ADD 0000060d: PUSH1 0x00 0000060f: DUP2 00000610: MSTORE 00000611: PUSH1 0x20 00000613: ADD 00000614: PUSH1 0x00 00000616: PUSH1 0x01 00000618: PUSH1 0x01 0000061a: PUSH1 0xa0 0000061c: SHL 0000061d: SUB 0000061e: AND 0000061f: DUP2 00000620: MSTORE 00000621: PUSH1 0x20 00000623: ADD 00000624: PUSH1 0x00 00000626: ISZERO 00000627: ISZERO 00000628: DUP2 00000629: MSTORE 0000062a: PUSH1 0x20 0000062c: ADD 0000062d: PUSH1 0x00 0000062f: DUP2 00000630: MSTORE 00000631: POP 00000632: SWAP1 00000633: JUMP 00000634: JUMPDEST 00000635: POP 00000636: PUSH1 0x00 00000638: SWAP1 00000639: DUP2 0000063a: MSTORE 0000063b: PUSH1 0x02 0000063d: PUSH1 0x20 0000063f: DUP2 00000640: DUP2 00000641: MSTORE 00000642: PUSH1 0x40 00000644: SWAP3 00000645: DUP4 00000646: SWAP1 00000647: KECCAK256 00000648: DUP4 00000649: MLOAD 0000064a: PUSH1 0xa0 0000064c: DUP2 0000064d: ADD 0000064e: DUP6 0000064f: MSTORE 00000650: DUP2 00000651: SLOAD 00000652: DUP2 00000653: MSTORE 00000654: PUSH1 0x01 00000656: DUP3 00000657: ADD 00000658: SLOAD 00000659: SWAP3 0000065a: DUP2 0000065b: ADD 0000065c: SWAP3 0000065d: SWAP1 0000065e: SWAP3 0000065f: MSTORE 00000660: SWAP2 00000661: DUP3 00000662: ADD 00000663: SLOAD 00000664: PUSH1 0x01 00000666: PUSH1 0x01 00000668: PUSH1 0xa0 0000066a: SHL 0000066b: SUB 0000066c: DUP2 0000066d: AND 0000066e: SWAP4 0000066f: DUP3 00000670: ADD 00000671: SWAP4 00000672: SWAP1 00000673: SWAP4 00000674: MSTORE 00000675: PUSH1 0x01 00000677: PUSH1 0xa0 00000679: SHL 0000067a: SWAP1 0000067b: SWAP3 0000067c: DIV 0000067d: PUSH1 0xff 0000067f: AND 00000680: ISZERO 00000681: ISZERO 00000682: PUSH1 0x60 00000684: DUP4 00000685: ADD 00000686: MSTORE 00000687: PUSH1 0x03 00000689: ADD 0000068a: SLOAD 0000068b: PUSH1 0x80 0000068d: DUP3 0000068e: ADD 0000068f: MSTORE 00000690: SWAP1 00000691: JUMP 00000692: JUMPDEST 00000693: PUSH1 0x00 00000695: DUP1 00000696: JUMPDEST 00000697: DUP3 00000698: MLOAD 00000699: DUP2 0000069a: LT 0000069b: ISZERO 0000069c: PUSH2 0x08fc 0000069f: JUMPI 000006a0: DUP3 000006a1: DUP2 000006a2: DUP2 000006a3: MLOAD 000006a4: DUP2 000006a5: LT 000006a6: PUSH2 0x06b1 000006a9: JUMPI 000006aa: PUSH2 0x06b1 000006ad: PUSH2 0x1669 000006b0: JUMP 000006b1: JUMPDEST 000006b2: PUSH1 0x20 000006b4: SWAP1 000006b5: DUP2 000006b6: MUL 000006b7: SWAP2 000006b8: SWAP1 000006b9: SWAP2 000006ba: ADD 000006bb: ADD 000006bc: MLOAD 000006bd: PUSH1 0x03 000006bf: SLOAD 000006c0: PUSH1 0x40 000006c2: MLOAD 000006c3: PUSH4 0x31a9108f 000006c8: PUSH1 0xe1 000006ca: SHL 000006cb: DUP2 000006cc: MSTORE 000006cd: PUSH1 0x04 000006cf: DUP2 000006d0: ADD 000006d1: DUP4 000006d2: SWAP1 000006d3: MSTORE 000006d4: SWAP2 000006d5: SWAP4 000006d6: POP 000006d7: CALLER 000006d8: SWAP2 000006d9: PUSH1 0x01 000006db: PUSH1 0x01 000006dd: PUSH1 0xa0 000006df: SHL 000006e0: SUB 000006e1: SWAP1 000006e2: SWAP2 000006e3: AND 000006e4: SWAP1 000006e5: PUSH4 0x6352211e 000006ea: SWAP1 000006eb: PUSH1 0x24 000006ed: ADD 000006ee: PUSH1 0x20 000006f0: PUSH1 0x40 000006f2: MLOAD 000006f3: DUP1 000006f4: DUP4 000006f5: SUB 000006f6: DUP2 000006f7: DUP7 000006f8: DUP1 000006f9: EXTCODESIZE 000006fa: ISZERO 000006fb: DUP1 000006fc: ISZERO 000006fd: PUSH2 0x0705 00000700: JUMPI 00000701: PUSH1 0x00 00000703: DUP1 00000704: REVERT 00000705: JUMPDEST 00000706: POP 00000707: GAS 00000708: STATICCALL 00000709: ISZERO 0000070a: DUP1 0000070b: ISZERO 0000070c: PUSH2 0x0719 0000070f: JUMPI 00000710: RETURNDATASIZE 00000711: PUSH1 0x00 00000713: DUP1 00000714: RETURNDATACOPY 00000715: RETURNDATASIZE 00000716: PUSH1 0x00 00000718: REVERT 00000719: JUMPDEST 0000071a: POP 0000071b: POP 0000071c: POP 0000071d: POP 0000071e: PUSH1 0x40 00000720: MLOAD 00000721: RETURNDATASIZE 00000722: PUSH1 0x1f 00000724: NOT 00000725: PUSH1 0x1f 00000727: DUP3 00000728: ADD 00000729: AND 0000072a: DUP3 0000072b: ADD 0000072c: DUP1 0000072d: PUSH1 0x40 0000072f: MSTORE 00000730: POP 00000731: DUP2 00000732: ADD 00000733: SWAP1 00000734: PUSH2 0x073d 00000737: SWAP2 00000738: SWAP1 00000739: PUSH2 0x13a8 0000073c: JUMP 0000073d: JUMPDEST 0000073e: PUSH1 0x01 00000740: PUSH1 0x01 00000742: PUSH1 0xa0 00000744: SHL 00000745: SUB 00000746: AND 00000747: EQ 00000748: PUSH2 0x0798 0000074b: JUMPI 0000074c: PUSH1 0x40 0000074e: MLOAD 0000074f: PUSH3 0x461bcd 00000753: PUSH1 0xe5 00000755: SHL 00000756: DUP2 00000757: MSTORE 00000758: PUSH1 0x20 0000075a: PUSH1 0x04 0000075c: DUP3 0000075d: ADD 0000075e: MSTORE 0000075f: PUSH1 0x1b 00000761: PUSH1 0x24 00000763: DUP3 00000764: ADD 00000765: MSTORE 00000766: PUSH32 0x5374616b696e673a204e6f7420746865204e4654206f776e6572210000000000 00000787: PUSH1 0x44 00000789: DUP3 0000078a: ADD 0000078b: MSTORE 0000078c: PUSH1 0x64 0000078e: ADD 0000078f: JUMPDEST 00000790: PUSH1 0x40 00000792: MLOAD 00000793: DUP1 00000794: SWAP2 00000795: SUB 00000796: SWAP1 00000797: REVERT 00000798: JUMPDEST 00000799: PUSH1 0x03 0000079b: SLOAD 0000079c: PUSH1 0x40 0000079e: MLOAD 0000079f: PUSH4 0xe985e9c5 000007a4: PUSH1 0xe0 000007a6: SHL 000007a7: DUP2 000007a8: MSTORE 000007a9: CALLER 000007aa: PUSH1 0x04 000007ac: DUP3 000007ad: ADD 000007ae: MSTORE 000007af: ADDRESS 000007b0: PUSH1 0x24 000007b2: DUP3 000007b3: ADD 000007b4: MSTORE 000007b5: PUSH1 0x01 000007b7: PUSH1 0x01 000007b9: PUSH1 0xa0 000007bb: SHL 000007bc: SUB 000007bd: SWAP1 000007be: SWAP2 000007bf: AND 000007c0: SWAP1 000007c1: PUSH4 0xe985e9c5 000007c6: SWAP1 000007c7: PUSH1 0x44 000007c9: ADD 000007ca: PUSH1 0x20 000007cc: PUSH1 0x40 000007ce: MLOAD 000007cf: DUP1 000007d0: DUP4 000007d1: SUB 000007d2: DUP2 000007d3: DUP7 000007d4: DUP1 000007d5: EXTCODESIZE 000007d6: ISZERO 000007d7: DUP1 000007d8: ISZERO 000007d9: PUSH2 0x07e1 000007dc: JUMPI 000007dd: PUSH1 0x00 000007df: DUP1 000007e0: REVERT 000007e1: JUMPDEST 000007e2: POP 000007e3: GAS 000007e4: STATICCALL 000007e5: ISZERO 000007e6: DUP1 000007e7: ISZERO 000007e8: PUSH2 0x07f5 000007eb: JUMPI 000007ec: RETURNDATASIZE 000007ed: PUSH1 0x00 000007ef: DUP1 000007f0: RETURNDATACOPY 000007f1: RETURNDATASIZE 000007f2: PUSH1 0x00 000007f4: REVERT 000007f5: JUMPDEST 000007f6: POP 000007f7: POP 000007f8: POP 000007f9: POP 000007fa: PUSH1 0x40 000007fc: MLOAD 000007fd: RETURNDATASIZE 000007fe: PUSH1 0x1f 00000800: NOT 00000801: PUSH1 0x1f 00000803: DUP3 00000804: ADD 00000805: AND 00000806: DUP3 00000807: ADD 00000808: DUP1 00000809: PUSH1 0x40 0000080b: MSTORE 0000080c: POP 0000080d: DUP2 0000080e: ADD 0000080f: SWAP1 00000810: PUSH2 0x0819 00000813: SWAP2 00000814: SWAP1 00000815: PUSH2 0x1529 00000818: JUMP 00000819: JUMPDEST 0000081a: PUSH2 0x087b 0000081d: JUMPI 0000081e: PUSH1 0x40 00000820: MLOAD 00000821: PUSH3 0x461bcd 00000825: PUSH1 0xe5 00000827: SHL 00000828: DUP2 00000829: MSTORE 0000082a: PUSH1 0x20 0000082c: PUSH1 0x04 0000082e: DUP3 0000082f: ADD 00000830: MSTORE 00000831: PUSH1 0x2d 00000833: PUSH1 0x24 00000835: DUP3 00000836: ADD 00000837: MSTORE 00000838: PUSH32 0x5374616b696e673a5374616b696e6720636f6e7472616374206e6f7420736574 00000859: PUSH1 0x44 0000085b: DUP3 0000085c: ADD 0000085d: MSTORE 0000085e: PUSH13 0x206173206f70657261746f7221 0000086c: PUSH1 0x98 0000086e: SHL 0000086f: PUSH1 0x64 00000871: DUP3 00000872: ADD 00000873: MSTORE 00000874: PUSH1 0x84 00000876: ADD 00000877: PUSH2 0x078f 0000087a: JUMP 0000087b: JUMPDEST 0000087c: PUSH1 0x03 0000087e: SLOAD 0000087f: PUSH1 0x40 00000881: MLOAD 00000882: PUSH4 0x21421707 00000887: PUSH1 0xe1 00000889: SHL 0000088a: DUP2 0000088b: MSTORE 0000088c: PUSH1 0x01 0000088e: PUSH1 0x01 00000890: PUSH1 0xa0 00000892: SHL 00000893: SUB 00000894: SWAP1 00000895: SWAP2 00000896: AND 00000897: SWAP1 00000898: PUSH4 0x42842e0e 0000089d: SWAP1 0000089e: PUSH2 0x08af 000008a1: SWAP1 000008a2: CALLER 000008a3: SWAP1 000008a4: ADDRESS 000008a5: SWAP1 000008a6: DUP8 000008a7: SWAP1 000008a8: PUSH1 0x04 000008aa: ADD 000008ab: PUSH2 0x158e 000008ae: JUMP 000008af: JUMPDEST 000008b0: PUSH1 0x00 000008b2: PUSH1 0x40 000008b4: MLOAD 000008b5: DUP1 000008b6: DUP4 000008b7: SUB 000008b8: DUP2 000008b9: PUSH1 0x00 000008bb: DUP8 000008bc: DUP1 000008bd: EXTCODESIZE 000008be: ISZERO 000008bf: DUP1 000008c0: ISZERO 000008c1: PUSH2 0x08c9 000008c4: JUMPI 000008c5: PUSH1 0x00 000008c7: DUP1 000008c8: REVERT 000008c9: JUMPDEST 000008ca: POP 000008cb: GAS 000008cc: CALL 000008cd: ISZERO 000008ce: DUP1 000008cf: ISZERO 000008d0: PUSH2 0x08dd 000008d3: JUMPI 000008d4: RETURNDATASIZE 000008d5: PUSH1 0x00 000008d7: DUP1 000008d8: RETURNDATACOPY 000008d9: RETURNDATASIZE 000008da: PUSH1 0x00 000008dc: REVERT 000008dd: JUMPDEST 000008de: POP 000008df: POP 000008e0: POP 000008e1: POP 000008e2: PUSH2 0x08ea 000008e5: DUP3 000008e6: PUSH2 0x0f27 000008e9: JUMP 000008ea: JUMPDEST 000008eb: DUP1 000008ec: PUSH2 0x08f4 000008ef: DUP2 000008f0: PUSH2 0x1622 000008f3: JUMP 000008f4: JUMPDEST 000008f5: SWAP2 000008f6: POP 000008f7: POP 000008f8: PUSH2 0x0696 000008fb: JUMP 000008fc: JUMPDEST 000008fd: POP 000008fe: POP 000008ff: POP 00000900: JUMP 00000901: JUMPDEST 00000902: PUSH1 0x03 00000904: SLOAD 00000905: PUSH1 0x40 00000907: MLOAD 00000908: PUSH4 0x31a9108f 0000090d: PUSH1 0xe1 0000090f: SHL 00000910: DUP2 00000911: MSTORE 00000912: PUSH1 0x04 00000914: DUP2 00000915: ADD 00000916: DUP4 00000917: SWAP1 00000918: MSTORE 00000919: CALLER 0000091a: SWAP2 0000091b: PUSH1 0x01 0000091d: PUSH1 0x01 0000091f: PUSH1 0xa0 00000921: SHL 00000922: SUB 00000923: AND 00000924: SWAP1 00000925: PUSH4 0x6352211e 0000092a: SWAP1 0000092b: PUSH1 0x24 0000092d: ADD 0000092e: PUSH1 0x20 00000930: PUSH1 0x40 00000932: MLOAD 00000933: DUP1 00000934: DUP4 00000935: SUB 00000936: DUP2 00000937: DUP7 00000938: DUP1 00000939: EXTCODESIZE 0000093a: ISZERO 0000093b: DUP1 0000093c: ISZERO 0000093d: PUSH2 0x0945 00000940: JUMPI 00000941: PUSH1 0x00 00000943: DUP1 00000944: REVERT 00000945: JUMPDEST 00000946: POP 00000947: GAS 00000948: STATICCALL 00000949: ISZERO 0000094a: DUP1 0000094b: ISZERO 0000094c: PUSH2 0x0959 0000094f: JUMPI 00000950: RETURNDATASIZE 00000951: PUSH1 0x00 00000953: DUP1 00000954: RETURNDATACOPY 00000955: RETURNDATASIZE 00000956: PUSH1 0x00 00000958: REVERT 00000959: JUMPDEST 0000095a: POP 0000095b: POP 0000095c: POP 0000095d: POP 0000095e: PUSH1 0x40 00000960: MLOAD 00000961: RETURNDATASIZE 00000962: PUSH1 0x1f 00000964: NOT 00000965: PUSH1 0x1f 00000967: DUP3 00000968: ADD 00000969: AND 0000096a: DUP3 0000096b: ADD 0000096c: DUP1 0000096d: PUSH1 0x40 0000096f: MSTORE 00000970: POP 00000971: DUP2 00000972: ADD 00000973: SWAP1 00000974: PUSH2 0x097d 00000977: SWAP2 00000978: SWAP1 00000979: PUSH2 0x13a8 0000097c: JUMP 0000097d: JUMPDEST 0000097e: PUSH1 0x01 00000980: PUSH1 0x01 00000982: PUSH1 0xa0 00000984: SHL 00000985: SUB 00000986: AND 00000987: EQ 00000988: PUSH2 0x09d3 0000098b: JUMPI 0000098c: PUSH1 0x40 0000098e: MLOAD 0000098f: PUSH3 0x461bcd 00000993: PUSH1 0xe5 00000995: SHL 00000996: DUP2 00000997: MSTORE 00000998: PUSH1 0x20 0000099a: PUSH1 0x04 0000099c: DUP3 0000099d: ADD 0000099e: MSTORE 0000099f: PUSH1 0x1b 000009a1: PUSH1 0x24 000009a3: DUP3 000009a4: ADD 000009a5: MSTORE 000009a6: PUSH32 0x5374616b696e673a204e6f7420746865204e4654206f776e6572210000000000 000009c7: PUSH1 0x44 000009c9: DUP3 000009ca: ADD 000009cb: MSTORE 000009cc: PUSH1 0x64 000009ce: ADD 000009cf: PUSH2 0x078f 000009d2: JUMP 000009d3: JUMPDEST 000009d4: PUSH1 0x03 000009d6: SLOAD 000009d7: PUSH1 0x40 000009d9: MLOAD 000009da: PUSH4 0x020604bf 000009df: PUSH1 0xe2 000009e1: SHL 000009e2: DUP2 000009e3: MSTORE 000009e4: PUSH1 0x04 000009e6: DUP2 000009e7: ADD 000009e8: DUP4 000009e9: SWAP1 000009ea: MSTORE 000009eb: PUSH1 0x01 000009ed: PUSH1 0x01 000009ef: PUSH1 0xa0 000009f1: SHL 000009f2: SUB 000009f3: SWAP1 000009f4: SWAP2 000009f5: AND 000009f6: SWAP1 000009f7: PUSH4 0x081812fc 000009fc: SWAP1 000009fd: PUSH1 0x24 000009ff: ADD 00000a00: PUSH1 0x20 00000a02: PUSH1 0x40 00000a04: MLOAD 00000a05: DUP1 00000a06: DUP4 00000a07: SUB 00000a08: DUP2 00000a09: DUP7 00000a0a: DUP1 00000a0b: EXTCODESIZE 00000a0c: ISZERO 00000a0d: DUP1 00000a0e: ISZERO 00000a0f: PUSH2 0x0a17 00000a12: JUMPI 00000a13: PUSH1 0x00 00000a15: DUP1 00000a16: REVERT 00000a17: JUMPDEST 00000a18: POP 00000a19: GAS 00000a1a: STATICCALL 00000a1b: ISZERO 00000a1c: DUP1 00000a1d: ISZERO 00000a1e: PUSH2 0x0a2b 00000a21: JUMPI 00000a22: RETURNDATASIZE 00000a23: PUSH1 0x00 00000a25: DUP1 00000a26: RETURNDATACOPY 00000a27: RETURNDATASIZE 00000a28: PUSH1 0x00 00000a2a: REVERT 00000a2b: JUMPDEST 00000a2c: POP 00000a2d: POP 00000a2e: POP 00000a2f: POP 00000a30: PUSH1 0x40 00000a32: MLOAD 00000a33: RETURNDATASIZE 00000a34: PUSH1 0x1f 00000a36: NOT 00000a37: PUSH1 0x1f 00000a39: DUP3 00000a3a: ADD 00000a3b: AND 00000a3c: DUP3 00000a3d: ADD 00000a3e: DUP1 00000a3f: PUSH1 0x40 00000a41: MSTORE 00000a42: POP 00000a43: DUP2 00000a44: ADD 00000a45: SWAP1 00000a46: PUSH2 0x0a4f 00000a49: SWAP2 00000a4a: SWAP1 00000a4b: PUSH2 0x13a8 00000a4e: JUMP 00000a4f: JUMPDEST 00000a50: PUSH1 0x01 00000a52: PUSH1 0x01 00000a54: PUSH1 0xa0 00000a56: SHL 00000a57: SUB 00000a58: AND 00000a59: ADDRESS 00000a5a: PUSH1 0x01 00000a5c: PUSH1 0x01 00000a5e: PUSH1 0xa0 00000a60: SHL 00000a61: SUB 00000a62: AND 00000a63: EQ 00000a64: DUP1 00000a65: PUSH2 0x0aea 00000a68: JUMPI 00000a69: POP 00000a6a: PUSH1 0x03 00000a6c: SLOAD 00000a6d: PUSH1 0x40 00000a6f: MLOAD 00000a70: PUSH4 0xe985e9c5 00000a75: PUSH1 0xe0 00000a77: SHL 00000a78: DUP2 00000a79: MSTORE 00000a7a: CALLER 00000a7b: PUSH1 0x04 00000a7d: DUP3 00000a7e: ADD 00000a7f: MSTORE 00000a80: ADDRESS 00000a81: PUSH1 0x24 00000a83: DUP3 00000a84: ADD 00000a85: MSTORE 00000a86: PUSH1 0x01 00000a88: PUSH1 0x01 00000a8a: PUSH1 0xa0 00000a8c: SHL 00000a8d: SUB 00000a8e: SWAP1 00000a8f: SWAP2 00000a90: AND 00000a91: SWAP1 00000a92: PUSH4 0xe985e9c5 00000a97: SWAP1 00000a98: PUSH1 0x44 00000a9a: ADD 00000a9b: PUSH1 0x20 00000a9d: PUSH1 0x40 00000a9f: MLOAD 00000aa0: DUP1 00000aa1: DUP4 00000aa2: SUB 00000aa3: DUP2 00000aa4: DUP7 00000aa5: DUP1 00000aa6: EXTCODESIZE 00000aa7: ISZERO 00000aa8: DUP1 00000aa9: ISZERO 00000aaa: PUSH2 0x0ab2 00000aad: JUMPI 00000aae: PUSH1 0x00 00000ab0: DUP1 00000ab1: REVERT 00000ab2: JUMPDEST 00000ab3: POP 00000ab4: GAS 00000ab5: STATICCALL 00000ab6: ISZERO 00000ab7: DUP1 00000ab8: ISZERO 00000ab9: PUSH2 0x0ac6 00000abc: JUMPI 00000abd: RETURNDATASIZE 00000abe: PUSH1 0x00 00000ac0: DUP1 00000ac1: RETURNDATACOPY 00000ac2: RETURNDATASIZE 00000ac3: PUSH1 0x00 00000ac5: REVERT 00000ac6: JUMPDEST 00000ac7: POP 00000ac8: POP 00000ac9: POP 00000aca: POP 00000acb: PUSH1 0x40 00000acd: MLOAD 00000ace: RETURNDATASIZE 00000acf: PUSH1 0x1f 00000ad1: NOT 00000ad2: PUSH1 0x1f 00000ad4: DUP3 00000ad5: ADD 00000ad6: AND 00000ad7: DUP3 00000ad8: ADD 00000ad9: DUP1 00000ada: PUSH1 0x40 00000adc: MSTORE 00000add: POP 00000ade: DUP2 00000adf: ADD 00000ae0: SWAP1 00000ae1: PUSH2 0x0aea 00000ae4: SWAP2 00000ae5: SWAP1 00000ae6: PUSH2 0x1529 00000ae9: JUMP 00000aea: JUMPDEST 00000aeb: PUSH2 0x0b82 00000aee: JUMPI 00000aef: PUSH1 0x40 00000af1: MLOAD 00000af2: PUSH3 0x461bcd 00000af6: PUSH1 0xe5 00000af8: SHL 00000af9: DUP2 00000afa: MSTORE 00000afb: PUSH1 0x20 00000afd: PUSH1 0x04 00000aff: DUP3 00000b00: ADD 00000b01: MSTORE 00000b02: PUSH1 0x5a 00000b04: PUSH1 0x24 00000b06: DUP3 00000b07: ADD 00000b08: MSTORE 00000b09: PUSH32 0x5374616b696e673a204e4654206e6f7420617070726f76656420666f72207468 00000b2a: PUSH1 0x44 00000b2c: DUP3 00000b2d: ADD 00000b2e: MSTORE 00000b2f: PUSH32 0x65207374616b696e672061646472657373204f52205374616b696e6720636f6e 00000b50: PUSH1 0x64 00000b52: DUP3 00000b53: ADD 00000b54: MSTORE 00000b55: PUSH32 0x7472616374206e6f7420736574206173206f70657261746f7221000000000000 00000b76: PUSH1 0x84 00000b78: DUP3 00000b79: ADD 00000b7a: MSTORE 00000b7b: PUSH1 0xa4 00000b7d: ADD 00000b7e: PUSH2 0x078f 00000b81: JUMP 00000b82: JUMPDEST 00000b83: PUSH1 0x03 00000b85: SLOAD 00000b86: PUSH1 0x40 00000b88: MLOAD 00000b89: PUSH4 0x21421707 00000b8e: PUSH1 0xe1 00000b90: SHL 00000b91: DUP2 00000b92: MSTORE 00000b93: PUSH1 0x01 00000b95: PUSH1 0x01 00000b97: PUSH1 0xa0 00000b99: SHL 00000b9a: SUB 00000b9b: SWAP1 00000b9c: SWAP2 00000b9d: AND 00000b9e: SWAP1 00000b9f: PUSH4 0x42842e0e 00000ba4: SWAP1 00000ba5: PUSH2 0x0bb6 00000ba8: SWAP1 00000ba9: CALLER 00000baa: SWAP1 00000bab: ADDRESS 00000bac: SWAP1 00000bad: DUP7 00000bae: SWAP1 00000baf: PUSH1 0x04 00000bb1: ADD 00000bb2: PUSH2 0x158e 00000bb5: JUMP 00000bb6: JUMPDEST 00000bb7: PUSH1 0x00 00000bb9: PUSH1 0x40 00000bbb: MLOAD 00000bbc: DUP1 00000bbd: DUP4 00000bbe: SUB 00000bbf: DUP2 00000bc0: PUSH1 0x00 00000bc2: DUP8 00000bc3: DUP1 00000bc4: EXTCODESIZE 00000bc5: ISZERO 00000bc6: DUP1 00000bc7: ISZERO 00000bc8: PUSH2 0x0bd0 00000bcb: JUMPI 00000bcc: PUSH1 0x00 00000bce: DUP1 00000bcf: REVERT 00000bd0: JUMPDEST 00000bd1: POP 00000bd2: GAS 00000bd3: CALL 00000bd4: ISZERO 00000bd5: DUP1 00000bd6: ISZERO 00000bd7: PUSH2 0x0be4 00000bda: JUMPI 00000bdb: RETURNDATASIZE 00000bdc: PUSH1 0x00 00000bde: DUP1 00000bdf: RETURNDATACOPY 00000be0: RETURNDATASIZE 00000be1: PUSH1 0x00 00000be3: REVERT 00000be4: JUMPDEST 00000be5: POP 00000be6: POP 00000be7: POP 00000be8: POP 00000be9: PUSH2 0x0bf1 00000bec: DUP2 00000bed: PUSH2 0x0f27 00000bf0: JUMP 00000bf1: JUMPDEST 00000bf2: POP 00000bf3: JUMP 00000bf4: JUMPDEST 00000bf5: PUSH1 0x00 00000bf7: SLOAD 00000bf8: PUSH1 0x01 00000bfa: PUSH1 0x01 00000bfc: PUSH1 0xa0 00000bfe: SHL 00000bff: SUB 00000c00: AND 00000c01: CALLER 00000c02: EQ 00000c03: PUSH2 0x0c4e 00000c06: JUMPI 00000c07: PUSH1 0x40 00000c09: MLOAD 00000c0a: PUSH3 0x461bcd 00000c0e: PUSH1 0xe5 00000c10: SHL 00000c11: DUP2 00000c12: MSTORE 00000c13: PUSH1 0x20 00000c15: PUSH1 0x04 00000c17: DUP3 00000c18: ADD 00000c19: DUP2 00000c1a: SWAP1 00000c1b: MSTORE 00000c1c: PUSH1 0x24 00000c1e: DUP3 00000c1f: ADD 00000c20: MSTORE 00000c21: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000c42: PUSH1 0x44 00000c44: DUP3 00000c45: ADD 00000c46: MSTORE 00000c47: PUSH1 0x64 00000c49: ADD 00000c4a: PUSH2 0x078f 00000c4d: JUMP 00000c4e: JUMPDEST 00000c4f: PUSH2 0x05f5 00000c52: PUSH1 0x00 00000c54: PUSH2 0x10c7 00000c57: JUMP 00000c58: JUMPDEST 00000c59: PUSH1 0x00 00000c5b: DUP2 00000c5c: DUP2 00000c5d: MSTORE 00000c5e: PUSH1 0x02 00000c60: PUSH1 0x20 00000c62: DUP2 00000c63: SWAP1 00000c64: MSTORE 00000c65: PUSH1 0x40 00000c67: SWAP1 00000c68: SWAP2 00000c69: KECCAK256 00000c6a: SWAP1 00000c6b: DUP2 00000c6c: ADD 00000c6d: SLOAD 00000c6e: PUSH1 0x01 00000c70: PUSH1 0x01 00000c72: PUSH1 0xa0 00000c74: SHL 00000c75: SUB 00000c76: AND 00000c77: CALLER 00000c78: EQ 00000c79: PUSH2 0x0cc4 00000c7c: JUMPI 00000c7d: PUSH1 0x40 00000c7f: MLOAD 00000c80: PUSH3 0x461bcd 00000c84: PUSH1 0xe5 00000c86: SHL 00000c87: DUP2 00000c88: MSTORE 00000c89: PUSH1 0x20 00000c8b: PUSH1 0x04 00000c8d: DUP3 00000c8e: ADD 00000c8f: MSTORE 00000c90: PUSH1 0x1a 00000c92: PUSH1 0x24 00000c94: DUP3 00000c95: ADD 00000c96: MSTORE 00000c97: PUSH32 0x5374616b696e673a204e6f7420746865204e4654206f776e6572000000000000 00000cb8: PUSH1 0x44 00000cba: DUP3 00000cbb: ADD 00000cbc: MSTORE 00000cbd: PUSH1 0x64 00000cbf: ADD 00000cc0: PUSH2 0x078f 00000cc3: JUMP 00000cc4: JUMPDEST 00000cc5: PUSH1 0x01 00000cc7: DUP2 00000cc8: ADD 00000cc9: DUP1 00000cca: SLOAD 00000ccb: PUSH1 0x00 00000ccd: SWAP1 00000cce: SWAP2 00000ccf: SSTORE 00000cd0: TIMESTAMP 00000cd1: PUSH1 0x03 00000cd3: DUP4 00000cd4: ADD 00000cd5: DUP2 00000cd6: SWAP1 00000cd7: SSTORE 00000cd8: DUP3 00000cd9: SSTORE 00000cda: DUP1 00000cdb: ISZERO 00000cdc: PUSH2 0x08fc 00000cdf: JUMPI 00000ce0: PUSH2 0x08fc 00000ce3: DUP2 00000ce4: PUSH2 0x1117 00000ce7: JUMP 00000ce8: JUMPDEST 00000ce9: PUSH1 0x01 00000ceb: DUP2 00000cec: DUP2 00000ced: SLOAD 00000cee: DUP2 00000cef: LT 00000cf0: PUSH2 0x0cf8 00000cf3: JUMPI 00000cf4: PUSH1 0x00 00000cf6: DUP1 00000cf7: REVERT 00000cf8: JUMPDEST 00000cf9: PUSH1 0x00 00000cfb: SWAP2 00000cfc: DUP3 00000cfd: MSTORE 00000cfe: PUSH1 0x20 00000d00: SWAP1 00000d01: SWAP2 00000d02: KECCAK256 00000d03: ADD 00000d04: SLOAD 00000d05: SWAP1 00000d06: POP 00000d07: DUP2 00000d08: JUMP 00000d09: JUMPDEST 00000d0a: PUSH1 0x00 00000d0c: DUP1 00000d0d: JUMPDEST 00000d0e: DUP3 00000d0f: MLOAD 00000d10: DUP2 00000d11: LT 00000d12: ISZERO 00000d13: PUSH2 0x08fc 00000d16: JUMPI 00000d17: DUP3 00000d18: DUP2 00000d19: DUP2 00000d1a: MLOAD 00000d1b: DUP2 00000d1c: LT 00000d1d: PUSH2 0x0d28 00000d20: JUMPI 00000d21: PUSH2 0x0d28 00000d24: PUSH2 0x1669 00000d27: JUMP 00000d28: JUMPDEST 00000d29: PUSH1 0x20 00000d2b: MUL 00000d2c: PUSH1 0x20 00000d2e: ADD 00000d2f: ADD 00000d30: MLOAD 00000d31: SWAP2 00000d32: POP 00000d33: PUSH2 0x0d3b 00000d36: DUP3 00000d37: PUSH2 0x0c58 00000d3a: JUMP 00000d3b: JUMPDEST 00000d3c: PUSH1 0x03 00000d3e: SLOAD 00000d3f: PUSH1 0x40 00000d41: MLOAD 00000d42: PUSH4 0x21421707 00000d47: PUSH1 0xe1 00000d49: SHL 00000d4a: DUP2 00000d4b: MSTORE 00000d4c: PUSH1 0x01 00000d4e: PUSH1 0x01 00000d50: PUSH1 0xa0 00000d52: SHL 00000d53: SUB 00000d54: SWAP1 00000d55: SWAP2 00000d56: AND 00000d57: SWAP1 00000d58: PUSH4 0x42842e0e 00000d5d: SWAP1 00000d5e: PUSH2 0x0d6f 00000d61: SWAP1 00000d62: ADDRESS 00000d63: SWAP1 00000d64: CALLER 00000d65: SWAP1 00000d66: DUP8 00000d67: SWAP1 00000d68: PUSH1 0x04 00000d6a: ADD 00000d6b: PUSH2 0x158e 00000d6e: JUMP 00000d6f: JUMPDEST 00000d70: PUSH1 0x00 00000d72: PUSH1 0x40 00000d74: MLOAD 00000d75: DUP1 00000d76: DUP4 00000d77: SUB 00000d78: DUP2 00000d79: PUSH1 0x00 00000d7b: DUP8 00000d7c: DUP1 00000d7d: EXTCODESIZE 00000d7e: ISZERO 00000d7f: DUP1 00000d80: ISZERO 00000d81: PUSH2 0x0d89 00000d84: JUMPI 00000d85: PUSH1 0x00 00000d87: DUP1 00000d88: REVERT 00000d89: JUMPDEST 00000d8a: POP 00000d8b: GAS 00000d8c: CALL 00000d8d: ISZERO 00000d8e: DUP1 00000d8f: ISZERO 00000d90: PUSH2 0x0d9d 00000d93: JUMPI 00000d94: RETURNDATASIZE 00000d95: PUSH1 0x00 00000d97: DUP1 00000d98: RETURNDATACOPY 00000d99: RETURNDATASIZE 00000d9a: PUSH1 0x00 00000d9c: REVERT 00000d9d: JUMPDEST 00000d9e: POP 00000d9f: POP 00000da0: POP 00000da1: POP 00000da2: PUSH2 0x0daa 00000da5: DUP3 00000da6: PUSH2 0x1170 00000da9: JUMP 00000daa: JUMPDEST 00000dab: DUP1 00000dac: PUSH2 0x0db4 00000daf: DUP2 00000db0: PUSH2 0x1622 00000db3: JUMP 00000db4: JUMPDEST 00000db5: SWAP2 00000db6: POP 00000db7: POP 00000db8: PUSH2 0x0d0d 00000dbb: JUMP 00000dbc: JUMPDEST 00000dbd: PUSH2 0x0dc5 00000dc0: DUP2 00000dc1: PUSH2 0x0c58 00000dc4: JUMP 00000dc5: JUMPDEST 00000dc6: PUSH1 0x03 00000dc8: SLOAD 00000dc9: PUSH1 0x40 00000dcb: MLOAD 00000dcc: PUSH4 0x21421707 00000dd1: PUSH1 0xe1 00000dd3: SHL 00000dd4: DUP2 00000dd5: MSTORE 00000dd6: PUSH1 0x01 00000dd8: PUSH1 0x01 00000dda: PUSH1 0xa0 00000ddc: SHL 00000ddd: SUB 00000dde: SWAP1 00000ddf: SWAP2 00000de0: AND 00000de1: SWAP1 00000de2: PUSH4 0x42842e0e 00000de7: SWAP1 00000de8: PUSH2 0x0df9 00000deb: SWAP1 00000dec: ADDRESS 00000ded: SWAP1 00000dee: CALLER 00000def: SWAP1 00000df0: DUP7 00000df1: SWAP1 00000df2: PUSH1 0x04 00000df4: ADD 00000df5: PUSH2 0x158e 00000df8: JUMP 00000df9: JUMPDEST 00000dfa: PUSH1 0x00 00000dfc: PUSH1 0x40 00000dfe: MLOAD 00000dff: DUP1 00000e00: DUP4 00000e01: SUB 00000e02: DUP2 00000e03: PUSH1 0x00 00000e05: DUP8 00000e06: DUP1 00000e07: EXTCODESIZE 00000e08: ISZERO 00000e09: DUP1 00000e0a: ISZERO 00000e0b: PUSH2 0x0e13 00000e0e: JUMPI 00000e0f: PUSH1 0x00 00000e11: DUP1 00000e12: REVERT 00000e13: JUMPDEST 00000e14: POP 00000e15: GAS 00000e16: CALL 00000e17: ISZERO 00000e18: DUP1 00000e19: ISZERO 00000e1a: PUSH2 0x0e27 00000e1d: JUMPI 00000e1e: RETURNDATASIZE 00000e1f: PUSH1 0x00 00000e21: DUP1 00000e22: RETURNDATACOPY 00000e23: RETURNDATASIZE 00000e24: PUSH1 0x00 00000e26: REVERT 00000e27: JUMPDEST 00000e28: POP 00000e29: POP 00000e2a: POP 00000e2b: POP 00000e2c: PUSH2 0x0bf1 00000e2f: DUP2 00000e30: PUSH2 0x1170 00000e33: JUMP 00000e34: JUMPDEST 00000e35: PUSH1 0x00 00000e37: SLOAD 00000e38: PUSH1 0x01 00000e3a: PUSH1 0x01 00000e3c: PUSH1 0xa0 00000e3e: SHL 00000e3f: SUB 00000e40: AND 00000e41: CALLER 00000e42: EQ 00000e43: PUSH2 0x0e8e 00000e46: JUMPI 00000e47: PUSH1 0x40 00000e49: MLOAD 00000e4a: PUSH3 0x461bcd 00000e4e: PUSH1 0xe5 00000e50: SHL 00000e51: DUP2 00000e52: MSTORE 00000e53: PUSH1 0x20 00000e55: PUSH1 0x04 00000e57: DUP3 00000e58: ADD 00000e59: DUP2 00000e5a: SWAP1 00000e5b: MSTORE 00000e5c: PUSH1 0x24 00000e5e: DUP3 00000e5f: ADD 00000e60: MSTORE 00000e61: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000e82: PUSH1 0x44 00000e84: DUP3 00000e85: ADD 00000e86: MSTORE 00000e87: PUSH1 0x64 00000e89: ADD 00000e8a: PUSH2 0x078f 00000e8d: JUMP 00000e8e: JUMPDEST 00000e8f: PUSH1 0x01 00000e91: PUSH1 0x01 00000e93: PUSH1 0xa0 00000e95: SHL 00000e96: SUB 00000e97: DUP2 00000e98: AND 00000e99: PUSH2 0x0ef3 00000e9c: JUMPI 00000e9d: PUSH1 0x40 00000e9f: MLOAD 00000ea0: PUSH3 0x461bcd 00000ea4: PUSH1 0xe5 00000ea6: SHL 00000ea7: DUP2 00000ea8: MSTORE 00000ea9: PUSH1 0x20 00000eab: PUSH1 0x04 00000ead: DUP3 00000eae: ADD 00000eaf: MSTORE 00000eb0: PUSH1 0x26 00000eb2: PUSH1 0x24 00000eb4: DUP3 00000eb5: ADD 00000eb6: MSTORE 00000eb7: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000ed8: PUSH1 0x44 00000eda: DUP3 00000edb: ADD 00000edc: MSTORE 00000edd: PUSH6 0x646472657373 00000ee4: PUSH1 0xd0 00000ee6: SHL 00000ee7: PUSH1 0x64 00000ee9: DUP3 00000eea: ADD 00000eeb: MSTORE 00000eec: PUSH1 0x84 00000eee: ADD 00000eef: PUSH2 0x078f 00000ef2: JUMP 00000ef3: JUMPDEST 00000ef4: PUSH2 0x0bf1 00000ef7: DUP2 00000ef8: PUSH2 0x10c7 00000efb: JUMP 00000efc: JUMPDEST 00000efd: PUSH1 0x00 00000eff: PUSH2 0x0f08 00000f02: DUP3 00000f03: DUP5 00000f04: PUSH2 0x160b 00000f07: JUMP 00000f08: JUMPDEST 00000f09: SWAP4 00000f0a: SWAP3 00000f0b: POP 00000f0c: POP 00000f0d: POP 00000f0e: JUMP 00000f0f: JUMPDEST 00000f10: PUSH1 0x00 00000f12: PUSH2 0x0f08 00000f15: DUP3 00000f16: DUP5 00000f17: PUSH2 0x15ec 00000f1a: JUMP 00000f1b: JUMPDEST 00000f1c: PUSH1 0x00 00000f1e: PUSH2 0x0f08 00000f21: DUP3 00000f22: DUP5 00000f23: PUSH2 0x15ca 00000f26: JUMP 00000f27: JUMPDEST 00000f28: PUSH1 0x01 00000f2a: DUP1 00000f2b: SLOAD 00000f2c: DUP1 00000f2d: DUP3 00000f2e: ADD 00000f2f: DUP3 00000f30: SSTORE 00000f31: PUSH1 0x00 00000f33: SWAP2 00000f34: SWAP1 00000f35: SWAP2 00000f36: MSTORE 00000f37: PUSH32 0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6 00000f58: ADD 00000f59: DUP2 00000f5a: SWAP1 00000f5b: SSTORE 00000f5c: PUSH2 0x0f64 00000f5f: DUP2 00000f60: PUSH2 0x135b 00000f63: JUMP 00000f64: JUMPDEST 00000f65: ISZERO 00000f66: PUSH2 0x1004 00000f69: JUMPI 00000f6a: PUSH1 0x00 00000f6c: DUP2 00000f6d: DUP2 00000f6e: MSTORE 00000f6f: PUSH1 0x02 00000f71: PUSH1 0x20 00000f73: DUP2 00000f74: SWAP1 00000f75: MSTORE 00000f76: PUSH1 0x40 00000f78: SWAP1 00000f79: SWAP2 00000f7a: KECCAK256 00000f7b: SWAP1 00000f7c: DUP2 00000f7d: ADD 00000f7e: SLOAD 00000f7f: PUSH1 0x01 00000f81: PUSH1 0xa0 00000f83: SHL 00000f84: SWAP1 00000f85: DIV 00000f86: PUSH1 0xff 00000f88: AND 00000f89: ISZERO 00000f8a: PUSH2 0x0fd5 00000f8d: JUMPI 00000f8e: PUSH1 0x40 00000f90: MLOAD 00000f91: PUSH3 0x461bcd 00000f95: PUSH1 0xe5 00000f97: SHL 00000f98: DUP2 00000f99: MSTORE 00000f9a: PUSH1 0x20 00000f9c: PUSH1 0x04 00000f9e: DUP3 00000f9f: ADD 00000fa0: MSTORE 00000fa1: PUSH1 0x1c 00000fa3: PUSH1 0x24 00000fa5: DUP3 00000fa6: ADD 00000fa7: MSTORE 00000fa8: PUSH32 0x5374616b696e673a204e465420616c7265616479207374616b65642100000000 00000fc9: PUSH1 0x44 00000fcb: DUP3 00000fcc: ADD 00000fcd: MSTORE 00000fce: PUSH1 0x64 00000fd0: ADD 00000fd1: PUSH2 0x078f 00000fd4: JUMP 00000fd5: JUMPDEST 00000fd6: PUSH1 0x02 00000fd8: DUP2 00000fd9: ADD 00000fda: DUP1 00000fdb: SLOAD 00000fdc: TIMESTAMP 00000fdd: SWAP1 00000fde: SWAP3 00000fdf: SSTORE 00000fe0: PUSH1 0xff 00000fe2: PUSH1 0xa0 00000fe4: SHL 00000fe5: NOT 00000fe6: CALLER 00000fe7: AND 00000fe8: PUSH1 0x01 00000fea: PUSH1 0x01 00000fec: PUSH1 0xa8 00000fee: SHL 00000fef: SUB 00000ff0: NOT 00000ff1: SWAP1 00000ff2: SWAP3 00000ff3: AND 00000ff4: SWAP2 00000ff5: SWAP1 00000ff6: SWAP2 00000ff7: OR 00000ff8: PUSH1 0x01 00000ffa: PUSH1 0xa0 00000ffc: SHL 00000ffd: OR 00000ffe: SWAP1 00000fff: SSTORE 00001000: PUSH2 0x1087 00001003: JUMP 00001004: JUMPDEST 00001005: PUSH1 0x40 00001007: DUP1 00001008: MLOAD 00001009: PUSH1 0xa0 0000100b: DUP2 0000100c: ADD 0000100d: DUP3 0000100e: MSTORE 0000100f: TIMESTAMP 00001010: DUP2 00001011: MSTORE 00001012: PUSH1 0x00 00001014: PUSH1 0x20 00001016: DUP1 00001017: DUP4 00001018: ADD 00001019: DUP3 0000101a: DUP2 0000101b: MSTORE 0000101c: CALLER 0000101d: DUP5 0000101e: DUP7 0000101f: ADD 00001020: SWAP1 00001021: DUP2 00001022: MSTORE 00001023: PUSH1 0x01 00001025: PUSH1 0x60 00001027: DUP7 00001028: ADD 00001029: DUP2 0000102a: DUP2 0000102b: MSTORE 0000102c: PUSH1 0x80 0000102e: DUP8 0000102f: ADD 00001030: DUP7 00001031: DUP2 00001032: MSTORE 00001033: DUP10 00001034: DUP8 00001035: MSTORE 00001036: PUSH1 0x02 00001038: SWAP6 00001039: DUP7 0000103a: SWAP1 0000103b: MSTORE 0000103c: SWAP8 0000103d: SWAP1 0000103e: SWAP6 0000103f: KECCAK256 00001040: SWAP6 00001041: MLOAD 00001042: DUP7 00001043: SSTORE 00001044: SWAP2 00001045: MLOAD 00001046: SWAP2 00001047: DUP6 00001048: ADD 00001049: SWAP2 0000104a: SWAP1 0000104b: SWAP2 0000104c: SSTORE 0000104d: MLOAD 0000104e: SWAP1 0000104f: DUP4 00001050: ADD 00001051: DUP1 00001052: SLOAD 00001053: SWAP3 00001054: MLOAD 00001055: ISZERO 00001056: ISZERO 00001057: PUSH1 0x01 00001059: PUSH1 0xa0 0000105b: SHL 0000105c: MUL 0000105d: PUSH1 0x01 0000105f: PUSH1 0x01 00001061: PUSH1 0xa8 00001063: SHL 00001064: SUB 00001065: NOT 00001066: SWAP1 00001067: SWAP4 00001068: AND 00001069: PUSH1 0x01 0000106b: PUSH1 0x01 0000106d: PUSH1 0xa0 0000106f: SHL 00001070: SUB 00001071: SWAP3 00001072: SWAP1 00001073: SWAP3 00001074: AND 00001075: SWAP2 00001076: SWAP1 00001077: SWAP2 00001078: OR 00001079: SWAP2 0000107a: SWAP1 0000107b: SWAP2 0000107c: OR 0000107d: SWAP1 0000107e: SSTORE 0000107f: SWAP1 00001080: MLOAD 00001081: PUSH1 0x03 00001083: SWAP1 00001084: SWAP2 00001085: ADD 00001086: SSTORE 00001087: JUMPDEST 00001088: PUSH1 0x40 0000108a: DUP1 0000108b: MLOAD 0000108c: CALLER 0000108d: DUP2 0000108e: MSTORE 0000108f: PUSH1 0x20 00001091: DUP2 00001092: ADD 00001093: DUP4 00001094: SWAP1 00001095: MSTORE 00001096: TIMESTAMP 00001097: SWAP2 00001098: DUP2 00001099: ADD 0000109a: SWAP2 0000109b: SWAP1 0000109c: SWAP2 0000109d: MSTORE 0000109e: PUSH32 0x1449c6dd7851abc30abf37f57715f492010519147cc2652fbc38202c18a6ee90 000010bf: SWAP1 000010c0: PUSH1 0x60 000010c2: ADD 000010c3: PUSH2 0x05eb 000010c6: JUMP 000010c7: JUMPDEST 000010c8: PUSH1 0x00 000010ca: DUP1 000010cb: SLOAD 000010cc: PUSH1 0x01 000010ce: PUSH1 0x01 000010d0: PUSH1 0xa0 000010d2: SHL 000010d3: SUB 000010d4: DUP4 000010d5: DUP2 000010d6: AND 000010d7: PUSH1 0x01 000010d9: PUSH1 0x01 000010db: PUSH1 0xa0 000010dd: SHL 000010de: SUB 000010df: NOT 000010e0: DUP4 000010e1: AND 000010e2: DUP2 000010e3: OR 000010e4: DUP5 000010e5: SSTORE 000010e6: PUSH1 0x40 000010e8: MLOAD 000010e9: SWAP2 000010ea: SWAP1 000010eb: SWAP3 000010ec: AND 000010ed: SWAP3 000010ee: DUP4 000010ef: SWAP2 000010f0: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001111: SWAP2 00001112: SWAP1 00001113: LOG3 00001114: POP 00001115: POP 00001116: JUMP 00001117: JUMPDEST 00001118: PUSH1 0x40 0000111a: MLOAD 0000111b: PUSH1 0x00 0000111d: SWAP1 0000111e: CALLER 0000111f: SWAP1 00001120: DUP4 00001121: SWAP1 00001122: DUP4 00001123: DUP2 00001124: DUP2 00001125: DUP2 00001126: DUP6 00001127: DUP8 00001128: GAS 00001129: CALL 0000112a: SWAP3 0000112b: POP 0000112c: POP 0000112d: POP 0000112e: RETURNDATASIZE 0000112f: DUP1 00001130: PUSH1 0x00 00001132: DUP2 00001133: EQ 00001134: PUSH2 0x1159 00001137: JUMPI 00001138: PUSH1 0x40 0000113a: MLOAD 0000113b: SWAP2 0000113c: POP 0000113d: PUSH1 0x1f 0000113f: NOT 00001140: PUSH1 0x3f 00001142: RETURNDATASIZE 00001143: ADD 00001144: AND 00001145: DUP3 00001146: ADD 00001147: PUSH1 0x40 00001149: MSTORE 0000114a: RETURNDATASIZE 0000114b: DUP3 0000114c: MSTORE 0000114d: RETURNDATASIZE 0000114e: PUSH1 0x00 00001150: PUSH1 0x20 00001152: DUP5 00001153: ADD 00001154: RETURNDATACOPY 00001155: PUSH2 0x115e 00001158: JUMP 00001159: JUMPDEST 0000115a: PUSH1 0x60 0000115c: SWAP2 0000115d: POP 0000115e: JUMPDEST 0000115f: POP 00001160: POP 00001161: SWAP1 00001162: POP 00001163: DUP1 00001164: PUSH2 0x116c 00001167: JUMPI 00001168: PUSH1 0x00 0000116a: DUP1 0000116b: REVERT 0000116c: JUMPDEST 0000116d: POP 0000116e: POP 0000116f: JUMP 00001170: JUMPDEST 00001171: PUSH1 0x00 00001173: DUP2 00001174: DUP2 00001175: MSTORE 00001176: PUSH1 0x02 00001178: PUSH1 0x20 0000117a: DUP2 0000117b: SWAP1 0000117c: MSTORE 0000117d: PUSH1 0x40 0000117f: SWAP1 00001180: SWAP2 00001181: KECCAK256 00001182: SWAP1 00001183: DUP2 00001184: ADD 00001185: SLOAD 00001186: PUSH1 0x01 00001188: PUSH1 0xa0 0000118a: SHL 0000118b: SWAP1 0000118c: DIV 0000118d: PUSH1 0xff 0000118f: AND 00001190: PUSH2 0x11db 00001193: JUMPI 00001194: PUSH1 0x40 00001196: MLOAD 00001197: PUSH3 0x461bcd 0000119b: PUSH1 0xe5 0000119d: SHL 0000119e: DUP2 0000119f: MSTORE 000011a0: PUSH1 0x20 000011a2: PUSH1 0x04 000011a4: DUP3 000011a5: ADD 000011a6: MSTORE 000011a7: PUSH1 0x18 000011a9: PUSH1 0x24 000011ab: DUP3 000011ac: ADD 000011ad: MSTORE 000011ae: PUSH32 0x5374616b696e673a204e4654206e6f74207374616b6564210000000000000000 000011cf: PUSH1 0x44 000011d1: DUP3 000011d2: ADD 000011d3: MSTORE 000011d4: PUSH1 0x64 000011d6: ADD 000011d7: PUSH2 0x078f 000011da: JUMP 000011db: JUMPDEST 000011dc: PUSH1 0x02 000011de: DUP2 000011df: ADD 000011e0: SLOAD 000011e1: PUSH1 0x01 000011e3: PUSH1 0x01 000011e5: PUSH1 0xa0 000011e7: SHL 000011e8: SUB 000011e9: AND 000011ea: CALLER 000011eb: EQ 000011ec: PUSH2 0x1237 000011ef: JUMPI 000011f0: PUSH1 0x40 000011f2: MLOAD 000011f3: PUSH3 0x461bcd 000011f7: PUSH1 0xe5 000011f9: SHL 000011fa: DUP2 000011fb: MSTORE 000011fc: PUSH1 0x20 000011fe: PUSH1 0x04 00001200: DUP3 00001201: ADD 00001202: MSTORE 00001203: PUSH1 0x1e 00001205: PUSH1 0x24 00001207: DUP3 00001208: ADD 00001209: MSTORE 0000120a: PUSH32 0x5374616b696e673a204e6f7420746865206f776e6572206f66204e4654210000 0000122b: PUSH1 0x44 0000122d: DUP3 0000122e: ADD 0000122f: MSTORE 00001230: PUSH1 0x64 00001232: ADD 00001233: PUSH2 0x078f 00001236: JUMP 00001237: JUMPDEST 00001238: PUSH1 0x02 0000123a: DUP2 0000123b: ADD 0000123c: DUP1 0000123d: SLOAD 0000123e: PUSH1 0xff 00001240: PUSH1 0xa0 00001242: SHL 00001243: NOT 00001244: AND 00001245: SWAP1 00001246: SSTORE 00001247: PUSH1 0x00 00001249: DUP1 0000124a: DUP3 0000124b: SSTORE 0000124c: PUSH1 0x01 0000124e: DUP1 0000124f: SLOAD 00001250: SWAP2 00001251: SWAP1 00001252: PUSH2 0x125b 00001255: DUP2 00001256: DUP5 00001257: PUSH2 0x160b 0000125a: JUMP 0000125b: JUMPDEST 0000125c: DUP2 0000125d: SLOAD 0000125e: DUP2 0000125f: LT 00001260: PUSH2 0x126b 00001263: JUMPI 00001264: PUSH2 0x126b 00001267: PUSH2 0x1669 0000126a: JUMP 0000126b: JUMPDEST 0000126c: SWAP1 0000126d: PUSH1 0x00 0000126f: MSTORE 00001270: PUSH1 0x20 00001272: PUSH1 0x00 00001274: KECCAK256 00001275: ADD 00001276: SLOAD 00001277: SWAP1 00001278: POP 00001279: PUSH1 0x01 0000127b: DUP1 0000127c: SLOAD 0000127d: DUP1 0000127e: PUSH2 0x1289 00001281: JUMPI 00001282: PUSH2 0x1289 00001285: PUSH2 0x1653 00001288: JUMP 00001289: JUMPDEST 0000128a: PUSH1 0x01 0000128c: SWAP1 0000128d: SUB 0000128e: DUP2 0000128f: DUP2 00001290: SWAP1 00001291: PUSH1 0x00 00001293: MSTORE 00001294: PUSH1 0x20 00001296: PUSH1 0x00 00001298: KECCAK256 00001299: ADD 0000129a: PUSH1 0x00 0000129c: SWAP1 0000129d: SSTORE 0000129e: SWAP1 0000129f: SSTORE 000012a0: PUSH32 0x69f6d6e6926b6914c628cca5ab19879a4099facaba2b44626e07d8e38ebd189b 000012c1: DUP5 000012c2: TIMESTAMP 000012c3: PUSH1 0x40 000012c5: MLOAD 000012c6: PUSH2 0x12d9 000012c9: SWAP3 000012ca: SWAP2 000012cb: SWAP1 000012cc: SWAP2 000012cd: DUP3 000012ce: MSTORE 000012cf: PUSH1 0x20 000012d1: DUP3 000012d2: ADD 000012d3: MSTORE 000012d4: PUSH1 0x40 000012d6: ADD 000012d7: SWAP1 000012d8: JUMP 000012d9: JUMPDEST 000012da: PUSH1 0x40 000012dc: MLOAD 000012dd: DUP1 000012de: SWAP2 000012df: SUB 000012e0: SWAP1 000012e1: LOG1 000012e2: PUSH1 0x00 000012e4: JUMPDEST 000012e5: PUSH2 0x12ef 000012e8: PUSH1 0x01 000012ea: DUP5 000012eb: PUSH2 0x160b 000012ee: JUMP 000012ef: JUMPDEST 000012f0: DUP2 000012f1: LT 000012f2: ISZERO 000012f3: PUSH2 0x1354 000012f6: JUMPI 000012f7: DUP5 000012f8: PUSH1 0x01 000012fa: DUP3 000012fb: DUP2 000012fc: SLOAD 000012fd: DUP2 000012fe: LT 000012ff: PUSH2 0x130a 00001302: JUMPI 00001303: PUSH2 0x130a 00001306: PUSH2 0x1669 00001309: JUMP 0000130a: JUMPDEST 0000130b: SWAP1 0000130c: PUSH1 0x00 0000130e: MSTORE 0000130f: PUSH1 0x20 00001311: PUSH1 0x00 00001313: KECCAK256 00001314: ADD 00001315: SLOAD 00001316: EQ 00001317: ISZERO 00001318: PUSH2 0x1342 0000131b: JUMPI 0000131c: DUP2 0000131d: PUSH1 0x01 0000131f: DUP3 00001320: DUP2 00001321: SLOAD 00001322: DUP2 00001323: LT 00001324: PUSH2 0x132f 00001327: JUMPI 00001328: PUSH2 0x132f 0000132b: PUSH2 0x1669 0000132e: JUMP 0000132f: JUMPDEST 00001330: PUSH1 0x00 00001332: SWAP2 00001333: DUP3 00001334: MSTORE 00001335: PUSH1 0x20 00001337: SWAP1 00001338: SWAP2 00001339: KECCAK256 0000133a: ADD 0000133b: SSTORE 0000133c: POP 0000133d: POP 0000133e: POP 0000133f: POP 00001340: POP 00001341: JUMP 00001342: JUMPDEST 00001343: DUP1 00001344: PUSH2 0x134c 00001347: DUP2 00001348: PUSH2 0x1622 0000134b: JUMP 0000134c: JUMPDEST 0000134d: SWAP2 0000134e: POP 0000134f: POP 00001350: PUSH2 0x12e4 00001353: JUMP 00001354: JUMPDEST 00001355: POP 00001356: POP 00001357: POP 00001358: POP 00001359: POP 0000135a: JUMP 0000135b: JUMPDEST 0000135c: PUSH1 0x00 0000135e: DUP2 0000135f: DUP2 00001360: MSTORE 00001361: PUSH1 0x02 00001363: PUSH1 0x20 00001365: DUP2 00001366: SWAP1 00001367: MSTORE 00001368: PUSH1 0x40 0000136a: DUP3 0000136b: KECCAK256 0000136c: ADD 0000136d: SLOAD 0000136e: PUSH1 0x01 00001370: PUSH1 0x01 00001372: PUSH1 0xa0 00001374: SHL 00001375: SUB 00001376: AND 00001377: ISZERO 00001378: PUSH2 0x1383 0000137b: JUMPI 0000137c: POP 0000137d: PUSH1 0x01 0000137f: SWAP2 00001380: SWAP1 00001381: POP 00001382: JUMP 00001383: JUMPDEST 00001384: POP 00001385: PUSH1 0x00 00001387: SWAP2 00001388: SWAP1 00001389: POP 0000138a: JUMP 0000138b: JUMPDEST 0000138c: PUSH1 0x00 0000138e: PUSH1 0x20 00001390: DUP3 00001391: DUP5 00001392: SUB 00001393: SLT 00001394: ISZERO 00001395: PUSH2 0x139d 00001398: JUMPI 00001399: PUSH1 0x00 0000139b: DUP1 0000139c: REVERT 0000139d: JUMPDEST 0000139e: DUP2 0000139f: CALLDATALOAD 000013a0: PUSH2 0x0f08 000013a3: DUP2 000013a4: PUSH2 0x1695 000013a7: JUMP 000013a8: JUMPDEST 000013a9: PUSH1 0x00 000013ab: PUSH1 0x20 000013ad: DUP3 000013ae: DUP5 000013af: SUB 000013b0: SLT 000013b1: ISZERO 000013b2: PUSH2 0x13ba 000013b5: JUMPI 000013b6: PUSH1 0x00 000013b8: DUP1 000013b9: REVERT 000013ba: JUMPDEST 000013bb: DUP2 000013bc: MLOAD 000013bd: PUSH2 0x0f08 000013c0: DUP2 000013c1: PUSH2 0x1695 000013c4: JUMP 000013c5: JUMPDEST 000013c6: PUSH1 0x00 000013c8: DUP1 000013c9: PUSH1 0x00 000013cb: DUP1 000013cc: PUSH1 0x00 000013ce: PUSH1 0x80 000013d0: DUP7 000013d1: DUP9 000013d2: SUB 000013d3: SLT 000013d4: ISZERO 000013d5: PUSH2 0x13dd 000013d8: JUMPI 000013d9: PUSH1 0x00 000013db: DUP1 000013dc: REVERT 000013dd: JUMPDEST 000013de: DUP6 000013df: CALLDATALOAD 000013e0: PUSH2 0x13e8 000013e3: DUP2 000013e4: PUSH2 0x1695 000013e7: JUMP 000013e8: JUMPDEST 000013e9: SWAP5 000013ea: POP 000013eb: PUSH1 0x20 000013ed: DUP7 000013ee: ADD 000013ef: CALLDATALOAD 000013f0: PUSH2 0x13f8 000013f3: DUP2 000013f4: PUSH2 0x1695 000013f7: JUMP 000013f8: JUMPDEST 000013f9: SWAP4 000013fa: POP 000013fb: PUSH1 0x40 000013fd: DUP7 000013fe: ADD 000013ff: CALLDATALOAD 00001400: SWAP3 00001401: POP 00001402: PUSH1 0x60 00001404: DUP7 00001405: ADD 00001406: CALLDATALOAD 00001407: PUSH8 0xffffffffffffffff 00001410: DUP1 00001411: DUP3 00001412: GT 00001413: ISZERO 00001414: PUSH2 0x141c 00001417: JUMPI 00001418: PUSH1 0x00 0000141a: DUP1 0000141b: REVERT 0000141c: JUMPDEST 0000141d: DUP2 0000141e: DUP9 0000141f: ADD 00001420: SWAP2 00001421: POP 00001422: DUP9 00001423: PUSH1 0x1f 00001425: DUP4 00001426: ADD 00001427: SLT 00001428: PUSH2 0x1430 0000142b: JUMPI 0000142c: PUSH1 0x00 0000142e: DUP1 0000142f: REVERT 00001430: JUMPDEST 00001431: DUP2 00001432: CALLDATALOAD 00001433: DUP2 00001434: DUP2 00001435: GT 00001436: ISZERO 00001437: PUSH2 0x143f 0000143a: JUMPI 0000143b: PUSH1 0x00 0000143d: DUP1 0000143e: REVERT 0000143f: JUMPDEST 00001440: DUP10 00001441: PUSH1 0x20 00001443: DUP3 00001444: DUP6 00001445: ADD 00001446: ADD 00001447: GT 00001448: ISZERO 00001449: PUSH2 0x1451 0000144c: JUMPI 0000144d: PUSH1 0x00 0000144f: DUP1 00001450: REVERT 00001451: JUMPDEST 00001452: SWAP7 00001453: SWAP10 00001454: SWAP6 00001455: SWAP9 00001456: POP 00001457: SWAP4 00001458: SWAP7 00001459: POP 0000145a: PUSH1 0x20 0000145c: ADD 0000145d: SWAP5 0000145e: SWAP4 0000145f: SWAP3 00001460: POP 00001461: POP 00001462: POP 00001463: JUMP 00001464: JUMPDEST 00001465: PUSH1 0x00 00001467: PUSH1 0x20 00001469: DUP1 0000146a: DUP4 0000146b: DUP6 0000146c: SUB 0000146d: SLT 0000146e: ISZERO 0000146f: PUSH2 0x1477 00001472: JUMPI 00001473: PUSH1 0x00 00001475: DUP1 00001476: REVERT 00001477: JUMPDEST 00001478: DUP3 00001479: CALLDATALOAD 0000147a: PUSH8 0xffffffffffffffff 00001483: DUP1 00001484: DUP3 00001485: GT 00001486: ISZERO 00001487: PUSH2 0x148f 0000148a: JUMPI 0000148b: PUSH1 0x00 0000148d: DUP1 0000148e: REVERT 0000148f: JUMPDEST 00001490: DUP2 00001491: DUP6 00001492: ADD 00001493: SWAP2 00001494: POP 00001495: DUP6 00001496: PUSH1 0x1f 00001498: DUP4 00001499: ADD 0000149a: SLT 0000149b: PUSH2 0x14a3 0000149e: JUMPI 0000149f: PUSH1 0x00 000014a1: DUP1 000014a2: REVERT 000014a3: JUMPDEST 000014a4: DUP2 000014a5: CALLDATALOAD 000014a6: DUP2 000014a7: DUP2 000014a8: GT 000014a9: ISZERO 000014aa: PUSH2 0x14b5 000014ad: JUMPI 000014ae: PUSH2 0x14b5 000014b1: PUSH2 0x167f 000014b4: JUMP 000014b5: JUMPDEST 000014b6: DUP1 000014b7: PUSH1 0x05 000014b9: SHL 000014ba: PUSH1 0x40 000014bc: MLOAD 000014bd: PUSH1 0x1f 000014bf: NOT 000014c0: PUSH1 0x3f 000014c2: DUP4 000014c3: ADD 000014c4: AND 000014c5: DUP2 000014c6: ADD 000014c7: DUP2 000014c8: DUP2 000014c9: LT 000014ca: DUP6 000014cb: DUP3 000014cc: GT 000014cd: OR 000014ce: ISZERO 000014cf: PUSH2 0x14da 000014d2: JUMPI 000014d3: PUSH2 0x14da 000014d6: PUSH2 0x167f 000014d9: JUMP 000014da: JUMPDEST 000014db: PUSH1 0x40 000014dd: MSTORE 000014de: DUP3 000014df: DUP2 000014e0: MSTORE 000014e1: DUP6 000014e2: DUP2 000014e3: ADD 000014e4: SWAP4 000014e5: POP 000014e6: DUP5 000014e7: DUP7 000014e8: ADD 000014e9: DUP3 000014ea: DUP7 000014eb: ADD 000014ec: DUP8 000014ed: ADD 000014ee: DUP11 000014ef: LT 000014f0: ISZERO 000014f1: PUSH2 0x14f9 000014f4: JUMPI 000014f5: PUSH1 0x00 000014f7: DUP1 000014f8: REVERT 000014f9: JUMPDEST 000014fa: PUSH1 0x00 000014fc: SWAP6 000014fd: POP 000014fe: JUMPDEST 000014ff: DUP4 00001500: DUP7 00001501: LT 00001502: ISZERO 00001503: PUSH2 0x151c 00001506: JUMPI 00001507: DUP1 00001508: CALLDATALOAD 00001509: DUP6 0000150a: MSTORE 0000150b: PUSH1 0x01 0000150d: SWAP6 0000150e: SWAP1 0000150f: SWAP6 00001510: ADD 00001511: SWAP5 00001512: SWAP4 00001513: DUP7 00001514: ADD 00001515: SWAP4 00001516: DUP7 00001517: ADD 00001518: PUSH2 0x14fe 0000151b: JUMP 0000151c: JUMPDEST 0000151d: POP 0000151e: SWAP9 0000151f: SWAP8 00001520: POP 00001521: POP 00001522: POP 00001523: POP 00001524: POP 00001525: POP 00001526: POP 00001527: POP 00001528: JUMP 00001529: JUMPDEST 0000152a: PUSH1 0x00 0000152c: PUSH1 0x20 0000152e: DUP3 0000152f: DUP5 00001530: SUB 00001531: SLT 00001532: ISZERO 00001533: PUSH2 0x153b 00001536: JUMPI 00001537: PUSH1 0x00 00001539: DUP1 0000153a: REVERT 0000153b: JUMPDEST 0000153c: DUP2 0000153d: MLOAD 0000153e: DUP1 0000153f: ISZERO 00001540: ISZERO 00001541: DUP2 00001542: EQ 00001543: PUSH2 0x0f08 00001546: JUMPI 00001547: PUSH1 0x00 00001549: DUP1 0000154a: REVERT 0000154b: JUMPDEST 0000154c: PUSH1 0x00 0000154e: PUSH1 0x20 00001550: DUP3 00001551: DUP5 00001552: SUB 00001553: SLT 00001554: ISZERO 00001555: PUSH2 0x155d 00001558: JUMPI 00001559: PUSH1 0x00 0000155b: DUP1 0000155c: REVERT 0000155d: JUMPDEST 0000155e: DUP2 0000155f: CALLDATALOAD 00001560: PUSH1 0x01 00001562: PUSH1 0x01 00001564: PUSH1 0xe0 00001566: SHL 00001567: SUB 00001568: NOT 00001569: DUP2 0000156a: AND 0000156b: DUP2 0000156c: EQ 0000156d: PUSH2 0x0f08 00001570: JUMPI 00001571: PUSH1 0x00 00001573: DUP1 00001574: REVERT 00001575: JUMPDEST 00001576: PUSH1 0x00 00001578: PUSH1 0x20 0000157a: DUP3 0000157b: DUP5 0000157c: SUB 0000157d: SLT 0000157e: ISZERO 0000157f: PUSH2 0x1587 00001582: JUMPI 00001583: PUSH1 0x00 00001585: DUP1 00001586: REVERT 00001587: JUMPDEST 00001588: POP 00001589: CALLDATALOAD 0000158a: SWAP2 0000158b: SWAP1 0000158c: POP 0000158d: JUMP 0000158e: JUMPDEST 0000158f: PUSH1 0x01 00001591: PUSH1 0x01 00001593: PUSH1 0xa0 00001595: SHL 00001596: SUB 00001597: SWAP4 00001598: DUP5 00001599: AND 0000159a: DUP2 0000159b: MSTORE 0000159c: SWAP2 0000159d: SWAP1 0000159e: SWAP3 0000159f: AND 000015a0: PUSH1 0x20 000015a2: DUP3 000015a3: ADD 000015a4: MSTORE 000015a5: PUSH1 0x40 000015a7: DUP2 000015a8: ADD 000015a9: SWAP2 000015aa: SWAP1 000015ab: SWAP2 000015ac: MSTORE 000015ad: PUSH1 0x60 000015af: ADD 000015b0: SWAP1 000015b1: JUMP 000015b2: JUMPDEST 000015b3: PUSH1 0x00 000015b5: DUP3 000015b6: NOT 000015b7: DUP3 000015b8: GT 000015b9: ISZERO 000015ba: PUSH2 0x15c5 000015bd: JUMPI 000015be: PUSH2 0x15c5 000015c1: PUSH2 0x163d 000015c4: JUMP 000015c5: JUMPDEST 000015c6: POP 000015c7: ADD 000015c8: SWAP1 000015c9: JUMP 000015ca: JUMPDEST 000015cb: PUSH1 0x00 000015cd: DUP3 000015ce: PUSH2 0x15e7 000015d1: JUMPI 000015d2: PUSH4 0x4e487b71 000015d7: PUSH1 0xe0 000015d9: SHL 000015da: PUSH1 0x00 000015dc: MSTORE 000015dd: PUSH1 0x12 000015df: PUSH1 0x04 000015e1: MSTORE 000015e2: PUSH1 0x24 000015e4: PUSH1 0x00 000015e6: REVERT 000015e7: JUMPDEST 000015e8: POP 000015e9: DIV 000015ea: SWAP1 000015eb: JUMP 000015ec: JUMPDEST 000015ed: PUSH1 0x00 000015ef: DUP2 000015f0: PUSH1 0x00 000015f2: NOT 000015f3: DIV 000015f4: DUP4 000015f5: GT 000015f6: DUP3 000015f7: ISZERO 000015f8: ISZERO 000015f9: AND 000015fa: ISZERO 000015fb: PUSH2 0x1606 000015fe: JUMPI 000015ff: PUSH2 0x1606 00001602: PUSH2 0x163d 00001605: JUMP 00001606: JUMPDEST 00001607: POP 00001608: MUL 00001609: SWAP1 0000160a: JUMP 0000160b: JUMPDEST 0000160c: PUSH1 0x00 0000160e: DUP3 0000160f: DUP3 00001610: LT 00001611: ISZERO 00001612: PUSH2 0x161d 00001615: JUMPI 00001616: PUSH2 0x161d 00001619: PUSH2 0x163d 0000161c: JUMP 0000161d: JUMPDEST 0000161e: POP 0000161f: SUB 00001620: SWAP1 00001621: JUMP 00001622: JUMPDEST 00001623: PUSH1 0x00 00001625: PUSH1 0x00 00001627: NOT 00001628: DUP3 00001629: EQ 0000162a: ISZERO 0000162b: PUSH2 0x1636 0000162e: JUMPI 0000162f: PUSH2 0x1636 00001632: PUSH2 0x163d 00001635: JUMP 00001636: JUMPDEST 00001637: POP 00001638: PUSH1 0x01 0000163a: ADD 0000163b: SWAP1 0000163c: JUMP 0000163d: JUMPDEST 0000163e: PUSH4 0x4e487b71 00001643: PUSH1 0xe0 00001645: SHL 00001646: PUSH1 0x00 00001648: MSTORE 00001649: PUSH1 0x11 0000164b: PUSH1 0x04 0000164d: MSTORE 0000164e: PUSH1 0x24 00001650: PUSH1 0x00 00001652: REVERT 00001653: JUMPDEST 00001654: PUSH4 0x4e487b71 00001659: PUSH1 0xe0 0000165b: SHL 0000165c: PUSH1 0x00 0000165e: MSTORE 0000165f: PUSH1 0x31 00001661: PUSH1 0x04 00001663: MSTORE 00001664: PUSH1 0x24 00001666: PUSH1 0x00 00001668: REVERT 00001669: JUMPDEST 0000166a: PUSH4 0x4e487b71 0000166f: PUSH1 0xe0 00001671: SHL 00001672: PUSH1 0x00 00001674: MSTORE 00001675: PUSH1 0x32 00001677: PUSH1 0x04 00001679: MSTORE 0000167a: PUSH1 0x24 0000167c: PUSH1 0x00 0000167e: REVERT 0000167f: JUMPDEST 00001680: PUSH4 0x4e487b71 00001685: PUSH1 0xe0 00001687: SHL 00001688: PUSH1 0x00 0000168a: MSTORE 0000168b: PUSH1 0x41 0000168d: PUSH1 0x04 0000168f: MSTORE 00001690: PUSH1 0x24 00001692: PUSH1 0x00 00001694: REVERT 00001695: JUMPDEST 00001696: PUSH1 0x01 00001698: PUSH1 0x01 0000169a: PUSH1 0xa0 0000169c: SHL 0000169d: SUB 0000169e: DUP2 0000169f: AND 000016a0: DUP2 000016a1: EQ 000016a2: PUSH2 0x0bf1 000016a5: JUMPI 000016a6: PUSH1 0x00 000016a8: DUP1 000016a9: REVERT 000016aa: INVALID 000016ab: LOG2 000016ac: PUSH5 0x6970667358 000016b2: UNKNOWN(0x22) 000016b3: SLT 000016b4: KECCAK256 000016b5: PUSH10 0x1bfd705f8d1e11124ce7 000016c0: UNKNOWN(0xC6) 000016c1: UNKNOWN(0x2D) 000016c2: UNKNOWN(0xB9) 000016c3: UNKNOWN(0xC3) 000016c4: UNKNOWN(0xD1) 000016c5: CREATE 000016c6: DUP15 000016c7: AND 000016c8: PUSH26
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xf8b5136062efeee5676259cc2d982a401b0d3996a41ff0c26656cf3f4dbe0749
call_targets:
0xead023c907fd195121f4536639e0e91edbd49bbb
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf8b5136062efeee5676259cc2d982a401b0d3996a41ff0c26656cf3f4dbe0749",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xead023c907fd195121f4536639e0e91edbd49bbb"
],
"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": "0xbbb86327",
"selector": "0xbbb86327",
"calldata_variants": [
"0xbbb86327",
"0xbbb863270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc1dfa0bb",
"selector": "0xc1dfa0bb",
"calldata_variants": [
"0xc1dfa0bb",
"0xc1dfa0bb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd2de0c54",
"selector": "0xd2de0c54",
"calldata_variants": [
"0xd2de0c54",
"0xd2de0c540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe59a58ee",
"selector": "0xe59a58ee",
"calldata_variants": [
"0xe59a58ee",
"0xe59a58ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9b6b3f6b",
"selector": "0x9b6b3f6b",
"calldata_variants": [
"0x9b6b3f6b",
"0x9b6b3f6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xae169a50",
"selector": "0xae169a50",
"calldata_variants": [
"0xae169a50",
"0xae169a500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb37f105b",
"selector": "0xb37f105b",
"calldata_variants": [
"0xb37f105b",
"0xb37f105b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2252,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3027,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3468,
"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: 0xf8b5136062efeee5676259cc2d982a401b0d3996a41ff0c26656cf3f4dbe0749
call_targets:
0xead023c907fd195121f4536639e0e91edbd49bbb
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf8b5136062efeee5676259cc2d982a401b0d3996a41ff0c26656cf3f4dbe0749",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xead023c907fd195121f4536639e0e91edbd49bbb"
],
"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": "0xbbb86327",
"selector": "0xbbb86327",
"calldata_variants": [
"0xbbb86327",
"0xbbb863270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc1dfa0bb",
"selector": "0xc1dfa0bb",
"calldata_variants": [
"0xc1dfa0bb",
"0xc1dfa0bb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd2de0c54",
"selector": "0xd2de0c54",
"calldata_variants": [
"0xd2de0c54",
"0xd2de0c540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe59a58ee",
"selector": "0xe59a58ee",
"calldata_variants": [
"0xe59a58ee",
"0xe59a58ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9b6b3f6b",
"selector": "0x9b6b3f6b",
"calldata_variants": [
"0x9b6b3f6b",
"0x9b6b3f6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xae169a50",
"selector": "0xae169a50",
"calldata_variants": [
"0xae169a50",
"0xae169a500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb37f105b",
"selector": "0xb37f105b",
"calldata_variants": [
"0xb37f105b",
"0xb37f105b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2252,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3027,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3468,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xdd4b767309afb229a817798406fc7c42bfd1b3ec98a8db836c17c7dc373cb9a2
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xdd4b767309afb229a817798406fc7c42bfd1b3ec98a8db836c17c7dc373cb9a2",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xbbb86327",
"selector": "0xbbb86327",
"calldata_variants": [
"0xbbb86327",
"0xbbb863270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc1dfa0bb",
"selector": "0xc1dfa0bb",
"calldata_variants": [
"0xc1dfa0bb",
"0xc1dfa0bb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd2de0c54",
"selector": "0xd2de0c54",
"calldata_variants": [
"0xd2de0c54",
"0xd2de0c540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe59a58ee",
"selector": "0xe59a58ee",
"calldata_variants": [
"0xe59a58ee",
"0xe59a58ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9b6b3f6b",
"selector": "0x9b6b3f6b",
"calldata_variants": [
"0x9b6b3f6b",
"0x9b6b3f6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xae169a50",
"selector": "0xae169a50",
"calldata_variants": [
"0xae169a50",
"0xae169a500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb37f105b",
"selector": "0xb37f105b",
"calldata_variants": [
"0xb37f105b",
"0xb37f105b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|