019b3844-a1f1-7175-beda-988305a349cc
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 |
|---|---|---|---|---|
| 15551 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 15552 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 58761 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 58762 | capability.graph | complete | 1 / 3 | 1 week ago |
| 58763 | detector.run | complete | 1 / 3 | 1 week ago |
| 58764 | validation.fork | complete | 1 / 3 | 1 week 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 0x01c6 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8e1764f4 00000019: GT 0000001a: PUSH2 0x00f7 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc7446565 00000024: GT 00000025: PUSH2 0x0095 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xdea9b646 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xdea9b646 0000003a: EQ 0000003b: PUSH2 0x0697 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe6c0e6d5 00000045: EQ 00000046: PUSH2 0x06b3 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x06e7 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf5eebfc7 0000005b: EQ 0000005c: PUSH2 0x0707 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xc7446565 0000006b: EQ 0000006c: PUSH2 0x05ed 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xd6fbf202 00000076: EQ 00000077: PUSH2 0x0621 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xdb002061 00000081: EQ 00000082: PUSH2 0x0655 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xdb2e21bc 0000008c: EQ 0000008d: PUSH2 0x0682 00000090: JUMPI 00000091: PUSH1 0x00 00000093: DUP1 00000094: REVERT 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0xa7ccabdf 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xa7ccabdf 000000a7: EQ 000000a8: PUSH2 0x04b1 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xa8feda51 000000b2: EQ 000000b3: PUSH2 0x04d1 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xb4f055be 000000bd: EQ 000000be: PUSH2 0x04e6 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xba8834fd 000000c8: EQ 000000c9: PUSH2 0x05d7 000000cc: JUMPI 000000cd: PUSH1 0x00 000000cf: DUP1 000000d0: REVERT 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x8e1764f4 000000d8: EQ 000000d9: PUSH2 0x0459 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x98d5fdca 000000e3: EQ 000000e4: PUSH2 0x046e 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x9f235ccd 000000ee: EQ 000000ef: PUSH2 0x049b 000000f2: JUMPI 000000f3: PUSH1 0x00 000000f5: DUP1 000000f6: REVERT 000000f7: JUMPDEST 000000f8: DUP1 000000f9: PUSH4 0x715018a6 000000fe: GT 000000ff: PUSH2 0x0164 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x8622a689 00000109: GT 0000010a: PUSH2 0x013e 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x8622a689 00000114: EQ 00000115: PUSH2 0x03ef 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x8a4e3ee1 0000011f: EQ 00000120: PUSH2 0x0405 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x8b034136 0000012a: EQ 0000012b: PUSH2 0x0425 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x8da5cb5b 00000135: EQ 00000136: PUSH2 0x043b 00000139: JUMPI 0000013a: PUSH1 0x00 0000013c: DUP1 0000013d: REVERT 0000013e: JUMPDEST 0000013f: DUP1 00000140: PUSH4 0x715018a6 00000145: EQ 00000146: PUSH2 0x0362 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x7f593d9e 00000150: EQ 00000151: PUSH2 0x0377 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x80d0feaa 0000015b: EQ 0000015c: PUSH2 0x03b7 0000015f: JUMPI 00000160: PUSH1 0x00 00000162: DUP1 00000163: REVERT 00000164: JUMPDEST 00000165: DUP1 00000166: PUSH4 0x3294cd0b 0000016b: GT 0000016c: PUSH2 0x01a0 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x3294cd0b 00000176: EQ 00000177: PUSH2 0x030b 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x33500e26 00000181: EQ 00000182: PUSH2 0x0321 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x4e9e1ec6 0000018c: EQ 0000018d: PUSH2 0x0336 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x61f04c10 00000197: EQ 00000198: PUSH2 0x034c 0000019b: JUMPI 0000019c: PUSH1 0x00 0000019e: DUP1 0000019f: REVERT 000001a0: JUMPDEST 000001a1: DUP1 000001a2: PUSH4 0x072c1ba5 000001a7: EQ 000001a8: PUSH2 0x021d 000001ab: JUMPI 000001ac: DUP1 000001ad: PUSH4 0x106587c2 000001b2: EQ 000001b3: PUSH2 0x025d 000001b6: JUMPI 000001b7: DUP1 000001b8: PUSH4 0x2fb5eac2 000001bd: EQ 000001be: PUSH2 0x0273 000001c1: JUMPI 000001c2: PUSH1 0x00 000001c4: DUP1 000001c5: REVERT 000001c6: JUMPDEST 000001c7: CALLDATASIZE 000001c8: PUSH2 0x0218 000001cb: JUMPI 000001cc: PUSH1 0x40 000001ce: MLOAD 000001cf: PUSH3 0x461bcd 000001d3: PUSH1 0xe5 000001d5: SHL 000001d6: DUP2 000001d7: MSTORE 000001d8: PUSH1 0x20 000001da: PUSH1 0x04 000001dc: DUP3 000001dd: ADD 000001de: MSTORE 000001df: PUSH1 0x1b 000001e1: PUSH1 0x24 000001e3: DUP3 000001e4: ADD 000001e5: MSTORE 000001e6: PUSH32 0x506c656173652075736520746865206269642066756e6374696f6e0000000000 00000207: PUSH1 0x44 00000209: DUP3 0000020a: ADD 0000020b: MSTORE 0000020c: PUSH1 0x64 0000020e: ADD 0000020f: JUMPDEST 00000210: PUSH1 0x40 00000212: MLOAD 00000213: DUP1 00000214: SWAP2 00000215: SUB 00000216: SWAP1 00000217: REVERT 00000218: JUMPDEST 00000219: PUSH1 0x00 0000021b: DUP1 0000021c: REVERT 0000021d: JUMPDEST 0000021e: CALLVALUE 0000021f: DUP1 00000220: ISZERO 00000221: PUSH2 0x0229 00000224: JUMPI 00000225: PUSH1 0x00 00000227: DUP1 00000228: REVERT 00000229: JUMPDEST 0000022a: POP 0000022b: PUSH2 0x024a 0000022e: PUSH2 0x0238 00000231: CALLDATASIZE 00000232: PUSH1 0x04 00000234: PUSH2 0x166d 00000237: JUMP 00000238: JUMPDEST 00000239: PUSH1 0x04 0000023b: PUSH1 0x20 0000023d: MSTORE 0000023e: PUSH1 0x00 00000240: SWAP1 00000241: DUP2 00000242: MSTORE 00000243: PUSH1 0x40 00000245: SWAP1 00000246: KECCAK256 00000247: SLOAD 00000248: DUP2 00000249: JUMP 0000024a: JUMPDEST 0000024b: PUSH1 0x40 0000024d: MLOAD 0000024e: SWAP1 0000024f: DUP2 00000250: MSTORE 00000251: PUSH1 0x20 00000253: ADD 00000254: JUMPDEST 00000255: PUSH1 0x40 00000257: MLOAD 00000258: DUP1 00000259: SWAP2 0000025a: SUB 0000025b: SWAP1 0000025c: RETURN 0000025d: JUMPDEST 0000025e: CALLVALUE 0000025f: DUP1 00000260: ISZERO 00000261: PUSH2 0x0269 00000264: JUMPI 00000265: PUSH1 0x00 00000267: DUP1 00000268: REVERT 00000269: JUMPDEST 0000026a: POP 0000026b: PUSH2 0x024a 0000026e: PUSH1 0x09 00000270: SLOAD 00000271: DUP2 00000272: JUMP 00000273: JUMPDEST 00000274: CALLVALUE 00000275: DUP1 00000276: ISZERO 00000277: PUSH2 0x027f 0000027a: JUMPI 0000027b: PUSH1 0x00 0000027d: DUP1 0000027e: REVERT 0000027f: JUMPDEST 00000280: POP 00000281: PUSH2 0x02d0 00000284: PUSH2 0x028e 00000287: CALLDATASIZE 00000288: PUSH1 0x04 0000028a: PUSH2 0x169d 0000028d: JUMP 0000028e: JUMPDEST 0000028f: PUSH1 0x06 00000291: PUSH1 0x20 00000293: MSTORE 00000294: PUSH1 0x00 00000296: SWAP1 00000297: DUP2 00000298: MSTORE 00000299: PUSH1 0x40 0000029b: SWAP1 0000029c: KECCAK256 0000029d: SLOAD 0000029e: PUSH1 0x01 000002a0: PUSH1 0x01 000002a2: PUSH1 0xa0 000002a4: SHL 000002a5: SUB 000002a6: DUP2 000002a7: AND 000002a8: SWAP1 000002a9: PUSH1 0x01 000002ab: PUSH1 0x01 000002ad: PUSH1 0x50 000002af: SHL 000002b0: SUB 000002b1: PUSH1 0x01 000002b3: PUSH1 0xa0 000002b5: SHL 000002b6: DUP3 000002b7: DIV 000002b8: AND 000002b9: SWAP1 000002ba: PUSH1 0xff 000002bc: PUSH1 0x01 000002be: PUSH1 0xf0 000002c0: SHL 000002c1: DUP3 000002c2: DIV 000002c3: DUP2 000002c4: AND 000002c5: SWAP2 000002c6: PUSH1 0x01 000002c8: PUSH1 0xf8 000002ca: SHL 000002cb: SWAP1 000002cc: DIV 000002cd: AND 000002ce: DUP5 000002cf: JUMP 000002d0: JUMPDEST 000002d1: PUSH1 0x40 000002d3: DUP1 000002d4: MLOAD 000002d5: PUSH1 0x01 000002d7: PUSH1 0x01 000002d9: PUSH1 0xa0 000002db: SHL 000002dc: SUB 000002dd: SWAP1 000002de: SWAP6 000002df: AND 000002e0: DUP6 000002e1: MSTORE 000002e2: PUSH1 0x01 000002e4: PUSH1 0x01 000002e6: PUSH1 0x50 000002e8: SHL 000002e9: SUB 000002ea: SWAP1 000002eb: SWAP4 000002ec: AND 000002ed: PUSH1 0x20 000002ef: DUP6 000002f0: ADD 000002f1: MSTORE 000002f2: PUSH1 0xff 000002f4: SWAP2 000002f5: DUP3 000002f6: AND 000002f7: SWAP3 000002f8: DUP5 000002f9: ADD 000002fa: SWAP3 000002fb: SWAP1 000002fc: SWAP3 000002fd: MSTORE 000002fe: AND 000002ff: PUSH1 0x60 00000301: DUP3 00000302: ADD 00000303: MSTORE 00000304: PUSH1 0x80 00000306: ADD 00000307: PUSH2 0x0254 0000030a: JUMP 0000030b: JUMPDEST 0000030c: CALLVALUE 0000030d: DUP1 0000030e: ISZERO 0000030f: PUSH2 0x0317 00000312: JUMPI 00000313: PUSH1 0x00 00000315: DUP1 00000316: REVERT 00000317: JUMPDEST 00000318: POP 00000319: PUSH2 0x024a 0000031c: PUSH1 0x02 0000031e: SLOAD 0000031f: DUP2 00000320: JUMP 00000321: JUMPDEST 00000322: PUSH2 0x0334 00000325: PUSH2 0x032f 00000328: CALLDATASIZE 00000329: PUSH1 0x04 0000032b: PUSH2 0x16b6 0000032e: JUMP 0000032f: JUMPDEST 00000330: PUSH2 0x0754 00000333: JUMP 00000334: JUMPDEST 00000335: STOP 00000336: JUMPDEST 00000337: CALLVALUE 00000338: DUP1 00000339: ISZERO 0000033a: PUSH2 0x0342 0000033d: JUMPI 0000033e: PUSH1 0x00 00000340: DUP1 00000341: REVERT 00000342: JUMPDEST 00000343: POP 00000344: PUSH2 0x024a 00000347: PUSH1 0x01 00000349: SLOAD 0000034a: DUP2 0000034b: JUMP 0000034c: JUMPDEST 0000034d: CALLVALUE 0000034e: DUP1 0000034f: ISZERO 00000350: PUSH2 0x0358 00000353: JUMPI 00000354: PUSH1 0x00 00000356: DUP1 00000357: REVERT 00000358: JUMPDEST 00000359: POP 0000035a: PUSH2 0x024a 0000035d: PUSH1 0x07 0000035f: SLOAD 00000360: DUP2 00000361: JUMP 00000362: JUMPDEST 00000363: CALLVALUE 00000364: DUP1 00000365: ISZERO 00000366: PUSH2 0x036e 00000369: JUMPI 0000036a: PUSH1 0x00 0000036c: DUP1 0000036d: REVERT 0000036e: JUMPDEST 0000036f: POP 00000370: PUSH2 0x0334 00000373: PUSH2 0x0761 00000376: JUMP 00000377: JUMPDEST 00000378: CALLVALUE 00000379: DUP1 0000037a: ISZERO 0000037b: PUSH2 0x0383 0000037e: JUMPI 0000037f: PUSH1 0x00 00000381: DUP1 00000382: REVERT 00000383: JUMPDEST 00000384: POP 00000385: PUSH2 0x0397 00000388: PUSH2 0x0392 0000038b: CALLDATASIZE 0000038c: PUSH1 0x04 0000038e: PUSH2 0x166d 00000391: JUMP 00000392: JUMPDEST 00000393: PUSH2 0x0797 00000396: JUMP 00000397: JUMPDEST 00000398: PUSH1 0x40 0000039a: DUP1 0000039b: MLOAD 0000039c: SWAP5 0000039d: DUP6 0000039e: MSTORE 0000039f: PUSH1 0x20 000003a1: DUP6 000003a2: ADD 000003a3: SWAP4 000003a4: SWAP1 000003a5: SWAP4 000003a6: MSTORE 000003a7: SWAP2 000003a8: DUP4 000003a9: ADD 000003aa: MSTORE 000003ab: PUSH1 0x60 000003ad: DUP3 000003ae: ADD 000003af: MSTORE 000003b0: PUSH1 0x80 000003b2: ADD 000003b3: PUSH2 0x0254 000003b6: JUMP 000003b7: JUMPDEST 000003b8: CALLVALUE 000003b9: DUP1 000003ba: ISZERO 000003bb: PUSH2 0x03c3 000003be: JUMPI 000003bf: PUSH1 0x00 000003c1: DUP1 000003c2: REVERT 000003c3: JUMPDEST 000003c4: POP 000003c5: PUSH1 0x0c 000003c7: SLOAD 000003c8: PUSH2 0x03d7 000003cb: SWAP1 000003cc: PUSH1 0x01 000003ce: PUSH1 0x01 000003d0: PUSH1 0xa0 000003d2: SHL 000003d3: SUB 000003d4: AND 000003d5: DUP2 000003d6: JUMP 000003d7: JUMPDEST 000003d8: PUSH1 0x40 000003da: MLOAD 000003db: PUSH1 0x01 000003dd: PUSH1 0x01 000003df: PUSH1 0xa0 000003e1: SHL 000003e2: SUB 000003e3: SWAP1 000003e4: SWAP2 000003e5: AND 000003e6: DUP2 000003e7: MSTORE 000003e8: PUSH1 0x20 000003ea: ADD 000003eb: PUSH2 0x0254 000003ee: JUMP 000003ef: JUMPDEST 000003f0: CALLVALUE 000003f1: DUP1 000003f2: ISZERO 000003f3: PUSH2 0x03fb 000003f6: JUMPI 000003f7: PUSH1 0x00 000003f9: DUP1 000003fa: REVERT 000003fb: JUMPDEST 000003fc: POP 000003fd: PUSH2 0x024a 00000400: PUSH1 0x03 00000402: SLOAD 00000403: DUP2 00000404: JUMP 00000405: JUMPDEST 00000406: CALLVALUE 00000407: DUP1 00000408: ISZERO 00000409: PUSH2 0x0411 0000040c: JUMPI 0000040d: PUSH1 0x00 0000040f: DUP1 00000410: REVERT 00000411: JUMPDEST 00000412: POP 00000413: PUSH2 0x0334 00000416: PUSH2 0x0420 00000419: CALLDATASIZE 0000041a: PUSH1 0x04 0000041c: PUSH2 0x1725 0000041f: JUMP 00000420: JUMPDEST 00000421: PUSH2 0x080f 00000424: JUMP 00000425: JUMPDEST 00000426: CALLVALUE 00000427: DUP1 00000428: ISZERO 00000429: PUSH2 0x0431 0000042c: JUMPI 0000042d: PUSH1 0x00 0000042f: DUP1 00000430: REVERT 00000431: JUMPDEST 00000432: POP 00000433: PUSH2 0x024a 00000436: PUSH1 0x08 00000438: SLOAD 00000439: DUP2 0000043a: JUMP 0000043b: JUMPDEST 0000043c: CALLVALUE 0000043d: DUP1 0000043e: ISZERO 0000043f: PUSH2 0x0447 00000442: JUMPI 00000443: PUSH1 0x00 00000445: DUP1 00000446: REVERT 00000447: JUMPDEST 00000448: POP 00000449: PUSH1 0x00 0000044b: SLOAD 0000044c: PUSH1 0x01 0000044e: PUSH1 0x01 00000450: PUSH1 0xa0 00000452: SHL 00000453: SUB 00000454: AND 00000455: PUSH2 0x03d7 00000458: JUMP 00000459: JUMPDEST 0000045a: CALLVALUE 0000045b: DUP1 0000045c: ISZERO 0000045d: PUSH2 0x0465 00000460: JUMPI 00000461: PUSH1 0x00 00000463: DUP1 00000464: REVERT 00000465: JUMPDEST 00000466: POP 00000467: PUSH2 0x0334 0000046a: PUSH2 0x08bb 0000046d: JUMP 0000046e: JUMPDEST 0000046f: CALLVALUE 00000470: DUP1 00000471: ISZERO 00000472: PUSH2 0x047a 00000475: JUMPI 00000476: PUSH1 0x00 00000478: DUP1 00000479: REVERT 0000047a: JUMPDEST 0000047b: POP 0000047c: PUSH2 0x0483 0000047f: PUSH2 0x0afd 00000482: JUMP 00000483: JUMPDEST 00000484: PUSH1 0x40 00000486: MLOAD 00000487: PUSH1 0x01 00000489: PUSH1 0x01 0000048b: PUSH1 0x50 0000048d: SHL 0000048e: SUB 0000048f: SWAP1 00000490: SWAP2 00000491: AND 00000492: DUP2 00000493: MSTORE 00000494: PUSH1 0x20 00000496: ADD 00000497: PUSH2 0x0254 0000049a: JUMP 0000049b: JUMPDEST 0000049c: CALLVALUE 0000049d: DUP1 0000049e: ISZERO 0000049f: PUSH2 0x04a7 000004a2: JUMPI 000004a3: PUSH1 0x00 000004a5: DUP1 000004a6: REVERT 000004a7: JUMPDEST 000004a8: POP 000004a9: PUSH2 0x024a 000004ac: PUSH1 0x0a 000004ae: SLOAD 000004af: DUP2 000004b0: JUMP 000004b1: JUMPDEST 000004b2: CALLVALUE 000004b3: DUP1 000004b4: ISZERO 000004b5: PUSH2 0x04bd 000004b8: JUMPI 000004b9: PUSH1 0x00 000004bb: DUP1 000004bc: REVERT 000004bd: JUMPDEST 000004be: POP 000004bf: PUSH2 0x0334 000004c2: PUSH2 0x04cc 000004c5: CALLDATASIZE 000004c6: PUSH1 0x04 000004c8: PUSH2 0x166d 000004cb: JUMP 000004cc: JUMPDEST 000004cd: PUSH2 0x0bac 000004d0: JUMP 000004d1: JUMPDEST 000004d2: CALLVALUE 000004d3: DUP1 000004d4: ISZERO 000004d5: PUSH2 0x04dd 000004d8: JUMPI 000004d9: PUSH1 0x00 000004db: DUP1 000004dc: REVERT 000004dd: JUMPDEST 000004de: POP 000004df: PUSH2 0x0334 000004e2: PUSH2 0x0bf8 000004e5: JUMP 000004e6: JUMPDEST 000004e7: CALLVALUE 000004e8: DUP1 000004e9: ISZERO 000004ea: PUSH2 0x04f2 000004ed: JUMPI 000004ee: PUSH1 0x00 000004f0: DUP1 000004f1: REVERT 000004f2: JUMPDEST 000004f3: POP 000004f4: PUSH2 0x058b 000004f7: PUSH2 0x0501 000004fa: CALLDATASIZE 000004fb: PUSH1 0x04 000004fd: PUSH2 0x166d 00000500: JUMP 00000501: JUMPDEST 00000502: PUSH1 0x40 00000504: DUP1 00000505: MLOAD 00000506: PUSH1 0x80 00000508: DUP1 00000509: DUP3 0000050a: ADD 0000050b: DUP4 0000050c: MSTORE 0000050d: PUSH1 0x00 0000050f: DUP1 00000510: DUP4 00000511: MSTORE 00000512: PUSH1 0x20 00000514: DUP1 00000515: DUP5 00000516: ADD 00000517: DUP3 00000518: SWAP1 00000519: MSTORE 0000051a: DUP4 0000051b: DUP6 0000051c: ADD 0000051d: DUP3 0000051e: SWAP1 0000051f: MSTORE 00000520: PUSH1 0x60 00000522: SWAP4 00000523: DUP5 00000524: ADD 00000525: DUP3 00000526: SWAP1 00000527: MSTORE 00000528: PUSH1 0x01 0000052a: PUSH1 0x01 0000052c: PUSH1 0xa0 0000052e: SHL 0000052f: SUB 00000530: SWAP6 00000531: DUP7 00000532: AND 00000533: DUP3 00000534: MSTORE 00000535: PUSH1 0x05 00000537: DUP2 00000538: MSTORE 00000539: DUP5 0000053a: DUP3 0000053b: KECCAK256 0000053c: SLOAD 0000053d: DUP3 0000053e: MSTORE 0000053f: PUSH1 0x06 00000541: DUP2 00000542: MSTORE 00000543: SWAP1 00000544: DUP5 00000545: SWAP1 00000546: KECCAK256 00000547: DUP5 00000548: MLOAD 00000549: SWAP3 0000054a: DUP4 0000054b: ADD 0000054c: DUP6 0000054d: MSTORE 0000054e: SLOAD 0000054f: SWAP5 00000550: DUP6 00000551: AND 00000552: DUP3 00000553: MSTORE 00000554: PUSH1 0x01 00000556: PUSH1 0x01 00000558: PUSH1 0x50 0000055a: SHL 0000055b: SUB 0000055c: PUSH1 0x01 0000055e: PUSH1 0xa0 00000560: SHL 00000561: DUP7 00000562: DIV 00000563: AND 00000564: SWAP1 00000565: DUP3 00000566: ADD 00000567: MSTORE 00000568: PUSH1 0xff 0000056a: PUSH1 0x01 0000056c: PUSH1 0xf0 0000056e: SHL 0000056f: DUP6 00000570: DIV 00000571: DUP2 00000572: AND 00000573: SWAP4 00000574: DUP3 00000575: ADD 00000576: SWAP4 00000577: SWAP1 00000578: SWAP4 00000579: MSTORE 0000057a: PUSH1 0x01 0000057c: PUSH1 0xf8 0000057e: SHL 0000057f: SWAP1 00000580: SWAP4 00000581: DIV 00000582: SWAP1 00000583: SWAP2 00000584: AND 00000585: SWAP1 00000586: DUP3 00000587: ADD 00000588: MSTORE 00000589: SWAP1 0000058a: JUMP 0000058b: JUMPDEST 0000058c: PUSH1 0x40 0000058e: DUP1 0000058f: MLOAD 00000590: DUP3 00000591: MLOAD 00000592: PUSH1 0x01 00000594: PUSH1 0x01 00000596: PUSH1 0xa0 00000598: SHL 00000599: SUB 0000059a: AND 0000059b: DUP2 0000059c: MSTORE 0000059d: PUSH1 0x20 0000059f: DUP1 000005a0: DUP5 000005a1: ADD 000005a2: MLOAD 000005a3: PUSH1 0x01 000005a5: PUSH1 0x01 000005a7: PUSH1 0x50 000005a9: SHL 000005aa: SUB 000005ab: AND 000005ac: SWAP1 000005ad: DUP3 000005ae: ADD 000005af: MSTORE 000005b0: DUP3 000005b1: DUP3 000005b2: ADD 000005b3: MLOAD 000005b4: PUSH1 0xff 000005b6: SWAP1 000005b7: DUP2 000005b8: AND 000005b9: SWAP3 000005ba: DUP3 000005bb: ADD 000005bc: SWAP3 000005bd: SWAP1 000005be: SWAP3 000005bf: MSTORE 000005c0: PUSH1 0x60 000005c2: SWAP3 000005c3: DUP4 000005c4: ADD 000005c5: MLOAD 000005c6: SWAP1 000005c7: SWAP2 000005c8: AND 000005c9: SWAP2 000005ca: DUP2 000005cb: ADD 000005cc: SWAP2 000005cd: SWAP1 000005ce: SWAP2 000005cf: MSTORE 000005d0: PUSH1 0x80 000005d2: ADD 000005d3: PUSH2 0x0254 000005d6: JUMP 000005d7: JUMPDEST 000005d8: CALLVALUE 000005d9: DUP1 000005da: ISZERO 000005db: PUSH2 0x05e3 000005de: JUMPI 000005df: PUSH1 0x00 000005e1: DUP1 000005e2: REVERT 000005e3: JUMPDEST 000005e4: POP 000005e5: PUSH2 0x024a 000005e8: PUSH1 0x0b 000005ea: SLOAD 000005eb: DUP2 000005ec: JUMP 000005ed: JUMPDEST 000005ee: CALLVALUE 000005ef: DUP1 000005f0: ISZERO 000005f1: PUSH2 0x05f9 000005f4: JUMPI 000005f5: PUSH1 0x00 000005f7: DUP1 000005f8: REVERT 000005f9: JUMPDEST 000005fa: POP 000005fb: PUSH2 0x024a 000005fe: PUSH32 0x0000000000000000000000000000000000000000000000000000000062631180 0000061f: DUP2 00000620: JUMP 00000621: JUMPDEST 00000622: CALLVALUE 00000623: DUP1 00000624: ISZERO 00000625: PUSH2 0x062d 00000628: JUMPI 00000629: PUSH1 0x00 0000062b: DUP1 0000062c: REVERT 0000062d: JUMPDEST 0000062e: POP 0000062f: PUSH2 0x024a 00000632: PUSH32 0x00000000000000000000000000000000000000000000000030927f74c9de0000 00000653: DUP2 00000654: JUMP 00000655: JUMPDEST 00000656: CALLVALUE 00000657: DUP1 00000658: ISZERO 00000659: PUSH2 0x0661 0000065c: JUMPI 0000065d: PUSH1 0x00 0000065f: DUP1 00000660: REVERT 00000661: JUMPDEST 00000662: POP 00000663: PUSH2 0x024a 00000666: PUSH2 0x0670 00000669: CALLDATASIZE 0000066a: PUSH1 0x04 0000066c: PUSH2 0x166d 0000066f: JUMP 00000670: JUMPDEST 00000671: PUSH1 0x05 00000673: PUSH1 0x20 00000675: MSTORE 00000676: PUSH1 0x00 00000678: SWAP1 00000679: DUP2 0000067a: MSTORE 0000067b: PUSH1 0x40 0000067d: SWAP1 0000067e: KECCAK256 0000067f: SLOAD 00000680: DUP2 00000681: JUMP 00000682: JUMPDEST 00000683: CALLVALUE 00000684: DUP1 00000685: ISZERO 00000686: PUSH2 0x068e 00000689: JUMPI 0000068a: PUSH1 0x00 0000068c: DUP1 0000068d: REVERT 0000068e: JUMPDEST 0000068f: POP 00000690: PUSH2 0x0334 00000693: PUSH2 0x0ea6 00000696: JUMP 00000697: JUMPDEST 00000698: CALLVALUE 00000699: DUP1 0000069a: ISZERO 0000069b: PUSH2 0x06a3 0000069e: JUMPI 0000069f: PUSH1 0x00 000006a1: DUP1 000006a2: REVERT 000006a3: JUMPDEST 000006a4: POP 000006a5: PUSH2 0x024a 000006a8: PUSH8 0x06f05b59d3b20000 000006b1: DUP2 000006b2: JUMP 000006b3: JUMPDEST 000006b4: CALLVALUE 000006b5: DUP1 000006b6: ISZERO 000006b7: PUSH2 0x06bf 000006ba: JUMPI 000006bb: PUSH1 0x00 000006bd: DUP1 000006be: REVERT 000006bf: JUMPDEST 000006c0: POP 000006c1: PUSH2 0x024a 000006c4: PUSH32 0x000000000000000000000000000000000000000000000000016345785d8a0000 000006e5: DUP2 000006e6: JUMP 000006e7: JUMPDEST 000006e8: CALLVALUE 000006e9: DUP1 000006ea: ISZERO 000006eb: PUSH2 0x06f3 000006ee: JUMPI 000006ef: PUSH1 0x00 000006f1: DUP1 000006f2: REVERT 000006f3: JUMPDEST 000006f4: POP 000006f5: PUSH2 0x0334 000006f8: PUSH2 0x0702 000006fb: CALLDATASIZE 000006fc: PUSH1 0x04 000006fe: PUSH2 0x166d 00000701: JUMP 00000702: JUMPDEST 00000703: PUSH2 0x10c9 00000706: JUMP 00000707: JUMPDEST 00000708: CALLVALUE 00000709: DUP1 0000070a: ISZERO 0000070b: PUSH2 0x0713 0000070e: JUMPI 0000070f: PUSH1 0x00 00000711: DUP1 00000712: REVERT 00000713: JUMPDEST 00000714: POP 00000715: PUSH2 0x024a 00000718: PUSH2 0x0722 0000071b: CALLDATASIZE 0000071c: PUSH1 0x04 0000071e: PUSH2 0x166d 00000721: JUMP 00000722: JUMPDEST 00000723: PUSH1 0x01 00000725: PUSH1 0x01 00000727: PUSH1 0xa0 00000729: SHL 0000072a: SUB 0000072b: AND 0000072c: PUSH1 0x00 0000072e: SWAP1 0000072f: DUP2 00000730: MSTORE 00000731: PUSH1 0x05 00000733: PUSH1 0x20 00000735: SWAP1 00000736: DUP2 00000737: MSTORE 00000738: PUSH1 0x40 0000073a: DUP1 0000073b: DUP4 0000073c: KECCAK256 0000073d: SLOAD 0000073e: DUP4 0000073f: MSTORE 00000740: PUSH1 0x06 00000742: SWAP1 00000743: SWAP2 00000744: MSTORE 00000745: SWAP1 00000746: KECCAK256 00000747: SLOAD 00000748: PUSH1 0x01 0000074a: PUSH1 0xf0 0000074c: SHL 0000074d: SWAP1 0000074e: DIV 0000074f: PUSH1 0xff 00000751: AND 00000752: SWAP1 00000753: JUMP 00000754: JUMPDEST 00000755: PUSH2 0x075e 00000758: DUP2 00000759: CALLVALUE 0000075a: PUSH2 0x1161 0000075d: JUMP 0000075e: JUMPDEST 0000075f: POP 00000760: JUMP 00000761: JUMPDEST 00000762: PUSH1 0x00 00000764: SLOAD 00000765: PUSH1 0x01 00000767: PUSH1 0x01 00000769: PUSH1 0xa0 0000076b: SHL 0000076c: SUB 0000076d: AND 0000076e: CALLER 0000076f: EQ 00000770: PUSH2 0x078b 00000773: JUMPI 00000774: PUSH1 0x40 00000776: MLOAD 00000777: PUSH3 0x461bcd 0000077b: PUSH1 0xe5 0000077d: SHL 0000077e: DUP2 0000077f: MSTORE 00000780: PUSH1 0x04 00000782: ADD 00000783: PUSH2 0x020f 00000786: SWAP1 00000787: PUSH2 0x1791 0000078a: JUMP 0000078b: JUMPDEST 0000078c: PUSH2 0x0795 0000078f: PUSH1 0x00 00000791: PUSH2 0x161d 00000794: JUMP 00000795: JUMPDEST 00000796: JUMP 00000797: JUMPDEST 00000798: PUSH1 0x00 0000079a: DUP1 0000079b: PUSH1 0x00 0000079d: DUP1 0000079e: PUSH1 0x08 000007a0: SLOAD 000007a1: PUSH1 0x02 000007a3: SLOAD 000007a4: PUSH2 0x07ad 000007a7: SWAP2 000007a8: SWAP1 000007a9: PUSH2 0x17dc 000007ac: JUMP 000007ad: JUMPDEST 000007ae: SWAP4 000007af: POP 000007b0: PUSH1 0x03 000007b2: SLOAD 000007b3: SWAP3 000007b4: POP 000007b5: PUSH2 0x07bc 000007b8: PUSH2 0x0afd 000007bb: JUMP 000007bc: JUMPDEST 000007bd: PUSH1 0x01 000007bf: PUSH1 0x01 000007c1: PUSH1 0x50 000007c3: SHL 000007c4: SUB 000007c5: AND 000007c6: SWAP2 000007c7: POP 000007c8: PUSH1 0x01 000007ca: PUSH1 0x01 000007cc: PUSH1 0xa0 000007ce: SHL 000007cf: SUB 000007d0: DUP6 000007d1: AND 000007d2: ISZERO 000007d3: PUSH2 0x0808 000007d6: JUMPI 000007d7: POP 000007d8: PUSH1 0x01 000007da: PUSH1 0x01 000007dc: PUSH1 0xa0 000007de: SHL 000007df: SUB 000007e0: DUP5 000007e1: AND 000007e2: PUSH1 0x00 000007e4: SWAP1 000007e5: DUP2 000007e6: MSTORE 000007e7: PUSH1 0x05 000007e9: PUSH1 0x20 000007eb: SWAP1 000007ec: DUP2 000007ed: MSTORE 000007ee: PUSH1 0x40 000007f0: DUP1 000007f1: DUP4 000007f2: KECCAK256 000007f3: SLOAD 000007f4: DUP4 000007f5: MSTORE 000007f6: PUSH1 0x06 000007f8: SWAP1 000007f9: SWAP2 000007fa: MSTORE 000007fb: SWAP1 000007fc: KECCAK256 000007fd: SLOAD 000007fe: PUSH1 0x01 00000800: PUSH1 0xf0 00000802: SHL 00000803: SWAP1 00000804: DIV 00000805: PUSH1 0xff 00000807: AND 00000808: JUMPDEST 00000809: SWAP2 0000080a: SWAP4 0000080b: POP 0000080c: SWAP2 0000080d: SWAP4 0000080e: JUMP 0000080f: JUMPDEST 00000810: PUSH1 0x00 00000812: SLOAD 00000813: PUSH1 0x01 00000815: PUSH1 0x01 00000817: PUSH1 0xa0 00000819: SHL 0000081a: SUB 0000081b: AND 0000081c: CALLER 0000081d: EQ 0000081e: PUSH2 0x0839 00000821: JUMPI 00000822: PUSH1 0x40 00000824: MLOAD 00000825: PUSH3 0x461bcd 00000829: PUSH1 0xe5 0000082b: SHL 0000082c: DUP2 0000082d: MSTORE 0000082e: PUSH1 0x04 00000830: ADD 00000831: PUSH2 0x020f 00000834: SWAP1 00000835: PUSH2 0x1791 00000838: JUMP 00000839: JUMPDEST 0000083a: PUSH1 0x00 0000083c: JUMPDEST 0000083d: DUP4 0000083e: DUP2 0000083f: LT 00000840: ISZERO 00000841: PUSH2 0x08b4 00000844: JUMPI 00000845: DUP3 00000846: DUP3 00000847: DUP3 00000848: DUP2 00000849: DUP2 0000084a: LT 0000084b: PUSH2 0x0856 0000084e: JUMPI 0000084f: PUSH2 0x0856 00000852: PUSH2 0x17f3 00000855: JUMP 00000856: JUMPDEST 00000857: SWAP1 00000858: POP 00000859: PUSH1 0x20 0000085b: MUL 0000085c: ADD 0000085d: CALLDATALOAD 0000085e: PUSH1 0x04 00000860: PUSH1 0x00 00000862: DUP8 00000863: DUP8 00000864: DUP6 00000865: DUP2 00000866: DUP2 00000867: LT 00000868: PUSH2 0x0873 0000086b: JUMPI 0000086c: PUSH2 0x0873 0000086f: PUSH2 0x17f3 00000872: JUMP 00000873: JUMPDEST 00000874: SWAP1 00000875: POP 00000876: PUSH1 0x20 00000878: MUL 00000879: ADD 0000087a: PUSH1 0x20 0000087c: DUP2 0000087d: ADD 0000087e: SWAP1 0000087f: PUSH2 0x0888 00000882: SWAP2 00000883: SWAP1 00000884: PUSH2 0x166d 00000887: JUMP 00000888: JUMPDEST 00000889: PUSH1 0x01 0000088b: PUSH1 0x01 0000088d: PUSH1 0xa0 0000088f: SHL 00000890: SUB 00000891: AND 00000892: DUP2 00000893: MSTORE 00000894: PUSH1 0x20 00000896: DUP2 00000897: ADD 00000898: SWAP2 00000899: SWAP1 0000089a: SWAP2 0000089b: MSTORE 0000089c: PUSH1 0x40 0000089e: ADD 0000089f: PUSH1 0x00 000008a1: KECCAK256 000008a2: SSTORE 000008a3: DUP1 000008a4: PUSH2 0x08ac 000008a7: DUP2 000008a8: PUSH2 0x1809 000008ab: JUMP 000008ac: JUMPDEST 000008ad: SWAP2 000008ae: POP 000008af: POP 000008b0: PUSH2 0x083c 000008b3: JUMP 000008b4: JUMPDEST 000008b5: POP 000008b6: POP 000008b7: POP 000008b8: POP 000008b9: POP 000008ba: JUMP 000008bb: JUMPDEST 000008bc: PUSH1 0x00 000008be: SLOAD 000008bf: PUSH1 0x01 000008c1: PUSH1 0x01 000008c3: PUSH1 0xa0 000008c5: SHL 000008c6: SUB 000008c7: AND 000008c8: CALLER 000008c9: EQ 000008ca: PUSH2 0x08e5 000008cd: JUMPI 000008ce: PUSH1 0x40 000008d0: MLOAD 000008d1: PUSH3 0x461bcd 000008d5: PUSH1 0xe5 000008d7: SHL 000008d8: DUP2 000008d9: MSTORE 000008da: PUSH1 0x04 000008dc: ADD 000008dd: PUSH2 0x020f 000008e0: SWAP1 000008e1: PUSH2 0x1791 000008e4: JUMP 000008e5: JUMPDEST 000008e6: PUSH1 0x03 000008e8: SLOAD 000008e9: TIMESTAMP 000008ea: GT 000008eb: PUSH2 0x0932 000008ee: JUMPI 000008ef: PUSH1 0x40 000008f1: MLOAD 000008f2: PUSH3 0x461bcd 000008f6: PUSH1 0xe5 000008f8: SHL 000008f9: DUP2 000008fa: MSTORE 000008fb: PUSH1 0x20 000008fd: PUSH1 0x04 000008ff: DUP3 00000900: ADD 00000901: MSTORE 00000902: PUSH1 0x19 00000904: PUSH1 0x24 00000906: DUP3 00000907: ADD 00000908: MSTORE 00000909: PUSH25 0x41756374696f6e207374696c6c20696e2070726f6772657373 00000923: PUSH1 0x38 00000925: SHL 00000926: PUSH1 0x44 00000928: DUP3 00000929: ADD 0000092a: MSTORE 0000092b: PUSH1 0x64 0000092d: ADD 0000092e: PUSH2 0x020f 00000931: JUMP 00000932: JUMPDEST 00000933: PUSH1 0x08 00000935: SLOAD 00000936: PUSH1 0x0b 00000938: SLOAD 00000939: LT 0000093a: ISZERO 0000093b: PUSH2 0x0986 0000093e: JUMPI 0000093f: PUSH1 0x40 00000941: MLOAD 00000942: PUSH3 0x461bcd 00000946: PUSH1 0xe5 00000948: SHL 00000949: DUP2 0000094a: MSTORE 0000094b: PUSH1 0x20 0000094d: PUSH1 0x04 0000094f: DUP3 00000950: ADD 00000951: MSTORE 00000952: PUSH1 0x19 00000954: PUSH1 0x24 00000956: DUP3 00000957: ADD 00000958: MSTORE 00000959: PUSH32 0x526566756e6473206e6f74207965742070726f63657373656400000000000000 0000097a: PUSH1 0x44 0000097c: DUP3 0000097d: ADD 0000097e: MSTORE 0000097f: PUSH1 0x64 00000981: ADD 00000982: PUSH2 0x020f 00000985: JUMP 00000986: JUMPDEST 00000987: PUSH1 0x08 00000989: SLOAD 0000098a: PUSH1 0x0c 0000098c: PUSH1 0x00 0000098e: SWAP1 0000098f: SLOAD 00000990: SWAP1 00000991: PUSH2 0x0100 00000994: EXP 00000995: SWAP1 00000996: DIV 00000997: PUSH1 0x01 00000999: PUSH1 0x01 0000099b: PUSH1 0xa0 0000099d: SHL 0000099e: SUB 0000099f: AND 000009a0: PUSH1 0x01 000009a2: PUSH1 0x01 000009a4: PUSH1 0xa0 000009a6: SHL 000009a7: SUB 000009a8: AND 000009a9: PUSH4 0x32063f52 000009ae: PUSH1 0x40 000009b0: MLOAD 000009b1: DUP2 000009b2: PUSH4 0xffffffff 000009b7: AND 000009b8: PUSH1 0xe0 000009ba: SHL 000009bb: DUP2 000009bc: MSTORE 000009bd: PUSH1 0x04 000009bf: ADD 000009c0: PUSH1 0x20 000009c2: PUSH1 0x40 000009c4: MLOAD 000009c5: DUP1 000009c6: DUP4 000009c7: SUB 000009c8: DUP2 000009c9: DUP7 000009ca: GAS 000009cb: STATICCALL 000009cc: ISZERO 000009cd: DUP1 000009ce: ISZERO 000009cf: PUSH2 0x09dc 000009d2: JUMPI 000009d3: RETURNDATASIZE 000009d4: PUSH1 0x00 000009d6: DUP1 000009d7: RETURNDATACOPY 000009d8: RETURNDATASIZE 000009d9: PUSH1 0x00 000009db: REVERT 000009dc: JUMPDEST 000009dd: POP 000009de: POP 000009df: POP 000009e0: POP 000009e1: PUSH1 0x40 000009e3: MLOAD 000009e4: RETURNDATASIZE 000009e5: PUSH1 0x1f 000009e7: NOT 000009e8: PUSH1 0x1f 000009ea: DUP3 000009eb: ADD 000009ec: AND 000009ed: DUP3 000009ee: ADD 000009ef: DUP1 000009f0: PUSH1 0x40 000009f2: MSTORE 000009f3: POP 000009f4: DUP2 000009f5: ADD 000009f6: SWAP1 000009f7: PUSH2 0x0a00 000009fa: SWAP2 000009fb: SWAP1 000009fc: PUSH2 0x1822 000009ff: JUMP 00000a00: JUMPDEST 00000a01: LT 00000a02: ISZERO 00000a03: PUSH2 0x0a45 00000a06: JUMPI 00000a07: PUSH1 0x40 00000a09: MLOAD 00000a0a: PUSH3 0x461bcd 00000a0e: PUSH1 0xe5 00000a10: SHL 00000a11: DUP2 00000a12: MSTORE 00000a13: PUSH1 0x20 00000a15: PUSH1 0x04 00000a17: DUP3 00000a18: ADD 00000a19: MSTORE 00000a1a: PUSH1 0x14 00000a1c: PUSH1 0x24 00000a1e: DUP3 00000a1f: ADD 00000a20: MSTORE 00000a21: PUSH20 0x41697264726f70206e6f7420636f6d706c657465 00000a36: PUSH1 0x60 00000a38: SHL 00000a39: PUSH1 0x44 00000a3b: DUP3 00000a3c: ADD 00000a3d: MSTORE 00000a3e: PUSH1 0x64 00000a40: ADD 00000a41: PUSH2 0x020f 00000a44: JUMP 00000a45: JUMPDEST 00000a46: PUSH1 0x00 00000a48: PUSH32 0x000000000000000000000000cc0ecd808ce4fed81f0552b3889656b28aa2bae9 00000a69: PUSH1 0x01 00000a6b: PUSH1 0x01 00000a6d: PUSH1 0xa0 00000a6f: SHL 00000a70: SUB 00000a71: AND 00000a72: SELFBALANCE 00000a73: PUSH1 0x40 00000a75: MLOAD 00000a76: PUSH1 0x00 00000a78: PUSH1 0x40 00000a7a: MLOAD 00000a7b: DUP1 00000a7c: DUP4 00000a7d: SUB 00000a7e: DUP2 00000a7f: DUP6 00000a80: DUP8 00000a81: GAS 00000a82: CALL 00000a83: SWAP3 00000a84: POP 00000a85: POP 00000a86: POP 00000a87: RETURNDATASIZE 00000a88: DUP1 00000a89: PUSH1 0x00 00000a8b: DUP2 00000a8c: EQ 00000a8d: PUSH2 0x0ab2 00000a90: JUMPI 00000a91: PUSH1 0x40 00000a93: MLOAD 00000a94: SWAP2 00000a95: POP 00000a96: PUSH1 0x1f 00000a98: NOT 00000a99: PUSH1 0x3f 00000a9b: RETURNDATASIZE 00000a9c: ADD 00000a9d: AND 00000a9e: DUP3 00000a9f: ADD 00000aa0: PUSH1 0x40 00000aa2: MSTORE 00000aa3: RETURNDATASIZE 00000aa4: DUP3 00000aa5: MSTORE 00000aa6: RETURNDATASIZE 00000aa7: PUSH1 0x00 00000aa9: PUSH1 0x20 00000aab: DUP5 00000aac: ADD 00000aad: RETURNDATACOPY 00000aae: PUSH2 0x0ab7 00000ab1: JUMP 00000ab2: JUMPDEST 00000ab3: PUSH1 0x60 00000ab5: SWAP2 00000ab6: POP 00000ab7: JUMPDEST 00000ab8: POP 00000ab9: POP 00000aba: SWAP1 00000abb: POP 00000abc: DUP1 00000abd: PUSH2 0x075e 00000ac0: JUMPI 00000ac1: PUSH1 0x40 00000ac3: MLOAD 00000ac4: PUSH3 0x461bcd 00000ac8: PUSH1 0xe5 00000aca: SHL 00000acb: DUP2 00000acc: MSTORE 00000acd: PUSH1 0x20 00000acf: PUSH1 0x04 00000ad1: DUP3 00000ad2: ADD 00000ad3: MSTORE 00000ad4: PUSH1 0x12 00000ad6: PUSH1 0x24 00000ad8: DUP3 00000ad9: ADD 00000ada: MSTORE 00000adb: PUSH18 0x4661696c656420746f207769746864726177 00000aee: PUSH1 0x70 00000af0: SHL 00000af1: PUSH1 0x44 00000af3: DUP3 00000af4: ADD 00000af5: MSTORE 00000af6: PUSH1 0x64 00000af8: ADD 00000af9: PUSH2 0x020f 00000afc: JUMP 00000afd: JUMPDEST 00000afe: PUSH1 0x03 00000b00: SLOAD 00000b01: PUSH1 0x00 00000b03: SWAP1 00000b04: TIMESTAMP 00000b05: SWAP1 00000b06: DUP2 00000b07: GT 00000b08: ISZERO 00000b09: PUSH2 0x0b11 00000b0c: JUMPI 00000b0d: POP 00000b0e: PUSH1 0x03 00000b10: SLOAD 00000b11: JUMPDEST 00000b12: PUSH1 0x00 00000b14: PUSH2 0x0168 00000b17: PUSH2 0x0b40 00000b1a: PUSH32 0x0000000000000000000000000000000000000000000000000000000062631180 00000b3b: DUP5 00000b3c: PUSH2 0x17dc 00000b3f: JUMP 00000b40: JUMPDEST 00000b41: PUSH2 0x0b4a 00000b44: SWAP2 00000b45: SWAP1 00000b46: PUSH2 0x183b 00000b49: JUMP 00000b4a: JUMPDEST 00000b4b: SWAP1 00000b4c: POP 00000b4d: PUSH1 0x00 00000b4f: PUSH2 0x0b78 00000b52: DUP3 00000b53: PUSH32 0x000000000000000000000000000000000000000000000000016345785d8a0000 00000b74: PUSH2 0x185d 00000b77: JUMP 00000b78: JUMPDEST 00000b79: SWAP1 00000b7a: POP 00000b7b: PUSH2 0x0ba4 00000b7e: DUP2 00000b7f: PUSH32 0x00000000000000000000000000000000000000000000000030927f74c9de0000 00000ba0: PUSH2 0x17dc 00000ba3: JUMP 00000ba4: JUMPDEST 00000ba5: SWAP4 00000ba6: POP 00000ba7: POP 00000ba8: POP 00000ba9: POP 00000baa: SWAP1 00000bab: JUMP 00000bac: JUMPDEST 00000bad: PUSH1 0x00 00000baf: SLOAD 00000bb0: PUSH1 0x01 00000bb2: PUSH1 0x01 00000bb4: PUSH1 0xa0 00000bb6: SHL 00000bb7: SUB 00000bb8: AND 00000bb9: CALLER 00000bba: EQ 00000bbb: PUSH2 0x0bd6 00000bbe: JUMPI 00000bbf: PUSH1 0x40 00000bc1: MLOAD 00000bc2: PUSH3 0x461bcd 00000bc6: PUSH1 0xe5 00000bc8: SHL 00000bc9: DUP2 00000bca: MSTORE 00000bcb: PUSH1 0x04 00000bcd: ADD 00000bce: PUSH2 0x020f 00000bd1: SWAP1 00000bd2: PUSH2 0x1791 00000bd5: JUMP 00000bd6: JUMPDEST 00000bd7: PUSH1 0x0c 00000bd9: DUP1 00000bda: SLOAD 00000bdb: PUSH1 0x01 00000bdd: PUSH1 0x01 00000bdf: PUSH1 0xa0 00000be1: SHL 00000be2: SUB 00000be3: NOT 00000be4: AND 00000be5: PUSH1 0x01 00000be7: PUSH1 0x01 00000be9: PUSH1 0xa0 00000beb: SHL 00000bec: SUB 00000bed: SWAP3 00000bee: SWAP1 00000bef: SWAP3 00000bf0: AND 00000bf1: SWAP2 00000bf2: SWAP1 00000bf3: SWAP2 00000bf4: OR 00000bf5: SWAP1 00000bf6: SSTORE 00000bf7: JUMP 00000bf8: JUMPDEST 00000bf9: PUSH1 0x03 00000bfb: SLOAD 00000bfc: TIMESTAMP 00000bfd: GT 00000bfe: PUSH2 0x0c45 00000c01: JUMPI 00000c02: PUSH1 0x40 00000c04: MLOAD 00000c05: PUSH3 0x461bcd 00000c09: PUSH1 0xe5 00000c0b: SHL 00000c0c: DUP2 00000c0d: MSTORE 00000c0e: PUSH1 0x20 00000c10: PUSH1 0x04 00000c12: DUP3 00000c13: ADD 00000c14: MSTORE 00000c15: PUSH1 0x19 00000c17: PUSH1 0x24 00000c19: DUP3 00000c1a: ADD 00000c1b: MSTORE 00000c1c: PUSH25 0x41756374696f6e207374696c6c20696e2070726f6772657373 00000c36: PUSH1 0x38 00000c38: SHL 00000c39: PUSH1 0x44 00000c3b: DUP3 00000c3c: ADD 00000c3d: MSTORE 00000c3e: PUSH1 0x64 00000c40: ADD 00000c41: PUSH2 0x020f 00000c44: JUMP 00000c45: JUMPDEST 00000c46: PUSH1 0x0b 00000c48: SLOAD 00000c49: PUSH1 0x07 00000c4b: SLOAD 00000c4c: DUP1 00000c4d: DUP3 00000c4e: LT 00000c4f: PUSH2 0x0c9a 00000c52: JUMPI 00000c53: PUSH1 0x40 00000c55: MLOAD 00000c56: PUSH3 0x461bcd 00000c5a: PUSH1 0xe5 00000c5c: SHL 00000c5d: DUP2 00000c5e: MSTORE 00000c5f: PUSH1 0x20 00000c61: PUSH1 0x04 00000c63: DUP3 00000c64: ADD 00000c65: MSTORE 00000c66: PUSH1 0x19 00000c68: PUSH1 0x24 00000c6a: DUP3 00000c6b: ADD 00000c6c: MSTORE 00000c6d: PUSH32 0x526566756e647320616c72656164792070726f63657373656400000000000000 00000c8e: PUSH1 0x44 00000c90: DUP3 00000c91: ADD 00000c92: MSTORE 00000c93: PUSH1 0x64 00000c95: ADD 00000c96: PUSH2 0x020f 00000c99: JUMP 00000c9a: JUMPDEST 00000c9b: PUSH1 0x00 00000c9d: DUP1 00000c9e: GAS 00000c9f: SWAP1 00000ca0: POP 00000ca1: PUSH1 0x00 00000ca3: PUSH2 0x0caa 00000ca6: PUSH2 0x0afd 00000ca9: JUMP 00000caa: JUMPDEST 00000cab: PUSH1 0x01 00000cad: PUSH1 0x01 00000caf: PUSH1 0x50 00000cb1: SHL 00000cb2: SUB 00000cb3: AND 00000cb4: SWAP1 00000cb5: POP 00000cb6: DUP5 00000cb7: JUMPDEST 00000cb8: PUSH3 0x4c4b40 00000cbc: DUP5 00000cbd: LT 00000cbe: DUP1 00000cbf: ISZERO 00000cc0: PUSH2 0x0cc8 00000cc3: JUMPI 00000cc4: POP 00000cc5: DUP5 00000cc6: DUP2 00000cc7: LT 00000cc8: JUMPDEST 00000cc9: ISZERO 00000cca: PUSH2 0x0e99 00000ccd: JUMPI 00000cce: PUSH1 0x00 00000cd0: DUP2 00000cd1: DUP2 00000cd2: MSTORE 00000cd3: PUSH1 0x06 00000cd5: PUSH1 0x20 00000cd7: SWAP1 00000cd8: DUP2 00000cd9: MSTORE 00000cda: PUSH1 0x40 00000cdc: DUP1 00000cdd: DUP4 00000cde: KECCAK256 00000cdf: DUP2 00000ce0: MLOAD 00000ce1: PUSH1 0x80 00000ce3: DUP2 00000ce4: ADD 00000ce5: DUP4 00000ce6: MSTORE 00000ce7: SWAP1 00000ce8: SLOAD 00000ce9: PUSH1 0x01 00000ceb: PUSH1 0x01 00000ced: PUSH1 0xa0 00000cef: SHL 00000cf0: SUB 00000cf1: DUP2 00000cf2: AND 00000cf3: DUP3 00000cf4: MSTORE 00000cf5: PUSH1 0x01 00000cf7: PUSH1 0x01 00000cf9: PUSH1 0x50 00000cfb: SHL 00000cfc: SUB 00000cfd: PUSH1 0x01 00000cff: PUSH1 0xa0 00000d01: SHL 00000d02: DUP3 00000d03: DIV 00000d04: AND 00000d05: SWAP4 00000d06: DUP3 00000d07: ADD 00000d08: SWAP4 00000d09: SWAP1 00000d0a: SWAP4 00000d0b: MSTORE 00000d0c: PUSH1 0xff 00000d0e: PUSH1 0x01 00000d10: PUSH1 0xf0 00000d12: SHL 00000d13: DUP5 00000d14: DIV 00000d15: DUP2 00000d16: AND 00000d17: SWAP3 00000d18: DUP3 00000d19: ADD 00000d1a: SWAP3 00000d1b: SWAP1 00000d1c: SWAP3 00000d1d: MSTORE 00000d1e: PUSH1 0x01 00000d20: PUSH1 0xf8 00000d22: SHL 00000d23: SWAP1 00000d24: SWAP3 00000d25: DIV 00000d26: AND 00000d27: PUSH1 0x60 00000d29: DUP3 00000d2a: ADD 00000d2b: DUP2 00000d2c: SWAP1 00000d2d: MSTORE 00000d2e: SWAP1 00000d2f: SWAP2 00000d30: SUB 00000d31: PUSH2 0x0e5e 00000d34: JUMPI 00000d35: PUSH1 0x00 00000d37: DUP2 00000d38: PUSH1 0x40 00000d3a: ADD 00000d3b: MLOAD 00000d3c: PUSH1 0xff 00000d3e: AND 00000d3f: DUP5 00000d40: DUP4 00000d41: PUSH1 0x20 00000d43: ADD 00000d44: MLOAD 00000d45: PUSH1 0x01 00000d47: PUSH1 0x01 00000d49: PUSH1 0x50 00000d4b: SHL 00000d4c: SUB 00000d4d: AND 00000d4e: PUSH2 0x0d57 00000d51: SWAP2 00000d52: SWAP1 00000d53: PUSH2 0x17dc 00000d56: JUMP 00000d57: JUMPDEST 00000d58: PUSH2 0x0d61 00000d5b: SWAP2 00000d5c: SWAP1 00000d5d: PUSH2 0x185d 00000d60: JUMP 00000d61: JUMPDEST 00000d62: DUP3 00000d63: MLOAD 00000d64: PUSH1 0x01 00000d66: PUSH1 0x01 00000d68: PUSH1 0xa0 00000d6a: SHL 00000d6b: SUB 00000d6c: AND 00000d6d: PUSH1 0x00 00000d6f: SWAP1 00000d70: DUP2 00000d71: MSTORE 00000d72: PUSH1 0x04 00000d74: PUSH1 0x20 00000d76: MSTORE 00000d77: PUSH1 0x40 00000d79: SWAP1 00000d7a: KECCAK256 00000d7b: SLOAD 00000d7c: SWAP1 00000d7d: SWAP2 00000d7e: POP 00000d7f: DUP1 00000d80: ISZERO 00000d81: PUSH2 0x0dc0 00000d84: JUMPI 00000d85: DUP1 00000d86: DUP4 00000d87: PUSH1 0x40 00000d89: ADD 00000d8a: MLOAD 00000d8b: PUSH1 0xff 00000d8d: AND 00000d8e: LT 00000d8f: PUSH2 0x0d98 00000d92: JUMPI 00000d93: DUP1 00000d94: PUSH2 0x0da1 00000d97: JUMP 00000d98: JUMPDEST 00000d99: DUP3 00000d9a: PUSH1 0x40 00000d9c: ADD 00000d9d: MLOAD 00000d9e: PUSH1 0xff 00000da0: AND 00000da1: JUMPDEST 00000da2: PUSH2 0x0db3 00000da5: SWAP1 00000da6: PUSH8 0x06f05b59d3b20000 00000daf: PUSH2 0x185d 00000db2: JUMP 00000db3: JUMPDEST 00000db4: PUSH2 0x0dbd 00000db7: SWAP1 00000db8: DUP4 00000db9: PUSH2 0x187c 00000dbc: JUMP 00000dbd: JUMPDEST 00000dbe: SWAP2 00000dbf: POP 00000dc0: JUMPDEST 00000dc1: PUSH1 0x00 00000dc3: DUP5 00000dc4: DUP2 00000dc5: MSTORE 00000dc6: PUSH1 0x06 00000dc8: PUSH1 0x20 00000dca: MSTORE 00000dcb: PUSH1 0x40 00000dcd: SWAP1 00000dce: KECCAK256 00000dcf: DUP1 00000dd0: SLOAD 00000dd1: PUSH1 0x01 00000dd3: PUSH1 0x01 00000dd5: PUSH1 0xf8 00000dd7: SHL 00000dd8: SUB 00000dd9: AND 00000dda: PUSH1 0x01 00000ddc: PUSH1 0xf8 00000dde: SHL 00000ddf: OR 00000de0: SWAP1 00000de1: SSTORE 00000de2: DUP2 00000de3: ISZERO 00000de4: PUSH2 0x0e5b 00000de7: JUMPI 00000de8: DUP3 00000de9: MLOAD 00000dea: PUSH1 0x40 00000dec: MLOAD 00000ded: PUSH1 0x00 00000def: SWAP2 00000df0: PUSH1 0x01 00000df2: PUSH1 0x01 00000df4: PUSH1 0xa0 00000df6: SHL 00000df7: SUB 00000df8: AND 00000df9: SWAP1 00000dfa: DUP5 00000dfb: SWAP1 00000dfc: DUP4 00000dfd: DUP2 00000dfe: DUP2 00000dff: DUP2 00000e00: DUP6 00000e01: DUP8 00000e02: GAS 00000e03: CALL 00000e04: SWAP3 00000e05: POP 00000e06: POP 00000e07: POP 00000e08: RETURNDATASIZE 00000e09: DUP1 00000e0a: PUSH1 0x00 00000e0c: DUP2 00000e0d: EQ 00000e0e: PUSH2 0x0e33 00000e11: JUMPI 00000e12: PUSH1 0x40 00000e14: MLOAD 00000e15: SWAP2 00000e16: POP 00000e17: PUSH1 0x1f 00000e19: NOT 00000e1a: PUSH1 0x3f 00000e1c: RETURNDATASIZE 00000e1d: ADD 00000e1e: AND 00000e1f: DUP3 00000e20: ADD 00000e21: PUSH1 0x40 00000e23: MSTORE 00000e24: RETURNDATASIZE 00000e25: DUP3 00000e26: MSTORE 00000e27: RETURNDATASIZE 00000e28: PUSH1 0x00 00000e2a: PUSH1 0x20 00000e2c: DUP5 00000e2d: ADD 00000e2e: RETURNDATACOPY 00000e2f: PUSH2 0x0e38 00000e32: JUMP 00000e33: JUMPDEST 00000e34: PUSH1 0x60 00000e36: SWAP2 00000e37: POP 00000e38: JUMPDEST 00000e39: POP 00000e3a: POP 00000e3b: SWAP1 00000e3c: POP 00000e3d: DUP1 00000e3e: PUSH2 0x0e59 00000e41: JUMPI 00000e42: PUSH1 0x40 00000e44: MLOAD 00000e45: PUSH3 0x461bcd 00000e49: PUSH1 0xe5 00000e4b: SHL 00000e4c: DUP2 00000e4d: MSTORE 00000e4e: PUSH1 0x04 00000e50: ADD 00000e51: PUSH2 0x020f 00000e54: SWAP1 00000e55: PUSH2 0x1894 00000e58: JUMP 00000e59: JUMPDEST 00000e5a: POP 00000e5b: JUMPDEST 00000e5c: POP 00000e5d: POP 00000e5e: JUMPDEST 00000e5f: GAS 00000e60: PUSH2 0x0e69 00000e63: SWAP1 00000e64: DUP6 00000e65: PUSH2 0x17dc 00000e68: JUMP 00000e69: JUMPDEST 00000e6a: PUSH2 0x0e73 00000e6d: SWAP1 00000e6e: DUP7 00000e6f: PUSH2 0x187c 00000e72: JUMP 00000e73: JUMPDEST 00000e74: SWAP5 00000e75: POP 00000e76: GAS 00000e77: SWAP4 00000e78: POP 00000e79: DUP7 00000e7a: PUSH2 0x0e82 00000e7d: DUP2 00000e7e: PUSH2 0x1809 00000e81: JUMP 00000e82: JUMPDEST 00000e83: SWAP8 00000e84: POP 00000e85: POP 00000e86: POP 00000e87: DUP1 00000e88: DUP1 00000e89: PUSH2 0x0e91 00000e8c: SWAP1 00000e8d: PUSH2 0x1809 00000e90: JUMP 00000e91: JUMPDEST 00000e92: SWAP2 00000e93: POP 00000e94: POP 00000e95: PUSH2 0x0cb7 00000e98: JUMP 00000e99: JUMPDEST 00000e9a: POP 00000e9b: POP 00000e9c: POP 00000e9d: PUSH1 0x0b 00000e9f: SWAP3 00000ea0: SWAP1 00000ea1: SWAP3 00000ea2: SSTORE 00000ea3: POP 00000ea4: POP 00000ea5: JUMP 00000ea6: JUMPDEST 00000ea7: PUSH1 0x03 00000ea9: SLOAD 00000eaa: PUSH2 0x0eb6 00000ead: SWAP1 00000eae: PUSH3 0x03f480 00000eb2: PUSH2 0x187c 00000eb5: JUMP 00000eb6: JUMPDEST 00000eb7: TIMESTAMP 00000eb8: GT 00000eb9: PUSH2 0x0f04 00000ebc: JUMPI 00000ebd: PUSH1 0x40 00000ebf: MLOAD 00000ec0: PUSH3 0x461bcd 00000ec4: PUSH1 0xe5 00000ec6: SHL 00000ec7: DUP2 00000ec8: MSTORE 00000ec9: PUSH1 0x20 00000ecb: PUSH1 0x04 00000ecd: DUP3 00000ece: ADD 00000ecf: MSTORE 00000ed0: PUSH1 0x1f 00000ed2: PUSH1 0x24 00000ed4: DUP3 00000ed5: ADD 00000ed6: MSTORE 00000ed7: PUSH32 0x506c65617365207761697420666f722061697264726f7020706572696f642e00 00000ef8: PUSH1 0x44 00000efa: DUP3 00000efb: ADD 00000efc: MSTORE 00000efd: PUSH1 0x64 00000eff: ADD 00000f00: PUSH2 0x020f 00000f03: JUMP 00000f04: JUMPDEST 00000f05: CALLER 00000f06: PUSH1 0x00 00000f08: SWAP1 00000f09: DUP2 00000f0a: MSTORE 00000f0b: PUSH1 0x05 00000f0d: PUSH1 0x20 00000f0f: SWAP1 00000f10: DUP2 00000f11: MSTORE 00000f12: PUSH1 0x40 00000f14: DUP1 00000f15: DUP4 00000f16: KECCAK256 00000f17: SLOAD 00000f18: DUP4 00000f19: MSTORE 00000f1a: PUSH1 0x06 00000f1c: DUP3 00000f1d: MSTORE 00000f1e: SWAP2 00000f1f: DUP3 00000f20: SWAP1 00000f21: KECCAK256 00000f22: DUP3 00000f23: MLOAD 00000f24: PUSH1 0x80 00000f26: DUP2 00000f27: ADD 00000f28: DUP5 00000f29: MSTORE 00000f2a: SWAP1 00000f2b: SLOAD 00000f2c: PUSH1 0x01 00000f2e: PUSH1 0x01 00000f30: PUSH1 0xa0 00000f32: SHL 00000f33: SUB 00000f34: DUP2 00000f35: AND 00000f36: DUP3 00000f37: MSTORE 00000f38: PUSH1 0x01 00000f3a: PUSH1 0x01 00000f3c: PUSH1 0x50 00000f3e: SHL 00000f3f: SUB 00000f40: PUSH1 0x01 00000f42: PUSH1 0xa0 00000f44: SHL 00000f45: DUP3 00000f46: DIV 00000f47: AND 00000f48: SWAP3 00000f49: DUP3 00000f4a: ADD 00000f4b: SWAP3 00000f4c: SWAP1 00000f4d: SWAP3 00000f4e: MSTORE 00000f4f: PUSH1 0xff 00000f51: PUSH1 0x01 00000f53: PUSH1 0xf0 00000f55: SHL 00000f56: DUP4 00000f57: DIV 00000f58: DUP2 00000f59: AND 00000f5a: SWAP4 00000f5b: DUP3 00000f5c: ADD 00000f5d: DUP5 00000f5e: SWAP1 00000f5f: MSTORE 00000f60: PUSH1 0x01 00000f62: PUSH1 0xf8 00000f64: SHL 00000f65: SWAP1 00000f66: SWAP3 00000f67: DIV 00000f68: SWAP1 00000f69: SWAP2 00000f6a: AND 00000f6b: PUSH1 0x60 00000f6d: DUP3 00000f6e: ADD 00000f6f: MSTORE 00000f70: SWAP1 00000f71: PUSH2 0x0fad 00000f74: JUMPI 00000f75: PUSH1 0x40 00000f77: MLOAD 00000f78: PUSH3 0x461bcd 00000f7c: PUSH1 0xe5 00000f7e: SHL 00000f7f: DUP2 00000f80: MSTORE 00000f81: PUSH1 0x20 00000f83: PUSH1 0x04 00000f85: DUP3 00000f86: ADD 00000f87: MSTORE 00000f88: PUSH1 0x0e 00000f8a: PUSH1 0x24 00000f8c: DUP3 00000f8d: ADD 00000f8e: MSTORE 00000f8f: PUSH14 0x139bc8189a591cc81c1b1858d959 00000f9e: PUSH1 0x92 00000fa0: SHL 00000fa1: PUSH1 0x44 00000fa3: DUP3 00000fa4: ADD 00000fa5: MSTORE 00000fa6: PUSH1 0x64 00000fa8: ADD 00000fa9: PUSH2 0x020f 00000fac: JUMP 00000fad: JUMPDEST 00000fae: PUSH1 0x60 00000fb0: DUP2 00000fb1: ADD 00000fb2: MLOAD 00000fb3: PUSH1 0xff 00000fb5: AND 00000fb6: ISZERO 00000fb7: PUSH2 0x1002 00000fba: JUMPI 00000fbb: PUSH1 0x40 00000fbd: MLOAD 00000fbe: PUSH3 0x461bcd 00000fc2: PUSH1 0xe5 00000fc4: SHL 00000fc5: DUP2 00000fc6: MSTORE 00000fc7: PUSH1 0x20 00000fc9: PUSH1 0x04 00000fcb: DUP3 00000fcc: ADD 00000fcd: MSTORE 00000fce: PUSH1 0x18 00000fd0: PUSH1 0x24 00000fd2: DUP3 00000fd3: ADD 00000fd4: MSTORE 00000fd5: PUSH32 0x526566756e6420616c72656164792070726f6365737365640000000000000000 00000ff6: PUSH1 0x44 00000ff8: DUP3 00000ff9: ADD 00000ffa: MSTORE 00000ffb: PUSH1 0x64 00000ffd: ADD 00000ffe: PUSH2 0x020f 00001001: JUMP 00001002: JUMPDEST 00001003: CALLER 00001004: PUSH1 0x00 00001006: SWAP1 00001007: DUP2 00001008: MSTORE 00001009: PUSH1 0x05 0000100b: PUSH1 0x20 0000100d: SWAP1 0000100e: DUP2 0000100f: MSTORE 00001010: PUSH1 0x40 00001012: DUP1 00001013: DUP4 00001014: KECCAK256 00001015: SLOAD 00001016: DUP4 00001017: MSTORE 00001018: PUSH1 0x06 0000101a: DUP3 0000101b: MSTORE 0000101c: DUP1 0000101d: DUP4 0000101e: KECCAK256 0000101f: DUP1 00001020: SLOAD 00001021: PUSH1 0x01 00001023: PUSH1 0x01 00001025: PUSH1 0xf8 00001027: SHL 00001028: SUB 00001029: AND 0000102a: PUSH1 0x01 0000102c: PUSH1 0xf9 0000102e: SHL 0000102f: OR 00001030: SWAP1 00001031: SSTORE 00001032: DUP4 00001033: MLOAD 00001034: SWAP1 00001035: DUP5 00001036: ADD 00001037: MLOAD 00001038: SWAP2 00001039: DUP5 0000103a: ADD 0000103b: MLOAD 0000103c: PUSH1 0x01 0000103e: PUSH1 0x01 00001040: PUSH1 0xa0 00001042: SHL 00001043: SUB 00001044: SWAP1 00001045: SWAP2 00001046: AND 00001047: SWAP2 00001048: PUSH2 0x1056 0000104b: SWAP2 0000104c: PUSH1 0xff 0000104e: SWAP1 0000104f: SWAP2 00001050: AND 00001051: SWAP1 00001052: PUSH2 0x18cb 00001055: JUMP 00001056: JUMPDEST 00001057: PUSH1 0x01 00001059: PUSH1 0x01 0000105b: PUSH1 0x50 0000105d: SHL 0000105e: SUB 0000105f: AND 00001060: PUSH1 0x40 00001062: MLOAD 00001063: PUSH1 0x00 00001065: PUSH1 0x40 00001067: MLOAD 00001068: DUP1 00001069: DUP4 0000106a: SUB 0000106b: DUP2 0000106c: DUP6 0000106d: DUP8 0000106e: GAS 0000106f: CALL 00001070: SWAP3 00001071: POP 00001072: POP 00001073: POP 00001074: RETURNDATASIZE 00001075: DUP1 00001076: PUSH1 0x00 00001078: DUP2 00001079: EQ 0000107a: PUSH2 0x109f 0000107d: JUMPI 0000107e: PUSH1 0x40 00001080: MLOAD 00001081: SWAP2 00001082: POP 00001083: PUSH1 0x1f 00001085: NOT 00001086: PUSH1 0x3f 00001088: RETURNDATASIZE 00001089: ADD 0000108a: AND 0000108b: DUP3 0000108c: ADD 0000108d: PUSH1 0x40 0000108f: MSTORE 00001090: RETURNDATASIZE 00001091: DUP3 00001092: MSTORE 00001093: RETURNDATASIZE 00001094: PUSH1 0x00 00001096: PUSH1 0x20 00001098: DUP5 00001099: ADD 0000109a: RETURNDATACOPY 0000109b: PUSH2 0x10a4 0000109e: JUMP 0000109f: JUMPDEST 000010a0: PUSH1 0x60 000010a2: SWAP2 000010a3: POP 000010a4: JUMPDEST 000010a5: POP 000010a6: POP 000010a7: SWAP1 000010a8: POP 000010a9: DUP1 000010aa: PUSH2 0x10c5 000010ad: JUMPI 000010ae: PUSH1 0x40 000010b0: MLOAD 000010b1: PUSH3 0x461bcd 000010b5: PUSH1 0xe5 000010b7: SHL 000010b8: DUP2 000010b9: MSTORE 000010ba: PUSH1 0x04 000010bc: ADD 000010bd: PUSH2 0x020f 000010c0: SWAP1 000010c1: PUSH2 0x1894 000010c4: JUMP 000010c5: JUMPDEST 000010c6: POP 000010c7: POP 000010c8: JUMP 000010c9: JUMPDEST 000010ca: PUSH1 0x00 000010cc: SLOAD 000010cd: PUSH1 0x01 000010cf: PUSH1 0x01 000010d1: PUSH1 0xa0 000010d3: SHL 000010d4: SUB 000010d5: AND 000010d6: CALLER 000010d7: EQ 000010d8: PUSH2 0x10f3 000010db: JUMPI 000010dc: PUSH1 0x40 000010de: MLOAD 000010df: PUSH3 0x461bcd 000010e3: PUSH1 0xe5 000010e5: SHL 000010e6: DUP2 000010e7: MSTORE 000010e8: PUSH1 0x04 000010ea: ADD 000010eb: PUSH2 0x020f 000010ee: SWAP1 000010ef: PUSH2 0x1791 000010f2: JUMP 000010f3: JUMPDEST 000010f4: PUSH1 0x01 000010f6: PUSH1 0x01 000010f8: PUSH1 0xa0 000010fa: SHL 000010fb: SUB 000010fc: DUP2 000010fd: AND 000010fe: PUSH2 0x1158 00001101: JUMPI 00001102: PUSH1 0x40 00001104: MLOAD 00001105: PUSH3 0x461bcd 00001109: PUSH1 0xe5 0000110b: SHL 0000110c: DUP2 0000110d: MSTORE 0000110e: PUSH1 0x20 00001110: PUSH1 0x04 00001112: DUP3 00001113: ADD 00001114: MSTORE 00001115: PUSH1 0x26 00001117: PUSH1 0x24 00001119: DUP3 0000111a: ADD 0000111b: MSTORE 0000111c: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 0000113d: PUSH1 0x44 0000113f: DUP3 00001140: ADD 00001141: MSTORE 00001142: PUSH6 0x646472657373 00001149: PUSH1 0xd0 0000114b: SHL 0000114c: PUSH1 0x64 0000114e: DUP3 0000114f: ADD 00001150: MSTORE 00001151: PUSH1 0x84 00001153: ADD 00001154: PUSH2 0x020f 00001157: JUMP 00001158: JUMPDEST 00001159: PUSH2 0x075e 0000115c: DUP2 0000115d: PUSH2 0x161d 00001160: JUMP 00001161: JUMPDEST 00001162: PUSH32 0x0000000000000000000000000000000000000000000000000000000062631180 00001183: TIMESTAMP 00001184: GT 00001185: PUSH2 0x11d0 00001188: JUMPI 00001189: PUSH1 0x40 0000118b: MLOAD 0000118c: PUSH3 0x461bcd 00001190: PUSH1 0xe5 00001192: SHL 00001193: DUP2 00001194: MSTORE 00001195: PUSH1 0x20 00001197: PUSH1 0x04 00001199: DUP3 0000119a: ADD 0000119b: MSTORE 0000119c: PUSH1 0x17 0000119e: PUSH1 0x24 000011a0: DUP3 000011a1: ADD 000011a2: MSTORE 000011a3: PUSH32 0x41756374696f6e206e6f74207374617274656420796574000000000000000000 000011c4: PUSH1 0x44 000011c6: DUP3 000011c7: ADD 000011c8: MSTORE 000011c9: PUSH1 0x64 000011cb: ADD 000011cc: PUSH2 0x020f 000011cf: JUMP 000011d0: JUMPDEST 000011d1: PUSH1 0x03 000011d3: SLOAD 000011d4: TIMESTAMP 000011d5: LT 000011d6: PUSH2 0x1213 000011d9: JUMPI 000011da: PUSH1 0x40 000011dc: MLOAD 000011dd: PUSH3 0x461bcd 000011e1: PUSH1 0xe5 000011e3: SHL 000011e4: DUP2 000011e5: MSTORE 000011e6: PUSH1 0x20 000011e8: PUSH1 0x04 000011ea: DUP3 000011eb: ADD 000011ec: MSTORE 000011ed: PUSH1 0x0f 000011ef: PUSH1 0x24 000011f1: DUP3 000011f2: ADD 000011f3: MSTORE 000011f4: PUSH15 0x105d58dd1a5bdb88195e1c1a5c9959 00001204: PUSH1 0x8a 00001206: SHL 00001207: PUSH1 0x44 00001209: DUP3 0000120a: ADD 0000120b: MSTORE 0000120c: PUSH1 0x64 0000120e: ADD 0000120f: PUSH2 0x020f 00001212: JUMP 00001213: JUMPDEST 00001214: PUSH1 0x00 00001216: PUSH2 0x121d 00001219: PUSH2 0x0afd 0000121c: JUMP 0000121d: JUMPDEST 0000121e: SWAP1 0000121f: POP 00001220: PUSH1 0x00 00001222: PUSH2 0x122e 00001225: PUSH1 0xff 00001227: DUP6 00001228: AND 00001229: DUP4 0000122a: PUSH2 0x18cb 0000122d: JUMP 0000122e: JUMPDEST 0000122f: PUSH1 0x01 00001231: PUSH1 0x01 00001233: PUSH1 0x50 00001235: SHL 00001236: SUB 00001237: AND 00001238: SWAP1 00001239: POP 0000123a: DUP1 0000123b: DUP4 0000123c: LT 0000123d: ISZERO 0000123e: PUSH2 0x127f 00001241: JUMPI 00001242: PUSH1 0x40 00001244: MLOAD 00001245: PUSH3 0x461bcd 00001249: PUSH1 0xe5 0000124b: SHL 0000124c: DUP2 0000124d: MSTORE 0000124e: PUSH1 0x20 00001250: PUSH1 0x04 00001252: DUP3 00001253: ADD 00001254: MSTORE 00001255: PUSH1 0x13 00001257: PUSH1 0x24 00001259: DUP3 0000125a: ADD 0000125b: MSTORE 0000125c: PUSH19 0x084d2c840dcdee840d0d2ced040cadcdeeaced 00001270: PUSH1 0x6b 00001272: SHL 00001273: PUSH1 0x44 00001275: DUP3 00001276: ADD 00001277: MSTORE 00001278: PUSH1 0x64 0000127a: ADD 0000127b: PUSH2 0x020f 0000127e: JUMP 0000127f: JUMPDEST 00001280: CALLER 00001281: PUSH1 0x00 00001283: SWAP1 00001284: DUP2 00001285: MSTORE 00001286: PUSH1 0x05 00001288: PUSH1 0x20 0000128a: MSTORE 0000128b: PUSH1 0x40 0000128d: SWAP1 0000128e: KECCAK256 0000128f: SLOAD 00001290: PUSH2 0x12b9 00001293: PUSH1 0x40 00001295: DUP1 00001296: MLOAD 00001297: PUSH1 0x80 00001299: DUP2 0000129a: ADD 0000129b: DUP3 0000129c: MSTORE 0000129d: PUSH1 0x00 0000129f: DUP1 000012a0: DUP3 000012a1: MSTORE 000012a2: PUSH1 0x20 000012a4: DUP3 000012a5: ADD 000012a6: DUP2 000012a7: SWAP1 000012a8: MSTORE 000012a9: SWAP2 000012aa: DUP2 000012ab: ADD 000012ac: DUP3 000012ad: SWAP1 000012ae: MSTORE 000012af: PUSH1 0x60 000012b1: DUP2 000012b2: ADD 000012b3: SWAP2 000012b4: SWAP1 000012b5: SWAP2 000012b6: MSTORE 000012b7: SWAP1 000012b8: JUMP 000012b9: JUMPDEST 000012ba: PUSH1 0x00 000012bc: DUP3 000012bd: ISZERO 000012be: PUSH2 0x134c 000012c1: JUMPI 000012c2: PUSH1 0x00 000012c4: DUP4 000012c5: DUP2 000012c6: MSTORE 000012c7: PUSH1 0x06 000012c9: PUSH1 0x20 000012cb: SWAP1 000012cc: DUP2 000012cd: MSTORE 000012ce: PUSH1 0x40 000012d0: SWAP2 000012d1: DUP3 000012d2: SWAP1 000012d3: KECCAK256 000012d4: DUP3 000012d5: MLOAD 000012d6: PUSH1 0x80 000012d8: DUP2 000012d9: ADD 000012da: DUP5 000012db: MSTORE 000012dc: SWAP1 000012dd: SLOAD 000012de: PUSH1 0x01 000012e0: PUSH1 0x01 000012e2: PUSH1 0xa0 000012e4: SHL 000012e5: SUB 000012e6: DUP2 000012e7: AND 000012e8: DUP3 000012e9: MSTORE 000012ea: PUSH1 0x01 000012ec: PUSH1 0x01 000012ee: PUSH1 0x50 000012f0: SHL 000012f1: SUB 000012f2: PUSH1 0x01 000012f4: PUSH1 0xa0 000012f6: SHL 000012f7: DUP3 000012f8: DIV 000012f9: AND 000012fa: SWAP3 000012fb: DUP3 000012fc: ADD 000012fd: DUP4 000012fe: SWAP1 000012ff: MSTORE 00001300: PUSH1 0xff 00001302: PUSH1 0x01 00001304: PUSH1 0xf0 00001306: SHL 00001307: DUP3 00001308: DIV 00001309: DUP2 0000130a: AND 0000130b: SWAP5 0000130c: DUP4 0000130d: ADD 0000130e: SWAP5 0000130f: SWAP1 00001310: SWAP5 00001311: MSTORE 00001312: PUSH1 0x01 00001314: PUSH1 0xf8 00001316: SHL 00001317: SWAP1 00001318: DIV 00001319: SWAP1 0000131a: SWAP3 0000131b: AND 0000131c: PUSH1 0x60 0000131e: DUP4 0000131f: ADD 00001320: MSTORE 00001321: SWAP1 00001322: SWAP3 00001323: POP 00001324: PUSH2 0x132e 00001327: SWAP1 00001328: DUP7 00001329: SWAP1 0000132a: PUSH2 0x18fa 0000132d: JUMP 0000132e: JUMPDEST 0000132f: DUP3 00001330: PUSH1 0x40 00001332: ADD 00001333: MLOAD 00001334: PUSH1 0xff 00001336: AND 00001337: PUSH2 0x1340 0000133a: SWAP2 0000133b: SWAP1 0000133c: PUSH2 0x18cb 0000133f: JUMP 00001340: JUMPDEST 00001341: PUSH1 0x01 00001343: PUSH1 0x01 00001345: PUSH1 0x50 00001347: SHL 00001348: SUB 00001349: AND 0000134a: SWAP1 0000134b: POP 0000134c: JUMPDEST 0000134d: PUSH1 0x00 0000134f: DUP8 00001350: PUSH1 0xff 00001352: AND 00001353: PUSH1 0x08 00001355: SLOAD 00001356: PUSH2 0x135f 00001359: SWAP2 0000135a: SWAP1 0000135b: PUSH2 0x187c 0000135e: JUMP 0000135f: JUMPDEST 00001360: SWAP1 00001361: POP 00001362: DUP8 00001363: DUP4 00001364: PUSH1 0x40 00001366: ADD 00001367: DUP2 00001368: DUP2 00001369: MLOAD 0000136a: PUSH2 0x1373 0000136d: SWAP2 0000136e: SWAP1 0000136f: PUSH2 0x1922 00001372: JUMP 00001373: JUMPDEST 00001374: PUSH1 0xff 00001376: SWAP1 00001377: DUP2 00001378: AND 00001379: SWAP1 0000137a: SWAP2 0000137b: MSTORE 0000137c: PUSH1 0x0a 0000137e: SLOAD 0000137f: PUSH1 0x40 00001381: DUP7 00001382: ADD 00001383: MLOAD 00001384: SWAP1 00001385: SWAP2 00001386: AND 00001387: GT 00001388: ISZERO 00001389: SWAP1 0000138a: POP 0000138b: PUSH2 0x13d6 0000138e: JUMPI 0000138f: PUSH1 0x40 00001391: MLOAD 00001392: PUSH3 0x461bcd 00001396: PUSH1 0xe5 00001398: SHL 00001399: DUP2 0000139a: MSTORE 0000139b: PUSH1 0x20 0000139d: PUSH1 0x04 0000139f: DUP3 000013a0: ADD 000013a1: MSTORE 000013a2: PUSH1 0x17 000013a4: PUSH1 0x24 000013a6: DUP3 000013a7: ADD 000013a8: MSTORE 000013a9: PUSH32 0x42696464696e67206c696d697473206578636565646564000000000000000000 000013ca: PUSH1 0x44 000013cc: DUP3 000013cd: ADD 000013ce: MSTORE 000013cf: PUSH1 0x64 000013d1: ADD 000013d2: PUSH2 0x020f 000013d5: JUMP 000013d6: JUMPDEST 000013d7: PUSH1 0x02 000013d9: SLOAD 000013da: DUP2 000013db: GT 000013dc: ISZERO 000013dd: PUSH2 0x1417 000013e0: JUMPI 000013e1: PUSH1 0x40 000013e3: MLOAD 000013e4: PUSH3 0x461bcd 000013e8: PUSH1 0xe5 000013ea: SHL 000013eb: DUP2 000013ec: MSTORE 000013ed: PUSH1 0x20 000013ef: PUSH1 0x04 000013f1: DUP3 000013f2: ADD 000013f3: MSTORE 000013f4: PUSH1 0x0c 000013f6: PUSH1 0x24 000013f8: DUP3 000013f9: ADD 000013fa: MSTORE 000013fb: PUSH12 0x105d58dd1a5bdb88119d5b1b 00001408: PUSH1 0xa2 0000140a: SHL 0000140b: PUSH1 0x44 0000140d: DUP3 0000140e: ADD 0000140f: MSTORE 00001410: PUSH1 0x64 00001412: ADD 00001413: PUSH2 0x020f 00001416: JUMP 00001417: JUMPDEST 00001418: PUSH1 0x02 0000141a: SLOAD 0000141b: DUP2 0000141c: SUB 0000141d: PUSH2 0x1425 00001420: JUMPI 00001421: TIMESTAMP 00001422: PUSH1 0x03 00001424: SSTORE 00001425: JUMPDEST 00001426: PUSH1 0x01 00001428: PUSH1 0x01 0000142a: PUSH1 0x50 0000142c: SHL 0000142d: SUB 0000142e: DUP7 0000142f: AND 00001430: PUSH1 0x20 00001432: DUP5 00001433: ADD 00001434: MSTORE 00001435: DUP4 00001436: ISZERO 00001437: PUSH2 0x14c3 0000143a: JUMPI 0000143b: PUSH1 0x00 0000143d: DUP5 0000143e: DUP2 0000143f: MSTORE 00001440: PUSH1 0x06 00001442: PUSH1 0x20 00001444: SWAP1 00001445: DUP2 00001446: MSTORE 00001447: PUSH1 0x40 00001449: SWAP2 0000144a: DUP3 0000144b: SWAP1 0000144c: KECCAK256 0000144d: DUP6 0000144e: MLOAD 0000144f: DUP2 00001450: SLOAD 00001451: SWAP3 00001452: DUP8 00001453: ADD 00001454: MLOAD 00001455: SWAP4 00001456: DUP8 00001457: ADD 00001458: MLOAD 00001459: PUSH1 0x60 0000145b: DUP9 0000145c: ADD 0000145d: MLOAD 0000145e: PUSH1 0xff 00001460: SWAP1 00001461: DUP2 00001462: AND 00001463: PUSH1 0x01 00001465: PUSH1 0xf8 00001467: SHL 00001468: MUL 00001469: PUSH1 0x01 0000146b: PUSH1 0x01 0000146d: PUSH1 0xf8 0000146f: SHL 00001470: SUB 00001471: SWAP2 00001472: SWAP1 00001473: SWAP3 00001474: AND 00001475: PUSH1 0x01 00001477: PUSH1 0xf0 00001479: SHL 0000147a: MUL 0000147b: AND 0000147c: PUSH1 0x01 0000147e: PUSH1 0x01 00001480: PUSH1 0xf0 00001482: SHL 00001483: SUB 00001484: PUSH1 0x01 00001486: PUSH1 0x01 00001488: PUSH1 0x50 0000148a: SHL 0000148b: SUB 0000148c: SWAP1 0000148d: SWAP7 0000148e: AND 0000148f: PUSH1 0x01 00001491: PUSH1 0xa0 00001493: SHL 00001494: MUL 00001495: PUSH1 0x01 00001497: PUSH1 0x01 00001499: PUSH1 0xf0 0000149b: SHL 0000149c: SUB 0000149d: NOT 0000149e: SWAP1 0000149f: SWAP6 000014a0: AND 000014a1: PUSH1 0x01 000014a3: PUSH1 0x01 000014a5: PUSH1 0xa0 000014a7: SHL 000014a8: SUB 000014a9: SWAP1 000014aa: SWAP4 000014ab: AND 000014ac: SWAP3 000014ad: SWAP1 000014ae: SWAP3 000014af: OR 000014b0: SWAP4 000014b1: SWAP1 000014b2: SWAP4 000014b3: OR 000014b4: SWAP4 000014b5: SWAP1 000014b6: SWAP4 000014b7: AND 000014b8: SWAP3 000014b9: SWAP1 000014ba: SWAP3 000014bb: OR 000014bc: OR 000014bd: SWAP1 000014be: SSTORE 000014bf: PUSH2 0x156e 000014c2: JUMP 000014c3: JUMPDEST 000014c4: CALLER 000014c5: DUP1 000014c6: DUP5 000014c7: MSTORE 000014c8: PUSH1 0x07 000014ca: DUP1 000014cb: SLOAD 000014cc: PUSH1 0x00 000014ce: SWAP3 000014cf: DUP4 000014d0: MSTORE 000014d1: PUSH1 0x05 000014d3: PUSH1 0x20 000014d5: SWAP1 000014d6: DUP2 000014d7: MSTORE 000014d8: PUSH1 0x40 000014da: DUP1 000014db: DUP6 000014dc: KECCAK256 000014dd: DUP4 000014de: SWAP1 000014df: SSTORE 000014e0: SWAP2 000014e1: DUP5 000014e2: MSTORE 000014e3: PUSH1 0x06 000014e5: DUP2 000014e6: MSTORE 000014e7: DUP2 000014e8: DUP5 000014e9: KECCAK256 000014ea: DUP8 000014eb: MLOAD 000014ec: DUP2 000014ed: SLOAD 000014ee: SWAP3 000014ef: DUP10 000014f0: ADD 000014f1: MLOAD 000014f2: SWAP4 000014f3: DUP10 000014f4: ADD 000014f5: MLOAD 000014f6: PUSH1 0x60 000014f8: DUP11 000014f9: ADD 000014fa: MLOAD 000014fb: PUSH1 0xff 000014fd: SWAP1 000014fe: DUP2 000014ff: AND 00001500: PUSH1 0x01 00001502: PUSH1 0xf8 00001504: SHL 00001505: MUL 00001506: PUSH1 0x01 00001508: PUSH1 0x01 0000150a: PUSH1 0xf8 0000150c: SHL 0000150d: SUB 0000150e: SWAP2 0000150f: SWAP1 00001510: SWAP3 00001511: AND 00001512: PUSH1 0x01 00001514: PUSH1 0xf0 00001516: SHL 00001517: MUL 00001518: AND 00001519: PUSH1 0x01 0000151b: PUSH1 0x01 0000151d: PUSH1 0xf0 0000151f: SHL 00001520: SUB 00001521: PUSH1 0x01 00001523: PUSH1 0x01 00001525: PUSH1 0x50 00001527: SHL 00001528: SUB 00001529: SWAP1 0000152a: SWAP7 0000152b: AND 0000152c: PUSH1 0x01 0000152e: PUSH1 0xa0 00001530: SHL 00001531: MUL 00001532: PUSH1 0x01 00001534: PUSH1 0x01 00001536: PUSH1 0xf0 00001538: SHL 00001539: SUB 0000153a: NOT 0000153b: SWAP1 0000153c: SWAP6 0000153d: AND 0000153e: PUSH1 0x01 00001540: PUSH1 0x01 00001542: PUSH1 0xa0 00001544: SHL 00001545: SUB 00001546: SWAP4 00001547: SWAP1 00001548: SWAP4 00001549: AND 0000154a: SWAP3 0000154b: SWAP1 0000154c: SWAP3 0000154d: OR 0000154e: SWAP4 0000154f: SWAP1 00001550: SWAP4 00001551: OR 00001552: SWAP4 00001553: SWAP1 00001554: SWAP4 00001555: AND 00001556: SWAP3 00001557: SWAP1 00001558: SWAP3 00001559: OR 0000155a: OR 0000155b: SWAP1 0000155c: SSTORE 0000155d: DUP1 0000155e: SLOAD 0000155f: SWAP2 00001560: PUSH2 0x1568 00001563: DUP4 00001564: PUSH2 0x1809 00001567: JUMP 00001568: JUMPDEST 00001569: SWAP2 0000156a: SWAP1 0000156b: POP 0000156c: SSTORE 0000156d: POP 0000156e: JUMPDEST 0000156f: DUP1 00001570: PUSH1 0x08 00001572: DUP2 00001573: SWAP1 00001574: SSTORE 00001575: POP 00001576: DUP5 00001577: PUSH1 0x09 00001579: PUSH1 0x00 0000157b: DUP3 0000157c: DUP3 0000157d: SLOAD 0000157e: PUSH2 0x1587 00001581: SWAP2 00001582: SWAP1 00001583: PUSH2 0x187c 00001586: JUMP 00001587: JUMPDEST 00001588: SWAP1 00001589: SWAP2 0000158a: SSTORE 0000158b: POP 0000158c: PUSH2 0x1597 0000158f: SWAP1 00001590: POP 00001591: DUP6 00001592: DUP9 00001593: PUSH2 0x17dc 00001596: JUMP 00001597: JUMPDEST 00001598: PUSH2 0x15a1 0000159b: SWAP1 0000159c: DUP4 0000159d: PUSH2 0x187c 000015a0: JUMP 000015a1: JUMPDEST 000015a2: SWAP2 000015a3: POP 000015a4: DUP2 000015a5: ISZERO 000015a6: PUSH2 0x1613 000015a9: JUMPI 000015aa: PUSH1 0x40 000015ac: MLOAD 000015ad: PUSH1 0x00 000015af: SWAP1 000015b0: CALLER 000015b1: SWAP1 000015b2: DUP5 000015b3: SWAP1 000015b4: DUP4 000015b5: DUP2 000015b6: DUP2 000015b7: DUP2 000015b8: DUP6 000015b9: DUP8 000015ba: GAS 000015bb: CALL 000015bc: SWAP3 000015bd: POP 000015be: POP 000015bf: POP 000015c0: RETURNDATASIZE 000015c1: DUP1 000015c2: PUSH1 0x00 000015c4: DUP2 000015c5: EQ 000015c6: PUSH2 0x15eb 000015c9: JUMPI 000015ca: PUSH1 0x40 000015cc: MLOAD 000015cd: SWAP2 000015ce: POP 000015cf: PUSH1 0x1f 000015d1: NOT 000015d2: PUSH1 0x3f 000015d4: RETURNDATASIZE 000015d5: ADD 000015d6: AND 000015d7: DUP3 000015d8: ADD 000015d9: PUSH1 0x40 000015db: MSTORE 000015dc: RETURNDATASIZE 000015dd: DUP3 000015de: MSTORE 000015df: RETURNDATASIZE 000015e0: PUSH1 0x00 000015e2: PUSH1 0x20 000015e4: DUP5 000015e5: ADD 000015e6: RETURNDATACOPY 000015e7: PUSH2 0x15f0 000015ea: JUMP 000015eb: JUMPDEST 000015ec: PUSH1 0x60 000015ee: SWAP2 000015ef: POP 000015f0: JUMPDEST 000015f1: POP 000015f2: POP 000015f3: SWAP1 000015f4: POP 000015f5: DUP1 000015f6: PUSH2 0x1611 000015f9: JUMPI 000015fa: PUSH1 0x40 000015fc: MLOAD 000015fd: PUSH3 0x461bcd 00001601: PUSH1 0xe5 00001603: SHL 00001604: DUP2 00001605: MSTORE 00001606: PUSH1 0x04 00001608: ADD 00001609: PUSH2 0x020f 0000160c: SWAP1 0000160d: PUSH2 0x1894 00001610: JUMP 00001611: JUMPDEST 00001612: POP 00001613: JUMPDEST 00001614: POP 00001615: POP 00001616: POP 00001617: POP 00001618: POP 00001619: POP 0000161a: POP 0000161b: POP 0000161c: JUMP 0000161d: JUMPDEST 0000161e: PUSH1 0x00 00001620: DUP1 00001621: SLOAD 00001622: PUSH1 0x01 00001624: PUSH1 0x01 00001626: PUSH1 0xa0 00001628: SHL 00001629: SUB 0000162a: DUP4 0000162b: DUP2 0000162c: AND 0000162d: PUSH1 0x01 0000162f: PUSH1 0x01 00001631: PUSH1 0xa0 00001633: SHL 00001634: SUB 00001635: NOT 00001636: DUP4 00001637: AND 00001638: DUP2 00001639: OR 0000163a: DUP5 0000163b: SSTORE 0000163c: PUSH1 0x40 0000163e: MLOAD 0000163f: SWAP2 00001640: SWAP1 00001641: SWAP3 00001642: AND 00001643: SWAP3 00001644: DUP4 00001645: SWAP2 00001646: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001667: SWAP2 00001668: SWAP1 00001669: LOG3 0000166a: POP 0000166b: POP 0000166c: JUMP 0000166d: JUMPDEST 0000166e: PUSH1 0x00 00001670: PUSH1 0x20 00001672: DUP3 00001673: DUP5 00001674: SUB 00001675: SLT 00001676: ISZERO 00001677: PUSH2 0x167f 0000167a: JUMPI 0000167b: PUSH1 0x00 0000167d: DUP1 0000167e: REVERT 0000167f: JUMPDEST 00001680: DUP2 00001681: CALLDATALOAD 00001682: PUSH1 0x01 00001684: PUSH1 0x01 00001686: PUSH1 0xa0 00001688: SHL 00001689: SUB 0000168a: DUP2 0000168b: AND 0000168c: DUP2 0000168d: EQ 0000168e: PUSH2 0x1696 00001691: JUMPI 00001692: PUSH1 0x00 00001694: DUP1 00001695: REVERT 00001696: JUMPDEST 00001697: SWAP4 00001698: SWAP3 00001699: POP 0000169a: POP 0000169b: POP 0000169c: JUMP 0000169d: JUMPDEST 0000169e: PUSH1 0x00 000016a0: PUSH1 0x20 000016a2: DUP3 000016a3: DUP5 000016a4: SUB 000016a5: SLT 000016a6: ISZERO 000016a7: PUSH2 0x16af 000016aa: JUMPI 000016ab: PUSH1 0x00 000016ad: DUP1 000016ae: REVERT 000016af: JUMPDEST 000016b0: POP 000016b1: CALLDATALOAD 000016b2: SWAP2 000016b3: SWAP1 000016b4: POP 000016b5: JUMP 000016b6: JUMPDEST 000016b7: PUSH1 0x00 000016b9: PUSH1 0x20 000016bb: DUP3 000016bc: DUP5 000016bd: SUB 000016be: SLT 000016bf: ISZERO 000016c0: PUSH2 0x16c8 000016c3: JUMPI 000016c4: PUSH1 0x00 000016c6: DUP1 000016c7: REVERT 000016c8: JUMPDEST 000016c9: DUP2 000016ca: CALLDATALOAD 000016cb: PUSH1 0xff 000016cd: DUP2 000016ce: AND 000016cf: DUP2 000016d0: EQ 000016d1: PUSH2 0x1696 000016d4: JUMPI 000016d5: PUSH1 0x00 000016d7: DUP1 000016d8: REVERT 000016d9: JUMPDEST 000016da: PUSH1 0x00 000016dc: DUP1 000016dd: DUP4 000016de: PUSH1 0x1f 000016e0: DUP5 000016e1: ADD 000016e2: SLT 000016e3: PUSH2 0x16eb 000016e6: JUMPI 000016e7: PUSH1 0x00 000016e9: DUP1 000016ea: REVERT 000016eb: JUMPDEST 000016ec: POP 000016ed: DUP2 000016ee: CALLDATALOAD 000016ef: PUSH8 0xffffffffffffffff 000016f8: DUP2 000016f9: GT 000016fa: ISZERO 000016fb: PUSH2 0x1703 000016fe: JUMPI 000016ff: PUSH1 0x00 00001701: DUP1 00001702: REVERT 00001703: JUMPDEST 00001704: PUSH1 0x20 00001706: DUP4 00001707: ADD 00001708: SWAP2 00001709: POP 0000170a: DUP4 0000170b: PUSH1 0x20 0000170d: DUP3 0000170e: PUSH1 0x05 00001710: SHL 00001711: DUP6 00001712: ADD 00001713: ADD 00001714: GT 00001715: ISZERO 00001716: PUSH2 0x171e 00001719: JUMPI 0000171a: PUSH1 0x00 0000171c: DUP1 0000171d: REVERT 0000171e: JUMPDEST 0000171f: SWAP3 00001720: POP 00001721: SWAP3 00001722: SWAP1 00001723: POP 00001724: JUMP 00001725: JUMPDEST 00001726: PUSH1 0x00 00001728: DUP1 00001729: PUSH1 0x00 0000172b: DUP1 0000172c: PUSH1 0x40 0000172e: DUP6 0000172f: DUP8 00001730: SUB 00001731: SLT 00001732: ISZERO 00001733: PUSH2 0x173b 00001736: JUMPI 00001737: PUSH1 0x00 00001739: DUP1 0000173a: REVERT 0000173b: JUMPDEST 0000173c: DUP5 0000173d: CALLDATALOAD 0000173e: PUSH8 0xffffffffffffffff 00001747: DUP1 00001748: DUP3 00001749: GT 0000174a: ISZERO 0000174b: PUSH2 0x1753 0000174e: JUMPI 0000174f: PUSH1 0x00 00001751: DUP1 00001752: REVERT 00001753: JUMPDEST 00001754: PUSH2 0x175f 00001757: DUP9 00001758: DUP4 00001759: DUP10 0000175a: ADD 0000175b: PUSH2 0x16d9 0000175e: JUMP 0000175f: JUMPDEST 00001760: SWAP1 00001761: SWAP7 00001762: POP 00001763: SWAP5 00001764: POP 00001765: PUSH1 0x20 00001767: DUP8 00001768: ADD 00001769: CALLDATALOAD 0000176a: SWAP2 0000176b: POP 0000176c: DUP1 0000176d: DUP3 0000176e: GT 0000176f: ISZERO 00001770: PUSH2 0x1778 00001773: JUMPI 00001774: PUSH1 0x00 00001776: DUP1 00001777: REVERT 00001778: JUMPDEST 00001779: POP 0000177a: PUSH2 0x1785 0000177d: DUP8 0000177e: DUP3 0000177f: DUP9 00001780: ADD 00001781: PUSH2 0x16d9 00001784: JUMP 00001785: JUMPDEST 00001786: SWAP6 00001787: SWAP9 00001788: SWAP5 00001789: SWAP8 0000178a: POP 0000178b: SWAP6 0000178c: POP 0000178d: POP 0000178e: POP 0000178f: POP 00001790: JUMP 00001791: JUMPDEST 00001792: PUSH1 0x20 00001794: DUP1 00001795: DUP3 00001796: MSTORE 00001797: DUP2 00001798: DUP2 00001799: ADD 0000179a: MSTORE 0000179b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000017bc: PUSH1 0x40 000017be: DUP3 000017bf: ADD 000017c0: MSTORE 000017c1: PUSH1 0x60 000017c3: ADD 000017c4: SWAP1 000017c5: JUMP 000017c6: JUMPDEST 000017c7: PUSH4 0x4e487b71 000017cc: PUSH1 0xe0 000017ce: SHL 000017cf: PUSH1 0x00 000017d1: MSTORE 000017d2: PUSH1 0x11 000017d4: PUSH1 0x04 000017d6: MSTORE 000017d7: PUSH1 0x24 000017d9: PUSH1 0x00 000017db: REVERT 000017dc: JUMPDEST 000017dd: PUSH1 0x00 000017df: DUP3 000017e0: DUP3 000017e1: LT 000017e2: ISZERO 000017e3: PUSH2 0x17ee 000017e6: JUMPI 000017e7: PUSH2 0x17ee 000017ea: PUSH2 0x17c6 000017ed: JUMP 000017ee: JUMPDEST 000017ef: POP 000017f0: SUB 000017f1: SWAP1 000017f2: JUMP 000017f3: JUMPDEST 000017f4: PUSH4 0x4e487b71 000017f9: PUSH1 0xe0 000017fb: SHL 000017fc: PUSH1 0x00 000017fe: MSTORE 000017ff: PUSH1 0x32 00001801: PUSH1 0x04 00001803: MSTORE 00001804: PUSH1 0x24 00001806: PUSH1 0x00 00001808: REVERT 00001809: JUMPDEST 0000180a: PUSH1 0x00 0000180c: PUSH1 0x01 0000180e: DUP3 0000180f: ADD 00001810: PUSH2 0x181b 00001813: JUMPI 00001814: PUSH2 0x181b 00001817: PUSH2 0x17c6 0000181a: JUMP 0000181b: JUMPDEST 0000181c: POP 0000181d: PUSH1 0x01 0000181f: ADD 00001820: SWAP1 00001821: JUMP 00001822: JUMPDEST 00001823: PUSH1 0x00 00001825: PUSH1 0x20 00001827: DUP3 00001828: DUP5 00001829: SUB 0000182a: SLT 0000182b: ISZERO 0000182c: PUSH2 0x1834 0000182f: JUMPI 00001830: PUSH1 0x00 00001832: DUP1 00001833: REVERT 00001834: JUMPDEST 00001835: POP 00001836: MLOAD 00001837: SWAP2 00001838: SWAP1 00001839: POP 0000183a: JUMP 0000183b: JUMPDEST 0000183c: PUSH1 0x00 0000183e: DUP3 0000183f: PUSH2 0x1858 00001842: JUMPI 00001843: PUSH4 0x4e487b71 00001848: PUSH1 0xe0 0000184a: SHL 0000184b: PUSH1 0x00 0000184d: MSTORE 0000184e: PUSH1 0x12 00001850: PUSH1 0x04 00001852: MSTORE 00001853: PUSH1 0x24 00001855: PUSH1 0x00 00001857: REVERT 00001858: JUMPDEST 00001859: POP 0000185a: DIV 0000185b: SWAP1 0000185c: JUMP 0000185d: JUMPDEST 0000185e: PUSH1 0x00 00001860: DUP2 00001861: PUSH1 0x00 00001863: NOT 00001864: DIV 00001865: DUP4 00001866: GT 00001867: DUP3 00001868: ISZERO 00001869: ISZERO 0000186a: AND 0000186b: ISZERO 0000186c: PUSH2 0x1877 0000186f: JUMPI 00001870: PUSH2 0x1877 00001873: PUSH2 0x17c6 00001876: JUMP 00001877: JUMPDEST 00001878: POP 00001879: MUL 0000187a: SWAP1 0000187b: JUMP 0000187c: JUMPDEST 0000187d: PUSH1 0x00 0000187f: DUP3 00001880: NOT 00001881: DUP3 00001882: GT 00001883: ISZERO 00001884: PUSH2 0x188f 00001887: JUMPI 00001888: PUSH2 0x188f 0000188b: PUSH2 0x17c6 0000188e: JUMP 0000188f: JUMPDEST 00001890: POP 00001891: ADD 00001892: SWAP1 00001893: JUMP 00001894: JUMPDEST 00001895: PUSH1 0x20 00001897: DUP1 00001898: DUP3 00001899: MSTORE 0000189a: PUSH1 0x17 0000189c: SWAP1 0000189d: DUP3 0000189e: ADD 0000189f: MSTORE 000018a0: PUSH32 0x4661696c656420746f20726566756e6420626964646572000000000000000000 000018c1: PUSH1 0x40 000018c3: DUP3 000018c4: ADD 000018c5: MSTORE 000018c6: PUSH1 0x60 000018c8: ADD 000018c9: SWAP1 000018ca: JUMP 000018cb: JUMPDEST 000018cc: PUSH1 0x00 000018ce: PUSH1 0x01 000018d0: PUSH1 0x01 000018d2: PUSH1 0x50 000018d4: SHL 000018d5: SUB 000018d6: DUP1 000018d7: DUP4 000018d8: AND 000018d9: DUP2 000018da: DUP6 000018db: AND 000018dc: DUP2 000018dd: DUP4 000018de: DIV 000018df: DUP2 000018e0: GT 000018e1: DUP3 000018e2: ISZERO 000018e3: ISZERO 000018e4: AND 000018e5: ISZERO 000018e6: PUSH2 0x18f1 000018e9: JUMPI 000018ea: PUSH2 0x18f1 000018ed: PUSH2 0x17c6 000018f0: JUMP 000018f1: JUMPDEST 000018f2: MUL 000018f3: SWAP5 000018f4: SWAP4 000018f5: POP 000018f6: POP 000018f7: POP 000018f8: POP 000018f9: JUMP 000018fa: JUMPDEST 000018fb: PUSH1 0x00 000018fd: PUSH1 0x01 000018ff: PUSH1 0x01 00001901: PUSH1 0x50 00001903: SHL 00001904: SUB 00001905: DUP4 00001906: DUP2 00001907: AND 00001908: SWAP1 00001909: DUP4 0000190a: AND 0000190b: DUP2 0000190c: DUP2 0000190d: LT 0000190e: ISZERO 0000190f: PUSH2 0x191a 00001912: JUMPI 00001913: PUSH2 0x191a 00001916: PUSH2 0x17c6 00001919: JUMP 0000191a: JUMPDEST 0000191b: SUB 0000191c: SWAP4 0000191d: SWAP3 0000191e: POP 0000191f: POP 00001920: POP 00001921: JUMP 00001922: JUMPDEST 00001923: PUSH1 0x00 00001925: PUSH1 0xff 00001927: DUP3 00001928: AND 00001929: PUSH1 0xff 0000192b: DUP5 0000192c: AND 0000192d: DUP1 0000192e: PUSH1 0xff 00001930: SUB 00001931: DUP3 00001932: GT 00001933: ISZERO 00001934: PUSH2 0x193f 00001937: JUMPI 00001938: PUSH2 0x193f 0000193b: PUSH2 0x17c6 0000193e: JUMP 0000193f: JUMPDEST 00001940: ADD 00001941: SWAP4 00001942: SWAP3 00001943: POP 00001944: POP 00001945: POP 00001946: JUMP 00001947: INVALID 00001948: LOG2 00001949: PUSH5 0x6970667358 0000194f: UNKNOWN(0x22) 00001950: SLT 00001951: KECCAK256 00001952: UNKNOWN(0xD6) 00001953: UNKNOWN(0xDD) 00001954: PUSH28 0xf6fd6036d6e1f56bedc38948dedcdd794e7fb736fd98677ff32c9a6b 00001971: STATICCALL 00001972: PUSH5 0x736f6c6343 00001978: STOP 00001979: ADDMOD 0000197a: UNKNOWN(0x0D) 0000197b: STOP 0000197c: CALLER
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x8c90a03ceca220fe83f743c3b615c212470c9ce875635f32b626deabbd10cfa1
call_targets:
0xf42c318dbfbaab0eee040279c6a2588fa01a961d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8c90a03ceca220fe83f743c3b615c212470c9ce875635f32b626deabbd10cfa1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf42c318dbfbaab0eee040279c6a2588fa01a961d"
],
"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": "0xdea9b646",
"selector": "0xdea9b646",
"calldata_variants": [
"0xdea9b646",
"0xdea9b6460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe6c0e6d5",
"selector": "0xe6c0e6d5",
"calldata_variants": [
"0xe6c0e6d5",
"0xe6c0e6d50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5eebfc7",
"selector": "0xf5eebfc7",
"calldata_variants": [
"0xf5eebfc7",
"0xf5eebfc70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc7446565",
"selector": "0xc7446565",
"calldata_variants": [
"0xc7446565",
"0xc74465650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd6fbf202",
"selector": "0xd6fbf202",
"calldata_variants": [
"0xd6fbf202",
"0xd6fbf2020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb002061",
"selector": "0xdb002061",
"calldata_variants": [
"0xdb002061",
"0xdb0020610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb2e21bc",
"selector": "0xdb2e21bc",
"calldata_variants": [
"0xdb2e21bc",
"0xdb2e21bc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2690,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3587,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4207,
"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: 0x8c90a03ceca220fe83f743c3b615c212470c9ce875635f32b626deabbd10cfa1
call_targets:
0xf42c318dbfbaab0eee040279c6a2588fa01a961d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8c90a03ceca220fe83f743c3b615c212470c9ce875635f32b626deabbd10cfa1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf42c318dbfbaab0eee040279c6a2588fa01a961d"
],
"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": "0xdea9b646",
"selector": "0xdea9b646",
"calldata_variants": [
"0xdea9b646",
"0xdea9b6460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe6c0e6d5",
"selector": "0xe6c0e6d5",
"calldata_variants": [
"0xe6c0e6d5",
"0xe6c0e6d50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5eebfc7",
"selector": "0xf5eebfc7",
"calldata_variants": [
"0xf5eebfc7",
"0xf5eebfc70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc7446565",
"selector": "0xc7446565",
"calldata_variants": [
"0xc7446565",
"0xc74465650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd6fbf202",
"selector": "0xd6fbf202",
"calldata_variants": [
"0xd6fbf202",
"0xd6fbf2020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb002061",
"selector": "0xdb002061",
"calldata_variants": [
"0xdb002061",
"0xdb0020610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb2e21bc",
"selector": "0xdb2e21bc",
"calldata_variants": [
"0xdb2e21bc",
"0xdb2e21bc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2690,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3587,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4207,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|