019b477e-cc04-73e3-804e-0bb9a6e8cc86
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 |
|---|---|---|---|---|
| 26791 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26792 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 91509 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 91510 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 91511 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 91512 | 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 0x01c2 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x90420628 00000019: GT 0000001a: PUSH2 0x00f7 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc20b5111 00000024: GT 00000025: PUSH2 0x0095 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xe0047fea 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe0047fea 0000003a: EQ 0000003b: PUSH2 0x048e 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x04a1 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf3fef3a3 00000050: EQ 00000051: PUSH2 0x04c1 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf4a0a528 0000005b: EQ 0000005c: PUSH2 0x04e1 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xc20b5111 0000006b: EQ 0000006c: PUSH2 0x042e 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xc3181096 00000076: EQ 00000077: PUSH2 0x0444 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xdbdff2c1 00000081: EQ 00000082: PUSH2 0x0464 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xde7fcb1d 0000008c: EQ 0000008d: PUSH2 0x0479 00000090: JUMPI 00000091: PUSH1 0x00 00000093: DUP1 00000094: REVERT 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0xa3dcf71c 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xa3dcf71c 000000a7: EQ 000000a8: PUSH2 0x03c1 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xa6ebc1d0 000000b2: EQ 000000b3: PUSH2 0x03e1 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xbbbc2c00 000000bd: EQ 000000be: PUSH2 0x03f7 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xc0c36a37 000000c8: EQ 000000c9: PUSH2 0x040c 000000cc: JUMPI 000000cd: PUSH1 0x00 000000cf: DUP1 000000d0: REVERT 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x90420628 000000d8: EQ 000000d9: PUSH2 0x036b 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x94985ddd 000000e3: EQ 000000e4: PUSH2 0x0381 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x94d71892 000000ee: EQ 000000ef: PUSH2 0x03a1 000000f2: JUMPI 000000f3: PUSH1 0x00 000000f5: DUP1 000000f6: REVERT 000000f7: JUMPDEST 000000f8: DUP1 000000f9: PUSH4 0x4cb3697b 000000fe: GT 000000ff: PUSH2 0x0164 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x5ebca6a9 00000109: GT 0000010a: PUSH2 0x013e 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x5ebca6a9 00000114: EQ 00000115: PUSH2 0x030c 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x6817c76c 0000011f: EQ 00000120: PUSH2 0x0322 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x715018a6 0000012a: EQ 0000012b: PUSH2 0x0338 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x8da5cb5b 00000135: EQ 00000136: PUSH2 0x034d 00000139: JUMPI 0000013a: PUSH1 0x00 0000013c: DUP1 0000013d: REVERT 0000013e: JUMPDEST 0000013f: DUP1 00000140: PUSH4 0x4cb3697b 00000145: EQ 00000146: PUSH2 0x02c5 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x52c2d2d9 00000150: EQ 00000151: PUSH2 0x02e0 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x56bd73ff 0000015b: EQ 0000015c: PUSH2 0x02f6 0000015f: JUMPI 00000160: PUSH1 0x00 00000162: DUP1 00000163: REVERT 00000164: JUMPDEST 00000165: DUP1 00000166: PUSH4 0x13b228ec 0000016b: GT 0000016c: PUSH2 0x01a0 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x13b228ec 00000176: EQ 00000177: PUSH2 0x0255 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x2520bf04 00000181: EQ 00000182: PUSH2 0x026b 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x37dd116c 0000018c: EQ 0000018d: PUSH2 0x028d 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x3f91da31 00000197: EQ 00000198: PUSH2 0x02a3 0000019b: JUMPI 0000019c: PUSH1 0x00 0000019e: DUP1 0000019f: REVERT 000001a0: JUMPDEST 000001a1: DUP1 000001a2: PUSH4 0x0486a25a 000001a7: EQ 000001a8: PUSH2 0x01c7 000001ab: JUMPI 000001ac: DUP1 000001ad: PUSH4 0x0fab64f2 000001b2: EQ 000001b3: PUSH2 0x01f0 000001b6: JUMPI 000001b7: DUP1 000001b8: PUSH4 0x126b2442 000001bd: EQ 000001be: PUSH2 0x0228 000001c1: JUMPI 000001c2: JUMPDEST 000001c3: PUSH1 0x00 000001c5: DUP1 000001c6: REVERT 000001c7: JUMPDEST 000001c8: CALLVALUE 000001c9: DUP1 000001ca: ISZERO 000001cb: PUSH2 0x01d3 000001ce: JUMPI 000001cf: PUSH1 0x00 000001d1: DUP1 000001d2: REVERT 000001d3: JUMPDEST 000001d4: POP 000001d5: PUSH2 0x01dd 000001d8: PUSH1 0x09 000001da: SLOAD 000001db: DUP2 000001dc: JUMP 000001dd: JUMPDEST 000001de: PUSH1 0x40 000001e0: MLOAD 000001e1: SWAP1 000001e2: DUP2 000001e3: MSTORE 000001e4: PUSH1 0x20 000001e6: ADD 000001e7: JUMPDEST 000001e8: PUSH1 0x40 000001ea: MLOAD 000001eb: DUP1 000001ec: SWAP2 000001ed: SUB 000001ee: SWAP1 000001ef: RETURN 000001f0: JUMPDEST 000001f1: CALLVALUE 000001f2: DUP1 000001f3: ISZERO 000001f4: PUSH2 0x01fc 000001f7: JUMPI 000001f8: PUSH1 0x00 000001fa: DUP1 000001fb: REVERT 000001fc: JUMPDEST 000001fd: POP 000001fe: PUSH1 0x02 00000200: SLOAD 00000201: PUSH2 0x0210 00000204: SWAP1 00000205: PUSH1 0x01 00000207: PUSH1 0x01 00000209: PUSH1 0xa0 0000020b: SHL 0000020c: SUB 0000020d: AND 0000020e: DUP2 0000020f: JUMP 00000210: JUMPDEST 00000211: PUSH1 0x40 00000213: MLOAD 00000214: PUSH1 0x01 00000216: PUSH1 0x01 00000218: PUSH1 0xa0 0000021a: SHL 0000021b: SUB 0000021c: SWAP1 0000021d: SWAP2 0000021e: AND 0000021f: DUP2 00000220: MSTORE 00000221: PUSH1 0x20 00000223: ADD 00000224: PUSH2 0x01e7 00000227: JUMP 00000228: JUMPDEST 00000229: CALLVALUE 0000022a: DUP1 0000022b: ISZERO 0000022c: PUSH2 0x0234 0000022f: JUMPI 00000230: PUSH1 0x00 00000232: DUP1 00000233: REVERT 00000234: JUMPDEST 00000235: POP 00000236: PUSH2 0x01dd 00000239: PUSH2 0x0243 0000023c: CALLDATASIZE 0000023d: PUSH1 0x04 0000023f: PUSH2 0x1308 00000242: JUMP 00000243: JUMPDEST 00000244: PUSH1 0x0a 00000246: PUSH1 0x20 00000248: MSTORE 00000249: PUSH1 0x00 0000024b: SWAP1 0000024c: DUP2 0000024d: MSTORE 0000024e: PUSH1 0x40 00000250: SWAP1 00000251: KECCAK256 00000252: SLOAD 00000253: DUP2 00000254: JUMP 00000255: JUMPDEST 00000256: CALLVALUE 00000257: DUP1 00000258: ISZERO 00000259: PUSH2 0x0261 0000025c: JUMPI 0000025d: PUSH1 0x00 0000025f: DUP1 00000260: REVERT 00000261: JUMPDEST 00000262: POP 00000263: PUSH2 0x01dd 00000266: PUSH1 0x0d 00000268: SLOAD 00000269: DUP2 0000026a: JUMP 0000026b: JUMPDEST 0000026c: CALLVALUE 0000026d: DUP1 0000026e: ISZERO 0000026f: PUSH2 0x0277 00000272: JUMPI 00000273: PUSH1 0x00 00000275: DUP1 00000276: REVERT 00000277: JUMPDEST 00000278: POP 00000279: PUSH2 0x0280 0000027c: PUSH2 0x0501 0000027f: JUMP 00000280: JUMPDEST 00000281: PUSH1 0x40 00000283: MLOAD 00000284: PUSH2 0x01e7 00000287: SWAP2 00000288: SWAP1 00000289: PUSH2 0x148f 0000028c: JUMP 0000028d: JUMPDEST 0000028e: CALLVALUE 0000028f: DUP1 00000290: ISZERO 00000291: PUSH2 0x0299 00000294: JUMPI 00000295: PUSH1 0x00 00000297: DUP1 00000298: REVERT 00000299: JUMPDEST 0000029a: POP 0000029b: PUSH2 0x01dd 0000029e: PUSH1 0x07 000002a0: SLOAD 000002a1: DUP2 000002a2: JUMP 000002a3: JUMPDEST 000002a4: CALLVALUE 000002a5: DUP1 000002a6: ISZERO 000002a7: PUSH2 0x02af 000002aa: JUMPI 000002ab: PUSH1 0x00 000002ad: DUP1 000002ae: REVERT 000002af: JUMPDEST 000002b0: POP 000002b1: PUSH2 0x02c3 000002b4: PUSH2 0x02be 000002b7: CALLDATASIZE 000002b8: PUSH1 0x04 000002ba: PUSH2 0x1397 000002bd: JUMP 000002be: JUMPDEST 000002bf: PUSH2 0x06ed 000002c2: JUMP 000002c3: JUMPDEST 000002c4: STOP 000002c5: JUMPDEST 000002c6: CALLVALUE 000002c7: DUP1 000002c8: ISZERO 000002c9: PUSH2 0x02d1 000002cc: JUMPI 000002cd: PUSH1 0x00 000002cf: DUP1 000002d0: REVERT 000002d1: JUMPDEST 000002d2: POP 000002d3: PUSH2 0x01dd 000002d6: PUSH7 0xb1a2bc2ec50000 000002de: DUP2 000002df: JUMP 000002e0: JUMPDEST 000002e1: CALLVALUE 000002e2: DUP1 000002e3: ISZERO 000002e4: PUSH2 0x02ec 000002e7: JUMPI 000002e8: PUSH1 0x00 000002ea: DUP1 000002eb: REVERT 000002ec: JUMPDEST 000002ed: POP 000002ee: PUSH2 0x01dd 000002f1: PUSH1 0x08 000002f3: SLOAD 000002f4: DUP2 000002f5: JUMP 000002f6: JUMPDEST 000002f7: CALLVALUE 000002f8: DUP1 000002f9: ISZERO 000002fa: PUSH2 0x0302 000002fd: JUMPI 000002fe: PUSH1 0x00 00000300: DUP1 00000301: REVERT 00000302: JUMPDEST 00000303: POP 00000304: PUSH2 0x01dd 00000307: PUSH2 0x1388 0000030a: DUP2 0000030b: JUMP 0000030c: JUMPDEST 0000030d: CALLVALUE 0000030e: DUP1 0000030f: ISZERO 00000310: PUSH2 0x0318 00000313: JUMPI 00000314: PUSH1 0x00 00000316: DUP1 00000317: REVERT 00000318: JUMPDEST 00000319: POP 0000031a: PUSH2 0x01dd 0000031d: PUSH2 0x0159 00000320: DUP2 00000321: JUMP 00000322: JUMPDEST 00000323: CALLVALUE 00000324: DUP1 00000325: ISZERO 00000326: PUSH2 0x032e 00000329: JUMPI 0000032a: PUSH1 0x00 0000032c: DUP1 0000032d: REVERT 0000032e: JUMPDEST 0000032f: POP 00000330: PUSH2 0x01dd 00000333: PUSH1 0x0e 00000335: SLOAD 00000336: DUP2 00000337: JUMP 00000338: JUMPDEST 00000339: CALLVALUE 0000033a: DUP1 0000033b: ISZERO 0000033c: PUSH2 0x0344 0000033f: JUMPI 00000340: PUSH1 0x00 00000342: DUP1 00000343: REVERT 00000344: JUMPDEST 00000345: POP 00000346: PUSH2 0x02c3 00000349: PUSH2 0x0731 0000034c: JUMP 0000034d: JUMPDEST 0000034e: CALLVALUE 0000034f: DUP1 00000350: ISZERO 00000351: PUSH2 0x0359 00000354: JUMPI 00000355: PUSH1 0x00 00000357: DUP1 00000358: REVERT 00000359: JUMPDEST 0000035a: POP 0000035b: PUSH1 0x00 0000035d: SLOAD 0000035e: PUSH1 0x01 00000360: PUSH1 0x01 00000362: PUSH1 0xa0 00000364: SHL 00000365: SUB 00000366: AND 00000367: PUSH2 0x0210 0000036a: JUMP 0000036b: JUMPDEST 0000036c: CALLVALUE 0000036d: DUP1 0000036e: ISZERO 0000036f: PUSH2 0x0377 00000372: JUMPI 00000373: PUSH1 0x00 00000375: DUP1 00000376: REVERT 00000377: JUMPDEST 00000378: POP 00000379: PUSH2 0x01dd 0000037c: PUSH1 0x0b 0000037e: SLOAD 0000037f: DUP2 00000380: JUMP 00000381: JUMPDEST 00000382: CALLVALUE 00000383: DUP1 00000384: ISZERO 00000385: PUSH2 0x038d 00000388: JUMPI 00000389: PUSH1 0x00 0000038b: DUP1 0000038c: REVERT 0000038d: JUMPDEST 0000038e: POP 0000038f: PUSH2 0x02c3 00000392: PUSH2 0x039c 00000395: CALLDATASIZE 00000396: PUSH1 0x04 00000398: PUSH2 0x1376 0000039b: JUMP 0000039c: JUMPDEST 0000039d: PUSH2 0x0745 000003a0: JUMP 000003a1: JUMPDEST 000003a2: CALLVALUE 000003a3: DUP1 000003a4: ISZERO 000003a5: PUSH2 0x03ad 000003a8: JUMPI 000003a9: PUSH1 0x00 000003ab: DUP1 000003ac: REVERT 000003ad: JUMPDEST 000003ae: POP 000003af: PUSH1 0x03 000003b1: SLOAD 000003b2: PUSH2 0x0210 000003b5: SWAP1 000003b6: PUSH1 0x01 000003b8: PUSH1 0x01 000003ba: PUSH1 0xa0 000003bc: SHL 000003bd: SUB 000003be: AND 000003bf: DUP2 000003c0: JUMP 000003c1: JUMPDEST 000003c2: CALLVALUE 000003c3: DUP1 000003c4: ISZERO 000003c5: PUSH2 0x03cd 000003c8: JUMPI 000003c9: PUSH1 0x00 000003cb: DUP1 000003cc: REVERT 000003cd: JUMPDEST 000003ce: POP 000003cf: PUSH2 0x02c3 000003d2: PUSH2 0x03dc 000003d5: CALLDATASIZE 000003d6: PUSH1 0x04 000003d8: PUSH2 0x1308 000003db: JUMP 000003dc: JUMPDEST 000003dd: PUSH2 0x07cb 000003e0: JUMP 000003e1: JUMPDEST 000003e2: CALLVALUE 000003e3: DUP1 000003e4: ISZERO 000003e5: PUSH2 0x03ed 000003e8: JUMPI 000003e9: PUSH1 0x00 000003eb: DUP1 000003ec: REVERT 000003ed: JUMPDEST 000003ee: POP 000003ef: PUSH2 0x01dd 000003f2: PUSH1 0x06 000003f4: SLOAD 000003f5: DUP2 000003f6: JUMP 000003f7: JUMPDEST 000003f8: CALLVALUE 000003f9: DUP1 000003fa: ISZERO 000003fb: PUSH2 0x0403 000003fe: JUMPI 000003ff: PUSH1 0x00 00000401: DUP1 00000402: REVERT 00000403: JUMPDEST 00000404: POP 00000405: PUSH2 0x02c3 00000408: PUSH2 0x0821 0000040b: JUMP 0000040c: JUMPDEST 0000040d: CALLVALUE 0000040e: DUP1 0000040f: ISZERO 00000410: PUSH2 0x0418 00000413: JUMPI 00000414: PUSH1 0x00 00000416: DUP1 00000417: REVERT 00000418: JUMPDEST 00000419: POP 0000041a: PUSH2 0x0421 0000041d: PUSH2 0x0946 00000420: JUMP 00000421: JUMPDEST 00000422: PUSH1 0x40 00000424: MLOAD 00000425: PUSH2 0x01e7 00000428: SWAP2 00000429: SWAP1 0000042a: PUSH2 0x14d3 0000042d: JUMP 0000042e: JUMPDEST 0000042f: CALLVALUE 00000430: DUP1 00000431: ISZERO 00000432: PUSH2 0x043a 00000435: JUMPI 00000436: PUSH1 0x00 00000438: DUP1 00000439: REVERT 0000043a: JUMPDEST 0000043b: POP 0000043c: PUSH2 0x01dd 0000043f: PUSH1 0x0c 00000441: SLOAD 00000442: DUP2 00000443: JUMP 00000444: JUMPDEST 00000445: CALLVALUE 00000446: DUP1 00000447: ISZERO 00000448: PUSH2 0x0450 0000044b: JUMPI 0000044c: PUSH1 0x00 0000044e: DUP1 0000044f: REVERT 00000450: JUMPDEST 00000451: POP 00000452: PUSH2 0x02c3 00000455: PUSH2 0x045f 00000458: CALLDATASIZE 00000459: PUSH1 0x04 0000045b: PUSH2 0x1308 0000045e: JUMP 0000045f: JUMPDEST 00000460: PUSH2 0x0962 00000463: JUMP 00000464: JUMPDEST 00000465: CALLVALUE 00000466: DUP1 00000467: ISZERO 00000468: PUSH2 0x0470 0000046b: JUMPI 0000046c: PUSH1 0x00 0000046e: DUP1 0000046f: REVERT 00000470: JUMPDEST 00000471: POP 00000472: PUSH2 0x01dd 00000475: PUSH2 0x09b8 00000478: JUMP 00000479: JUMPDEST 0000047a: CALLVALUE 0000047b: DUP1 0000047c: ISZERO 0000047d: PUSH2 0x0485 00000480: JUMPI 00000481: PUSH1 0x00 00000483: DUP1 00000484: REVERT 00000485: JUMPDEST 00000486: POP 00000487: PUSH2 0x01dd 0000048a: PUSH1 0x64 0000048c: DUP2 0000048d: JUMP 0000048e: JUMPDEST 0000048f: PUSH2 0x02c3 00000492: PUSH2 0x049c 00000495: CALLDATASIZE 00000496: PUSH1 0x04 00000498: PUSH2 0x13c7 0000049b: JUMP 0000049c: JUMPDEST 0000049d: PUSH2 0x0aaf 000004a0: JUMP 000004a1: JUMPDEST 000004a2: CALLVALUE 000004a3: DUP1 000004a4: ISZERO 000004a5: PUSH2 0x04ad 000004a8: JUMPI 000004a9: PUSH1 0x00 000004ab: DUP1 000004ac: REVERT 000004ad: JUMPDEST 000004ae: POP 000004af: PUSH2 0x02c3 000004b2: PUSH2 0x04bc 000004b5: CALLDATASIZE 000004b6: PUSH1 0x04 000004b8: PUSH2 0x1308 000004bb: JUMP 000004bc: JUMPDEST 000004bd: PUSH2 0x0e84 000004c0: JUMP 000004c1: JUMPDEST 000004c2: CALLVALUE 000004c3: DUP1 000004c4: ISZERO 000004c5: PUSH2 0x04cd 000004c8: JUMPI 000004c9: PUSH1 0x00 000004cb: DUP1 000004cc: REVERT 000004cd: JUMPDEST 000004ce: POP 000004cf: PUSH2 0x02c3 000004d2: PUSH2 0x04dc 000004d5: CALLDATASIZE 000004d6: PUSH1 0x04 000004d8: PUSH2 0x132b 000004db: JUMP 000004dc: JUMPDEST 000004dd: PUSH2 0x0efd 000004e0: JUMP 000004e1: JUMPDEST 000004e2: CALLVALUE 000004e3: DUP1 000004e4: ISZERO 000004e5: PUSH2 0x04ed 000004e8: JUMPI 000004e9: PUSH1 0x00 000004eb: DUP1 000004ec: REVERT 000004ed: JUMPDEST 000004ee: POP 000004ef: PUSH2 0x02c3 000004f2: PUSH2 0x04fc 000004f5: CALLDATASIZE 000004f6: PUSH1 0x04 000004f8: PUSH2 0x1397 000004fb: JUMP 000004fc: JUMPDEST 000004fd: PUSH2 0x0fd2 00000500: JUMP 00000501: JUMPDEST 00000502: PUSH1 0x60 00000504: PUSH1 0x00 00000506: PUSH1 0x06 00000508: SLOAD 00000509: GT 0000050a: PUSH2 0x055a 0000050d: JUMPI 0000050e: PUSH1 0x40 00000510: MLOAD 00000511: PUSH3 0x461bcd 00000515: PUSH1 0xe5 00000517: SHL 00000518: DUP2 00000519: MSTORE 0000051a: PUSH1 0x20 0000051c: PUSH1 0x04 0000051e: DUP3 0000051f: ADD 00000520: MSTORE 00000521: PUSH1 0x18 00000523: PUSH1 0x24 00000525: DUP3 00000526: ADD 00000527: MSTORE 00000528: PUSH32 0x73687566666c654e756d626572206973206e6f74207365740000000000000000 00000549: PUSH1 0x44 0000054b: DUP3 0000054c: ADD 0000054d: MSTORE 0000054e: PUSH1 0x64 00000550: ADD 00000551: JUMPDEST 00000552: PUSH1 0x40 00000554: MLOAD 00000555: DUP1 00000556: SWAP2 00000557: SUB 00000558: SWAP1 00000559: REVERT 0000055a: JUMPDEST 0000055b: PUSH1 0x40 0000055d: DUP1 0000055e: MLOAD 0000055f: PUSH2 0x1388 00000562: DUP1 00000563: DUP3 00000564: MSTORE 00000565: PUSH3 0x027120 00000569: DUP3 0000056a: ADD 0000056b: SWAP1 0000056c: SWAP3 0000056d: MSTORE 0000056e: SWAP1 0000056f: PUSH1 0x20 00000571: DUP3 00000572: ADD 00000573: PUSH3 0x027100 00000577: DUP1 00000578: CALLDATASIZE 00000579: DUP4 0000057a: CALLDATACOPY 0000057b: ADD 0000057c: SWAP1 0000057d: POP 0000057e: POP 0000057f: SWAP1 00000580: POP 00000581: PUSH1 0x00 00000583: JUMPDEST 00000584: PUSH2 0x1388 00000587: DUP2 00000588: LT 00000589: ISZERO 0000058a: PUSH2 0x05cb 0000058d: JUMPI 0000058e: DUP1 0000058f: DUP3 00000590: DUP3 00000591: DUP2 00000592: MLOAD 00000593: DUP2 00000594: LT 00000595: PUSH2 0x05ae 00000598: JUMPI 00000599: PUSH4 0x4e487b71 0000059e: PUSH1 0xe0 000005a0: SHL 000005a1: PUSH1 0x00 000005a3: MSTORE 000005a4: PUSH1 0x32 000005a6: PUSH1 0x04 000005a8: MSTORE 000005a9: PUSH1 0x24 000005ab: PUSH1 0x00 000005ad: REVERT 000005ae: JUMPDEST 000005af: PUSH1 0x20 000005b1: SWAP1 000005b2: DUP2 000005b3: MUL 000005b4: SWAP2 000005b5: SWAP1 000005b6: SWAP2 000005b7: ADD 000005b8: ADD 000005b9: MSTORE 000005ba: DUP1 000005bb: PUSH2 0x05c3 000005be: DUP2 000005bf: PUSH2 0x154b 000005c2: JUMP 000005c3: JUMPDEST 000005c4: SWAP2 000005c5: POP 000005c6: POP 000005c7: PUSH2 0x0583 000005ca: JUMP 000005cb: JUMPDEST 000005cc: POP 000005cd: PUSH1 0x06 000005cf: SLOAD 000005d0: PUSH1 0x00 000005d2: PUSH2 0x05de 000005d5: PUSH1 0x01 000005d7: PUSH2 0x1388 000005da: PUSH2 0x151d 000005dd: JUMP 000005de: JUMPDEST 000005df: SWAP1 000005e0: POP 000005e1: JUMPDEST 000005e2: DUP1 000005e3: ISZERO 000005e4: PUSH2 0x06e8 000005e7: JUMPI 000005e8: PUSH1 0x40 000005ea: DUP1 000005eb: MLOAD 000005ec: PUSH1 0x20 000005ee: DUP2 000005ef: ADD 000005f0: DUP5 000005f1: SWAP1 000005f2: MSTORE 000005f3: ADD 000005f4: PUSH1 0x40 000005f6: DUP1 000005f7: MLOAD 000005f8: PUSH1 0x1f 000005fa: NOT 000005fb: DUP2 000005fc: DUP5 000005fd: SUB 000005fe: ADD 000005ff: DUP2 00000600: MSTORE 00000601: SWAP2 00000602: SWAP1 00000603: MSTORE 00000604: DUP1 00000605: MLOAD 00000606: PUSH1 0x20 00000608: SWAP1 00000609: SWAP2 0000060a: ADD 0000060b: KECCAK256 0000060c: SWAP2 0000060d: POP 0000060e: PUSH1 0x00 00000610: PUSH2 0x061a 00000613: DUP3 00000614: PUSH1 0x01 00000616: PUSH2 0x14e6 00000619: JUMP 0000061a: JUMPDEST 0000061b: PUSH2 0x0624 0000061e: SWAP1 0000061f: DUP5 00000620: PUSH2 0x1566 00000623: JUMP 00000624: JUMPDEST 00000625: SWAP1 00000626: POP 00000627: PUSH1 0x00 00000629: DUP5 0000062a: DUP4 0000062b: DUP2 0000062c: MLOAD 0000062d: DUP2 0000062e: LT 0000062f: PUSH2 0x0648 00000632: JUMPI 00000633: PUSH4 0x4e487b71 00000638: PUSH1 0xe0 0000063a: SHL 0000063b: PUSH1 0x00 0000063d: MSTORE 0000063e: PUSH1 0x32 00000640: PUSH1 0x04 00000642: MSTORE 00000643: PUSH1 0x24 00000645: PUSH1 0x00 00000647: REVERT 00000648: JUMPDEST 00000649: PUSH1 0x20 0000064b: MUL 0000064c: PUSH1 0x20 0000064e: ADD 0000064f: ADD 00000650: MLOAD 00000651: SWAP1 00000652: POP 00000653: DUP5 00000654: DUP3 00000655: DUP2 00000656: MLOAD 00000657: DUP2 00000658: LT 00000659: PUSH2 0x0672 0000065c: JUMPI 0000065d: PUSH4 0x4e487b71 00000662: PUSH1 0xe0 00000664: SHL 00000665: PUSH1 0x00 00000667: MSTORE 00000668: PUSH1 0x32 0000066a: PUSH1 0x04 0000066c: MSTORE 0000066d: PUSH1 0x24 0000066f: PUSH1 0x00 00000671: REVERT 00000672: JUMPDEST 00000673: PUSH1 0x20 00000675: MUL 00000676: PUSH1 0x20 00000678: ADD 00000679: ADD 0000067a: MLOAD 0000067b: DUP6 0000067c: DUP5 0000067d: DUP2 0000067e: MLOAD 0000067f: DUP2 00000680: LT 00000681: PUSH2 0x069a 00000684: JUMPI 00000685: PUSH4 0x4e487b71 0000068a: PUSH1 0xe0 0000068c: SHL 0000068d: PUSH1 0x00 0000068f: MSTORE 00000690: PUSH1 0x32 00000692: PUSH1 0x04 00000694: MSTORE 00000695: PUSH1 0x24 00000697: PUSH1 0x00 00000699: REVERT 0000069a: JUMPDEST 0000069b: PUSH1 0x20 0000069d: MUL 0000069e: PUSH1 0x20 000006a0: ADD 000006a1: ADD 000006a2: DUP2 000006a3: DUP2 000006a4: MSTORE 000006a5: POP 000006a6: POP 000006a7: DUP1 000006a8: DUP6 000006a9: DUP4 000006aa: DUP2 000006ab: MLOAD 000006ac: DUP2 000006ad: LT 000006ae: PUSH2 0x06c7 000006b1: JUMPI 000006b2: PUSH4 0x4e487b71 000006b7: PUSH1 0xe0 000006b9: SHL 000006ba: PUSH1 0x00 000006bc: MSTORE 000006bd: PUSH1 0x32 000006bf: PUSH1 0x04 000006c1: MSTORE 000006c2: PUSH1 0x24 000006c4: PUSH1 0x00 000006c6: REVERT 000006c7: JUMPDEST 000006c8: PUSH1 0x20 000006ca: MUL 000006cb: PUSH1 0x20 000006cd: ADD 000006ce: ADD 000006cf: DUP2 000006d0: DUP2 000006d1: MSTORE 000006d2: POP 000006d3: POP 000006d4: POP 000006d5: POP 000006d6: DUP1 000006d7: DUP1 000006d8: PUSH2 0x06e0 000006db: SWAP1 000006dc: PUSH2 0x1534 000006df: JUMP 000006e0: JUMPDEST 000006e1: SWAP2 000006e2: POP 000006e3: POP 000006e4: PUSH2 0x05e1 000006e7: JUMP 000006e8: JUMPDEST 000006e9: POP 000006ea: POP 000006eb: SWAP1 000006ec: JUMP 000006ed: JUMPDEST 000006ee: PUSH2 0x06f5 000006f1: PUSH2 0x1076 000006f4: JUMP 000006f5: JUMPDEST 000006f6: PUSH1 0x0d 000006f8: DUP2 000006f9: SWAP1 000006fa: SSTORE 000006fb: PUSH1 0x40 000006fd: MLOAD 000006fe: DUP2 000006ff: DUP2 00000700: MSTORE 00000701: PUSH32 0x370ed5694aff8260b2113acb4c27c8f7e4e4576e89d9dc173a696c70228eda57 00000722: SWAP1 00000723: PUSH1 0x20 00000725: ADD 00000726: JUMPDEST 00000727: PUSH1 0x40 00000729: MLOAD 0000072a: DUP1 0000072b: SWAP2 0000072c: SUB 0000072d: SWAP1 0000072e: LOG1 0000072f: POP 00000730: JUMP 00000731: JUMPDEST 00000732: PUSH2 0x0739 00000735: PUSH2 0x1076 00000738: JUMP 00000739: JUMPDEST 0000073a: PUSH2 0x0743 0000073d: PUSH1 0x00 0000073f: PUSH2 0x10d0 00000742: JUMP 00000743: JUMPDEST 00000744: JUMP 00000745: JUMPDEST 00000746: CALLER 00000747: PUSH1 0x01 00000749: PUSH1 0x01 0000074b: PUSH1 0xa0 0000074d: SHL 0000074e: SUB 0000074f: PUSH32 0x000000000000000000000000f0d54349addcf704f77ae15b96510dea15cb7952 00000770: AND 00000771: EQ 00000772: PUSH2 0x07bd 00000775: JUMPI 00000776: PUSH1 0x40 00000778: MLOAD 00000779: PUSH3 0x461bcd 0000077d: PUSH1 0xe5 0000077f: SHL 00000780: DUP2 00000781: MSTORE 00000782: PUSH1 0x20 00000784: PUSH1 0x04 00000786: DUP3 00000787: ADD 00000788: MSTORE 00000789: PUSH1 0x1f 0000078b: PUSH1 0x24 0000078d: DUP3 0000078e: ADD 0000078f: MSTORE 00000790: PUSH32 0x4f6e6c7920565246436f6f7264696e61746f722063616e2066756c66696c6c00 000007b1: PUSH1 0x44 000007b3: DUP3 000007b4: ADD 000007b5: MSTORE 000007b6: PUSH1 0x64 000007b8: ADD 000007b9: PUSH2 0x0551 000007bc: JUMP 000007bd: JUMPDEST 000007be: PUSH2 0x07c7 000007c1: DUP3 000007c2: DUP3 000007c3: PUSH2 0x1120 000007c6: JUMP 000007c7: JUMPDEST 000007c8: POP 000007c9: POP 000007ca: JUMP 000007cb: JUMPDEST 000007cc: PUSH2 0x07d3 000007cf: PUSH2 0x1076 000007d2: JUMP 000007d3: JUMPDEST 000007d4: PUSH1 0x03 000007d6: DUP1 000007d7: SLOAD 000007d8: PUSH1 0x01 000007da: PUSH1 0x01 000007dc: PUSH1 0xa0 000007de: SHL 000007df: SUB 000007e0: NOT 000007e1: AND 000007e2: PUSH1 0x01 000007e4: PUSH1 0x01 000007e6: PUSH1 0xa0 000007e8: SHL 000007e9: SUB 000007ea: DUP4 000007eb: AND 000007ec: SWAP1 000007ed: DUP2 000007ee: OR 000007ef: SWAP1 000007f0: SWAP2 000007f1: SSTORE 000007f2: PUSH1 0x40 000007f4: MLOAD 000007f5: SWAP1 000007f6: DUP2 000007f7: MSTORE 000007f8: PUSH32 0x82cd6e4fe3ad1fd00e3f2ff6dd806229468a7c354ffab3943c5386c2216fb125 00000819: SWAP1 0000081a: PUSH1 0x20 0000081c: ADD 0000081d: PUSH2 0x0726 00000820: JUMP 00000821: JUMPDEST 00000822: PUSH2 0x0829 00000825: PUSH2 0x1076 00000828: JUMP 00000829: JUMPDEST 0000082a: PUSH1 0x08 0000082c: SLOAD 0000082d: ISZERO 0000082e: PUSH2 0x086c 00000831: JUMPI 00000832: PUSH1 0x40 00000834: MLOAD 00000835: PUSH3 0x461bcd 00000839: PUSH1 0xe5 0000083b: SHL 0000083c: DUP2 0000083d: MSTORE 0000083e: PUSH1 0x20 00000840: PUSH1 0x04 00000842: DUP3 00000843: ADD 00000844: MSTORE 00000845: PUSH1 0x10 00000847: PUSH1 0x24 00000849: DUP3 0000084a: ADD 0000084b: MSTORE 0000084c: PUSH16 0x7072654d696e742077617320646f6e65 0000085d: PUSH1 0x80 0000085f: SHL 00000860: PUSH1 0x44 00000862: DUP3 00000863: ADD 00000864: MSTORE 00000865: PUSH1 0x64 00000867: ADD 00000868: PUSH2 0x0551 0000086b: JUMP 0000086c: JUMPDEST 0000086d: PUSH1 0x00 0000086f: JUMPDEST 00000870: PUSH2 0x0159 00000873: DUP2 00000874: LT 00000875: ISZERO 00000876: PUSH2 0x08e9 00000879: JUMPI 0000087a: PUSH1 0x03 0000087c: SLOAD 0000087d: PUSH1 0x40 0000087f: MLOAD 00000880: PUSH4 0x35313c21 00000885: PUSH1 0xe1 00000887: SHL 00000888: DUP2 00000889: MSTORE 0000088a: CALLER 0000088b: PUSH1 0x04 0000088d: DUP3 0000088e: ADD 0000088f: MSTORE 00000890: PUSH1 0x01 00000892: PUSH1 0x01 00000894: PUSH1 0xa0 00000896: SHL 00000897: SUB 00000898: SWAP1 00000899: SWAP2 0000089a: AND 0000089b: SWAP1 0000089c: PUSH4 0x6a627842 000008a1: SWAP1 000008a2: PUSH1 0x24 000008a4: ADD 000008a5: PUSH1 0x00 000008a7: PUSH1 0x40 000008a9: MLOAD 000008aa: DUP1 000008ab: DUP4 000008ac: SUB 000008ad: DUP2 000008ae: PUSH1 0x00 000008b0: DUP8 000008b1: DUP1 000008b2: EXTCODESIZE 000008b3: ISZERO 000008b4: DUP1 000008b5: ISZERO 000008b6: PUSH2 0x08be 000008b9: JUMPI 000008ba: PUSH1 0x00 000008bc: DUP1 000008bd: REVERT 000008be: JUMPDEST 000008bf: POP 000008c0: GAS 000008c1: CALL 000008c2: ISZERO 000008c3: DUP1 000008c4: ISZERO 000008c5: PUSH2 0x08d2 000008c8: JUMPI 000008c9: RETURNDATASIZE 000008ca: PUSH1 0x00 000008cc: DUP1 000008cd: RETURNDATACOPY 000008ce: RETURNDATASIZE 000008cf: PUSH1 0x00 000008d1: REVERT 000008d2: JUMPDEST 000008d3: POP 000008d4: POP 000008d5: POP 000008d6: POP 000008d7: DUP1 000008d8: DUP1 000008d9: PUSH2 0x08e1 000008dc: SWAP1 000008dd: PUSH2 0x154b 000008e0: JUMP 000008e1: JUMPDEST 000008e2: SWAP2 000008e3: POP 000008e4: POP 000008e5: PUSH2 0x086f 000008e8: JUMP 000008e9: JUMPDEST 000008ea: POP 000008eb: PUSH2 0x0159 000008ee: PUSH1 0x08 000008f0: PUSH1 0x00 000008f2: DUP3 000008f3: DUP3 000008f4: SLOAD 000008f5: PUSH2 0x08fe 000008f8: SWAP2 000008f9: SWAP1 000008fa: PUSH2 0x14e6 000008fd: JUMP 000008fe: JUMPDEST 000008ff: SWAP3 00000900: POP 00000901: POP 00000902: DUP2 00000903: SWAP1 00000904: SSTORE 00000905: POP 00000906: PUSH2 0x0159 00000909: PUSH1 0x07 0000090b: PUSH1 0x00 0000090d: DUP3 0000090e: DUP3 0000090f: SLOAD 00000910: PUSH2 0x0919 00000913: SWAP2 00000914: SWAP1 00000915: PUSH2 0x14e6 00000918: JUMP 00000919: JUMPDEST 0000091a: SWAP1 0000091b: SWAP2 0000091c: SSTORE 0000091d: POP 0000091e: POP 0000091f: CALLER 00000920: PUSH1 0x00 00000922: SWAP1 00000923: DUP2 00000924: MSTORE 00000925: PUSH1 0x0a 00000927: PUSH1 0x20 00000929: MSTORE 0000092a: PUSH1 0x40 0000092c: DUP2 0000092d: KECCAK256 0000092e: DUP1 0000092f: SLOAD 00000930: PUSH2 0x0159 00000933: SWAP3 00000934: SWAP1 00000935: PUSH2 0x093f 00000938: SWAP1 00000939: DUP5 0000093a: SWAP1 0000093b: PUSH2 0x14e6 0000093e: JUMP 0000093f: JUMPDEST 00000940: SWAP1 00000941: SWAP2 00000942: SSTORE 00000943: POP 00000944: POP 00000945: JUMP 00000946: JUMPDEST 00000947: PUSH1 0x40 00000949: MLOAD 0000094a: DUP1 0000094b: PUSH1 0x60 0000094d: ADD 0000094e: PUSH1 0x40 00000950: MSTORE 00000951: DUP1 00000952: PUSH1 0x40 00000954: DUP2 00000955: MSTORE 00000956: PUSH1 0x20 00000958: ADD 00000959: PUSH2 0x15b2 0000095c: PUSH1 0x40 0000095e: SWAP2 0000095f: CODECOPY 00000960: DUP2 00000961: JUMP 00000962: JUMPDEST 00000963: PUSH2 0x096a 00000966: PUSH2 0x1076 00000969: JUMP 0000096a: JUMPDEST 0000096b: PUSH1 0x02 0000096d: DUP1 0000096e: SLOAD 0000096f: PUSH1 0x01 00000971: PUSH1 0x01 00000973: PUSH1 0xa0 00000975: SHL 00000976: SUB 00000977: NOT 00000978: AND 00000979: PUSH1 0x01 0000097b: PUSH1 0x01 0000097d: PUSH1 0xa0 0000097f: SHL 00000980: SUB 00000981: DUP4 00000982: AND 00000983: SWAP1 00000984: DUP2 00000985: OR 00000986: SWAP1 00000987: SWAP2 00000988: SSTORE 00000989: PUSH1 0x40 0000098b: MLOAD 0000098c: SWAP1 0000098d: DUP2 0000098e: MSTORE 0000098f: PUSH32 0x571716e7c95ff32d5f55e6793301bd0f5260c5e12ac40b43c2aa4cceae8f0224 000009b0: SWAP1 000009b1: PUSH1 0x20 000009b3: ADD 000009b4: PUSH2 0x0726 000009b7: JUMP 000009b8: JUMPDEST 000009b9: PUSH1 0x00 000009bb: PUSH2 0x09c2 000009be: PUSH2 0x1076 000009c1: JUMP 000009c2: JUMPDEST 000009c3: PUSH1 0x05 000009c5: SLOAD 000009c6: PUSH1 0x40 000009c8: MLOAD 000009c9: PUSH4 0x70a08231 000009ce: PUSH1 0xe0 000009d0: SHL 000009d1: DUP2 000009d2: MSTORE 000009d3: ADDRESS 000009d4: PUSH1 0x04 000009d6: DUP3 000009d7: ADD 000009d8: MSTORE 000009d9: PUSH32 0x000000000000000000000000514910771af9ca656af840dff83e8264ecf986ca 000009fa: PUSH1 0x01 000009fc: PUSH1 0x01 000009fe: PUSH1 0xa0 00000a00: SHL 00000a01: SUB 00000a02: AND 00000a03: SWAP1 00000a04: PUSH4 0x70a08231 00000a09: SWAP1 00000a0a: PUSH1 0x24 00000a0c: ADD 00000a0d: PUSH1 0x20 00000a0f: PUSH1 0x40 00000a11: MLOAD 00000a12: DUP1 00000a13: DUP4 00000a14: SUB 00000a15: DUP2 00000a16: DUP7 00000a17: DUP1 00000a18: EXTCODESIZE 00000a19: ISZERO 00000a1a: DUP1 00000a1b: ISZERO 00000a1c: PUSH2 0x0a24 00000a1f: JUMPI 00000a20: PUSH1 0x00 00000a22: DUP1 00000a23: REVERT 00000a24: JUMPDEST 00000a25: POP 00000a26: GAS 00000a27: STATICCALL 00000a28: ISZERO 00000a29: DUP1 00000a2a: ISZERO 00000a2b: PUSH2 0x0a38 00000a2e: JUMPI 00000a2f: RETURNDATASIZE 00000a30: PUSH1 0x00 00000a32: DUP1 00000a33: RETURNDATACOPY 00000a34: RETURNDATASIZE 00000a35: PUSH1 0x00 00000a37: REVERT 00000a38: JUMPDEST 00000a39: POP 00000a3a: POP 00000a3b: POP 00000a3c: POP 00000a3d: PUSH1 0x40 00000a3f: MLOAD 00000a40: RETURNDATASIZE 00000a41: PUSH1 0x1f 00000a43: NOT 00000a44: PUSH1 0x1f 00000a46: DUP3 00000a47: ADD 00000a48: AND 00000a49: DUP3 00000a4a: ADD 00000a4b: DUP1 00000a4c: PUSH1 0x40 00000a4e: MSTORE 00000a4f: POP 00000a50: DUP2 00000a51: ADD 00000a52: SWAP1 00000a53: PUSH2 0x0a5c 00000a56: SWAP2 00000a57: SWAP1 00000a58: PUSH2 0x13af 00000a5b: JUMP 00000a5c: JUMPDEST 00000a5d: LT 00000a5e: ISZERO 00000a5f: PUSH2 0x0a9c 00000a62: JUMPI 00000a63: PUSH1 0x40 00000a65: MLOAD 00000a66: PUSH3 0x461bcd 00000a6a: PUSH1 0xe5 00000a6c: SHL 00000a6d: DUP2 00000a6e: MSTORE 00000a6f: PUSH1 0x20 00000a71: PUSH1 0x04 00000a73: DUP3 00000a74: ADD 00000a75: MSTORE 00000a76: PUSH1 0x0f 00000a78: PUSH1 0x24 00000a7a: DUP3 00000a7b: ADD 00000a7c: MSTORE 00000a7d: PUSH15 0x4e6f7420656e6f756768204c494e4b 00000a8d: PUSH1 0x88 00000a8f: SHL 00000a90: PUSH1 0x44 00000a92: DUP3 00000a93: ADD 00000a94: MSTORE 00000a95: PUSH1 0x64 00000a97: ADD 00000a98: PUSH2 0x0551 00000a9b: JUMP 00000a9c: JUMPDEST 00000a9d: PUSH2 0x0aaa 00000aa0: PUSH1 0x04 00000aa2: SLOAD 00000aa3: PUSH1 0x05 00000aa5: SLOAD 00000aa6: PUSH2 0x1176 00000aa9: JUMP 00000aaa: JUMPDEST 00000aab: SWAP1 00000aac: POP 00000aad: SWAP1 00000aae: JUMP 00000aaf: JUMPDEST 00000ab0: PUSH1 0x0d 00000ab2: SLOAD 00000ab3: TIMESTAMP 00000ab4: LT 00000ab5: ISZERO 00000ab6: PUSH2 0x0af7 00000ab9: JUMPI 00000aba: PUSH1 0x40 00000abc: MLOAD 00000abd: PUSH3 0x461bcd 00000ac1: PUSH1 0xe5 00000ac3: SHL 00000ac4: DUP2 00000ac5: MSTORE 00000ac6: PUSH1 0x20 00000ac8: PUSH1 0x04 00000aca: DUP3 00000acb: ADD 00000acc: MSTORE 00000acd: PUSH1 0x13 00000acf: PUSH1 0x24 00000ad1: DUP3 00000ad2: ADD 00000ad3: MSTORE 00000ad4: PUSH19 0x14dd1bdc99481a5cc81b9bdd081bdc195b9959 00000ae8: PUSH1 0x6a 00000aea: SHL 00000aeb: PUSH1 0x44 00000aed: DUP3 00000aee: ADD 00000aef: MSTORE 00000af0: PUSH1 0x64 00000af2: ADD 00000af3: PUSH2 0x0551 00000af6: JUMP 00000af7: JUMPDEST 00000af8: PUSH1 0x64 00000afa: DUP5 00000afb: GT 00000afc: ISZERO 00000afd: PUSH2 0x0b48 00000b00: JUMPI 00000b01: PUSH1 0x40 00000b03: MLOAD 00000b04: PUSH3 0x461bcd 00000b08: PUSH1 0xe5 00000b0a: SHL 00000b0b: DUP2 00000b0c: MSTORE 00000b0d: PUSH1 0x20 00000b0f: PUSH1 0x04 00000b11: DUP3 00000b12: ADD 00000b13: MSTORE 00000b14: PUSH1 0x1b 00000b16: PUSH1 0x24 00000b18: DUP3 00000b19: ADD 00000b1a: MSTORE 00000b1b: PUSH32 0x6d696e7420616d6f756e742065786365656473206d6178696d756d0000000000 00000b3c: PUSH1 0x44 00000b3e: DUP3 00000b3f: ADD 00000b40: MSTORE 00000b41: PUSH1 0x64 00000b43: ADD 00000b44: PUSH2 0x0551 00000b47: JUMP 00000b48: JUMPDEST 00000b49: PUSH1 0x00 00000b4b: DUP5 00000b4c: GT 00000b4d: PUSH2 0x0b98 00000b50: JUMPI 00000b51: PUSH1 0x40 00000b53: MLOAD 00000b54: PUSH3 0x461bcd 00000b58: PUSH1 0xe5 00000b5a: SHL 00000b5b: DUP2 00000b5c: MSTORE 00000b5d: PUSH1 0x20 00000b5f: PUSH1 0x04 00000b61: DUP3 00000b62: ADD 00000b63: MSTORE 00000b64: PUSH1 0x18 00000b66: PUSH1 0x24 00000b68: DUP3 00000b69: ADD 00000b6a: MSTORE 00000b6b: PUSH32 0x4e65656420746f206d696e74206d6f7265207468616e20300000000000000000 00000b8c: PUSH1 0x44 00000b8e: DUP3 00000b8f: ADD 00000b90: MSTORE 00000b91: PUSH1 0x64 00000b93: ADD 00000b94: PUSH2 0x0551 00000b97: JUMP 00000b98: JUMPDEST 00000b99: PUSH1 0x00 00000b9b: DUP6 00000b9c: ISZERO 00000b9d: PUSH2 0x0cca 00000ba0: JUMPI 00000ba1: PUSH1 0x02 00000ba3: SLOAD 00000ba4: PUSH1 0x40 00000ba6: MLOAD 00000ba7: PUSH4 0xae80ecef 00000bac: PUSH1 0xe0 00000bae: SHL 00000baf: DUP2 00000bb0: MSTORE 00000bb1: CALLER 00000bb2: PUSH1 0x04 00000bb4: DUP3 00000bb5: ADD 00000bb6: MSTORE 00000bb7: PUSH1 0x00 00000bb9: SWAP2 00000bba: PUSH1 0x01 00000bbc: PUSH1 0x01 00000bbe: PUSH1 0xa0 00000bc0: SHL 00000bc1: SUB 00000bc2: AND 00000bc3: SWAP1 00000bc4: PUSH4 0xae80ecef 00000bc9: SWAP1 00000bca: PUSH1 0x24 00000bcc: ADD 00000bcd: PUSH1 0x20 00000bcf: PUSH1 0x40 00000bd1: MLOAD 00000bd2: DUP1 00000bd3: DUP4 00000bd4: SUB 00000bd5: DUP2 00000bd6: DUP7 00000bd7: DUP1 00000bd8: EXTCODESIZE 00000bd9: ISZERO 00000bda: DUP1 00000bdb: ISZERO 00000bdc: PUSH2 0x0be4 00000bdf: JUMPI 00000be0: PUSH1 0x00 00000be2: DUP1 00000be3: REVERT 00000be4: JUMPDEST 00000be5: POP 00000be6: GAS 00000be7: STATICCALL 00000be8: ISZERO 00000be9: DUP1 00000bea: ISZERO 00000beb: PUSH2 0x0bf8 00000bee: JUMPI 00000bef: RETURNDATASIZE 00000bf0: PUSH1 0x00 00000bf2: DUP1 00000bf3: RETURNDATACOPY 00000bf4: RETURNDATASIZE 00000bf5: PUSH1 0x00 00000bf7: REVERT 00000bf8: JUMPDEST 00000bf9: POP 00000bfa: POP 00000bfb: POP 00000bfc: POP 00000bfd: PUSH1 0x40 00000bff: MLOAD 00000c00: RETURNDATASIZE 00000c01: PUSH1 0x1f 00000c03: NOT 00000c04: PUSH1 0x1f 00000c06: DUP3 00000c07: ADD 00000c08: AND 00000c09: DUP3 00000c0a: ADD 00000c0b: DUP1 00000c0c: PUSH1 0x40 00000c0e: MSTORE 00000c0f: POP 00000c10: DUP2 00000c11: ADD 00000c12: SWAP1 00000c13: PUSH2 0x0c1c 00000c16: SWAP2 00000c17: SWAP1 00000c18: PUSH2 0x13af 00000c1b: JUMP 00000c1c: JUMPDEST 00000c1d: SWAP1 00000c1e: POP 00000c1f: DUP1 00000c20: DUP8 00000c21: GT 00000c22: ISZERO 00000c23: PUSH2 0x0cc8 00000c26: JUMPI 00000c27: PUSH1 0x00 00000c29: PUSH2 0x0c32 00000c2c: DUP3 00000c2d: DUP10 00000c2e: PUSH2 0x151d 00000c31: JUMP 00000c32: JUMPDEST 00000c33: SWAP1 00000c34: POP 00000c35: DUP1 00000c36: DUP8 00000c37: GT 00000c38: PUSH2 0x0c41 00000c3b: JUMPI 00000c3c: DUP7 00000c3d: PUSH2 0x0c43 00000c40: JUMP 00000c41: JUMPDEST 00000c42: DUP1 00000c43: JUMPDEST 00000c44: PUSH1 0x02 00000c46: SLOAD 00000c47: PUSH1 0x40 00000c49: MLOAD 00000c4a: PUSH4 0x1176b05f 00000c4f: PUSH1 0xe2 00000c51: SHL 00000c52: DUP2 00000c53: MSTORE 00000c54: CALLER 00000c55: PUSH1 0x04 00000c57: DUP3 00000c58: ADD 00000c59: MSTORE 00000c5a: PUSH1 0x24 00000c5c: DUP2 00000c5d: ADD 00000c5e: DUP12 00000c5f: SWAP1 00000c60: MSTORE 00000c61: PUSH1 0x44 00000c63: DUP2 00000c64: ADD 00000c65: DUP4 00000c66: SWAP1 00000c67: MSTORE 00000c68: PUSH1 0xff 00000c6a: DUP10 00000c6b: AND 00000c6c: PUSH1 0x64 00000c6e: DUP3 00000c6f: ADD 00000c70: MSTORE 00000c71: PUSH1 0x84 00000c73: DUP2 00000c74: ADD 00000c75: DUP9 00000c76: SWAP1 00000c77: MSTORE 00000c78: PUSH1 0xa4 00000c7a: DUP2 00000c7b: ADD 00000c7c: DUP8 00000c7d: SWAP1 00000c7e: MSTORE 00000c7f: SWAP2 00000c80: SWAP5 00000c81: POP 00000c82: PUSH1 0x01 00000c84: PUSH1 0x01 00000c86: PUSH1 0xa0 00000c88: SHL 00000c89: SUB 00000c8a: AND 00000c8b: SWAP1 00000c8c: PUSH4 0x45dac17c 00000c91: SWAP1 00000c92: PUSH1 0xc4 00000c94: ADD 00000c95: PUSH1 0x00 00000c97: PUSH1 0x40 00000c99: MLOAD 00000c9a: DUP1 00000c9b: DUP4 00000c9c: SUB 00000c9d: DUP2 00000c9e: PUSH1 0x00 00000ca0: DUP8 00000ca1: DUP1 00000ca2: EXTCODESIZE 00000ca3: ISZERO 00000ca4: DUP1 00000ca5: ISZERO 00000ca6: PUSH2 0x0cae 00000ca9: JUMPI 00000caa: PUSH1 0x00 00000cac: DUP1 00000cad: REVERT 00000cae: JUMPDEST 00000caf: POP 00000cb0: GAS 00000cb1: CALL 00000cb2: ISZERO 00000cb3: DUP1 00000cb4: ISZERO 00000cb5: PUSH2 0x0cc2 00000cb8: JUMPI 00000cb9: RETURNDATASIZE 00000cba: PUSH1 0x00 00000cbc: DUP1 00000cbd: RETURNDATACOPY 00000cbe: RETURNDATASIZE 00000cbf: PUSH1 0x00 00000cc1: REVERT 00000cc2: JUMPDEST 00000cc3: POP 00000cc4: POP 00000cc5: POP 00000cc6: POP 00000cc7: POP 00000cc8: JUMPDEST 00000cc9: POP 00000cca: JUMPDEST 00000ccb: PUSH1 0x00 00000ccd: PUSH2 0x0cdd 00000cd0: DUP3 00000cd1: PUSH7 0xb1a2bc2ec50000 00000cd9: PUSH2 0x14fe 00000cdc: JUMP 00000cdd: JUMPDEST 00000cde: DUP7 00000cdf: PUSH1 0x0e 00000ce1: SLOAD 00000ce2: PUSH2 0x0ceb 00000ce5: SWAP2 00000ce6: SWAP1 00000ce7: PUSH2 0x14fe 00000cea: JUMP 00000ceb: JUMPDEST 00000cec: PUSH2 0x0cf5 00000cef: SWAP2 00000cf0: SWAP1 00000cf1: PUSH2 0x151d 00000cf4: JUMP 00000cf5: JUMPDEST 00000cf6: SWAP1 00000cf7: POP 00000cf8: CALLVALUE 00000cf9: DUP2 00000cfa: GT 00000cfb: ISZERO 00000cfc: PUSH2 0x0d3a 00000cff: JUMPI 00000d00: PUSH1 0x40 00000d02: MLOAD 00000d03: PUSH3 0x461bcd 00000d07: PUSH1 0xe5 00000d09: SHL 00000d0a: DUP2 00000d0b: MSTORE 00000d0c: PUSH1 0x20 00000d0e: PUSH1 0x04 00000d10: DUP3 00000d11: ADD 00000d12: MSTORE 00000d13: PUSH1 0x10 00000d15: PUSH1 0x24 00000d17: DUP3 00000d18: ADD 00000d19: MSTORE 00000d1a: PUSH16 0x4e6f7420656e6f756768206d6f6e6579 00000d2b: PUSH1 0x80 00000d2d: SHL 00000d2e: PUSH1 0x44 00000d30: DUP3 00000d31: ADD 00000d32: MSTORE 00000d33: PUSH1 0x64 00000d35: ADD 00000d36: PUSH2 0x0551 00000d39: JUMP 00000d3a: JUMPDEST 00000d3b: PUSH1 0x00 00000d3d: JUMPDEST 00000d3e: DUP7 00000d3f: DUP2 00000d40: LT 00000d41: ISZERO 00000d42: PUSH2 0x0db6 00000d45: JUMPI 00000d46: PUSH1 0x03 00000d48: SLOAD 00000d49: PUSH1 0x40 00000d4b: MLOAD 00000d4c: PUSH4 0x35313c21 00000d51: PUSH1 0xe1 00000d53: SHL 00000d54: DUP2 00000d55: MSTORE 00000d56: CALLER 00000d57: PUSH1 0x04 00000d59: DUP3 00000d5a: ADD 00000d5b: MSTORE 00000d5c: PUSH1 0x01 00000d5e: PUSH1 0x01 00000d60: PUSH1 0xa0 00000d62: SHL 00000d63: SUB 00000d64: SWAP1 00000d65: SWAP2 00000d66: AND 00000d67: SWAP1 00000d68: PUSH4 0x6a627842 00000d6d: SWAP1 00000d6e: PUSH1 0x24 00000d70: ADD 00000d71: PUSH1 0x00 00000d73: PUSH1 0x40 00000d75: MLOAD 00000d76: DUP1 00000d77: DUP4 00000d78: SUB 00000d79: DUP2 00000d7a: PUSH1 0x00 00000d7c: DUP8 00000d7d: DUP1 00000d7e: EXTCODESIZE 00000d7f: ISZERO 00000d80: DUP1 00000d81: ISZERO 00000d82: PUSH2 0x0d8a 00000d85: JUMPI 00000d86: PUSH1 0x00 00000d88: DUP1 00000d89: REVERT 00000d8a: JUMPDEST 00000d8b: POP 00000d8c: GAS 00000d8d: CALL 00000d8e: ISZERO 00000d8f: DUP1 00000d90: ISZERO 00000d91: PUSH2 0x0d9e 00000d94: JUMPI 00000d95: RETURNDATASIZE 00000d96: PUSH1 0x00 00000d98: DUP1 00000d99: RETURNDATACOPY 00000d9a: RETURNDATASIZE 00000d9b: PUSH1 0x00 00000d9d: REVERT 00000d9e: JUMPDEST 00000d9f: POP 00000da0: POP 00000da1: POP 00000da2: POP 00000da3: PUSH1 0x01 00000da5: DUP2 00000da6: PUSH2 0x0daf 00000da9: SWAP2 00000daa: SWAP1 00000dab: PUSH2 0x14e6 00000dae: JUMP 00000daf: JUMPDEST 00000db0: SWAP1 00000db1: POP 00000db2: PUSH2 0x0d3d 00000db5: JUMP 00000db6: JUMPDEST 00000db7: POP 00000db8: DUP6 00000db9: PUSH1 0x07 00000dbb: PUSH1 0x00 00000dbd: DUP3 00000dbe: DUP3 00000dbf: SLOAD 00000dc0: PUSH2 0x0dc9 00000dc3: SWAP2 00000dc4: SWAP1 00000dc5: PUSH2 0x14e6 00000dc8: JUMP 00000dc9: JUMPDEST 00000dca: SWAP1 00000dcb: SWAP2 00000dcc: SSTORE 00000dcd: POP 00000dce: POP 00000dcf: CALLER 00000dd0: PUSH1 0x00 00000dd2: SWAP1 00000dd3: DUP2 00000dd4: MSTORE 00000dd5: PUSH1 0x0a 00000dd7: PUSH1 0x20 00000dd9: MSTORE 00000dda: PUSH1 0x40 00000ddc: DUP2 00000ddd: KECCAK256 00000dde: DUP1 00000ddf: SLOAD 00000de0: DUP9 00000de1: SWAP3 00000de2: SWAP1 00000de3: PUSH2 0x0ded 00000de6: SWAP1 00000de7: DUP5 00000de8: SWAP1 00000de9: PUSH2 0x14e6 00000dec: JUMP 00000ded: JUMPDEST 00000dee: SWAP3 00000def: POP 00000df0: POP 00000df1: DUP2 00000df2: SWAP1 00000df3: SSTORE 00000df4: POP 00000df5: DUP1 00000df6: PUSH1 0x0b 00000df8: PUSH1 0x00 00000dfa: DUP3 00000dfb: DUP3 00000dfc: SLOAD 00000dfd: PUSH2 0x0e06 00000e00: SWAP2 00000e01: SWAP1 00000e02: PUSH2 0x14e6 00000e05: JUMP 00000e06: JUMPDEST 00000e07: SWAP1 00000e08: SWAP2 00000e09: SSTORE 00000e0a: POP 00000e0b: POP 00000e0c: DUP7 00000e0d: ISZERO 00000e0e: PUSH2 0x0e42 00000e11: JUMPI 00000e12: DUP6 00000e13: PUSH1 0x09 00000e15: PUSH1 0x00 00000e17: DUP3 00000e18: DUP3 00000e19: SLOAD 00000e1a: PUSH2 0x0e23 00000e1d: SWAP2 00000e1e: SWAP1 00000e1f: PUSH2 0x14e6 00000e22: JUMP 00000e23: JUMPDEST 00000e24: SWAP3 00000e25: POP 00000e26: POP 00000e27: DUP2 00000e28: SWAP1 00000e29: SSTORE 00000e2a: POP 00000e2b: DUP1 00000e2c: PUSH1 0x0c 00000e2e: PUSH1 0x00 00000e30: DUP3 00000e31: DUP3 00000e32: SLOAD 00000e33: PUSH2 0x0e3c 00000e36: SWAP2 00000e37: SWAP1 00000e38: PUSH2 0x14e6 00000e3b: JUMP 00000e3c: JUMPDEST 00000e3d: SWAP1 00000e3e: SWAP2 00000e3f: SSTORE 00000e40: POP 00000e41: POP 00000e42: JUMPDEST 00000e43: PUSH1 0x40 00000e45: DUP1 00000e46: MLOAD 00000e47: CALLER 00000e48: DUP2 00000e49: MSTORE 00000e4a: PUSH1 0x20 00000e4c: DUP2 00000e4d: ADD 00000e4e: DUP9 00000e4f: SWAP1 00000e50: MSTORE 00000e51: PUSH32 0x8a431c10ded2bedab920cd2a9467fa4b63d22556125a730336feb2f681e4fe8f 00000e72: SWAP2 00000e73: ADD 00000e74: PUSH1 0x40 00000e76: MLOAD 00000e77: DUP1 00000e78: SWAP2 00000e79: SUB 00000e7a: SWAP1 00000e7b: LOG1 00000e7c: POP 00000e7d: POP 00000e7e: POP 00000e7f: POP 00000e80: POP 00000e81: POP 00000e82: POP 00000e83: JUMP 00000e84: JUMPDEST 00000e85: PUSH2 0x0e8c 00000e88: PUSH2 0x1076 00000e8b: JUMP 00000e8c: JUMPDEST 00000e8d: PUSH1 0x01 00000e8f: PUSH1 0x01 00000e91: PUSH1 0xa0 00000e93: SHL 00000e94: SUB 00000e95: DUP2 00000e96: AND 00000e97: PUSH2 0x0ef1 00000e9a: JUMPI 00000e9b: PUSH1 0x40 00000e9d: MLOAD 00000e9e: PUSH3 0x461bcd 00000ea2: PUSH1 0xe5 00000ea4: SHL 00000ea5: DUP2 00000ea6: MSTORE 00000ea7: PUSH1 0x20 00000ea9: PUSH1 0x04 00000eab: DUP3 00000eac: ADD 00000ead: MSTORE 00000eae: PUSH1 0x26 00000eb0: PUSH1 0x24 00000eb2: DUP3 00000eb3: ADD 00000eb4: MSTORE 00000eb5: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000ed6: PUSH1 0x44 00000ed8: DUP3 00000ed9: ADD 00000eda: MSTORE 00000edb: PUSH6 0x646472657373 00000ee2: PUSH1 0xd0 00000ee4: SHL 00000ee5: PUSH1 0x64 00000ee7: DUP3 00000ee8: ADD 00000ee9: MSTORE 00000eea: PUSH1 0x84 00000eec: ADD 00000eed: PUSH2 0x0551 00000ef0: JUMP 00000ef1: JUMPDEST 00000ef2: PUSH2 0x0efa 00000ef5: DUP2 00000ef6: PUSH2 0x10d0 00000ef9: JUMP 00000efa: JUMPDEST 00000efb: POP 00000efc: JUMP 00000efd: JUMPDEST 00000efe: PUSH2 0x0f05 00000f01: PUSH2 0x1076 00000f04: JUMP 00000f05: JUMPDEST 00000f06: PUSH1 0x01 00000f08: PUSH1 0x01 00000f0a: PUSH1 0xa0 00000f0c: SHL 00000f0d: SUB 00000f0e: DUP3 00000f0f: AND 00000f10: PUSH2 0x0f5b 00000f13: JUMPI 00000f14: PUSH1 0x40 00000f16: MLOAD 00000f17: PUSH3 0x461bcd 00000f1b: PUSH1 0xe5 00000f1d: SHL 00000f1e: DUP2 00000f1f: MSTORE 00000f20: PUSH1 0x20 00000f22: PUSH1 0x04 00000f24: DUP3 00000f25: ADD 00000f26: MSTORE 00000f27: PUSH1 0x1e 00000f29: PUSH1 0x24 00000f2b: DUP3 00000f2c: ADD 00000f2d: MSTORE 00000f2e: PUSH32 0x72656365697665722063616e7420626520656d70747920616464726573730000 00000f4f: PUSH1 0x44 00000f51: DUP3 00000f52: ADD 00000f53: MSTORE 00000f54: PUSH1 0x64 00000f56: ADD 00000f57: PUSH2 0x0551 00000f5a: JUMP 00000f5b: JUMPDEST 00000f5c: PUSH1 0x40 00000f5e: MLOAD 00000f5f: PUSH1 0x01 00000f61: PUSH1 0x01 00000f63: PUSH1 0xa0 00000f65: SHL 00000f66: SUB 00000f67: DUP4 00000f68: AND 00000f69: DUP2 00000f6a: MSTORE 00000f6b: PUSH32 0xf67611512e0a2d90c96fd3f08dca4971bc45fba9dc679eabe839a32abbe58a8e 00000f8c: SWAP1 00000f8d: PUSH1 0x20 00000f8f: ADD 00000f90: PUSH1 0x40 00000f92: MLOAD 00000f93: DUP1 00000f94: SWAP2 00000f95: SUB 00000f96: SWAP1 00000f97: LOG1 00000f98: PUSH1 0x40 00000f9a: MLOAD 00000f9b: PUSH1 0x01 00000f9d: PUSH1 0x01 00000f9f: PUSH1 0xa0 00000fa1: SHL 00000fa2: SUB 00000fa3: DUP4 00000fa4: AND 00000fa5: SWAP1 00000fa6: DUP3 00000fa7: ISZERO 00000fa8: PUSH2 0x08fc 00000fab: MUL 00000fac: SWAP1 00000fad: DUP4 00000fae: SWAP1 00000faf: PUSH1 0x00 00000fb1: DUP2 00000fb2: DUP2 00000fb3: DUP2 00000fb4: DUP6 00000fb5: DUP9 00000fb6: DUP9 00000fb7: CALL 00000fb8: SWAP4 00000fb9: POP 00000fba: POP 00000fbb: POP 00000fbc: POP 00000fbd: ISZERO 00000fbe: DUP1 00000fbf: ISZERO 00000fc0: PUSH2 0x0fcd 00000fc3: JUMPI 00000fc4: RETURNDATASIZE 00000fc5: PUSH1 0x00 00000fc7: DUP1 00000fc8: RETURNDATACOPY 00000fc9: RETURNDATASIZE 00000fca: PUSH1 0x00 00000fcc: REVERT 00000fcd: JUMPDEST 00000fce: POP 00000fcf: POP 00000fd0: POP 00000fd1: JUMP 00000fd2: JUMPDEST 00000fd3: PUSH2 0x0fda 00000fd6: PUSH2 0x1076 00000fd9: JUMP 00000fda: JUMPDEST 00000fdb: PUSH2 0x0feb 00000fde: DUP2 00000fdf: PUSH7 0x2386f26fc10000 00000fe7: PUSH2 0x14fe 00000fea: JUMP 00000feb: JUMPDEST 00000fec: PUSH1 0x0e 00000fee: DUP2 00000fef: SWAP1 00000ff0: SSTORE 00000ff1: PUSH7 0xb1a2bc2ec50000 00000ff9: GT 00000ffa: ISZERO 00000ffb: PUSH2 0x1046 00000ffe: JUMPI 00000fff: PUSH1 0x40 00001001: MLOAD 00001002: PUSH3 0x461bcd 00001006: PUSH1 0xe5 00001008: SHL 00001009: DUP2 0000100a: MSTORE 0000100b: PUSH1 0x20 0000100d: PUSH1 0x04 0000100f: DUP3 00001010: ADD 00001011: DUP2 00001012: SWAP1 00001013: MSTORE 00001014: PUSH1 0x24 00001016: DUP3 00001017: ADD 00001018: MSTORE 00001019: PUSH32 0x6d696e745072696365206c6f776572207468616e20564950446973636f756e74 0000103a: PUSH1 0x44 0000103c: DUP3 0000103d: ADD 0000103e: MSTORE 0000103f: PUSH1 0x64 00001041: ADD 00001042: PUSH2 0x0551 00001045: JUMP 00001046: JUMPDEST 00001047: PUSH1 0x40 00001049: MLOAD 0000104a: DUP2 0000104b: DUP2 0000104c: MSTORE 0000104d: PUSH32 0x02ebcb79e897ca3a22313ba6de8fc964409964de565fb4bb6a0927871756b88c 0000106e: SWAP1 0000106f: PUSH1 0x20 00001071: ADD 00001072: PUSH2 0x0726 00001075: JUMP 00001076: JUMPDEST 00001077: PUSH1 0x00 00001079: SLOAD 0000107a: PUSH1 0x01 0000107c: PUSH1 0x01 0000107e: PUSH1 0xa0 00001080: SHL 00001081: SUB 00001082: AND 00001083: CALLER 00001084: EQ 00001085: PUSH2 0x0743 00001088: JUMPI 00001089: PUSH1 0x40 0000108b: MLOAD 0000108c: PUSH3 0x461bcd 00001090: PUSH1 0xe5 00001092: SHL 00001093: DUP2 00001094: MSTORE 00001095: PUSH1 0x20 00001097: PUSH1 0x04 00001099: DUP3 0000109a: ADD 0000109b: DUP2 0000109c: SWAP1 0000109d: MSTORE 0000109e: PUSH1 0x24 000010a0: DUP3 000010a1: ADD 000010a2: MSTORE 000010a3: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000010c4: PUSH1 0x44 000010c6: DUP3 000010c7: ADD 000010c8: MSTORE 000010c9: PUSH1 0x64 000010cb: ADD 000010cc: PUSH2 0x0551 000010cf: JUMP 000010d0: JUMPDEST 000010d1: PUSH1 0x00 000010d3: DUP1 000010d4: SLOAD 000010d5: PUSH1 0x01 000010d7: PUSH1 0x01 000010d9: PUSH1 0xa0 000010db: SHL 000010dc: SUB 000010dd: DUP4 000010de: DUP2 000010df: AND 000010e0: PUSH1 0x01 000010e2: PUSH1 0x01 000010e4: PUSH1 0xa0 000010e6: SHL 000010e7: SUB 000010e8: NOT 000010e9: DUP4 000010ea: AND 000010eb: DUP2 000010ec: OR 000010ed: DUP5 000010ee: SSTORE 000010ef: PUSH1 0x40 000010f1: MLOAD 000010f2: SWAP2 000010f3: SWAP1 000010f4: SWAP3 000010f5: AND 000010f6: SWAP3 000010f7: DUP4 000010f8: SWAP2 000010f9: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000111a: SWAP2 0000111b: SWAP1 0000111c: LOG3 0000111d: POP 0000111e: POP 0000111f: JUMP 00001120: JUMPDEST 00001121: PUSH1 0x06 00001123: SLOAD 00001124: ISZERO 00001125: PUSH2 0x1170 00001128: JUMPI 00001129: PUSH1 0x40 0000112b: MLOAD 0000112c: PUSH3 0x461bcd 00001130: PUSH1 0xe5 00001132: SHL 00001133: DUP2 00001134: MSTORE 00001135: PUSH1 0x20 00001137: PUSH1 0x04 00001139: DUP3 0000113a: ADD 0000113b: MSTORE 0000113c: PUSH1 0x1c 0000113e: PUSH1 0x24 00001140: DUP3 00001141: ADD 00001142: MSTORE 00001143: PUSH32 0x73687566666c654e756d62657220697320616c72656164792073657400000000 00001164: PUSH1 0x44 00001166: DUP3 00001167: ADD 00001168: MSTORE 00001169: PUSH1 0x64 0000116b: ADD 0000116c: PUSH2 0x0551 0000116f: JUMP 00001170: JUMPDEST 00001171: PUSH1 0x06 00001173: SSTORE 00001174: POP 00001175: JUMP 00001176: JUMPDEST 00001177: PUSH1 0x00 00001179: PUSH32 0x000000000000000000000000514910771af9ca656af840dff83e8264ecf986ca 0000119a: PUSH1 0x01 0000119c: PUSH1 0x01 0000119e: PUSH1 0xa0 000011a0: SHL 000011a1: SUB 000011a2: AND 000011a3: PUSH4 0x4000aea0 000011a8: PUSH32 0x000000000000000000000000f0d54349addcf704f77ae15b96510dea15cb7952 000011c9: DUP5 000011ca: DUP7 000011cb: PUSH1 0x00 000011cd: PUSH1 0x40 000011cf: MLOAD 000011d0: PUSH1 0x20 000011d2: ADD 000011d3: PUSH2 0x11e6 000011d6: SWAP3 000011d7: SWAP2 000011d8: SWAP1 000011d9: SWAP2 000011da: DUP3 000011db: MSTORE 000011dc: PUSH1 0x20 000011de: DUP3 000011df: ADD 000011e0: MSTORE 000011e1: PUSH1 0x40 000011e3: ADD 000011e4: SWAP1 000011e5: JUMP 000011e6: JUMPDEST 000011e7: PUSH1 0x40 000011e9: MLOAD 000011ea: PUSH1 0x20 000011ec: DUP2 000011ed: DUP4 000011ee: SUB 000011ef: SUB 000011f0: DUP2 000011f1: MSTORE 000011f2: SWAP1 000011f3: PUSH1 0x40 000011f5: MSTORE 000011f6: PUSH1 0x40 000011f8: MLOAD 000011f9: DUP5 000011fa: PUSH4 0xffffffff 000011ff: AND 00001200: PUSH1 0xe0 00001202: SHL 00001203: DUP2 00001204: MSTORE 00001205: PUSH1 0x04 00001207: ADD 00001208: PUSH2 0x1213 0000120b: SWAP4 0000120c: SWAP3 0000120d: SWAP2 0000120e: SWAP1 0000120f: PUSH2 0x145f 00001212: JUMP 00001213: JUMPDEST 00001214: PUSH1 0x20 00001216: PUSH1 0x40 00001218: MLOAD 00001219: DUP1 0000121a: DUP4 0000121b: SUB 0000121c: DUP2 0000121d: PUSH1 0x00 0000121f: DUP8 00001220: DUP1 00001221: EXTCODESIZE 00001222: ISZERO 00001223: DUP1 00001224: ISZERO 00001225: PUSH2 0x122d 00001228: JUMPI 00001229: PUSH1 0x00 0000122b: DUP1 0000122c: REVERT 0000122d: JUMPDEST 0000122e: POP 0000122f: GAS 00001230: CALL 00001231: ISZERO 00001232: DUP1 00001233: ISZERO 00001234: PUSH2 0x1241 00001237: JUMPI 00001238: RETURNDATASIZE 00001239: PUSH1 0x00 0000123b: DUP1 0000123c: RETURNDATACOPY 0000123d: RETURNDATASIZE 0000123e: PUSH1 0x00 00001240: REVERT 00001241: JUMPDEST 00001242: POP 00001243: POP 00001244: POP 00001245: POP 00001246: PUSH1 0x40 00001248: MLOAD 00001249: RETURNDATASIZE 0000124a: PUSH1 0x1f 0000124c: NOT 0000124d: PUSH1 0x1f 0000124f: DUP3 00001250: ADD 00001251: AND 00001252: DUP3 00001253: ADD 00001254: DUP1 00001255: PUSH1 0x40 00001257: MSTORE 00001258: POP 00001259: DUP2 0000125a: ADD 0000125b: SWAP1 0000125c: PUSH2 0x1265 0000125f: SWAP2 00001260: SWAP1 00001261: PUSH2 0x1356 00001264: JUMP 00001265: JUMPDEST 00001266: POP 00001267: PUSH1 0x00 00001269: DUP4 0000126a: DUP2 0000126b: MSTORE 0000126c: PUSH1 0x01 0000126e: PUSH1 0x20 00001270: DUP2 00001271: DUP2 00001272: MSTORE 00001273: PUSH1 0x40 00001275: DUP1 00001276: DUP5 00001277: KECCAK256 00001278: SLOAD 00001279: DUP2 0000127a: MLOAD 0000127b: DUP1 0000127c: DUP5 0000127d: ADD 0000127e: DUP10 0000127f: SWAP1 00001280: MSTORE 00001281: DUP1 00001282: DUP4 00001283: ADD 00001284: DUP7 00001285: SWAP1 00001286: MSTORE 00001287: ADDRESS 00001288: PUSH1 0x60 0000128a: DUP3 0000128b: ADD 0000128c: MSTORE 0000128d: PUSH1 0x80 0000128f: DUP1 00001290: DUP3 00001291: ADD 00001292: DUP4 00001293: SWAP1 00001294: MSTORE 00001295: DUP4 00001296: MLOAD 00001297: DUP1 00001298: DUP4 00001299: SUB 0000129a: SWAP1 0000129b: SWAP2 0000129c: ADD 0000129d: DUP2 0000129e: MSTORE 0000129f: PUSH1 0xa0 000012a1: SWAP1 000012a2: SWAP2 000012a3: ADD 000012a4: SWAP1 000012a5: SWAP3 000012a6: MSTORE 000012a7: DUP2 000012a8: MLOAD 000012a9: SWAP2 000012aa: DUP4 000012ab: ADD 000012ac: SWAP2 000012ad: SWAP1 000012ae: SWAP2 000012af: KECCAK256 000012b0: SWAP4 000012b1: DUP8 000012b2: SWAP1 000012b3: MSTORE 000012b4: SWAP1 000012b5: DUP3 000012b6: SWAP1 000012b7: MSTORE 000012b8: PUSH2 0x12c0 000012bb: SWAP2 000012bc: PUSH2 0x14e6 000012bf: JUMP 000012c0: JUMPDEST 000012c1: PUSH1 0x00 000012c3: DUP6 000012c4: DUP2 000012c5: MSTORE 000012c6: PUSH1 0x01 000012c8: PUSH1 0x20 000012ca: MSTORE 000012cb: PUSH1 0x40 000012cd: SWAP1 000012ce: KECCAK256 000012cf: SSTORE 000012d0: PUSH2 0x1300 000012d3: DUP5 000012d4: DUP3 000012d5: PUSH1 0x40 000012d7: DUP1 000012d8: MLOAD 000012d9: PUSH1 0x20 000012db: DUP1 000012dc: DUP3 000012dd: ADD 000012de: SWAP5 000012df: SWAP1 000012e0: SWAP5 000012e1: MSTORE 000012e2: DUP1 000012e3: DUP3 000012e4: ADD 000012e5: SWAP3 000012e6: SWAP1 000012e7: SWAP3 000012e8: MSTORE 000012e9: DUP1 000012ea: MLOAD 000012eb: DUP1 000012ec: DUP4 000012ed: SUB 000012ee: DUP3 000012ef: ADD 000012f0: DUP2 000012f1: MSTORE 000012f2: PUSH1 0x60 000012f4: SWAP1 000012f5: SWAP3 000012f6: ADD 000012f7: SWAP1 000012f8: MSTORE 000012f9: DUP1 000012fa: MLOAD 000012fb: SWAP2 000012fc: ADD 000012fd: KECCAK256 000012fe: SWAP1 000012ff: JUMP 00001300: JUMPDEST 00001301: SWAP5 00001302: SWAP4 00001303: POP 00001304: POP 00001305: POP 00001306: POP 00001307: JUMP 00001308: JUMPDEST 00001309: PUSH1 0x00 0000130b: PUSH1 0x20 0000130d: DUP3 0000130e: DUP5 0000130f: SUB 00001310: SLT 00001311: ISZERO 00001312: PUSH2 0x1319 00001315: JUMPI 00001316: DUP1 00001317: DUP2 00001318: REVERT 00001319: JUMPDEST 0000131a: DUP2 0000131b: CALLDATALOAD 0000131c: PUSH2 0x1324 0000131f: DUP2 00001320: PUSH2 0x159c 00001323: JUMP 00001324: JUMPDEST 00001325: SWAP4 00001326: SWAP3 00001327: POP 00001328: POP 00001329: POP 0000132a: JUMP 0000132b: JUMPDEST 0000132c: PUSH1 0x00 0000132e: DUP1 0000132f: PUSH1 0x40 00001331: DUP4 00001332: DUP6 00001333: SUB 00001334: SLT 00001335: ISZERO 00001336: PUSH2 0x133d 00001339: JUMPI 0000133a: DUP1 0000133b: DUP2 0000133c: REVERT 0000133d: JUMPDEST 0000133e: DUP3 0000133f: CALLDATALOAD 00001340: PUSH2 0x1348 00001343: DUP2 00001344: PUSH2 0x159c 00001347: JUMP 00001348: JUMPDEST 00001349: SWAP5 0000134a: PUSH1 0x20 0000134c: SWAP4 0000134d: SWAP1 0000134e: SWAP4 0000134f: ADD 00001350: CALLDATALOAD 00001351: SWAP4 00001352: POP 00001353: POP 00001354: POP 00001355: JUMP 00001356: JUMPDEST 00001357: PUSH1 0x00 00001359: PUSH1 0x20 0000135b: DUP3 0000135c: DUP5 0000135d: SUB 0000135e: SLT 0000135f: ISZERO 00001360: PUSH2 0x1367 00001363: JUMPI 00001364: DUP1 00001365: DUP2 00001366: REVERT 00001367: JUMPDEST 00001368: DUP2 00001369: MLOAD 0000136a: DUP1 0000136b: ISZERO 0000136c: ISZERO 0000136d: DUP2 0000136e: EQ 0000136f: PUSH2 0x1324 00001372: JUMPI 00001373: DUP2 00001374: DUP3 00001375: REVERT 00001376: JUMPDEST 00001377: PUSH1 0x00 00001379: DUP1 0000137a: PUSH1 0x40 0000137c: DUP4 0000137d: DUP6 0000137e: SUB 0000137f: SLT 00001380: ISZERO 00001381: PUSH2 0x1388 00001384: JUMPI 00001385: DUP2 00001386: DUP3 00001387: REVERT 00001388: JUMPDEST 00001389: POP 0000138a: POP 0000138b: DUP1 0000138c: CALLDATALOAD 0000138d: SWAP3 0000138e: PUSH1 0x20 00001390: SWAP1 00001391: SWAP2 00001392: ADD 00001393: CALLDATALOAD 00001394: SWAP2 00001395: POP 00001396: JUMP 00001397: JUMPDEST 00001398: PUSH1 0x00 0000139a: PUSH1 0x20 0000139c: DUP3 0000139d: DUP5 0000139e: SUB 0000139f: SLT 000013a0: ISZERO 000013a1: PUSH2 0x13a8 000013a4: JUMPI 000013a5: DUP1 000013a6: DUP2 000013a7: REVERT 000013a8: JUMPDEST 000013a9: POP 000013aa: CALLDATALOAD 000013ab: SWAP2 000013ac: SWAP1 000013ad: POP 000013ae: JUMP 000013af: JUMPDEST 000013b0: PUSH1 0x00 000013b2: PUSH1 0x20 000013b4: DUP3 000013b5: DUP5 000013b6: SUB 000013b7: SLT 000013b8: ISZERO 000013b9: PUSH2 0x13c0 000013bc: JUMPI 000013bd: DUP1 000013be: DUP2 000013bf: REVERT 000013c0: JUMPDEST 000013c1: POP 000013c2: MLOAD 000013c3: SWAP2 000013c4: SWAP1 000013c5: POP 000013c6: JUMP 000013c7: JUMPDEST 000013c8: PUSH1 0x00 000013ca: DUP1 000013cb: PUSH1 0x00 000013cd: DUP1 000013ce: PUSH1 0x00 000013d0: PUSH1 0xa0 000013d2: DUP7 000013d3: DUP9 000013d4: SUB 000013d5: SLT 000013d6: ISZERO 000013d7: PUSH2 0x13de 000013da: JUMPI 000013db: DUP1 000013dc: DUP2 000013dd: REVERT 000013de: JUMPDEST 000013df: DUP6 000013e0: CALLDATALOAD 000013e1: SWAP5 000013e2: POP 000013e3: PUSH1 0x20 000013e5: DUP7 000013e6: ADD 000013e7: CALLDATALOAD 000013e8: SWAP4 000013e9: POP 000013ea: PUSH1 0x40 000013ec: DUP7 000013ed: ADD 000013ee: CALLDATALOAD 000013ef: PUSH1 0xff 000013f1: DUP2 000013f2: AND 000013f3: DUP2 000013f4: EQ 000013f5: PUSH2 0x13fc 000013f8: JUMPI 000013f9: DUP2 000013fa: DUP3 000013fb: REVERT 000013fc: JUMPDEST 000013fd: SWAP5 000013fe: SWAP8 000013ff: SWAP4 00001400: SWAP7 00001401: POP 00001402: SWAP4 00001403: SWAP5 00001404: PUSH1 0x60 00001406: DUP2 00001407: ADD 00001408: CALLDATALOAD 00001409: SWAP5 0000140a: POP 0000140b: PUSH1 0x80 0000140d: ADD 0000140e: CALLDATALOAD 0000140f: SWAP3 00001410: SWAP2 00001411: POP 00001412: POP 00001413: JUMP 00001414: JUMPDEST 00001415: PUSH1 0x00 00001417: DUP2 00001418: MLOAD 00001419: DUP1 0000141a: DUP5 0000141b: MSTORE 0000141c: DUP2 0000141d: JUMPDEST 0000141e: DUP2 0000141f: DUP2 00001420: LT 00001421: ISZERO 00001422: PUSH2 0x1439 00001425: JUMPI 00001426: PUSH1 0x20 00001428: DUP2 00001429: DUP6 0000142a: ADD 0000142b: DUP2 0000142c: ADD 0000142d: MLOAD 0000142e: DUP7 0000142f: DUP4 00001430: ADD 00001431: DUP3 00001432: ADD 00001433: MSTORE 00001434: ADD 00001435: PUSH2 0x141d 00001438: JUMP 00001439: JUMPDEST 0000143a: DUP2 0000143b: DUP2 0000143c: GT 0000143d: ISZERO 0000143e: PUSH2 0x144a 00001441: JUMPI 00001442: DUP3 00001443: PUSH1 0x20 00001445: DUP4 00001446: DUP8 00001447: ADD 00001448: ADD 00001449: MSTORE 0000144a: JUMPDEST 0000144b: POP 0000144c: PUSH1 0x1f 0000144e: ADD 0000144f: PUSH1 0x1f 00001451: NOT 00001452: AND 00001453: SWAP3 00001454: SWAP1 00001455: SWAP3 00001456: ADD 00001457: PUSH1 0x20 00001459: ADD 0000145a: SWAP3 0000145b: SWAP2 0000145c: POP 0000145d: POP 0000145e: JUMP 0000145f: JUMPDEST 00001460: PUSH1 0x01 00001462: DUP1 00001463: PUSH1 0xa0 00001465: SHL 00001466: SUB 00001467: DUP5 00001468: AND 00001469: DUP2 0000146a: MSTORE 0000146b: DUP3 0000146c: PUSH1 0x20 0000146e: DUP3 0000146f: ADD 00001470: MSTORE 00001471: PUSH1 0x60 00001473: PUSH1 0x40 00001475: DUP3 00001476: ADD 00001477: MSTORE 00001478: PUSH1 0x00 0000147a: PUSH2 0x1486 0000147d: PUSH1 0x60 0000147f: DUP4 00001480: ADD 00001481: DUP5 00001482: PUSH2 0x1414 00001485: JUMP 00001486: JUMPDEST 00001487: SWAP6 00001488: SWAP5 00001489: POP 0000148a: POP 0000148b: POP 0000148c: POP 0000148d: POP 0000148e: JUMP 0000148f: JUMPDEST 00001490: PUSH1 0x20 00001492: DUP1 00001493: DUP3 00001494: MSTORE 00001495: DUP3 00001496: MLOAD 00001497: DUP3 00001498: DUP3 00001499: ADD 0000149a: DUP2 0000149b: SWAP1 0000149c: MSTORE 0000149d: PUSH1 0x00 0000149f: SWAP2 000014a0: SWAP1 000014a1: DUP5 000014a2: DUP3 000014a3: ADD 000014a4: SWAP1 000014a5: PUSH1 0x40 000014a7: DUP6 000014a8: ADD 000014a9: SWAP1 000014aa: DUP5 000014ab: JUMPDEST 000014ac: DUP2 000014ad: DUP2 000014ae: LT 000014af: ISZERO 000014b0: PUSH2 0x14c7 000014b3: JUMPI 000014b4: DUP4 000014b5: MLOAD 000014b6: DUP4 000014b7: MSTORE 000014b8: SWAP3 000014b9: DUP5 000014ba: ADD 000014bb: SWAP3 000014bc: SWAP2 000014bd: DUP5 000014be: ADD 000014bf: SWAP2 000014c0: PUSH1 0x01 000014c2: ADD 000014c3: PUSH2 0x14ab 000014c6: JUMP 000014c7: JUMPDEST 000014c8: POP 000014c9: SWAP1 000014ca: SWAP7 000014cb: SWAP6 000014cc: POP 000014cd: POP 000014ce: POP 000014cf: POP 000014d0: POP 000014d1: POP 000014d2: JUMP 000014d3: JUMPDEST 000014d4: PUSH1 0x20 000014d6: DUP2 000014d7: MSTORE 000014d8: PUSH1 0x00 000014da: PUSH2 0x1324 000014dd: PUSH1 0x20 000014df: DUP4 000014e0: ADD 000014e1: DUP5 000014e2: PUSH2 0x1414 000014e5: JUMP 000014e6: JUMPDEST 000014e7: PUSH1 0x00 000014e9: DUP3 000014ea: NOT 000014eb: DUP3 000014ec: GT 000014ed: ISZERO 000014ee: PUSH2 0x14f9 000014f1: JUMPI 000014f2: PUSH2 0x14f9 000014f5: PUSH2 0x1586 000014f8: JUMP 000014f9: JUMPDEST 000014fa: POP 000014fb: ADD 000014fc: SWAP1 000014fd: JUMP 000014fe: JUMPDEST 000014ff: PUSH1 0x00 00001501: DUP2 00001502: PUSH1 0x00 00001504: NOT 00001505: DIV 00001506: DUP4 00001507: GT 00001508: DUP3 00001509: ISZERO 0000150a: ISZERO 0000150b: AND 0000150c: ISZERO 0000150d: PUSH2 0x1518 00001510: JUMPI 00001511: PUSH2 0x1518 00001514: PUSH2 0x1586 00001517: JUMP 00001518: JUMPDEST 00001519: POP 0000151a: MUL 0000151b: SWAP1 0000151c: JUMP 0000151d: JUMPDEST 0000151e: PUSH1 0x00 00001520: DUP3 00001521: DUP3 00001522: LT 00001523: ISZERO 00001524: PUSH2 0x152f 00001527: JUMPI 00001528: PUSH2 0x152f 0000152b: PUSH2 0x1586 0000152e: JUMP 0000152f: JUMPDEST 00001530: POP 00001531: SUB 00001532: SWAP1 00001533: JUMP 00001534: JUMPDEST 00001535: PUSH1 0x00 00001537: DUP2 00001538: PUSH2 0x1543 0000153b: JUMPI 0000153c: PUSH2 0x1543 0000153f: PUSH2 0x1586 00001542: JUMP 00001543: JUMPDEST 00001544: POP 00001545: PUSH1 0x00 00001547: NOT 00001548: ADD 00001549: SWAP1 0000154a: JUMP 0000154b: JUMPDEST 0000154c: PUSH1 0x00 0000154e: PUSH1 0x00 00001550: NOT 00001551: DUP3 00001552: EQ 00001553: ISZERO 00001554: PUSH2 0x155f 00001557: JUMPI 00001558: PUSH2 0x155f 0000155b: PUSH2 0x1586 0000155e: JUMP 0000155f: JUMPDEST 00001560: POP 00001561: PUSH1 0x01 00001563: ADD 00001564: SWAP1 00001565: JUMP 00001566: JUMPDEST 00001567: PUSH1 0x00 00001569: DUP3 0000156a: PUSH2 0x1581 0000156d: JUMPI 0000156e: PUSH4 0x4e487b71 00001573: PUSH1 0xe0 00001575: SHL 00001576: DUP2 00001577: MSTORE 00001578: PUSH1 0x12 0000157a: PUSH1 0x04 0000157c: MSTORE 0000157d: PUSH1 0x24 0000157f: DUP2 00001580: REVERT 00001581: JUMPDEST 00001582: POP 00001583: MOD 00001584: SWAP1 00001585: JUMP 00001586: JUMPDEST 00001587: PUSH4 0x4e487b71 0000158c: PUSH1 0xe0 0000158e: SHL 0000158f: PUSH1 0x00 00001591: MSTORE 00001592: PUSH1 0x11 00001594: PUSH1 0x04 00001596: MSTORE 00001597: PUSH1 0x24 00001599: PUSH1 0x00 0000159b: REVERT 0000159c: JUMPDEST 0000159d: PUSH1 0x01 0000159f: PUSH1 0x01 000015a1: PUSH1 0xa0 000015a3: SHL 000015a4: SUB 000015a5: DUP2 000015a6: AND 000015a7: DUP2 000015a8: EQ 000015a9: PUSH2 0x0efa 000015ac: JUMPI 000015ad: PUSH1 0x00 000015af: DUP1 000015b0: REVERT 000015b1: INVALID 000015b2: CALLER 000015b3: CODECOPY 000015b4: PUSH7 0x39343531396230 000015bc: PUSH3 0x666566 000015c0: BALANCE 000015c1: PUSH3 0x383833 000015c5: ADDRESS 000015c6: CALLDATALOAD 000015c7: CODESIZE 000015c8: CALLER 000015c9: BALANCE 000015ca: PUSH4 0x39396638 000015cf: PUSH4 0x62316130 000015d4: PUSH5 0x6333623635 000015da: PUSH5 0x3438353232 000015e0: CALLDATALOAD 000015e1: PUSH6 0x616538383733 000015e8: PUSH7 0x33633331643234 000015f0: PUSH3 0x39a264 000015f4: PUSH10 0x70667358221220df2430 000015ff: UNKNOWN(0xD3) 00001600: CODECOPY 00001601: KECCAK256 00001602: UNKNOWN(0xB5) 00001603: UNKNOWN(0x1F) 00001604: BYTE 00001605: UNKNOWN(0xC3) 00001606: UNKNOWN(0x0D) 00001607: PUSH3 0x48a05e 0000160b: DIV 0000160c: CALLVALUE 0000160d: SWAP14 0000160e: PUSH30
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x78a7029e0823a3086c9451d50ce2ef9596b15798c0802076d7a88aaf97078291
call_targets:
0x8ce51278a22edd6f7a99bad1df2b50868e5bb543
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x78a7029e0823a3086c9451d50ce2ef9596b15798c0802076d7a88aaf97078291",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8ce51278a22edd6f7a99bad1df2b50868e5bb543"
],
"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": "0xe0047fea",
"selector": "0xe0047fea",
"calldata_variants": [
"0xe0047fea",
"0xe0047fea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4a0a528",
"selector": "0xf4a0a528",
"calldata_variants": [
"0xf4a0a528",
"0xf4a0a5280000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc20b5111",
"selector": "0xc20b5111",
"calldata_variants": [
"0xc20b5111",
"0xc20b51110000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3181096",
"selector": "0xc3181096",
"calldata_variants": [
"0xc3181096",
"0xc31810960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdbdff2c1",
"selector": "0xdbdff2c1",
"calldata_variants": [
"0xdbdff2c1",
"0xdbdff2c10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xde7fcb1d",
"selector": "0xde7fcb1d",
"calldata_variants": [
"0xde7fcb1d",
"0xde7fcb1d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2241,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3249,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3469,
"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: 0x78a7029e0823a3086c9451d50ce2ef9596b15798c0802076d7a88aaf97078291
call_targets:
0x8ce51278a22edd6f7a99bad1df2b50868e5bb543
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x78a7029e0823a3086c9451d50ce2ef9596b15798c0802076d7a88aaf97078291",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8ce51278a22edd6f7a99bad1df2b50868e5bb543"
],
"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": "0xe0047fea",
"selector": "0xe0047fea",
"calldata_variants": [
"0xe0047fea",
"0xe0047fea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4a0a528",
"selector": "0xf4a0a528",
"calldata_variants": [
"0xf4a0a528",
"0xf4a0a5280000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc20b5111",
"selector": "0xc20b5111",
"calldata_variants": [
"0xc20b5111",
"0xc20b51110000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3181096",
"selector": "0xc3181096",
"calldata_variants": [
"0xc3181096",
"0xc31810960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdbdff2c1",
"selector": "0xdbdff2c1",
"calldata_variants": [
"0xdbdff2c1",
"0xdbdff2c10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xde7fcb1d",
"selector": "0xde7fcb1d",
"calldata_variants": [
"0xde7fcb1d",
"0xde7fcb1d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2241,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3249,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3469,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|