019b477e-c5a4-72f3-a201-c8073b07705a
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 |
|---|---|---|---|---|
| 25621 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 25622 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 68854 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 68855 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 68856 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 68857 | 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 0x00d2 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8f9d3251 00000019: GT 0000001a: PUSH2 0x007f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xb249bb30 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xb249bb30 0000002f: EQ 00000030: PUSH2 0x022e 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe3b43677 0000003a: EQ 0000003b: PUSH2 0x024e 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xebe46344 00000045: EQ 00000046: PUSH2 0x0313 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf7cd1d9b 00000050: EQ 00000051: PUSH2 0x0333 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x8f9d3251 00000060: EQ 00000061: PUSH2 0x01c7 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x9128c22c 0000006b: EQ 0000006c: PUSH2 0x01fb 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x96bd5a88 00000076: EQ 00000077: PUSH2 0x020e 0000007a: JUMPI 0000007b: PUSH1 0x00 0000007d: DUP1 0000007e: REVERT 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0x2b20e397 00000086: GT 00000087: PUSH2 0x00b0 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x2b20e397 00000091: EQ 00000092: PUSH2 0x0148 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x54242338 0000009c: EQ 0000009d: PUSH2 0x01a1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x7157fe1d 000000a7: EQ 000000a8: PUSH2 0x01b4 000000ab: JUMPI 000000ac: PUSH1 0x00 000000ae: DUP1 000000af: REVERT 000000b0: JUMPDEST 000000b1: DUP1 000000b2: PUSH4 0x06fdde03 000000b7: EQ 000000b8: PUSH2 0x00d7 000000bb: JUMPI 000000bc: DUP1 000000bd: PUSH4 0x0e030d6a 000000c2: EQ 000000c3: PUSH2 0x0102 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0x1115c24d 000000cd: EQ 000000ce: PUSH2 0x0124 000000d1: JUMPI 000000d2: JUMPDEST 000000d3: PUSH1 0x00 000000d5: DUP1 000000d6: REVERT 000000d7: JUMPDEST 000000d8: CALLVALUE 000000d9: DUP1 000000da: ISZERO 000000db: PUSH2 0x00e3 000000de: JUMPI 000000df: PUSH1 0x00 000000e1: DUP1 000000e2: REVERT 000000e3: JUMPDEST 000000e4: POP 000000e5: PUSH2 0x00ec 000000e8: PUSH2 0x0367 000000eb: JUMP 000000ec: JUMPDEST 000000ed: PUSH1 0x40 000000ef: MLOAD 000000f0: PUSH2 0x00f9 000000f3: SWAP2 000000f4: SWAP1 000000f5: PUSH2 0x2472 000000f8: JUMP 000000f9: JUMPDEST 000000fa: PUSH1 0x40 000000fc: MLOAD 000000fd: DUP1 000000fe: SWAP2 000000ff: SUB 00000100: SWAP1 00000101: RETURN 00000102: JUMPDEST 00000103: CALLVALUE 00000104: DUP1 00000105: ISZERO 00000106: PUSH2 0x010e 00000109: JUMPI 0000010a: PUSH1 0x00 0000010c: DUP1 0000010d: REVERT 0000010e: JUMPDEST 0000010f: POP 00000110: PUSH2 0x0122 00000113: PUSH2 0x011d 00000116: CALLDATASIZE 00000117: PUSH1 0x04 00000119: PUSH2 0x24e8 0000011c: JUMP 0000011d: JUMPDEST 0000011e: PUSH2 0x03f5 00000121: JUMP 00000122: JUMPDEST 00000123: STOP 00000124: JUMPDEST 00000125: CALLVALUE 00000126: DUP1 00000127: ISZERO 00000128: PUSH2 0x0130 0000012b: JUMPI 0000012c: PUSH1 0x00 0000012e: DUP1 0000012f: REVERT 00000130: JUMPDEST 00000131: POP 00000132: PUSH2 0x013a 00000135: PUSH1 0x03 00000137: SLOAD 00000138: DUP2 00000139: JUMP 0000013a: JUMPDEST 0000013b: PUSH1 0x40 0000013d: MLOAD 0000013e: SWAP1 0000013f: DUP2 00000140: MSTORE 00000141: PUSH1 0x20 00000143: ADD 00000144: PUSH2 0x00f9 00000147: JUMP 00000148: JUMPDEST 00000149: CALLVALUE 0000014a: DUP1 0000014b: ISZERO 0000014c: PUSH2 0x0154 0000014f: JUMPI 00000150: PUSH1 0x00 00000152: DUP1 00000153: REVERT 00000154: JUMPDEST 00000155: POP 00000156: PUSH2 0x017c 00000159: PUSH32 0x000000000000000000000000d1d1d4e36117ab794ec5d4c78cbd3a8904e691d0 0000017a: DUP2 0000017b: JUMP 0000017c: JUMPDEST 0000017d: PUSH1 0x40 0000017f: MLOAD 00000180: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000195: SWAP1 00000196: SWAP2 00000197: AND 00000198: DUP2 00000199: MSTORE 0000019a: PUSH1 0x20 0000019c: ADD 0000019d: PUSH2 0x00f9 000001a0: JUMP 000001a1: JUMPDEST 000001a2: PUSH2 0x0122 000001a5: PUSH2 0x01af 000001a8: CALLDATASIZE 000001a9: PUSH1 0x04 000001ab: PUSH2 0x251d 000001ae: JUMP 000001af: JUMPDEST 000001b0: PUSH2 0x065a 000001b3: JUMP 000001b4: JUMPDEST 000001b5: PUSH2 0x013a 000001b8: PUSH2 0x01c2 000001bb: CALLDATASIZE 000001bc: PUSH1 0x04 000001be: PUSH2 0x257f 000001c1: JUMP 000001c2: JUMPDEST 000001c3: PUSH2 0x097a 000001c6: JUMP 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 0x017c 000001d8: PUSH32 0x000000000000000000000000cca379fdf4beda63c4bb0e2a3179ae62c8716794 000001f9: DUP2 000001fa: JUMP 000001fb: JUMPDEST 000001fc: PUSH2 0x013a 000001ff: PUSH2 0x0209 00000202: CALLDATASIZE 00000203: PUSH1 0x04 00000205: PUSH2 0x25de 00000208: JUMP 00000209: JUMPDEST 0000020a: PUSH2 0x0c0f 0000020d: JUMP 0000020e: JUMPDEST 0000020f: CALLVALUE 00000210: DUP1 00000211: ISZERO 00000212: PUSH2 0x021a 00000215: JUMPI 00000216: PUSH1 0x00 00000218: DUP1 00000219: REVERT 0000021a: JUMPDEST 0000021b: POP 0000021c: PUSH2 0x0122 0000021f: PUSH2 0x0229 00000222: CALLDATASIZE 00000223: PUSH1 0x04 00000225: PUSH2 0x2628 00000228: JUMP 00000229: JUMPDEST 0000022a: PUSH2 0x0f21 0000022d: JUMP 0000022e: JUMPDEST 0000022f: CALLVALUE 00000230: DUP1 00000231: ISZERO 00000232: PUSH2 0x023a 00000235: JUMPI 00000236: PUSH1 0x00 00000238: DUP1 00000239: REVERT 0000023a: JUMPDEST 0000023b: POP 0000023c: PUSH2 0x0122 0000023f: PUSH2 0x0249 00000242: CALLDATASIZE 00000243: PUSH1 0x04 00000245: PUSH2 0x268f 00000248: JUMP 00000249: JUMPDEST 0000024a: PUSH2 0x1537 0000024d: JUMP 0000024e: JUMPDEST 0000024f: CALLVALUE 00000250: DUP1 00000251: ISZERO 00000252: PUSH2 0x025a 00000255: JUMPI 00000256: PUSH1 0x00 00000258: DUP1 00000259: REVERT 0000025a: JUMPDEST 0000025b: POP 0000025c: PUSH2 0x02d2 0000025f: PUSH2 0x0269 00000262: CALLDATASIZE 00000263: PUSH1 0x04 00000265: PUSH2 0x24e8 00000268: JUMP 00000269: JUMPDEST 0000026a: PUSH1 0x04 0000026c: PUSH1 0x20 0000026e: SWAP1 0000026f: DUP2 00000270: MSTORE 00000271: PUSH1 0x00 00000273: SWAP4 00000274: DUP5 00000275: MSTORE 00000276: PUSH1 0x40 00000278: DUP1 00000279: DUP6 0000027a: KECCAK256 0000027b: DUP3 0000027c: MSTORE 0000027d: SWAP3 0000027e: DUP5 0000027f: MSTORE 00000280: DUP3 00000281: DUP5 00000282: KECCAK256 00000283: SWAP1 00000284: MSTORE 00000285: DUP3 00000286: MSTORE 00000287: SWAP1 00000288: KECCAK256 00000289: DUP1 0000028a: SLOAD 0000028b: PUSH1 0x01 0000028d: DUP3 0000028e: ADD 0000028f: SLOAD 00000290: PUSH1 0x02 00000292: SWAP1 00000293: SWAP3 00000294: ADD 00000295: SLOAD 00000296: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ab: SWAP2 000002ac: DUP3 000002ad: AND 000002ae: SWAP3 000002af: SWAP2 000002b0: DUP3 000002b1: AND 000002b2: SWAP2 000002b3: PUSH21 0x010000000000000000000000000000000000000000 000002c9: SWAP1 000002ca: DIV 000002cb: PUSH2 0xffff 000002ce: AND 000002cf: SWAP1 000002d0: DUP5 000002d1: JUMP 000002d2: JUMPDEST 000002d3: PUSH1 0x40 000002d5: DUP1 000002d6: MLOAD 000002d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ec: SWAP6 000002ed: DUP7 000002ee: AND 000002ef: DUP2 000002f0: MSTORE 000002f1: SWAP5 000002f2: SWAP1 000002f3: SWAP4 000002f4: AND 000002f5: PUSH1 0x20 000002f7: DUP6 000002f8: ADD 000002f9: MSTORE 000002fa: PUSH2 0xffff 000002fd: SWAP1 000002fe: SWAP2 000002ff: AND 00000300: SWAP2 00000301: DUP4 00000302: ADD 00000303: SWAP2 00000304: SWAP1 00000305: SWAP2 00000306: MSTORE 00000307: PUSH1 0x60 00000309: DUP3 0000030a: ADD 0000030b: MSTORE 0000030c: PUSH1 0x80 0000030e: ADD 0000030f: PUSH2 0x00f9 00000312: JUMP 00000313: JUMPDEST 00000314: CALLVALUE 00000315: DUP1 00000316: ISZERO 00000317: PUSH2 0x031f 0000031a: JUMPI 0000031b: PUSH1 0x00 0000031d: DUP1 0000031e: REVERT 0000031f: JUMPDEST 00000320: POP 00000321: PUSH2 0x013a 00000324: PUSH2 0x032e 00000327: CALLDATASIZE 00000328: PUSH1 0x04 0000032a: PUSH2 0x24e8 0000032d: JUMP 0000032e: JUMPDEST 0000032f: PUSH2 0x16f9 00000332: JUMP 00000333: JUMPDEST 00000334: CALLVALUE 00000335: DUP1 00000336: ISZERO 00000337: PUSH2 0x033f 0000033a: JUMPI 0000033b: PUSH1 0x00 0000033d: DUP1 0000033e: REVERT 0000033f: JUMPDEST 00000340: POP 00000341: PUSH2 0x017c 00000344: PUSH32 0x000000000000000000000000909e9efe4d87d1a6018c2065ae642b6d0447bc91 00000365: DUP2 00000366: JUMP 00000367: JUMPDEST 00000368: PUSH1 0x02 0000036a: DUP1 0000036b: SLOAD 0000036c: PUSH2 0x0374 0000036f: SWAP1 00000370: PUSH2 0x26ac 00000373: JUMP 00000374: JUMPDEST 00000375: DUP1 00000376: PUSH1 0x1f 00000378: ADD 00000379: PUSH1 0x20 0000037b: DUP1 0000037c: SWAP2 0000037d: DIV 0000037e: MUL 0000037f: PUSH1 0x20 00000381: ADD 00000382: PUSH1 0x40 00000384: MLOAD 00000385: SWAP1 00000386: DUP2 00000387: ADD 00000388: PUSH1 0x40 0000038a: MSTORE 0000038b: DUP1 0000038c: SWAP3 0000038d: SWAP2 0000038e: SWAP1 0000038f: DUP2 00000390: DUP2 00000391: MSTORE 00000392: PUSH1 0x20 00000394: ADD 00000395: DUP3 00000396: DUP1 00000397: SLOAD 00000398: PUSH2 0x03a0 0000039b: SWAP1 0000039c: PUSH2 0x26ac 0000039f: JUMP 000003a0: JUMPDEST 000003a1: DUP1 000003a2: ISZERO 000003a3: PUSH2 0x03ed 000003a6: JUMPI 000003a7: DUP1 000003a8: PUSH1 0x1f 000003aa: LT 000003ab: PUSH2 0x03c2 000003ae: JUMPI 000003af: PUSH2 0x0100 000003b2: DUP1 000003b3: DUP4 000003b4: SLOAD 000003b5: DIV 000003b6: MUL 000003b7: DUP4 000003b8: MSTORE 000003b9: SWAP2 000003ba: PUSH1 0x20 000003bc: ADD 000003bd: SWAP2 000003be: PUSH2 0x03ed 000003c1: JUMP 000003c2: JUMPDEST 000003c3: DUP3 000003c4: ADD 000003c5: SWAP2 000003c6: SWAP1 000003c7: PUSH1 0x00 000003c9: MSTORE 000003ca: PUSH1 0x20 000003cc: PUSH1 0x00 000003ce: KECCAK256 000003cf: SWAP1 000003d0: JUMPDEST 000003d1: DUP2 000003d2: SLOAD 000003d3: DUP2 000003d4: MSTORE 000003d5: SWAP1 000003d6: PUSH1 0x01 000003d8: ADD 000003d9: SWAP1 000003da: PUSH1 0x20 000003dc: ADD 000003dd: DUP1 000003de: DUP4 000003df: GT 000003e0: PUSH2 0x03d0 000003e3: JUMPI 000003e4: DUP3 000003e5: SWAP1 000003e6: SUB 000003e7: PUSH1 0x1f 000003e9: AND 000003ea: DUP3 000003eb: ADD 000003ec: SWAP2 000003ed: JUMPDEST 000003ee: POP 000003ef: POP 000003f0: POP 000003f1: POP 000003f2: POP 000003f3: DUP2 000003f4: JUMP 000003f5: JUMPDEST 000003f6: PUSH1 0x00 000003f8: SLOAD 000003f9: PUSH1 0x01 000003fb: EQ 000003fc: PUSH2 0x0466 000003ff: JUMPI 00000400: PUSH1 0x40 00000402: MLOAD 00000403: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000424: DUP2 00000425: MSTORE 00000426: PUSH1 0x20 00000428: PUSH1 0x04 0000042a: DUP3 0000042b: ADD 0000042c: MSTORE 0000042d: PUSH1 0x0a 0000042f: PUSH1 0x24 00000431: DUP3 00000432: ADD 00000433: MSTORE 00000434: PUSH32 0x5245454e5452414e435900000000000000000000000000000000000000000000 00000455: PUSH1 0x44 00000457: DUP3 00000458: ADD 00000459: MSTORE 0000045a: PUSH1 0x64 0000045c: ADD 0000045d: JUMPDEST 0000045e: PUSH1 0x40 00000460: MLOAD 00000461: DUP1 00000462: SWAP2 00000463: SUB 00000464: SWAP1 00000465: REVERT 00000466: JUMPDEST 00000467: PUSH1 0x02 00000469: PUSH1 0x00 0000046b: DUP2 0000046c: DUP2 0000046d: SSTORE 0000046e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000483: DUP6 00000484: DUP2 00000485: AND 00000486: DUP3 00000487: MSTORE 00000488: PUSH1 0x04 0000048a: PUSH1 0x20 0000048c: SWAP1 0000048d: DUP2 0000048e: MSTORE 0000048f: PUSH1 0x40 00000491: DUP1 00000492: DUP5 00000493: KECCAK256 00000494: DUP8 00000495: DUP6 00000496: MSTORE 00000497: DUP3 00000498: MSTORE 00000499: DUP1 0000049a: DUP5 0000049b: KECCAK256 0000049c: DUP7 0000049d: DUP6 0000049e: MSTORE 0000049f: DUP3 000004a0: MSTORE 000004a1: SWAP3 000004a2: DUP4 000004a3: SWAP1 000004a4: KECCAK256 000004a5: DUP4 000004a6: MLOAD 000004a7: PUSH1 0x80 000004a9: DUP2 000004aa: ADD 000004ab: DUP6 000004ac: MSTORE 000004ad: DUP2 000004ae: SLOAD 000004af: DUP5 000004b0: AND 000004b1: DUP1 000004b2: DUP3 000004b3: MSTORE 000004b4: PUSH1 0x01 000004b6: DUP4 000004b7: ADD 000004b8: SLOAD 000004b9: SWAP5 000004ba: DUP6 000004bb: AND 000004bc: SWAP4 000004bd: DUP3 000004be: ADD 000004bf: SWAP4 000004c0: SWAP1 000004c1: SWAP4 000004c2: MSTORE 000004c3: PUSH21 0x010000000000000000000000000000000000000000 000004d9: SWAP1 000004da: SWAP4 000004db: DIV 000004dc: PUSH2 0xffff 000004df: AND 000004e0: SWAP4 000004e1: DUP4 000004e2: ADD 000004e3: SWAP4 000004e4: SWAP1 000004e5: SWAP4 000004e6: MSTORE 000004e7: SWAP2 000004e8: SWAP1 000004e9: SWAP3 000004ea: ADD 000004eb: SLOAD 000004ec: PUSH1 0x60 000004ee: DUP4 000004ef: ADD 000004f0: MSTORE 000004f1: CALLER 000004f2: EQ 000004f3: PUSH2 0x0558 000004f6: JUMPI 000004f7: PUSH1 0x40 000004f9: MLOAD 000004fa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000051b: DUP2 0000051c: MSTORE 0000051d: PUSH1 0x20 0000051f: PUSH1 0x04 00000521: DUP3 00000522: ADD 00000523: MSTORE 00000524: PUSH1 0x19 00000526: PUSH1 0x24 00000528: DUP3 00000529: ADD 0000052a: MSTORE 0000052b: PUSH32 0x63616e63656c4f66666572206d757374206265206d616b657200000000000000 0000054c: PUSH1 0x44 0000054e: DUP3 0000054f: ADD 00000550: MSTORE 00000551: PUSH1 0x64 00000553: ADD 00000554: PUSH2 0x045d 00000557: JUMP 00000558: JUMPDEST 00000559: PUSH2 0x0571 0000055c: DUP2 0000055d: PUSH1 0x00 0000055f: ADD 00000560: MLOAD 00000561: DUP3 00000562: PUSH1 0x60 00000564: ADD 00000565: MLOAD 00000566: DUP4 00000567: PUSH1 0x20 00000569: ADD 0000056a: MLOAD 0000056b: PUSH1 0x00 0000056d: PUSH2 0x1737 00000570: JUMP 00000571: JUMPDEST 00000572: DUP2 00000573: DUP4 00000574: DUP6 00000575: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000058a: AND 0000058b: PUSH32 0xcb93d56cb08ecaf9e15d6148b9ed9c4eddcc476cc2ecf8068c32ec1c408443d8 000005ac: DUP5 000005ad: PUSH1 0x40 000005af: MLOAD 000005b0: PUSH2 0x05b9 000005b3: SWAP2 000005b4: SWAP1 000005b5: PUSH2 0x2700 000005b8: JUMP 000005b9: JUMPDEST 000005ba: PUSH1 0x40 000005bc: MLOAD 000005bd: DUP1 000005be: SWAP2 000005bf: SUB 000005c0: SWAP1 000005c1: LOG4 000005c2: POP 000005c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005d8: SWAP1 000005d9: SWAP3 000005da: AND 000005db: PUSH1 0x00 000005dd: SWAP1 000005de: DUP2 000005df: MSTORE 000005e0: PUSH1 0x04 000005e2: PUSH1 0x20 000005e4: SWAP1 000005e5: DUP2 000005e6: MSTORE 000005e7: PUSH1 0x40 000005e9: DUP1 000005ea: DUP4 000005eb: KECCAK256 000005ec: SWAP4 000005ed: DUP4 000005ee: MSTORE 000005ef: SWAP3 000005f0: DUP2 000005f1: MSTORE 000005f2: DUP3 000005f3: DUP3 000005f4: KECCAK256 000005f5: SWAP4 000005f6: DUP3 000005f7: MSTORE 000005f8: SWAP3 000005f9: SWAP1 000005fa: SWAP3 000005fb: MSTORE 000005fc: DUP2 000005fd: KECCAK256 000005fe: DUP1 000005ff: SLOAD 00000600: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000621: AND 00000622: DUP2 00000623: SSTORE 00000624: PUSH1 0x01 00000626: DUP1 00000627: DUP3 00000628: ADD 00000629: DUP1 0000062a: SLOAD 0000062b: PUSH32 0xffffffffffffffffffff00000000000000000000000000000000000000000000 0000064c: AND 0000064d: SWAP1 0000064e: SSTORE 0000064f: PUSH1 0x02 00000651: SWAP1 00000652: SWAP2 00000653: ADD 00000654: DUP3 00000655: SWAP1 00000656: SSTORE 00000657: SWAP1 00000658: SSTORE 00000659: JUMP 0000065a: JUMPDEST 0000065b: PUSH1 0x00 0000065d: SLOAD 0000065e: PUSH1 0x01 00000660: EQ 00000661: PUSH2 0x06c6 00000664: JUMPI 00000665: PUSH1 0x40 00000667: MLOAD 00000668: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000689: DUP2 0000068a: MSTORE 0000068b: PUSH1 0x20 0000068d: PUSH1 0x04 0000068f: DUP3 00000690: ADD 00000691: MSTORE 00000692: PUSH1 0x0a 00000694: PUSH1 0x24 00000696: DUP3 00000697: ADD 00000698: MSTORE 00000699: PUSH32 0x5245454e5452414e435900000000000000000000000000000000000000000000 000006ba: PUSH1 0x44 000006bc: DUP3 000006bd: ADD 000006be: MSTORE 000006bf: PUSH1 0x64 000006c1: ADD 000006c2: PUSH2 0x045d 000006c5: JUMP 000006c6: JUMPDEST 000006c7: PUSH1 0x02 000006c9: PUSH1 0x00 000006cb: SWAP1 000006cc: DUP2 000006cd: SSTORE 000006ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006e3: DUP1 000006e4: DUP8 000006e5: AND 000006e6: DUP3 000006e7: MSTORE 000006e8: PUSH1 0x04 000006ea: PUSH1 0x20 000006ec: SWAP1 000006ed: DUP2 000006ee: MSTORE 000006ef: PUSH1 0x40 000006f1: DUP1 000006f2: DUP5 000006f3: KECCAK256 000006f4: DUP9 000006f5: DUP6 000006f6: MSTORE 000006f7: DUP3 000006f8: MSTORE 000006f9: DUP1 000006fa: DUP5 000006fb: KECCAK256 000006fc: DUP8 000006fd: DUP6 000006fe: MSTORE 000006ff: SWAP1 00000700: SWAP2 00000701: MSTORE 00000702: SWAP1 00000703: SWAP2 00000704: KECCAK256 00000705: DUP1 00000706: SLOAD 00000707: SWAP1 00000708: SWAP2 00000709: AND 0000070a: CALLER 0000070b: EQ 0000070c: PUSH2 0x0771 0000070f: JUMPI 00000710: PUSH1 0x40 00000712: MLOAD 00000713: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000734: DUP2 00000735: MSTORE 00000736: PUSH1 0x20 00000738: PUSH1 0x04 0000073a: DUP3 0000073b: ADD 0000073c: MSTORE 0000073d: PUSH1 0x1c 0000073f: PUSH1 0x24 00000741: DUP3 00000742: ADD 00000743: MSTORE 00000744: PUSH32 0x7365744f66666572416d6f756e74206d757374206265206d616b657200000000 00000765: PUSH1 0x44 00000767: DUP3 00000768: ADD 00000769: MSTORE 0000076a: PUSH1 0x64 0000076c: ADD 0000076d: PUSH2 0x045d 00000770: JUMP 00000771: JUMPDEST 00000772: PUSH1 0x01 00000774: DUP2 00000775: ADD 00000776: SLOAD 00000777: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000078c: DUP5 0000078d: DUP2 0000078e: AND 0000078f: SWAP2 00000790: AND 00000791: EQ 00000792: ISZERO 00000793: PUSH2 0x0897 00000796: JUMPI 00000797: PUSH1 0x02 00000799: DUP2 0000079a: ADD 0000079b: SLOAD 0000079c: DUP3 0000079d: ISZERO 0000079e: DUP1 0000079f: ISZERO 000007a0: SWAP1 000007a1: PUSH2 0x07aa 000007a4: JUMPI 000007a5: POP 000007a6: DUP1 000007a7: DUP4 000007a8: EQ 000007a9: ISZERO 000007aa: JUMPDEST 000007ab: PUSH2 0x0810 000007ae: JUMPI 000007af: PUSH1 0x40 000007b1: MLOAD 000007b2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007d3: DUP2 000007d4: MSTORE 000007d5: PUSH1 0x20 000007d7: PUSH1 0x04 000007d9: DUP3 000007da: ADD 000007db: MSTORE 000007dc: PUSH1 0x1e 000007de: PUSH1 0x24 000007e0: DUP3 000007e1: ADD 000007e2: MSTORE 000007e3: PUSH32 0x7365744f66666572416d6f756e7420696e76616c6964205f616d6f756e740000 00000804: PUSH1 0x44 00000806: DUP3 00000807: ADD 00000808: MSTORE 00000809: PUSH1 0x64 0000080b: ADD 0000080c: PUSH2 0x045d 0000080f: JUMP 00000810: JUMPDEST 00000811: DUP1 00000812: DUP4 00000813: GT 00000814: ISZERO 00000815: PUSH2 0x0852 00000818: JUMPI 00000819: PUSH1 0x01 0000081b: DUP3 0000081c: ADD 0000081d: SLOAD 0000081e: DUP2 0000081f: DUP5 00000820: SUB 00000821: SWAP1 00000822: PUSH2 0x0842 00000825: SWAP1 00000826: DUP3 00000827: SWAP1 00000828: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000083d: AND 0000083e: PUSH2 0x19a0 00000841: JUMP 00000842: JUMPDEST 00000843: PUSH1 0x02 00000845: DUP4 00000846: ADD 00000847: DUP1 00000848: SLOAD 00000849: SWAP1 0000084a: SWAP2 0000084b: ADD 0000084c: SWAP1 0000084d: SSTORE 0000084e: PUSH2 0x0891 00000851: JUMP 00000852: JUMPDEST 00000853: DUP2 00000854: SLOAD 00000855: PUSH1 0x01 00000857: DUP4 00000858: ADD 00000859: SLOAD 0000085a: DUP5 0000085b: DUP4 0000085c: SUB 0000085d: SWAP2 0000085e: PUSH2 0x0884 00000861: SWAP2 00000862: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000877: SWAP2 00000878: DUP3 00000879: AND 0000087a: SWAP2 0000087b: DUP5 0000087c: SWAP2 0000087d: AND 0000087e: PUSH1 0x00 00000880: PUSH2 0x1737 00000883: JUMP 00000884: JUMPDEST 00000885: PUSH1 0x02 00000887: DUP4 00000888: ADD 00000889: DUP1 0000088a: SLOAD 0000088b: SWAP2 0000088c: SWAP1 0000088d: SWAP2 0000088e: SUB 0000088f: SWAP1 00000890: SSTORE 00000891: JUMPDEST 00000892: POP 00000893: PUSH2 0x091d 00000896: JUMP 00000897: JUMPDEST 00000898: DUP1 00000899: SLOAD 0000089a: PUSH1 0x02 0000089c: DUP3 0000089d: ADD 0000089e: SLOAD 0000089f: PUSH1 0x01 000008a1: DUP4 000008a2: ADD 000008a3: SLOAD 000008a4: PUSH2 0x08c9 000008a7: SWAP3 000008a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008bd: SWAP1 000008be: DUP2 000008bf: AND 000008c0: SWAP3 000008c1: SWAP2 000008c2: AND 000008c3: PUSH1 0x00 000008c5: PUSH2 0x1737 000008c8: JUMP 000008c9: JUMPDEST 000008ca: PUSH2 0x08d3 000008cd: DUP3 000008ce: DUP5 000008cf: PUSH2 0x19a0 000008d2: JUMP 000008d3: JUMPDEST 000008d4: PUSH1 0x01 000008d6: DUP2 000008d7: ADD 000008d8: DUP1 000008d9: SLOAD 000008da: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000008fb: AND 000008fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000911: DUP6 00000912: AND 00000913: OR 00000914: SWAP1 00000915: SSTORE 00000916: PUSH1 0x02 00000918: DUP2 00000919: ADD 0000091a: DUP3 0000091b: SWAP1 0000091c: SSTORE 0000091d: JUMPDEST 0000091e: DUP4 0000091f: DUP6 00000920: DUP8 00000921: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000936: AND 00000937: PUSH32 0x78b8e43aa2037c628f2647707ac279be38396d24a1c5084977dd3ee0fc6c0e00 00000958: DUP5 00000959: PUSH1 0x40 0000095b: MLOAD 0000095c: PUSH2 0x0965 0000095f: SWAP2 00000960: SWAP1 00000961: PUSH2 0x274d 00000964: JUMP 00000965: JUMPDEST 00000966: PUSH1 0x40 00000968: MLOAD 00000969: DUP1 0000096a: SWAP2 0000096b: SUB 0000096c: SWAP1 0000096d: LOG4 0000096e: POP 0000096f: POP 00000970: PUSH1 0x01 00000972: PUSH1 0x00 00000974: SSTORE 00000975: POP 00000976: POP 00000977: POP 00000978: POP 00000979: JUMP 0000097a: JUMPDEST 0000097b: PUSH1 0x00 0000097d: DUP1 0000097e: SLOAD 0000097f: PUSH1 0x01 00000981: EQ 00000982: PUSH2 0x09e7 00000985: JUMPI 00000986: PUSH1 0x40 00000988: MLOAD 00000989: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009aa: DUP2 000009ab: MSTORE 000009ac: PUSH1 0x20 000009ae: PUSH1 0x04 000009b0: DUP3 000009b1: ADD 000009b2: MSTORE 000009b3: PUSH1 0x0a 000009b5: PUSH1 0x24 000009b7: DUP3 000009b8: ADD 000009b9: MSTORE 000009ba: PUSH32 0x5245454e5452414e435900000000000000000000000000000000000000000000 000009db: PUSH1 0x44 000009dd: DUP3 000009de: ADD 000009df: MSTORE 000009e0: PUSH1 0x64 000009e2: ADD 000009e3: PUSH2 0x045d 000009e6: JUMP 000009e7: JUMPDEST 000009e8: PUSH1 0x02 000009ea: PUSH1 0x00 000009ec: SSTORE 000009ed: PUSH2 0x2710 000009f0: PUSH2 0xffff 000009f3: DUP4 000009f4: AND 000009f5: GT 000009f6: ISZERO 000009f7: PUSH2 0x0a82 000009fa: JUMPI 000009fb: PUSH1 0x40 000009fd: MLOAD 000009fe: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a1f: DUP2 00000a20: MSTORE 00000a21: PUSH1 0x20 00000a23: PUSH1 0x04 00000a25: DUP3 00000a26: ADD 00000a27: MSTORE 00000a28: PUSH1 0x3f 00000a2a: PUSH1 0x24 00000a2c: DUP3 00000a2d: ADD 00000a2e: MSTORE 00000a2f: PUSH32 0x6372656174654f666665722066696e646572732066656520627073206d757374 00000a50: PUSH1 0x44 00000a52: DUP3 00000a53: ADD 00000a54: MSTORE 00000a55: PUSH32 0x206265206c657373207468616e206f7220657175616c20746f20313030303000 00000a76: PUSH1 0x64 00000a78: DUP3 00000a79: ADD 00000a7a: MSTORE 00000a7b: PUSH1 0x84 00000a7d: ADD 00000a7e: PUSH2 0x045d 00000a81: JUMP 00000a82: JUMPDEST 00000a83: PUSH2 0x0a8c 00000a86: DUP4 00000a87: DUP6 00000a88: PUSH2 0x19a0 00000a8b: JUMP 00000a8c: JUMPDEST 00000a8d: PUSH1 0x03 00000a8f: PUSH1 0x00 00000a91: DUP2 00000a92: SLOAD 00000a93: PUSH2 0x0a9b 00000a96: SWAP1 00000a97: PUSH2 0x27c6 00000a9a: JUMP 00000a9b: JUMPDEST 00000a9c: SWAP1 00000a9d: SWAP2 00000a9e: SSTORE 00000a9f: POP 00000aa0: PUSH1 0x40 00000aa2: DUP1 00000aa3: MLOAD 00000aa4: PUSH1 0x80 00000aa6: DUP2 00000aa7: ADD 00000aa8: DUP3 00000aa9: MSTORE 00000aaa: CALLER 00000aab: DUP2 00000aac: MSTORE 00000aad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ac2: DUP7 00000ac3: DUP2 00000ac4: AND 00000ac5: PUSH1 0x20 00000ac7: DUP1 00000ac8: DUP5 00000ac9: ADD 00000aca: SWAP2 00000acb: DUP3 00000acc: MSTORE 00000acd: PUSH2 0xffff 00000ad0: DUP1 00000ad1: DUP9 00000ad2: AND 00000ad3: DUP6 00000ad4: DUP8 00000ad5: ADD 00000ad6: SWAP1 00000ad7: DUP2 00000ad8: MSTORE 00000ad9: PUSH1 0x60 00000adb: DUP7 00000adc: ADD 00000add: DUP11 00000ade: DUP2 00000adf: MSTORE 00000ae0: DUP14 00000ae1: DUP7 00000ae2: AND 00000ae3: PUSH1 0x00 00000ae5: DUP2 00000ae6: DUP2 00000ae7: MSTORE 00000ae8: PUSH1 0x04 00000aea: DUP7 00000aeb: MSTORE 00000aec: DUP10 00000aed: DUP2 00000aee: KECCAK256 00000aef: DUP16 00000af0: DUP3 00000af1: MSTORE 00000af2: DUP7 00000af3: MSTORE 00000af4: DUP10 00000af5: DUP2 00000af6: KECCAK256 00000af7: PUSH1 0x03 00000af9: DUP1 00000afa: SLOAD 00000afb: DUP4 00000afc: MSTORE 00000afd: DUP2 00000afe: DUP9 00000aff: MSTORE 00000b00: DUP12 00000b01: DUP4 00000b02: KECCAK256 00000b03: SWAP11 00000b04: MLOAD 00000b05: DUP12 00000b06: SLOAD 00000b07: SWAP1 00000b08: DUP12 00000b09: AND 00000b0a: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000b2b: SWAP1 00000b2c: SWAP2 00000b2d: AND 00000b2e: OR 00000b2f: DUP12 00000b30: SSTORE 00000b31: SWAP8 00000b32: MLOAD 00000b33: PUSH1 0x01 00000b35: DUP1 00000b36: DUP13 00000b37: ADD 00000b38: DUP1 00000b39: SLOAD 00000b3a: SWAP8 00000b3b: MLOAD 00000b3c: SWAP1 00000b3d: SWAP9 00000b3e: AND 00000b3f: PUSH21 0x010000000000000000000000000000000000000000 00000b55: MUL 00000b56: PUSH32 0xffffffffffffffffffff00000000000000000000000000000000000000000000 00000b77: SWAP1 00000b78: SWAP8 00000b79: AND 00000b7a: SWAP2 00000b7b: SWAP1 00000b7c: SWAP11 00000b7d: AND 00000b7e: OR 00000b7f: SWAP5 00000b80: SWAP1 00000b81: SWAP5 00000b82: OR 00000b83: SWAP1 00000b84: SWAP5 00000b85: SSTORE 00000b86: SWAP1 00000b87: MLOAD 00000b88: PUSH1 0x02 00000b8a: SWAP1 00000b8b: SWAP8 00000b8c: ADD 00000b8d: SWAP7 00000b8e: SWAP1 00000b8f: SWAP7 00000b90: SSTORE 00000b91: DUP6 00000b92: DUP3 00000b93: MSTORE 00000b94: PUSH1 0x05 00000b96: DUP4 00000b97: MSTORE 00000b98: DUP7 00000b99: DUP3 00000b9a: KECCAK256 00000b9b: DUP13 00000b9c: DUP4 00000b9d: MSTORE 00000b9e: DUP4 00000b9f: MSTORE 00000ba0: DUP7 00000ba1: DUP3 00000ba2: KECCAK256 00000ba3: DUP5 00000ba4: SLOAD 00000ba5: DUP2 00000ba6: SLOAD 00000ba7: SWAP7 00000ba8: DUP8 00000ba9: ADD 00000baa: DUP3 00000bab: SSTORE 00000bac: SWAP1 00000bad: DUP4 00000bae: MSTORE 00000baf: DUP4 00000bb0: DUP4 00000bb1: KECCAK256 00000bb2: SWAP1 00000bb3: SWAP6 00000bb4: ADD 00000bb5: SWAP5 00000bb6: SWAP1 00000bb7: SWAP5 00000bb8: SSTORE 00000bb9: SWAP2 00000bba: SLOAD 00000bbb: DUP1 00000bbc: DUP4 00000bbd: MSTORE 00000bbe: SWAP3 00000bbf: SWAP1 00000bc0: MSTORE 00000bc1: DUP4 00000bc2: SWAP1 00000bc3: KECCAK256 00000bc4: SWAP3 00000bc5: MLOAD 00000bc6: SWAP1 00000bc7: SWAP3 00000bc8: DUP9 00000bc9: SWAP3 00000bca: SWAP2 00000bcb: PUSH32 0x934b27a1f1b0d83e3e6ed7ecfbec90d5ab9e42ebe9c32a3d03f448305aef6eab 00000bec: SWAP2 00000bed: PUSH2 0x0bf5 00000bf0: SWAP2 00000bf1: PUSH2 0x274d 00000bf4: JUMP 00000bf5: JUMPDEST 00000bf6: PUSH1 0x40 00000bf8: MLOAD 00000bf9: DUP1 00000bfa: SWAP2 00000bfb: SUB 00000bfc: SWAP1 00000bfd: LOG4 00000bfe: POP 00000bff: PUSH1 0x03 00000c01: SLOAD 00000c02: PUSH1 0x01 00000c04: PUSH1 0x00 00000c06: SSTORE 00000c07: SWAP6 00000c08: SWAP5 00000c09: POP 00000c0a: POP 00000c0b: POP 00000c0c: POP 00000c0d: POP 00000c0e: JUMP 00000c0f: JUMPDEST 00000c10: PUSH1 0x00 00000c12: CALLER 00000c13: ADDRESS 00000c14: EQ 00000c15: PUSH2 0x0ca0 00000c18: JUMPI 00000c19: PUSH1 0x40 00000c1b: MLOAD 00000c1c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c3d: DUP2 00000c3e: MSTORE 00000c3f: PUSH1 0x20 00000c41: PUSH1 0x04 00000c43: DUP3 00000c44: ADD 00000c45: MSTORE 00000c46: PUSH1 0x2d 00000c48: PUSH1 0x24 00000c4a: DUP3 00000c4b: ADD 00000c4c: MSTORE 00000c4d: PUSH32 0x5f68616e646c65526f79616c7479456e67696e655061796f7574206f6e6c7920 00000c6e: PUSH1 0x44 00000c70: DUP3 00000c71: ADD 00000c72: MSTORE 00000c73: PUSH32 0x73656c662063616c6c61626c6500000000000000000000000000000000000000 00000c94: PUSH1 0x64 00000c96: DUP3 00000c97: ADD 00000c98: MSTORE 00000c99: PUSH1 0x84 00000c9b: ADD 00000c9c: PUSH2 0x045d 00000c9f: JUMP 00000ca0: JUMPDEST 00000ca1: PUSH1 0x01 00000ca3: SLOAD 00000ca4: PUSH1 0x40 00000ca6: MLOAD 00000ca7: PUSH32 0xf533b80200000000000000000000000000000000000000000000000000000000 00000cc8: DUP2 00000cc9: MSTORE 00000cca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cdf: DUP8 00000ce0: DUP2 00000ce1: AND 00000ce2: PUSH1 0x04 00000ce4: DUP4 00000ce5: ADD 00000ce6: MSTORE 00000ce7: PUSH1 0x24 00000ce9: DUP3 00000cea: ADD 00000ceb: DUP8 00000cec: SWAP1 00000ced: MSTORE 00000cee: PUSH1 0x44 00000cf0: DUP3 00000cf1: ADD 00000cf2: DUP7 00000cf3: SWAP1 00000cf4: MSTORE 00000cf5: DUP6 00000cf6: SWAP3 00000cf7: PUSH1 0x00 00000cf9: SWAP3 00000cfa: DUP4 00000cfb: SWAP3 00000cfc: SWAP1 00000cfd: SWAP2 00000cfe: AND 00000cff: SWAP1 00000d00: PUSH4 0xf533b802 00000d05: SWAP1 00000d06: PUSH1 0x64 00000d08: ADD 00000d09: PUSH1 0x00 00000d0b: PUSH1 0x40 00000d0d: MLOAD 00000d0e: DUP1 00000d0f: DUP4 00000d10: SUB 00000d11: DUP2 00000d12: PUSH1 0x00 00000d14: DUP8 00000d15: GAS 00000d16: CALL 00000d17: ISZERO 00000d18: DUP1 00000d19: ISZERO 00000d1a: PUSH2 0x0d27 00000d1d: JUMPI 00000d1e: RETURNDATASIZE 00000d1f: PUSH1 0x00 00000d21: DUP1 00000d22: RETURNDATACOPY 00000d23: RETURNDATASIZE 00000d24: PUSH1 0x00 00000d26: REVERT 00000d27: JUMPDEST 00000d28: POP 00000d29: POP 00000d2a: POP 00000d2b: POP 00000d2c: PUSH1 0x40 00000d2e: MLOAD 00000d2f: RETURNDATASIZE 00000d30: PUSH1 0x00 00000d32: DUP3 00000d33: RETURNDATACOPY 00000d34: PUSH1 0x1f 00000d36: RETURNDATASIZE 00000d37: SWAP1 00000d38: DUP2 00000d39: ADD 00000d3a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000d5b: AND 00000d5c: DUP3 00000d5d: ADD 00000d5e: PUSH1 0x40 00000d60: MSTORE 00000d61: PUSH2 0x0d6d 00000d64: SWAP2 00000d65: SWAP1 00000d66: DUP2 00000d67: ADD 00000d68: SWAP1 00000d69: PUSH2 0x290c 00000d6c: JUMP 00000d6d: JUMPDEST 00000d6e: SWAP2 00000d6f: POP 00000d70: SWAP2 00000d71: POP 00000d72: PUSH1 0x00 00000d74: JUMPDEST 00000d75: DUP3 00000d76: MLOAD 00000d77: DUP2 00000d78: LT 00000d79: ISZERO 00000d7a: PUSH2 0x0f12 00000d7d: JUMPI 00000d7e: DUP2 00000d7f: DUP2 00000d80: DUP2 00000d81: MLOAD 00000d82: DUP2 00000d83: LT 00000d84: PUSH2 0x0d8f 00000d87: JUMPI 00000d88: PUSH2 0x0d8f 00000d8b: PUSH2 0x29d1 00000d8e: JUMP 00000d8f: JUMPDEST 00000d90: PUSH1 0x20 00000d92: MUL 00000d93: PUSH1 0x20 00000d95: ADD 00000d96: ADD 00000d97: MLOAD 00000d98: DUP5 00000d99: LT 00000d9a: ISZERO 00000d9b: PUSH2 0x0e00 00000d9e: JUMPI 00000d9f: PUSH1 0x40 00000da1: MLOAD 00000da2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000dc3: DUP2 00000dc4: MSTORE 00000dc5: PUSH1 0x20 00000dc7: PUSH1 0x04 00000dc9: DUP3 00000dca: ADD 00000dcb: MSTORE 00000dcc: PUSH1 0x09 00000dce: PUSH1 0x24 00000dd0: DUP3 00000dd1: ADD 00000dd2: MSTORE 00000dd3: PUSH32 0x696e736f6c76656e740000000000000000000000000000000000000000000000 00000df4: PUSH1 0x44 00000df6: DUP3 00000df7: ADD 00000df8: MSTORE 00000df9: PUSH1 0x64 00000dfb: ADD 00000dfc: PUSH2 0x045d 00000dff: JUMP 00000e00: JUMPDEST 00000e01: PUSH2 0x0e3f 00000e04: DUP4 00000e05: DUP3 00000e06: DUP2 00000e07: MLOAD 00000e08: DUP2 00000e09: LT 00000e0a: PUSH2 0x0e15 00000e0d: JUMPI 00000e0e: PUSH2 0x0e15 00000e11: PUSH2 0x29d1 00000e14: JUMP 00000e15: JUMPDEST 00000e16: PUSH1 0x20 00000e18: MUL 00000e19: PUSH1 0x20 00000e1b: ADD 00000e1c: ADD 00000e1d: MLOAD 00000e1e: DUP4 00000e1f: DUP4 00000e20: DUP2 00000e21: MLOAD 00000e22: DUP2 00000e23: LT 00000e24: PUSH2 0x0e2f 00000e27: JUMPI 00000e28: PUSH2 0x0e2f 00000e2b: PUSH2 0x29d1 00000e2e: JUMP 00000e2f: JUMPDEST 00000e30: PUSH1 0x20 00000e32: MUL 00000e33: PUSH1 0x20 00000e35: ADD 00000e36: ADD 00000e37: MLOAD 00000e38: DUP9 00000e39: PUSH1 0x00 00000e3b: PUSH2 0x1737 00000e3e: JUMP 00000e3f: JUMPDEST 00000e40: DUP3 00000e41: DUP2 00000e42: DUP2 00000e43: MLOAD 00000e44: DUP2 00000e45: LT 00000e46: PUSH2 0x0e51 00000e49: JUMPI 00000e4a: PUSH2 0x0e51 00000e4d: PUSH2 0x29d1 00000e50: JUMP 00000e51: JUMPDEST 00000e52: PUSH1 0x20 00000e54: MUL 00000e55: PUSH1 0x20 00000e57: ADD 00000e58: ADD 00000e59: MLOAD 00000e5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e6f: AND 00000e70: DUP9 00000e71: DUP11 00000e72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e87: AND 00000e88: PUSH32 0x866e6ef8682ddf5f1025e64dfdb45527077f7be70fa9ef680b7ffd8cf4ab9c50 00000ea9: DUP6 00000eaa: DUP6 00000eab: DUP2 00000eac: MLOAD 00000ead: DUP2 00000eae: LT 00000eaf: PUSH2 0x0eba 00000eb2: JUMPI 00000eb3: PUSH2 0x0eba 00000eb6: PUSH2 0x29d1 00000eb9: JUMP 00000eba: JUMPDEST 00000ebb: PUSH1 0x20 00000ebd: MUL 00000ebe: PUSH1 0x20 00000ec0: ADD 00000ec1: ADD 00000ec2: MLOAD 00000ec3: PUSH1 0x40 00000ec5: MLOAD 00000ec6: PUSH2 0x0ed1 00000ec9: SWAP2 00000eca: DUP2 00000ecb: MSTORE 00000ecc: PUSH1 0x20 00000ece: ADD 00000ecf: SWAP1 00000ed0: JUMP 00000ed1: JUMPDEST 00000ed2: PUSH1 0x40 00000ed4: MLOAD 00000ed5: DUP1 00000ed6: SWAP2 00000ed7: SUB 00000ed8: SWAP1 00000ed9: LOG4 00000eda: DUP2 00000edb: DUP2 00000edc: DUP2 00000edd: MLOAD 00000ede: DUP2 00000edf: LT 00000ee0: PUSH2 0x0eeb 00000ee3: JUMPI 00000ee4: PUSH2 0x0eeb 00000ee7: PUSH2 0x29d1 00000eea: JUMP 00000eeb: JUMPDEST 00000eec: PUSH1 0x20 00000eee: MUL 00000eef: PUSH1 0x20 00000ef1: ADD 00000ef2: ADD 00000ef3: MLOAD 00000ef4: DUP5 00000ef5: PUSH2 0x0efe 00000ef8: SWAP2 00000ef9: SWAP1 00000efa: PUSH2 0x2a00 00000efd: JUMP 00000efe: JUMPDEST 00000eff: SWAP4 00000f00: POP 00000f01: DUP1 00000f02: PUSH2 0x0f0a 00000f05: DUP2 00000f06: PUSH2 0x27c6 00000f09: JUMP 00000f0a: JUMPDEST 00000f0b: SWAP2 00000f0c: POP 00000f0d: POP 00000f0e: PUSH2 0x0d74 00000f11: JUMP 00000f12: JUMPDEST 00000f13: POP 00000f14: SWAP2 00000f15: SWAP3 00000f16: POP 00000f17: POP 00000f18: POP 00000f19: JUMPDEST 00000f1a: SWAP5 00000f1b: SWAP4 00000f1c: POP 00000f1d: POP 00000f1e: POP 00000f1f: POP 00000f20: JUMP 00000f21: JUMPDEST 00000f22: PUSH1 0x00 00000f24: SLOAD 00000f25: PUSH1 0x01 00000f27: EQ 00000f28: PUSH2 0x0f8d 00000f2b: JUMPI 00000f2c: PUSH1 0x40 00000f2e: MLOAD 00000f2f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f50: DUP2 00000f51: MSTORE 00000f52: PUSH1 0x20 00000f54: PUSH1 0x04 00000f56: DUP3 00000f57: ADD 00000f58: MSTORE 00000f59: PUSH1 0x0a 00000f5b: PUSH1 0x24 00000f5d: DUP3 00000f5e: ADD 00000f5f: MSTORE 00000f60: PUSH32 0x5245454e5452414e435900000000000000000000000000000000000000000000 00000f81: PUSH1 0x44 00000f83: DUP3 00000f84: ADD 00000f85: MSTORE 00000f86: PUSH1 0x64 00000f88: ADD 00000f89: PUSH2 0x045d 00000f8c: JUMP 00000f8d: JUMPDEST 00000f8e: PUSH1 0x02 00000f90: PUSH1 0x00 00000f92: DUP2 00000f93: DUP2 00000f94: SSTORE 00000f95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000faa: DUP9 00000fab: DUP2 00000fac: AND 00000fad: DUP3 00000fae: MSTORE 00000faf: PUSH1 0x04 00000fb1: PUSH1 0x20 00000fb3: SWAP1 00000fb4: DUP2 00000fb5: MSTORE 00000fb6: PUSH1 0x40 00000fb8: DUP1 00000fb9: DUP5 00000fba: KECCAK256 00000fbb: DUP11 00000fbc: DUP6 00000fbd: MSTORE 00000fbe: DUP3 00000fbf: MSTORE 00000fc0: DUP1 00000fc1: DUP5 00000fc2: KECCAK256 00000fc3: DUP10 00000fc4: DUP6 00000fc5: MSTORE 00000fc6: DUP3 00000fc7: MSTORE 00000fc8: SWAP3 00000fc9: DUP4 00000fca: SWAP1 00000fcb: KECCAK256 00000fcc: DUP4 00000fcd: MLOAD 00000fce: PUSH1 0x80 00000fd0: DUP2 00000fd1: ADD 00000fd2: DUP6 00000fd3: MSTORE 00000fd4: DUP2 00000fd5: SLOAD 00000fd6: DUP5 00000fd7: AND 00000fd8: DUP1 00000fd9: DUP3 00000fda: MSTORE 00000fdb: PUSH1 0x01 00000fdd: DUP4 00000fde: ADD 00000fdf: SLOAD 00000fe0: SWAP5 00000fe1: DUP6 00000fe2: AND 00000fe3: SWAP4 00000fe4: DUP3 00000fe5: ADD 00000fe6: SWAP4 00000fe7: SWAP1 00000fe8: SWAP4 00000fe9: MSTORE 00000fea: PUSH21 0x010000000000000000000000000000000000000000 00001000: SWAP1 00001001: SWAP4 00001002: DIV 00001003: PUSH2 0xffff 00001006: AND 00001007: SWAP4 00001008: DUP4 00001009: ADD 0000100a: SWAP4 0000100b: SWAP1 0000100c: SWAP4 0000100d: MSTORE 0000100e: SWAP2 0000100f: SWAP1 00001010: SWAP3 00001011: ADD 00001012: SLOAD 00001013: PUSH1 0x60 00001015: DUP4 00001016: ADD 00001017: MSTORE 00001018: PUSH2 0x107d 0000101b: JUMPI 0000101c: PUSH1 0x40 0000101e: MLOAD 0000101f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001040: DUP2 00001041: MSTORE 00001042: PUSH1 0x20 00001044: PUSH1 0x04 00001046: DUP3 00001047: ADD 00001048: MSTORE 00001049: PUSH1 0x1e 0000104b: PUSH1 0x24 0000104d: DUP3 0000104e: ADD 0000104f: MSTORE 00001050: PUSH32 0x66696c6c4f66666572206d75737420626520616374697665206f666665720000 00001071: PUSH1 0x44 00001073: DUP3 00001074: ADD 00001075: MSTORE 00001076: PUSH1 0x64 00001078: ADD 00001079: PUSH2 0x045d 0000107c: JUMP 0000107d: JUMPDEST 0000107e: PUSH1 0x40 00001080: MLOAD 00001081: PUSH32 0x6352211e00000000000000000000000000000000000000000000000000000000 000010a2: DUP2 000010a3: MSTORE 000010a4: PUSH1 0x04 000010a6: DUP2 000010a7: ADD 000010a8: DUP8 000010a9: SWAP1 000010aa: MSTORE 000010ab: CALLER 000010ac: SWAP1 000010ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010c2: DUP10 000010c3: AND 000010c4: SWAP1 000010c5: PUSH4 0x6352211e 000010ca: SWAP1 000010cb: PUSH1 0x24 000010cd: ADD 000010ce: PUSH1 0x20 000010d0: PUSH1 0x40 000010d2: MLOAD 000010d3: DUP1 000010d4: DUP4 000010d5: SUB 000010d6: DUP2 000010d7: DUP7 000010d8: GAS 000010d9: STATICCALL 000010da: ISZERO 000010db: DUP1 000010dc: ISZERO 000010dd: PUSH2 0x10ea 000010e0: JUMPI 000010e1: RETURNDATASIZE 000010e2: PUSH1 0x00 000010e4: DUP1 000010e5: RETURNDATACOPY 000010e6: RETURNDATASIZE 000010e7: PUSH1 0x00 000010e9: REVERT 000010ea: JUMPDEST 000010eb: POP 000010ec: POP 000010ed: POP 000010ee: POP 000010ef: PUSH1 0x40 000010f1: MLOAD 000010f2: RETURNDATASIZE 000010f3: PUSH1 0x1f 000010f5: NOT 000010f6: PUSH1 0x1f 000010f8: DUP3 000010f9: ADD 000010fa: AND 000010fb: DUP3 000010fc: ADD 000010fd: DUP1 000010fe: PUSH1 0x40 00001100: MSTORE 00001101: POP 00001102: DUP2 00001103: ADD 00001104: SWAP1 00001105: PUSH2 0x110e 00001108: SWAP2 00001109: SWAP1 0000110a: PUSH2 0x2a17 0000110d: JUMP 0000110e: JUMPDEST 0000110f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001124: AND 00001125: EQ 00001126: PUSH2 0x118b 00001129: JUMPI 0000112a: PUSH1 0x40 0000112c: MLOAD 0000112d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000114e: DUP2 0000114f: MSTORE 00001150: PUSH1 0x20 00001152: PUSH1 0x04 00001154: DUP3 00001155: ADD 00001156: MSTORE 00001157: PUSH1 0x1d 00001159: PUSH1 0x24 0000115b: DUP3 0000115c: ADD 0000115d: MSTORE 0000115e: PUSH32 0x66696c6c4f66666572206d75737420626520746f6b656e206f776e6572000000 0000117f: PUSH1 0x44 00001181: DUP3 00001182: ADD 00001183: MSTORE 00001184: PUSH1 0x64 00001186: ADD 00001187: PUSH2 0x045d 0000118a: JUMP 0000118b: JUMPDEST 0000118c: DUP4 0000118d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011a2: AND 000011a3: DUP2 000011a4: PUSH1 0x20 000011a6: ADD 000011a7: MLOAD 000011a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011bd: AND 000011be: EQ 000011bf: DUP1 000011c0: ISZERO 000011c1: PUSH2 0x11cd 000011c4: JUMPI 000011c5: POP 000011c6: DUP3 000011c7: DUP2 000011c8: PUSH1 0x60 000011ca: ADD 000011cb: MLOAD 000011cc: EQ 000011cd: JUMPDEST 000011ce: PUSH2 0x1259 000011d1: JUMPI 000011d2: PUSH1 0x40 000011d4: MLOAD 000011d5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000011f6: DUP2 000011f7: MSTORE 000011f8: PUSH1 0x20 000011fa: PUSH1 0x04 000011fc: DUP3 000011fd: ADD 000011fe: MSTORE 000011ff: PUSH1 0x2e 00001201: PUSH1 0x24 00001203: DUP3 00001204: ADD 00001205: MSTORE 00001206: PUSH32 0x66696c6c4f66666572205f63757272656e63792026205f616d6f756e74206d75 00001227: PUSH1 0x44 00001229: DUP3 0000122a: ADD 0000122b: MSTORE 0000122c: PUSH32 0x7374206d61746368206f66666572000000000000000000000000000000000000 0000124d: PUSH1 0x64 0000124f: DUP3 00001250: ADD 00001251: MSTORE 00001252: PUSH1 0x84 00001254: ADD 00001255: PUSH2 0x045d 00001258: JUMP 00001259: JUMPDEST 0000125a: PUSH1 0x00 0000125c: PUSH2 0x1271 0000125f: DUP9 00001260: DUP9 00001261: DUP5 00001262: PUSH1 0x60 00001264: ADD 00001265: MLOAD 00001266: DUP6 00001267: PUSH1 0x20 00001269: ADD 0000126a: MLOAD 0000126b: PUSH1 0x00 0000126d: PUSH2 0x1cf3 00001270: JUMP 00001271: JUMPDEST 00001272: POP 00001273: SWAP1 00001274: POP 00001275: PUSH2 0x1282 00001278: DUP2 00001279: DUP4 0000127a: PUSH1 0x20 0000127c: ADD 0000127d: MLOAD 0000127e: PUSH2 0x1df9 00001281: JUMP 00001282: JUMPDEST 00001283: SWAP1 00001284: POP 00001285: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000129a: DUP4 0000129b: AND 0000129c: ISZERO 0000129d: PUSH2 0x12e4 000012a0: JUMPI 000012a1: PUSH1 0x00 000012a3: PUSH2 0x2710 000012a6: DUP4 000012a7: PUSH1 0x40 000012a9: ADD 000012aa: MLOAD 000012ab: PUSH2 0xffff 000012ae: AND 000012af: DUP4 000012b0: PUSH2 0x12b9 000012b3: SWAP2 000012b4: SWAP1 000012b5: PUSH2 0x2a34 000012b8: JUMP 000012b9: JUMPDEST 000012ba: PUSH2 0x12c3 000012bd: SWAP2 000012be: SWAP1 000012bf: PUSH2 0x2a71 000012c2: JUMP 000012c3: JUMPDEST 000012c4: SWAP1 000012c5: POP 000012c6: PUSH2 0x12d6 000012c9: DUP5 000012ca: DUP3 000012cb: DUP6 000012cc: PUSH1 0x20 000012ce: ADD 000012cf: MLOAD 000012d0: PUSH1 0x00 000012d2: PUSH2 0x1737 000012d5: JUMP 000012d6: JUMPDEST 000012d7: PUSH2 0x12e0 000012da: DUP2 000012db: DUP4 000012dc: PUSH2 0x2a00 000012df: JUMP 000012e0: JUMPDEST 000012e1: SWAP2 000012e2: POP 000012e3: POP 000012e4: JUMPDEST 000012e5: PUSH2 0x12f5 000012e8: CALLER 000012e9: DUP3 000012ea: DUP5 000012eb: PUSH1 0x20 000012ed: ADD 000012ee: MLOAD 000012ef: PUSH1 0x00 000012f1: PUSH2 0x1737 000012f4: JUMP 000012f5: JUMPDEST 000012f6: DUP2 000012f7: MLOAD 000012f8: PUSH1 0x40 000012fa: MLOAD 000012fb: PUSH32 0x15dacbea00000000000000000000000000000000000000000000000000000000 0000131c: DUP2 0000131d: MSTORE 0000131e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001333: DUP11 00001334: DUP2 00001335: AND 00001336: PUSH1 0x04 00001338: DUP4 00001339: ADD 0000133a: MSTORE 0000133b: CALLER 0000133c: PUSH1 0x24 0000133e: DUP4 0000133f: ADD 00001340: MSTORE 00001341: SWAP2 00001342: DUP3 00001343: AND 00001344: PUSH1 0x44 00001346: DUP3 00001347: ADD 00001348: MSTORE 00001349: PUSH1 0x64 0000134b: DUP2 0000134c: ADD 0000134d: DUP10 0000134e: SWAP1 0000134f: MSTORE 00001350: PUSH32 0x000000000000000000000000909e9efe4d87d1a6018c2065ae642b6d0447bc91 00001371: SWAP1 00001372: SWAP2 00001373: AND 00001374: SWAP1 00001375: PUSH4 0x15dacbea 0000137a: SWAP1 0000137b: PUSH1 0x84 0000137d: ADD 0000137e: PUSH1 0x00 00001380: PUSH1 0x40 00001382: MLOAD 00001383: DUP1 00001384: DUP4 00001385: SUB 00001386: DUP2 00001387: PUSH1 0x00 00001389: DUP8 0000138a: DUP1 0000138b: EXTCODESIZE 0000138c: ISZERO 0000138d: DUP1 0000138e: ISZERO 0000138f: PUSH2 0x1397 00001392: JUMPI 00001393: PUSH1 0x00 00001395: DUP1 00001396: REVERT 00001397: JUMPDEST 00001398: POP 00001399: GAS 0000139a: CALL 0000139b: ISZERO 0000139c: DUP1 0000139d: ISZERO 0000139e: PUSH2 0x13ab 000013a1: JUMPI 000013a2: RETURNDATASIZE 000013a3: PUSH1 0x00 000013a5: DUP1 000013a6: RETURNDATACOPY 000013a7: RETURNDATASIZE 000013a8: PUSH1 0x00 000013aa: REVERT 000013ab: JUMPDEST 000013ac: POP 000013ad: POP 000013ae: PUSH1 0x40 000013b0: DUP1 000013b1: MLOAD 000013b2: PUSH1 0x60 000013b4: DUP1 000013b5: DUP3 000013b6: ADD 000013b7: DUP4 000013b8: MSTORE 000013b9: PUSH1 0x20 000013bb: DUP1 000013bc: DUP9 000013bd: ADD 000013be: MLOAD 000013bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013d4: SWAP1 000013d5: DUP2 000013d6: AND 000013d7: DUP5 000013d8: MSTORE 000013d9: PUSH1 0x00 000013db: DUP3 000013dc: DUP6 000013dd: ADD 000013de: MSTORE 000013df: DUP9 000013e0: DUP4 000013e1: ADD 000013e2: MLOAD 000013e3: DUP5 000013e4: DUP7 000013e5: ADD 000013e6: MSTORE 000013e7: DUP5 000013e8: MLOAD 000013e9: SWAP3 000013ea: DUP4 000013eb: ADD 000013ec: DUP6 000013ed: MSTORE 000013ee: DUP15 000013ef: DUP2 000013f0: AND 000013f1: DUP4 000013f2: MSTORE 000013f3: SWAP1 000013f4: DUP3 000013f5: ADD 000013f6: DUP14 000013f7: SWAP1 000013f8: MSTORE 000013f9: PUSH1 0x01 000013fb: DUP3 000013fc: DUP6 000013fd: ADD 000013fe: MSTORE 000013ff: DUP8 00001400: MLOAD 00001401: SWAP4 00001402: MLOAD 00001403: SWAP3 00001404: SWAP6 00001405: POP 00001406: SWAP1 00001407: SWAP4 00001408: POP 00001409: CALLER 0000140a: SWAP3 0000140b: AND 0000140c: SWAP1 0000140d: PUSH32 0x1f432c9454edd444f55492be01e3fa82aa88bfa28e120a039be204253c10c36e 0000142e: SWAP1 0000142f: PUSH2 0x143b 00001432: SWAP1 00001433: DUP7 00001434: SWAP1 00001435: DUP7 00001436: SWAP1 00001437: PUSH2 0x2aac 0000143a: JUMP 0000143b: JUMPDEST 0000143c: PUSH1 0x40 0000143e: MLOAD 0000143f: DUP1 00001440: SWAP2 00001441: SUB 00001442: SWAP1 00001443: LOG3 00001444: DUP8 00001445: DUP10 00001446: DUP12 00001447: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000145c: AND 0000145d: PUSH32 0x8d496f5c680daaaf5bdacfec3235619ed8eb52d6c31419098dfb83010f37ca22 0000147e: CALLER 0000147f: DUP10 00001480: DUP10 00001481: PUSH1 0x40 00001483: MLOAD 00001484: PUSH2 0x148f 00001487: SWAP4 00001488: SWAP3 00001489: SWAP2 0000148a: SWAP1 0000148b: PUSH2 0x2b14 0000148e: JUMP 0000148f: JUMPDEST 00001490: PUSH1 0x40 00001492: MLOAD 00001493: DUP1 00001494: SWAP2 00001495: SUB 00001496: SWAP1 00001497: LOG4 00001498: POP 00001499: POP 0000149a: POP 0000149b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014b0: SWAP1 000014b1: SWAP7 000014b2: AND 000014b3: PUSH1 0x00 000014b5: SWAP1 000014b6: DUP2 000014b7: MSTORE 000014b8: PUSH1 0x04 000014ba: PUSH1 0x20 000014bc: SWAP1 000014bd: DUP2 000014be: MSTORE 000014bf: PUSH1 0x40 000014c1: DUP1 000014c2: DUP4 000014c3: KECCAK256 000014c4: SWAP8 000014c5: DUP4 000014c6: MSTORE 000014c7: SWAP7 000014c8: DUP2 000014c9: MSTORE 000014ca: DUP7 000014cb: DUP3 000014cc: KECCAK256 000014cd: SWAP6 000014ce: DUP3 000014cf: MSTORE 000014d0: SWAP5 000014d1: SWAP1 000014d2: SWAP5 000014d3: MSTORE 000014d4: POP 000014d5: POP 000014d6: POP 000014d7: SWAP1 000014d8: DUP2 000014d9: KECCAK256 000014da: DUP1 000014db: SLOAD 000014dc: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000014fd: AND 000014fe: DUP2 000014ff: SSTORE 00001500: PUSH1 0x01 00001502: DUP1 00001503: DUP3 00001504: ADD 00001505: DUP1 00001506: SLOAD 00001507: PUSH32 0xffffffffffffffffffff00000000000000000000000000000000000000000000 00001528: AND 00001529: SWAP1 0000152a: SSTORE 0000152b: PUSH1 0x02 0000152d: SWAP1 0000152e: SWAP2 0000152f: ADD 00001530: DUP3 00001531: SWAP1 00001532: SSTORE 00001533: SWAP1 00001534: SSTORE 00001535: POP 00001536: JUMP 00001537: JUMPDEST 00001538: CALLER 00001539: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000154e: PUSH32 0x000000000000000000000000d1d1d4e36117ab794ec5d4c78cbd3a8904e691d0 0000156f: AND 00001570: EQ 00001571: PUSH2 0x15fc 00001574: JUMPI 00001575: PUSH1 0x40 00001577: MLOAD 00001578: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001599: DUP2 0000159a: MSTORE 0000159b: PUSH1 0x20 0000159d: PUSH1 0x04 0000159f: DUP3 000015a0: ADD 000015a1: MSTORE 000015a2: PUSH1 0x26 000015a4: PUSH1 0x24 000015a6: DUP3 000015a7: ADD 000015a8: MSTORE 000015a9: PUSH32 0x736574526f79616c7479456e67696e6541646472657373206f6e6c7920726567 000015ca: PUSH1 0x44 000015cc: DUP3 000015cd: ADD 000015ce: MSTORE 000015cf: PUSH32 0x6973747261720000000000000000000000000000000000000000000000000000 000015f0: PUSH1 0x64 000015f2: DUP3 000015f3: ADD 000015f4: MSTORE 000015f5: PUSH1 0x84 000015f7: ADD 000015f8: PUSH2 0x045d 000015fb: JUMP 000015fc: JUMPDEST 000015fd: PUSH2 0x1626 00001600: DUP2 00001601: PUSH32 0xcb23f81600000000000000000000000000000000000000000000000000000000 00001622: PUSH2 0x1f99 00001625: JUMP 00001626: JUMPDEST 00001627: PUSH2 0x16b2 0000162a: JUMPI 0000162b: PUSH1 0x40 0000162d: MLOAD 0000162e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000164f: DUP2 00001650: MSTORE 00001651: PUSH1 0x20 00001653: PUSH1 0x04 00001655: DUP3 00001656: ADD 00001657: MSTORE 00001658: PUSH1 0x3d 0000165a: PUSH1 0x24 0000165c: DUP3 0000165d: ADD 0000165e: MSTORE 0000165f: PUSH32 0x736574526f79616c7479456e67696e6541646472657373206d757374206d6174 00001680: PUSH1 0x44 00001682: DUP3 00001683: ADD 00001684: MSTORE 00001685: PUSH32 0x63682049526f79616c7479456e67696e65563120696e74657266616365000000 000016a6: PUSH1 0x64 000016a8: DUP3 000016a9: ADD 000016aa: MSTORE 000016ab: PUSH1 0x84 000016ad: ADD 000016ae: PUSH2 0x045d 000016b1: JUMP 000016b2: JUMPDEST 000016b3: PUSH1 0x01 000016b5: DUP1 000016b6: SLOAD 000016b7: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000016d8: AND 000016d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016ee: SWAP3 000016ef: SWAP1 000016f0: SWAP3 000016f1: AND 000016f2: SWAP2 000016f3: SWAP1 000016f4: SWAP2 000016f5: OR 000016f6: SWAP1 000016f7: SSTORE 000016f8: JUMP 000016f9: JUMPDEST 000016fa: PUSH1 0x05 000016fc: PUSH1 0x20 000016fe: MSTORE 000016ff: DUP3 00001700: PUSH1 0x00 00001702: MSTORE 00001703: PUSH1 0x40 00001705: PUSH1 0x00 00001707: KECCAK256 00001708: PUSH1 0x20 0000170a: MSTORE 0000170b: DUP2 0000170c: PUSH1 0x00 0000170e: MSTORE 0000170f: PUSH1 0x40 00001711: PUSH1 0x00 00001713: KECCAK256 00001714: DUP2 00001715: DUP2 00001716: SLOAD 00001717: DUP2 00001718: LT 00001719: PUSH2 0x1721 0000171c: JUMPI 0000171d: PUSH1 0x00 0000171f: DUP1 00001720: REVERT 00001721: JUMPDEST 00001722: SWAP1 00001723: PUSH1 0x00 00001725: MSTORE 00001726: PUSH1 0x20 00001728: PUSH1 0x00 0000172a: KECCAK256 0000172b: ADD 0000172c: PUSH1 0x00 0000172e: SWAP3 0000172f: POP 00001730: SWAP3 00001731: POP 00001732: POP 00001733: POP 00001734: SLOAD 00001735: DUP2 00001736: JUMP 00001737: JUMPDEST 00001738: DUP3 00001739: ISZERO 0000173a: DUP1 0000173b: PUSH2 0x1758 0000173e: JUMPI 0000173f: POP 00001740: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001755: DUP5 00001756: AND 00001757: ISZERO 00001758: JUMPDEST 00001759: ISZERO 0000175a: PUSH2 0x1762 0000175d: JUMPI 0000175e: PUSH2 0x199a 00001761: JUMP 00001762: JUMPDEST 00001763: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001778: DUP3 00001779: AND 0000177a: PUSH2 0x1979 0000177d: JUMPI 0000177e: DUP3 0000177f: SELFBALANCE 00001780: LT 00001781: ISZERO 00001782: PUSH2 0x180d 00001785: JUMPI 00001786: PUSH1 0x40 00001788: MLOAD 00001789: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000017aa: DUP2 000017ab: MSTORE 000017ac: PUSH1 0x20 000017ae: PUSH1 0x04 000017b0: DUP3 000017b1: ADD 000017b2: MSTORE 000017b3: PUSH1 0x21 000017b5: PUSH1 0x24 000017b7: DUP3 000017b8: ADD 000017b9: MSTORE 000017ba: PUSH32 0x5f68616e646c654f7574676f696e675472616e7366657220696e736f6c76656e 000017db: PUSH1 0x44 000017dd: DUP3 000017de: ADD 000017df: MSTORE 000017e0: PUSH32 0x7400000000000000000000000000000000000000000000000000000000000000 00001801: PUSH1 0x64 00001803: DUP3 00001804: ADD 00001805: MSTORE 00001806: PUSH1 0x84 00001808: ADD 00001809: PUSH2 0x045d 0000180c: JUMP 0000180d: JUMPDEST 0000180e: PUSH1 0x00 00001810: DUP2 00001811: ISZERO 00001812: DUP1 00001813: PUSH2 0x181b 00001816: JUMPI 00001817: POP 00001818: GAS 00001819: DUP3 0000181a: GT 0000181b: JUMPDEST 0000181c: PUSH2 0x1825 0000181f: JUMPI 00001820: DUP2 00001821: PUSH2 0x1827 00001824: JUMP 00001825: JUMPDEST 00001826: GAS 00001827: JUMPDEST 00001828: PUSH1 0x40 0000182a: DUP1 0000182b: MLOAD 0000182c: PUSH1 0x00 0000182e: DUP1 0000182f: DUP3 00001830: MSTORE 00001831: PUSH1 0x20 00001833: DUP3 00001834: ADD 00001835: SWAP3 00001836: DUP4 00001837: SWAP1 00001838: MSTORE 00001839: SWAP3 0000183a: SWAP4 0000183b: POP 0000183c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001851: DUP9 00001852: AND 00001853: SWAP2 00001854: DUP5 00001855: SWAP2 00001856: DUP9 00001857: SWAP2 00001858: PUSH2 0x1861 0000185b: SWAP2 0000185c: SWAP1 0000185d: PUSH2 0x2b85 00001860: JUMP 00001861: JUMPDEST 00001862: PUSH1 0x00 00001864: PUSH1 0x40 00001866: MLOAD 00001867: DUP1 00001868: DUP4 00001869: SUB 0000186a: DUP2 0000186b: DUP6 0000186c: DUP9 0000186d: DUP9 0000186e: CALL 0000186f: SWAP4 00001870: POP 00001871: POP 00001872: POP 00001873: POP 00001874: RETURNDATASIZE 00001875: DUP1 00001876: PUSH1 0x00 00001878: DUP2 00001879: EQ 0000187a: PUSH2 0x189f 0000187d: JUMPI 0000187e: PUSH1 0x40 00001880: MLOAD 00001881: SWAP2 00001882: POP 00001883: PUSH1 0x1f 00001885: NOT 00001886: PUSH1 0x3f 00001888: RETURNDATASIZE 00001889: ADD 0000188a: AND 0000188b: DUP3 0000188c: ADD 0000188d: PUSH1 0x40 0000188f: MSTORE 00001890: RETURNDATASIZE 00001891: DUP3 00001892: MSTORE 00001893: RETURNDATASIZE 00001894: PUSH1 0x00 00001896: PUSH1 0x20 00001898: DUP5 00001899: ADD 0000189a: RETURNDATACOPY 0000189b: PUSH2 0x18a4 0000189e: JUMP 0000189f: JUMPDEST 000018a0: PUSH1 0x60 000018a2: SWAP2 000018a3: POP 000018a4: JUMPDEST 000018a5: POP 000018a6: POP 000018a7: SWAP1 000018a8: POP 000018a9: DUP1 000018aa: PUSH2 0x1972 000018ad: JUMPI 000018ae: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 000018cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018e4: AND 000018e5: PUSH4 0xd0e30db0 000018ea: DUP7 000018eb: PUSH1 0x40 000018ed: MLOAD 000018ee: DUP3 000018ef: PUSH4 0xffffffff 000018f4: AND 000018f5: PUSH1 0xe0 000018f7: SHL 000018f8: DUP2 000018f9: MSTORE 000018fa: PUSH1 0x04 000018fc: ADD 000018fd: PUSH1 0x00 000018ff: PUSH1 0x40 00001901: MLOAD 00001902: DUP1 00001903: DUP4 00001904: SUB 00001905: DUP2 00001906: DUP6 00001907: DUP9 00001908: DUP1 00001909: EXTCODESIZE 0000190a: ISZERO 0000190b: DUP1 0000190c: ISZERO 0000190d: PUSH2 0x1915 00001910: JUMPI 00001911: PUSH1 0x00 00001913: DUP1 00001914: REVERT 00001915: JUMPDEST 00001916: POP 00001917: GAS 00001918: CALL 00001919: ISZERO 0000191a: DUP1 0000191b: ISZERO 0000191c: PUSH2 0x1929 0000191f: JUMPI 00001920: RETURNDATASIZE 00001921: PUSH1 0x00 00001923: DUP1 00001924: RETURNDATACOPY 00001925: RETURNDATASIZE 00001926: PUSH1 0x00 00001928: REVERT 00001929: JUMPDEST 0000192a: POP 0000192b: PUSH2 0x1972 0000192e: SWAP4 0000192f: POP 00001930: POP 00001931: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001946: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00001967: AND 00001968: SWAP2 00001969: POP 0000196a: DUP9 0000196b: SWAP1 0000196c: POP 0000196d: DUP8 0000196e: PUSH2 0x1fbc 00001971: JUMP 00001972: JUMPDEST 00001973: POP 00001974: POP 00001975: PUSH2 0x199a 00001978: JUMP 00001979: JUMPDEST 0000197a: PUSH2 0x199a 0000197d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001992: DUP4 00001993: AND 00001994: DUP6 00001995: DUP6 00001996: PUSH2 0x1fbc 00001999: JUMP 0000199a: JUMPDEST 0000199b: POP 0000199c: POP 0000199d: POP 0000199e: POP 0000199f: JUMP 000019a0: JUMPDEST 000019a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019b6: DUP2 000019b7: AND 000019b8: PUSH2 0x1a4f 000019bb: JUMPI 000019bc: DUP2 000019bd: CALLVALUE 000019be: LT 000019bf: ISZERO 000019c0: PUSH2 0x1a4b 000019c3: JUMPI 000019c4: PUSH1 0x40 000019c6: MLOAD 000019c7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000019e8: DUP2 000019e9: MSTORE 000019ea: PUSH1 0x20 000019ec: PUSH1 0x04 000019ee: DUP3 000019ef: ADD 000019f0: MSTORE 000019f1: PUSH1 0x3b 000019f3: PUSH1 0x24 000019f5: DUP3 000019f6: ADD 000019f7: MSTORE 000019f8: PUSH32 0x5f68616e646c65496e636f6d696e675472616e73666572206d73672076616c75 00001a19: PUSH1 0x44 00001a1b: DUP3 00001a1c: ADD 00001a1d: MSTORE 00001a1e: PUSH32 0x65206c657373207468616e20657870656374656420616d6f756e740000000000 00001a3f: PUSH1 0x64 00001a41: DUP3 00001a42: ADD 00001a43: MSTORE 00001a44: PUSH1 0x84 00001a46: ADD 00001a47: PUSH2 0x045d 00001a4a: JUMP 00001a4b: JUMPDEST 00001a4c: POP 00001a4d: POP 00001a4e: JUMP 00001a4f: JUMPDEST 00001a50: PUSH1 0x40 00001a52: MLOAD 00001a53: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00001a74: DUP2 00001a75: MSTORE 00001a76: ADDRESS 00001a77: PUSH1 0x04 00001a79: DUP3 00001a7a: ADD 00001a7b: MSTORE 00001a7c: DUP2 00001a7d: SWAP1 00001a7e: PUSH1 0x00 00001a80: SWAP1 00001a81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a96: DUP4 00001a97: AND 00001a98: SWAP1 00001a99: PUSH4 0x70a08231 00001a9e: SWAP1 00001a9f: PUSH1 0x24 00001aa1: ADD 00001aa2: PUSH1 0x20 00001aa4: PUSH1 0x40 00001aa6: MLOAD 00001aa7: DUP1 00001aa8: DUP4 00001aa9: SUB 00001aaa: DUP2 00001aab: DUP7 00001aac: GAS 00001aad: STATICCALL 00001aae: ISZERO 00001aaf: DUP1 00001ab0: ISZERO 00001ab1: PUSH2 0x1abe 00001ab4: JUMPI 00001ab5: RETURNDATASIZE 00001ab6: PUSH1 0x00 00001ab8: DUP1 00001ab9: RETURNDATACOPY 00001aba: RETURNDATASIZE 00001abb: PUSH1 0x00 00001abd: REVERT 00001abe: JUMPDEST 00001abf: POP 00001ac0: POP 00001ac1: POP 00001ac2: POP 00001ac3: PUSH1 0x40 00001ac5: MLOAD 00001ac6: RETURNDATASIZE 00001ac7: PUSH1 0x1f 00001ac9: NOT 00001aca: PUSH1 0x1f 00001acc: DUP3 00001acd: ADD 00001ace: AND 00001acf: DUP3 00001ad0: ADD 00001ad1: DUP1 00001ad2: PUSH1 0x40 00001ad4: MSTORE 00001ad5: POP 00001ad6: DUP2 00001ad7: ADD 00001ad8: SWAP1 00001ad9: PUSH2 0x1ae2 00001adc: SWAP2 00001add: SWAP1 00001ade: PUSH2 0x2ba1 00001ae1: JUMP 00001ae2: JUMPDEST 00001ae3: PUSH1 0x40 00001ae5: MLOAD 00001ae6: PUSH32 0xd9fc4b6100000000000000000000000000000000000000000000000000000000 00001b07: DUP2 00001b08: MSTORE 00001b09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b1e: DUP6 00001b1f: DUP2 00001b20: AND 00001b21: PUSH1 0x04 00001b23: DUP4 00001b24: ADD 00001b25: MSTORE 00001b26: CALLER 00001b27: PUSH1 0x24 00001b29: DUP4 00001b2a: ADD 00001b2b: MSTORE 00001b2c: ADDRESS 00001b2d: PUSH1 0x44 00001b2f: DUP4 00001b30: ADD 00001b31: MSTORE 00001b32: PUSH1 0x64 00001b34: DUP3 00001b35: ADD 00001b36: DUP8 00001b37: SWAP1 00001b38: MSTORE 00001b39: SWAP2 00001b3a: SWAP3 00001b3b: POP 00001b3c: PUSH32 0x000000000000000000000000cca379fdf4beda63c4bb0e2a3179ae62c8716794 00001b5d: SWAP1 00001b5e: SWAP2 00001b5f: AND 00001b60: SWAP1 00001b61: PUSH4 0xd9fc4b61 00001b66: SWAP1 00001b67: PUSH1 0x84 00001b69: ADD 00001b6a: PUSH1 0x00 00001b6c: PUSH1 0x40 00001b6e: MLOAD 00001b6f: DUP1 00001b70: DUP4 00001b71: SUB 00001b72: DUP2 00001b73: PUSH1 0x00 00001b75: DUP8 00001b76: DUP1 00001b77: EXTCODESIZE 00001b78: ISZERO 00001b79: DUP1 00001b7a: ISZERO 00001b7b: PUSH2 0x1b83 00001b7e: JUMPI 00001b7f: PUSH1 0x00 00001b81: DUP1 00001b82: REVERT 00001b83: JUMPDEST 00001b84: POP 00001b85: GAS 00001b86: CALL 00001b87: ISZERO 00001b88: DUP1 00001b89: ISZERO 00001b8a: PUSH2 0x1b97 00001b8d: JUMPI 00001b8e: RETURNDATASIZE 00001b8f: PUSH1 0x00 00001b91: DUP1 00001b92: RETURNDATACOPY 00001b93: RETURNDATASIZE 00001b94: PUSH1 0x00 00001b96: REVERT 00001b97: JUMPDEST 00001b98: POP 00001b99: POP 00001b9a: PUSH1 0x40 00001b9c: MLOAD 00001b9d: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00001bbe: DUP2 00001bbf: MSTORE 00001bc0: ADDRESS 00001bc1: PUSH1 0x04 00001bc3: DUP3 00001bc4: ADD 00001bc5: MSTORE 00001bc6: PUSH1 0x00 00001bc8: SWAP3 00001bc9: POP 00001bca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bdf: DUP6 00001be0: AND 00001be1: SWAP2 00001be2: POP 00001be3: PUSH4 0x70a08231 00001be8: SWAP1 00001be9: PUSH1 0x24 00001beb: ADD 00001bec: PUSH1 0x20 00001bee: PUSH1 0x40 00001bf0: MLOAD 00001bf1: DUP1 00001bf2: DUP4 00001bf3: SUB 00001bf4: DUP2 00001bf5: DUP7 00001bf6: GAS 00001bf7: STATICCALL 00001bf8: ISZERO 00001bf9: DUP1 00001bfa: ISZERO 00001bfb: PUSH2 0x1c08 00001bfe: JUMPI 00001bff: RETURNDATASIZE 00001c00: PUSH1 0x00 00001c02: DUP1 00001c03: RETURNDATACOPY 00001c04: RETURNDATASIZE 00001c05: PUSH1 0x00 00001c07: REVERT 00001c08: JUMPDEST 00001c09: POP 00001c0a: POP 00001c0b: POP 00001c0c: POP 00001c0d: PUSH1 0x40 00001c0f: MLOAD 00001c10: RETURNDATASIZE 00001c11: PUSH1 0x1f 00001c13: NOT 00001c14: PUSH1 0x1f 00001c16: DUP3 00001c17: ADD 00001c18: AND 00001c19: DUP3 00001c1a: ADD 00001c1b: DUP1 00001c1c: PUSH1 0x40 00001c1e: MSTORE 00001c1f: POP 00001c20: DUP2 00001c21: ADD 00001c22: SWAP1 00001c23: PUSH2 0x1c2c 00001c26: SWAP2 00001c27: SWAP1 00001c28: PUSH2 0x2ba1 00001c2b: JUMP 00001c2c: JUMPDEST 00001c2d: SWAP1 00001c2e: POP 00001c2f: DUP1 00001c30: PUSH2 0x1c39 00001c33: DUP7 00001c34: DUP5 00001c35: PUSH2 0x2bba 00001c38: JUMP 00001c39: JUMPDEST 00001c3a: EQ 00001c3b: PUSH2 0x1cec 00001c3e: JUMPI 00001c3f: PUSH1 0x40 00001c41: MLOAD 00001c42: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001c63: DUP2 00001c64: MSTORE 00001c65: PUSH1 0x20 00001c67: PUSH1 0x04 00001c69: DUP3 00001c6a: ADD 00001c6b: MSTORE 00001c6c: PUSH1 0x4c 00001c6e: PUSH1 0x24 00001c70: DUP3 00001c71: ADD 00001c72: MSTORE 00001c73: PUSH32 0x5f68616e646c65496e636f6d696e675472616e7366657220746f6b656e207472 00001c94: PUSH1 0x44 00001c96: DUP3 00001c97: ADD 00001c98: MSTORE 00001c99: PUSH32 0x616e736665722063616c6c20646964206e6f74207472616e7366657220657870 00001cba: PUSH1 0x64 00001cbc: DUP3 00001cbd: ADD 00001cbe: MSTORE 00001cbf: PUSH32 0x656374656420616d6f756e740000000000000000000000000000000000000000 00001ce0: PUSH1 0x84 00001ce2: DUP3 00001ce3: ADD 00001ce4: MSTORE 00001ce5: PUSH1 0xa4 00001ce7: ADD 00001ce8: PUSH2 0x045d 00001ceb: JUMP 00001cec: JUMPDEST 00001ced: POP 00001cee: POP 00001cef: POP 00001cf0: POP 00001cf1: POP 00001cf2: JUMP 00001cf3: JUMPDEST 00001cf4: PUSH1 0x00 00001cf6: DUP1 00001cf7: DUP1 00001cf8: DUP4 00001cf9: ISZERO 00001cfa: DUP1 00001cfb: PUSH2 0x1d03 00001cfe: JUMPI 00001cff: POP 00001d00: GAS 00001d01: DUP5 00001d02: GT 00001d03: JUMPDEST 00001d04: PUSH2 0x1d0d 00001d07: JUMPI 00001d08: DUP4 00001d09: PUSH2 0x1d0f 00001d0c: JUMP 00001d0d: JUMPDEST 00001d0e: GAS 00001d0f: JUMPDEST 00001d10: PUSH1 0x40 00001d12: MLOAD 00001d13: PUSH32 0x9128c22c00000000000000000000000000000000000000000000000000000000 00001d34: DUP2 00001d35: MSTORE 00001d36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d4b: DUP1 00001d4c: DUP12 00001d4d: AND 00001d4e: PUSH1 0x04 00001d50: DUP4 00001d51: ADD 00001d52: MSTORE 00001d53: PUSH1 0x24 00001d55: DUP3 00001d56: ADD 00001d57: DUP11 00001d58: SWAP1 00001d59: MSTORE 00001d5a: PUSH1 0x44 00001d5c: DUP3 00001d5d: ADD 00001d5e: DUP10 00001d5f: SWAP1 00001d60: MSTORE 00001d61: DUP8 00001d62: AND 00001d63: PUSH1 0x64 00001d65: DUP3 00001d66: ADD 00001d67: MSTORE 00001d68: SWAP1 00001d69: SWAP2 00001d6a: POP 00001d6b: ADDRESS 00001d6c: SWAP1 00001d6d: PUSH4 0x9128c22c 00001d72: SWAP1 00001d73: DUP4 00001d74: SWAP1 00001d75: PUSH1 0x84 00001d77: ADD 00001d78: PUSH1 0x20 00001d7a: PUSH1 0x40 00001d7c: MLOAD 00001d7d: DUP1 00001d7e: DUP4 00001d7f: SUB 00001d80: DUP2 00001d81: PUSH1 0x00 00001d83: DUP9 00001d84: DUP8 00001d85: CALL 00001d86: SWAP4 00001d87: POP 00001d88: POP 00001d89: POP 00001d8a: POP 00001d8b: DUP1 00001d8c: ISZERO 00001d8d: PUSH2 0x1dd1 00001d90: JUMPI 00001d91: POP 00001d92: PUSH1 0x40 00001d94: DUP1 00001d95: MLOAD 00001d96: PUSH1 0x1f 00001d98: RETURNDATASIZE 00001d99: SWAP1 00001d9a: DUP2 00001d9b: ADD 00001d9c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001dbd: AND 00001dbe: DUP3 00001dbf: ADD 00001dc0: SWAP1 00001dc1: SWAP3 00001dc2: MSTORE 00001dc3: PUSH2 0x1dce 00001dc6: SWAP2 00001dc7: DUP2 00001dc8: ADD 00001dc9: SWAP1 00001dca: PUSH2 0x2ba1 00001dcd: JUMP 00001dce: JUMPDEST 00001dcf: PUSH1 0x01 00001dd1: JUMPDEST 00001dd2: PUSH2 0x1de2 00001dd5: JUMPI 00001dd6: DUP6 00001dd7: PUSH1 0x00 00001dd9: SWAP3 00001dda: POP 00001ddb: SWAP3 00001ddc: POP 00001ddd: POP 00001dde: PUSH2 0x1def 00001de1: JUMP 00001de2: JUMPDEST 00001de3: SWAP3 00001de4: POP 00001de5: PUSH1 0x01 00001de7: SWAP2 00001de8: POP 00001de9: PUSH2 0x1def 00001dec: SWAP1 00001ded: POP 00001dee: JUMP 00001def: JUMPDEST 00001df0: SWAP6 00001df1: POP 00001df2: SWAP6 00001df3: SWAP4 00001df4: POP 00001df5: POP 00001df6: POP 00001df7: POP 00001df8: JUMP 00001df9: JUMPDEST 00001dfa: PUSH1 0x40 00001dfc: MLOAD 00001dfd: PUSH32 0x61b485f600000000000000000000000000000000000000000000000000000000 00001e1e: DUP2 00001e1f: MSTORE 00001e20: ADDRESS 00001e21: PUSH1 0x04 00001e23: DUP3 00001e24: ADD 00001e25: MSTORE 00001e26: PUSH1 0x24 00001e28: DUP2 00001e29: ADD 00001e2a: DUP4 00001e2b: SWAP1 00001e2c: MSTORE 00001e2d: PUSH1 0x00 00001e2f: SWAP1 00001e30: DUP2 00001e31: SWAP1 00001e32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e47: PUSH32 0x0000000000000000000000009641169a1374b77e052e1001c5a096c29cd67d35 00001e68: AND 00001e69: SWAP1 00001e6a: PUSH4 0x61b485f6 00001e6f: SWAP1 00001e70: PUSH1 0x44 00001e72: ADD 00001e73: PUSH1 0x20 00001e75: PUSH1 0x40 00001e77: MLOAD 00001e78: DUP1 00001e79: DUP4 00001e7a: SUB 00001e7b: DUP2 00001e7c: DUP7 00001e7d: GAS 00001e7e: STATICCALL 00001e7f: ISZERO 00001e80: DUP1 00001e81: ISZERO 00001e82: PUSH2 0x1e8f 00001e85: JUMPI 00001e86: RETURNDATASIZE 00001e87: PUSH1 0x00 00001e89: DUP1 00001e8a: RETURNDATACOPY 00001e8b: RETURNDATASIZE 00001e8c: PUSH1 0x00 00001e8e: REVERT 00001e8f: JUMPDEST 00001e90: POP 00001e91: POP 00001e92: POP 00001e93: POP 00001e94: PUSH1 0x40 00001e96: MLOAD 00001e97: RETURNDATASIZE 00001e98: PUSH1 0x1f 00001e9a: NOT 00001e9b: PUSH1 0x1f 00001e9d: DUP3 00001e9e: ADD 00001e9f: AND 00001ea0: DUP3 00001ea1: ADD 00001ea2: DUP1 00001ea3: PUSH1 0x40 00001ea5: MSTORE 00001ea6: POP 00001ea7: DUP2 00001ea8: ADD 00001ea9: SWAP1 00001eaa: PUSH2 0x1eb3 00001ead: SWAP2 00001eae: SWAP1 00001eaf: PUSH2 0x2ba1 00001eb2: JUMP 00001eb3: JUMPDEST 00001eb4: SWAP1 00001eb5: POP 00001eb6: DUP1 00001eb7: ISZERO 00001eb8: PUSH2 0x1f8e 00001ebb: JUMPI 00001ebc: PUSH1 0x40 00001ebe: MLOAD 00001ebf: PUSH32 0x86ab6fb900000000000000000000000000000000000000000000000000000000 00001ee0: DUP2 00001ee1: MSTORE 00001ee2: ADDRESS 00001ee3: PUSH1 0x04 00001ee5: DUP3 00001ee6: ADD 00001ee7: MSTORE 00001ee8: PUSH1 0x00 00001eea: SWAP1 00001eeb: PUSH32 0x0000000000000000000000009641169a1374b77e052e1001c5a096c29cd67d35 00001f0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f21: AND 00001f22: SWAP1 00001f23: PUSH4 0x86ab6fb9 00001f28: SWAP1 00001f29: PUSH1 0x24 00001f2b: ADD 00001f2c: PUSH1 0x40 00001f2e: DUP1 00001f2f: MLOAD 00001f30: DUP1 00001f31: DUP4 00001f32: SUB 00001f33: DUP2 00001f34: DUP7 00001f35: GAS 00001f36: STATICCALL 00001f37: ISZERO 00001f38: DUP1 00001f39: ISZERO 00001f3a: PUSH2 0x1f47 00001f3d: JUMPI 00001f3e: RETURNDATASIZE 00001f3f: PUSH1 0x00 00001f41: DUP1 00001f42: RETURNDATACOPY 00001f43: RETURNDATASIZE 00001f44: PUSH1 0x00 00001f46: REVERT 00001f47: JUMPDEST 00001f48: POP 00001f49: POP 00001f4a: POP 00001f4b: POP 00001f4c: PUSH1 0x40 00001f4e: MLOAD 00001f4f: RETURNDATASIZE 00001f50: PUSH1 0x1f 00001f52: NOT 00001f53: PUSH1 0x1f 00001f55: DUP3 00001f56: ADD 00001f57: AND 00001f58: DUP3 00001f59: ADD 00001f5a: DUP1 00001f5b: PUSH1 0x40 00001f5d: MSTORE 00001f5e: POP 00001f5f: DUP2 00001f60: ADD 00001f61: SWAP1 00001f62: PUSH2 0x1f6b 00001f65: SWAP2 00001f66: SWAP1 00001f67: PUSH2 0x2bd2 00001f6a: JUMP 00001f6b: JUMPDEST 00001f6c: SWAP2 00001f6d: POP 00001f6e: POP 00001f6f: PUSH2 0x1f7b 00001f72: DUP2 00001f73: DUP4 00001f74: DUP7 00001f75: PUSH1 0x00 00001f77: PUSH2 0x1737 00001f7a: JUMP 00001f7b: JUMPDEST 00001f7c: PUSH2 0x1f85 00001f7f: DUP3 00001f80: DUP7 00001f81: PUSH2 0x2a00 00001f84: JUMP 00001f85: JUMPDEST 00001f86: SWAP3 00001f87: POP 00001f88: POP 00001f89: POP 00001f8a: PUSH2 0x1f93 00001f8d: JUMP 00001f8e: JUMPDEST 00001f8f: DUP4 00001f90: SWAP2 00001f91: POP 00001f92: POP 00001f93: JUMPDEST 00001f94: SWAP3 00001f95: SWAP2 00001f96: POP 00001f97: POP 00001f98: JUMP 00001f99: JUMPDEST 00001f9a: PUSH1 0x00 00001f9c: PUSH2 0x1fa4 00001f9f: DUP4 00001fa0: PUSH2 0x204e 00001fa3: JUMP 00001fa4: JUMPDEST 00001fa5: DUP1 00001fa6: ISZERO 00001fa7: PUSH2 0x1fb5 00001faa: JUMPI 00001fab: POP 00001fac: PUSH2 0x1fb5 00001faf: DUP4 00001fb0: DUP4 00001fb1: PUSH2 0x20b2 00001fb4: JUMP 00001fb5: JUMPDEST 00001fb6: SWAP4 00001fb7: SWAP3 00001fb8: POP 00001fb9: POP 00001fba: POP 00001fbb: JUMP 00001fbc: JUMPDEST 00001fbd: PUSH1 0x40 00001fbf: DUP1 00001fc0: MLOAD 00001fc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fd6: DUP5 00001fd7: AND 00001fd8: PUSH1 0x24 00001fda: DUP3 00001fdb: ADD 00001fdc: MSTORE 00001fdd: PUSH1 0x44 00001fdf: DUP1 00001fe0: DUP3 00001fe1: ADD 00001fe2: DUP5 00001fe3: SWAP1 00001fe4: MSTORE 00001fe5: DUP3 00001fe6: MLOAD 00001fe7: DUP1 00001fe8: DUP4 00001fe9: SUB 00001fea: SWAP1 00001feb: SWAP2 00001fec: ADD 00001fed: DUP2 00001fee: MSTORE 00001fef: PUSH1 0x64 00001ff1: SWAP1 00001ff2: SWAP2 00001ff3: ADD 00001ff4: SWAP1 00001ff5: SWAP2 00001ff6: MSTORE 00001ff7: PUSH1 0x20 00001ff9: DUP2 00001ffa: ADD 00001ffb: DUP1 00001ffc: MLOAD 00001ffd: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000201a: AND 0000201b: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 0000203c: OR 0000203d: SWAP1 0000203e: MSTORE 0000203f: PUSH2 0x2049 00002042: SWAP1 00002043: DUP5 00002044: SWAP1 00002045: PUSH2 0x21ee 00002048: JUMP 00002049: JUMPDEST 0000204a: POP 0000204b: POP 0000204c: POP 0000204d: JUMP 0000204e: JUMPDEST 0000204f: PUSH1 0x00 00002051: PUSH2 0x207a 00002054: DUP3 00002055: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 00002076: PUSH2 0x20b2 00002079: JUMP 0000207a: JUMPDEST 0000207b: DUP1 0000207c: ISZERO 0000207d: PUSH2 0x1f93 00002080: JUMPI 00002081: POP 00002082: PUSH2 0x20ab 00002085: DUP3 00002086: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000020a7: PUSH2 0x20b2 000020aa: JUMP 000020ab: JUMPDEST 000020ac: ISZERO 000020ad: SWAP3 000020ae: SWAP2 000020af: POP 000020b0: POP 000020b1: JUMP 000020b2: JUMPDEST 000020b3: PUSH1 0x40 000020b5: DUP1 000020b6: MLOAD 000020b7: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000020d8: DUP4 000020d9: AND 000020da: PUSH1 0x24 000020dc: DUP1 000020dd: DUP4 000020de: ADD 000020df: SWAP2 000020e0: SWAP1 000020e1: SWAP2 000020e2: MSTORE 000020e3: DUP3 000020e4: MLOAD 000020e5: DUP1 000020e6: DUP4 000020e7: SUB 000020e8: SWAP1 000020e9: SWAP2 000020ea: ADD 000020eb: DUP2 000020ec: MSTORE 000020ed: PUSH1 0x44 000020ef: SWAP1 000020f0: SWAP2 000020f1: ADD 000020f2: DUP3 000020f3: MSTORE 000020f4: PUSH1 0x20 000020f6: DUP2 000020f7: ADD 000020f8: DUP1 000020f9: MLOAD 000020fa: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002117: AND 00002118: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 00002139: OR 0000213a: SWAP1 0000213b: MSTORE 0000213c: SWAP1 0000213d: MLOAD 0000213e: PUSH1 0x00 00002140: SWAP2 00002141: SWAP1 00002142: DUP3 00002143: SWAP1 00002144: DUP2 00002145: SWAP1 00002146: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000215b: DUP8 0000215c: AND 0000215d: SWAP1 0000215e: PUSH2 0x7530 00002161: SWAP1 00002162: PUSH2 0x216c 00002165: SWAP1 00002166: DUP7 00002167: SWAP1 00002168: PUSH2 0x2b85 0000216b: JUMP 0000216c: JUMPDEST 0000216d: PUSH1 0x00 0000216f: PUSH1 0x40 00002171: MLOAD 00002172: DUP1 00002173: DUP4 00002174: SUB 00002175: DUP2 00002176: DUP7 00002177: DUP7 00002178: STATICCALL 00002179: SWAP3 0000217a: POP 0000217b: POP 0000217c: POP 0000217d: RETURNDATASIZE 0000217e: DUP1 0000217f: PUSH1 0x00 00002181: DUP2 00002182: EQ 00002183: PUSH2 0x21a8 00002186: JUMPI 00002187: PUSH1 0x40 00002189: MLOAD 0000218a: SWAP2 0000218b: POP 0000218c: PUSH1 0x1f 0000218e: NOT 0000218f: PUSH1 0x3f 00002191: RETURNDATASIZE 00002192: ADD 00002193: AND 00002194: DUP3 00002195: ADD 00002196: PUSH1 0x40 00002198: MSTORE 00002199: RETURNDATASIZE 0000219a: DUP3 0000219b: MSTORE 0000219c: RETURNDATASIZE 0000219d: PUSH1 0x00 0000219f: PUSH1 0x20 000021a1: DUP5 000021a2: ADD 000021a3: RETURNDATACOPY 000021a4: PUSH2 0x21ad 000021a7: JUMP 000021a8: JUMPDEST 000021a9: PUSH1 0x60 000021ab: SWAP2 000021ac: POP 000021ad: JUMPDEST 000021ae: POP 000021af: SWAP2 000021b0: POP 000021b1: SWAP2 000021b2: POP 000021b3: PUSH1 0x20 000021b5: DUP2 000021b6: MLOAD 000021b7: LT 000021b8: ISZERO 000021b9: PUSH2 0x21c8 000021bc: JUMPI 000021bd: PUSH1 0x00 000021bf: SWAP4 000021c0: POP 000021c1: POP 000021c2: POP 000021c3: POP 000021c4: PUSH2 0x1f93 000021c7: JUMP 000021c8: JUMPDEST 000021c9: DUP2 000021ca: DUP1 000021cb: ISZERO 000021cc: PUSH2 0x21e4 000021cf: JUMPI 000021d0: POP 000021d1: DUP1 000021d2: DUP1 000021d3: PUSH1 0x20 000021d5: ADD 000021d6: SWAP1 000021d7: MLOAD 000021d8: DUP2 000021d9: ADD 000021da: SWAP1 000021db: PUSH2 0x21e4 000021de: SWAP2 000021df: SWAP1 000021e0: PUSH2 0x2c0c 000021e3: JUMP 000021e4: JUMPDEST 000021e5: SWAP7 000021e6: SWAP6 000021e7: POP 000021e8: POP 000021e9: POP 000021ea: POP 000021eb: POP 000021ec: POP 000021ed: JUMP 000021ee: JUMPDEST 000021ef: PUSH1 0x00 000021f1: PUSH2 0x2250 000021f4: DUP3 000021f5: PUSH1 0x40 000021f7: MLOAD 000021f8: DUP1 000021f9: PUSH1 0x40 000021fb: ADD 000021fc: PUSH1 0x40 000021fe: MSTORE 000021ff: DUP1 00002200: PUSH1 0x20 00002202: DUP2 00002203: MSTORE 00002204: PUSH1 0x20 00002206: ADD 00002207: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00002228: DUP2 00002229: MSTORE 0000222a: POP 0000222b: DUP6 0000222c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002241: AND 00002242: PUSH2 0x22fa 00002245: SWAP1 00002246: SWAP3 00002247: SWAP2 00002248: SWAP1 00002249: PUSH4 0xffffffff 0000224e: AND 0000224f: JUMP 00002250: JUMPDEST 00002251: DUP1 00002252: MLOAD 00002253: SWAP1 00002254: SWAP2 00002255: POP 00002256: ISZERO 00002257: PUSH2 0x2049 0000225a: JUMPI 0000225b: DUP1 0000225c: DUP1 0000225d: PUSH1 0x20 0000225f: ADD 00002260: SWAP1 00002261: MLOAD 00002262: DUP2 00002263: ADD 00002264: SWAP1 00002265: PUSH2 0x226e 00002268: SWAP2 00002269: SWAP1 0000226a: PUSH2 0x2c0c 0000226d: JUMP 0000226e: JUMPDEST 0000226f: PUSH2 0x2049 00002272: JUMPI 00002273: PUSH1 0x40 00002275: MLOAD 00002276: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002297: DUP2 00002298: MSTORE 00002299: PUSH1 0x20 0000229b: PUSH1 0x04 0000229d: DUP3 0000229e: ADD 0000229f: MSTORE 000022a0: PUSH1 0x2a 000022a2: PUSH1 0x24 000022a4: DUP3 000022a5: ADD 000022a6: MSTORE 000022a7: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 000022c8: PUSH1 0x44 000022ca: DUP3 000022cb: ADD 000022cc: MSTORE 000022cd: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000 000022ee: PUSH1 0x64 000022f0: DUP3 000022f1: ADD 000022f2: MSTORE 000022f3: PUSH1 0x84 000022f5: ADD 000022f6: PUSH2 0x045d 000022f9: JUMP 000022fa: JUMPDEST 000022fb: PUSH1 0x60 000022fd: PUSH2 0x0f19 00002300: DUP5 00002301: DUP5 00002302: PUSH1 0x00 00002304: DUP6 00002305: DUP6 00002306: DUP5 00002307: EXTCODESIZE 00002308: PUSH2 0x236d 0000230b: JUMPI 0000230c: PUSH1 0x40 0000230e: MLOAD 0000230f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002330: DUP2 00002331: MSTORE 00002332: PUSH1 0x20 00002334: PUSH1 0x04 00002336: DUP3 00002337: ADD 00002338: MSTORE 00002339: PUSH1 0x1d 0000233b: PUSH1 0x24 0000233d: DUP3 0000233e: ADD 0000233f: MSTORE 00002340: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00002361: PUSH1 0x44 00002363: DUP3 00002364: ADD 00002365: MSTORE 00002366: PUSH1 0x64 00002368: ADD 00002369: PUSH2 0x045d 0000236c: JUMP 0000236d: JUMPDEST 0000236e: PUSH1 0x00 00002370: DUP1 00002371: DUP7 00002372: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002387: AND 00002388: DUP6 00002389: DUP8 0000238a: PUSH1 0x40 0000238c: MLOAD 0000238d: PUSH2 0x2396 00002390: SWAP2 00002391: SWAP1 00002392: PUSH2 0x2b85 00002395: JUMP 00002396: JUMPDEST 00002397: PUSH1 0x00 00002399: PUSH1 0x40 0000239b: MLOAD 0000239c: DUP1 0000239d: DUP4 0000239e: SUB 0000239f: DUP2 000023a0: DUP6 000023a1: DUP8 000023a2: GAS 000023a3: CALL 000023a4: SWAP3 000023a5: POP 000023a6: POP 000023a7: POP 000023a8: RETURNDATASIZE 000023a9: DUP1 000023aa: PUSH1 0x00 000023ac: DUP2 000023ad: EQ 000023ae: PUSH2 0x23d3 000023b1: JUMPI 000023b2: PUSH1 0x40 000023b4: MLOAD 000023b5: SWAP2 000023b6: POP 000023b7: PUSH1 0x1f 000023b9: NOT 000023ba: PUSH1 0x3f 000023bc: RETURNDATASIZE 000023bd: ADD 000023be: AND 000023bf: DUP3 000023c0: ADD 000023c1: PUSH1 0x40 000023c3: MSTORE 000023c4: RETURNDATASIZE 000023c5: DUP3 000023c6: MSTORE 000023c7: RETURNDATASIZE 000023c8: PUSH1 0x00 000023ca: PUSH1 0x20 000023cc: DUP5 000023cd: ADD 000023ce: RETURNDATACOPY 000023cf: PUSH2 0x23d8 000023d2: JUMP 000023d3: JUMPDEST 000023d4: PUSH1 0x60 000023d6: SWAP2 000023d7: POP 000023d8: JUMPDEST 000023d9: POP 000023da: SWAP2 000023db: POP 000023dc: SWAP2 000023dd: POP 000023de: PUSH2 0x23e8 000023e1: DUP3 000023e2: DUP3 000023e3: DUP7 000023e4: PUSH2 0x23f3 000023e7: JUMP 000023e8: JUMPDEST 000023e9: SWAP8 000023ea: SWAP7 000023eb: POP 000023ec: POP 000023ed: POP 000023ee: POP 000023ef: POP 000023f0: POP 000023f1: POP 000023f2: JUMP 000023f3: JUMPDEST 000023f4: PUSH1 0x60 000023f6: DUP4 000023f7: ISZERO 000023f8: PUSH2 0x2402 000023fb: JUMPI 000023fc: POP 000023fd: DUP2 000023fe: PUSH2 0x1fb5 00002401: JUMP 00002402: JUMPDEST 00002403: DUP3 00002404: MLOAD 00002405: ISZERO 00002406: PUSH2 0x2412 00002409: JUMPI 0000240a: DUP3 0000240b: MLOAD 0000240c: DUP1 0000240d: DUP5 0000240e: PUSH1 0x20 00002410: ADD 00002411: REVERT 00002412: JUMPDEST 00002413: DUP2 00002414: PUSH1 0x40 00002416: MLOAD 00002417: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002438: DUP2 00002439: MSTORE 0000243a: PUSH1 0x04 0000243c: ADD 0000243d: PUSH2 0x045d 00002440: SWAP2 00002441: SWAP1 00002442: PUSH2 0x2472 00002445: JUMP 00002446: JUMPDEST 00002447: PUSH1 0x00 00002449: JUMPDEST 0000244a: DUP4 0000244b: DUP2 0000244c: LT 0000244d: ISZERO 0000244e: PUSH2 0x2461 00002451: JUMPI 00002452: DUP2 00002453: DUP2 00002454: ADD 00002455: MLOAD 00002456: DUP4 00002457: DUP3 00002458: ADD 00002459: MSTORE 0000245a: PUSH1 0x20 0000245c: ADD 0000245d: PUSH2 0x2449 00002460: JUMP 00002461: JUMPDEST 00002462: DUP4 00002463: DUP2 00002464: GT 00002465: ISZERO 00002466: PUSH2 0x199a 00002469: JUMPI 0000246a: POP 0000246b: POP 0000246c: PUSH1 0x00 0000246e: SWAP2 0000246f: ADD 00002470: MSTORE 00002471: JUMP 00002472: JUMPDEST 00002473: PUSH1 0x20 00002475: DUP2 00002476: MSTORE 00002477: PUSH1 0x00 00002479: DUP3 0000247a: MLOAD 0000247b: DUP1 0000247c: PUSH1 0x20 0000247e: DUP5 0000247f: ADD 00002480: MSTORE 00002481: PUSH2 0x2491 00002484: DUP2 00002485: PUSH1 0x40 00002487: DUP6 00002488: ADD 00002489: PUSH1 0x20 0000248b: DUP8 0000248c: ADD 0000248d: PUSH2 0x2446 00002490: JUMP 00002491: JUMPDEST 00002492: PUSH1 0x1f 00002494: ADD 00002495: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000024b6: AND 000024b7: SWAP2 000024b8: SWAP1 000024b9: SWAP2 000024ba: ADD 000024bb: PUSH1 0x40 000024bd: ADD 000024be: SWAP3 000024bf: SWAP2 000024c0: POP 000024c1: POP 000024c2: JUMP 000024c3: JUMPDEST 000024c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024d9: DUP2 000024da: AND 000024db: DUP2 000024dc: EQ 000024dd: PUSH2 0x24e5 000024e0: JUMPI 000024e1: PUSH1 0x00 000024e3: DUP1 000024e4: REVERT 000024e5: JUMPDEST 000024e6: POP 000024e7: JUMP 000024e8: JUMPDEST 000024e9: PUSH1 0x00 000024eb: DUP1 000024ec: PUSH1 0x00 000024ee: PUSH1 0x60 000024f0: DUP5 000024f1: DUP7 000024f2: SUB 000024f3: SLT 000024f4: ISZERO 000024f5: PUSH2 0x24fd 000024f8: JUMPI 000024f9: PUSH1 0x00 000024fb: DUP1 000024fc: REVERT 000024fd: JUMPDEST 000024fe: DUP4 000024ff: CALLDATALOAD 00002500: PUSH2 0x2508 00002503: DUP2 00002504: PUSH2 0x24c3 00002507: JUMP 00002508: JUMPDEST 00002509: SWAP6 0000250a: PUSH1 0x20 0000250c: DUP6 0000250d: ADD 0000250e: CALLDATALOAD 0000250f: SWAP6 00002510: POP 00002511: PUSH1 0x40 00002513: SWAP1 00002514: SWAP5 00002515: ADD 00002516: CALLDATALOAD 00002517: SWAP4 00002518: SWAP3 00002519: POP 0000251a: POP 0000251b: POP 0000251c: JUMP 0000251d: JUMPDEST 0000251e: PUSH1 0x00 00002520: DUP1 00002521: PUSH1 0x00 00002523: DUP1 00002524: PUSH1 0x00 00002526: PUSH1 0xa0 00002528: DUP7 00002529: DUP9 0000252a: SUB 0000252b: SLT 0000252c: ISZERO 0000252d: PUSH2 0x2535 00002530: JUMPI 00002531: PUSH1 0x00 00002533: DUP1 00002534: REVERT 00002535: JUMPDEST 00002536: DUP6 00002537: CALLDATALOAD 00002538: PUSH2 0x2540 0000253b: DUP2 0000253c: PUSH2 0x24c3 0000253f: JUMP 00002540: JUMPDEST 00002541: SWAP5 00002542: POP 00002543: PUSH1 0x20 00002545: DUP7 00002546: ADD 00002547: CALLDATALOAD 00002548: SWAP4 00002549: POP 0000254a: PUSH1 0x40 0000254c: DUP7 0000254d: ADD 0000254e: CALLDATALOAD 0000254f: SWAP3 00002550: POP 00002551: PUSH1 0x60 00002553: DUP7 00002554: ADD 00002555: CALLDATALOAD 00002556: PUSH2 0x255e 00002559: DUP2 0000255a: PUSH2 0x24c3 0000255d: JUMP 0000255e: JUMPDEST 0000255f: SWAP5 00002560: SWAP8 00002561: SWAP4 00002562: SWAP7 00002563: POP 00002564: SWAP2 00002565: SWAP5 00002566: PUSH1 0x80 00002568: ADD 00002569: CALLDATALOAD 0000256a: SWAP3 0000256b: SWAP2 0000256c: POP 0000256d: POP 0000256e: JUMP 0000256f: JUMPDEST 00002570: PUSH2 0xffff 00002573: DUP2 00002574: AND 00002575: DUP2 00002576: EQ 00002577: PUSH2 0x24e5 0000257a: JUMPI 0000257b: PUSH1 0x00 0000257d: DUP1 0000257e: REVERT 0000257f: JUMPDEST 00002580: PUSH1 0x00 00002582: DUP1 00002583: PUSH1 0x00 00002585: DUP1 00002586: PUSH1 0x00 00002588: PUSH1 0xa0 0000258a: DUP7 0000258b: DUP9 0000258c: SUB 0000258d: SLT 0000258e: ISZERO 0000258f: PUSH2 0x2597 00002592: JUMPI 00002593: PUSH1 0x00 00002595: DUP1 00002596: REVERT 00002597: JUMPDEST 00002598: DUP6 00002599: CALLDATALOAD 0000259a: PUSH2 0x25a2 0000259d: DUP2 0000259e: PUSH2 0x24c3 000025a1: JUMP 000025a2: JUMPDEST 000025a3: SWAP5 000025a4: POP 000025a5: PUSH1 0x20 000025a7: DUP7 000025a8: ADD 000025a9: CALLDATALOAD 000025aa: SWAP4 000025ab: POP 000025ac: PUSH1 0x40 000025ae: DUP7 000025af: ADD 000025b0: CALLDATALOAD 000025b1: PUSH2 0x25b9 000025b4: DUP2 000025b5: PUSH2 0x24c3 000025b8: JUMP 000025b9: JUMPDEST 000025ba: SWAP3 000025bb: POP 000025bc: PUSH1 0x60 000025be: DUP7 000025bf: ADD 000025c0: CALLDATALOAD 000025c1: SWAP2 000025c2: POP 000025c3: PUSH1 0x80 000025c5: DUP7 000025c6: ADD 000025c7: CALLDATALOAD 000025c8: PUSH2 0x25d0 000025cb: DUP2 000025cc: PUSH2 0x256f 000025cf: JUMP 000025d0: JUMPDEST 000025d1: DUP1 000025d2: SWAP2 000025d3: POP 000025d4: POP 000025d5: SWAP3 000025d6: SWAP6 000025d7: POP 000025d8: SWAP3 000025d9: SWAP6 000025da: SWAP1 000025db: SWAP4 000025dc: POP 000025dd: JUMP 000025de: JUMPDEST 000025df: PUSH1 0x00 000025e1: DUP1 000025e2: PUSH1 0x00 000025e4: DUP1 000025e5: PUSH1 0x80 000025e7: DUP6 000025e8: DUP8 000025e9: SUB 000025ea: SLT 000025eb: ISZERO 000025ec: PUSH2 0x25f4 000025ef: JUMPI 000025f0: PUSH1 0x00 000025f2: DUP1 000025f3: REVERT 000025f4: JUMPDEST 000025f5: DUP5 000025f6: CALLDATALOAD 000025f7: PUSH2 0x25ff 000025fa: DUP2 000025fb: PUSH2 0x24c3 000025fe: JUMP 000025ff: JUMPDEST 00002600: SWAP4 00002601: POP 00002602: PUSH1 0x20 00002604: DUP6 00002605: ADD 00002606: CALLDATALOAD 00002607: SWAP3 00002608: POP 00002609: PUSH1 0x40 0000260b: DUP6 0000260c: ADD 0000260d: CALLDATALOAD 0000260e: SWAP2 0000260f: POP 00002610: PUSH1 0x60 00002612: DUP6 00002613: ADD 00002614: CALLDATALOAD 00002615: PUSH2 0x261d 00002618: DUP2 00002619: PUSH2 0x24c3 0000261c: JUMP 0000261d: JUMPDEST 0000261e: SWAP4 0000261f: SWAP7 00002620: SWAP3 00002621: SWAP6 00002622: POP 00002623: SWAP1 00002624: SWAP4 00002625: POP 00002626: POP 00002627: JUMP 00002628: JUMPDEST 00002629: PUSH1 0x00 0000262b: DUP1 0000262c: PUSH1 0x00 0000262e: DUP1 0000262f: PUSH1 0x00 00002631: DUP1 00002632: PUSH1 0xc0 00002634: DUP8 00002635: DUP10 00002636: SUB 00002637: SLT 00002638: ISZERO 00002639: PUSH2 0x2641 0000263c: JUMPI 0000263d: PUSH1 0x00 0000263f: DUP1 00002640: REVERT 00002641: JUMPDEST 00002642: DUP7 00002643: CALLDATALOAD 00002644: PUSH2 0x264c 00002647: DUP2 00002648: PUSH2 0x24c3 0000264b: JUMP 0000264c: JUMPDEST 0000264d: SWAP6 0000264e: POP 0000264f: PUSH1 0x20 00002651: DUP8 00002652: ADD 00002653: CALLDATALOAD 00002654: SWAP5 00002655: POP 00002656: PUSH1 0x40 00002658: DUP8 00002659: ADD 0000265a: CALLDATALOAD 0000265b: SWAP4 0000265c: POP 0000265d: PUSH1 0x60 0000265f: DUP8 00002660: ADD 00002661: CALLDATALOAD 00002662: PUSH2 0x266a 00002665: DUP2 00002666: PUSH2 0x24c3 00002669: JUMP 0000266a: JUMPDEST 0000266b: SWAP3 0000266c: POP 0000266d: PUSH1 0x80 0000266f: DUP8 00002670: ADD 00002671: CALLDATALOAD 00002672: SWAP2 00002673: POP 00002674: PUSH1 0xa0 00002676: DUP8 00002677: ADD 00002678: CALLDATALOAD 00002679: PUSH2 0x2681 0000267c: DUP2 0000267d: PUSH2 0x24c3 00002680: JUMP 00002681: JUMPDEST 00002682: DUP1 00002683: SWAP2 00002684: POP 00002685: POP 00002686: SWAP3 00002687: SWAP6 00002688: POP 00002689: SWAP3 0000268a: SWAP6 0000268b: POP 0000268c: SWAP3 0000268d: SWAP6 0000268e: JUMP 0000268f: JUMPDEST 00002690: PUSH1 0x00 00002692: PUSH1 0x20 00002694: DUP3 00002695: DUP5 00002696: SUB 00002697: SLT 00002698: ISZERO 00002699: PUSH2 0x26a1 0000269c: JUMPI 0000269d: PUSH1 0x00 0000269f: DUP1 000026a0: REVERT 000026a1: JUMPDEST 000026a2: DUP2 000026a3: CALLDATALOAD 000026a4: PUSH2 0x1fb5 000026a7: DUP2 000026a8: PUSH2 0x24c3 000026ab: JUMP 000026ac: JUMPDEST 000026ad: PUSH1 0x01 000026af: DUP2 000026b0: DUP2 000026b1: SHR 000026b2: SWAP1 000026b3: DUP3 000026b4: AND 000026b5: DUP1 000026b6: PUSH2 0x26c0 000026b9: JUMPI 000026ba: PUSH1 0x7f 000026bc: DUP3 000026bd: AND 000026be: SWAP2 000026bf: POP 000026c0: JUMPDEST 000026c1: PUSH1 0x20 000026c3: DUP3 000026c4: LT 000026c5: DUP2 000026c6: EQ 000026c7: ISZERO 000026c8: PUSH2 0x26fa 000026cb: JUMPI 000026cc: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000026ed: PUSH1 0x00 000026ef: MSTORE 000026f0: PUSH1 0x22 000026f2: PUSH1 0x04 000026f4: MSTORE 000026f5: PUSH1 0x24 000026f7: PUSH1 0x00 000026f9: REVERT 000026fa: JUMPDEST 000026fb: POP 000026fc: SWAP2 000026fd: SWAP1 000026fe: POP 000026ff: JUMP 00002700: JUMPDEST 00002701: PUSH1 0x80 00002703: DUP2 00002704: ADD 00002705: PUSH2 0x1f93 00002708: DUP3 00002709: DUP5 0000270a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000271f: DUP1 00002720: DUP3 00002721: MLOAD 00002722: AND 00002723: DUP4 00002724: MSTORE 00002725: DUP1 00002726: PUSH1 0x20 00002728: DUP4 00002729: ADD 0000272a: MLOAD 0000272b: AND 0000272c: PUSH1 0x20 0000272e: DUP5 0000272f: ADD 00002730: MSTORE 00002731: POP 00002732: PUSH2 0xffff 00002735: PUSH1 0x40 00002737: DUP3 00002738: ADD 00002739: MLOAD 0000273a: AND 0000273b: PUSH1 0x40 0000273d: DUP4 0000273e: ADD 0000273f: MSTORE 00002740: PUSH1 0x60 00002742: DUP2 00002743: ADD 00002744: MLOAD 00002745: PUSH1 0x60 00002747: DUP4 00002748: ADD 00002749: MSTORE 0000274a: POP 0000274b: POP 0000274c: JUMP 0000274d: JUMPDEST 0000274e: PUSH1 0x80 00002750: DUP2 00002751: ADD 00002752: PUSH2 0x1f93 00002755: DUP3 00002756: DUP5 00002757: DUP1 00002758: SLOAD 00002759: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000276e: SWAP1 0000276f: DUP2 00002770: AND 00002771: DUP4 00002772: MSTORE 00002773: PUSH1 0x01 00002775: DUP3 00002776: ADD 00002777: SLOAD 00002778: SWAP1 00002779: DUP2 0000277a: AND 0000277b: PUSH1 0x20 0000277d: DUP5 0000277e: ADD 0000277f: MSTORE 00002780: PUSH1 0xa0 00002782: SHR 00002783: PUSH2 0xffff 00002786: AND 00002787: PUSH1 0x40 00002789: DUP4 0000278a: ADD 0000278b: MSTORE 0000278c: PUSH1 0x02 0000278e: ADD 0000278f: SLOAD 00002790: PUSH1 0x60 00002792: SWAP1 00002793: SWAP2 00002794: ADD 00002795: MSTORE 00002796: JUMP 00002797: JUMPDEST 00002798: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000027b9: PUSH1 0x00 000027bb: MSTORE 000027bc: PUSH1 0x11 000027be: PUSH1 0x04 000027c0: MSTORE 000027c1: PUSH1 0x24 000027c3: PUSH1 0x00 000027c5: REVERT 000027c6: JUMPDEST 000027c7: PUSH1 0x00 000027c9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000027ea: DUP3 000027eb: EQ 000027ec: ISZERO 000027ed: PUSH2 0x27f8 000027f0: JUMPI 000027f1: PUSH2 0x27f8 000027f4: PUSH2 0x2797 000027f7: JUMP 000027f8: JUMPDEST 000027f9: POP 000027fa: PUSH1 0x01 000027fc: ADD 000027fd: SWAP1 000027fe: JUMP 000027ff: JUMPDEST 00002800: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002821: PUSH1 0x00 00002823: MSTORE 00002824: PUSH1 0x41 00002826: PUSH1 0x04 00002828: MSTORE 00002829: PUSH1 0x24 0000282b: PUSH1 0x00 0000282d: REVERT 0000282e: JUMPDEST 0000282f: PUSH1 0x40 00002831: MLOAD 00002832: PUSH1 0x1f 00002834: DUP3 00002835: ADD 00002836: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00002857: AND 00002858: DUP2 00002859: ADD 0000285a: PUSH8 0xffffffffffffffff 00002863: DUP2 00002864: GT 00002865: DUP3 00002866: DUP3 00002867: LT 00002868: OR 00002869: ISZERO 0000286a: PUSH2 0x2875 0000286d: JUMPI 0000286e: PUSH2 0x2875 00002871: PUSH2 0x27ff 00002874: JUMP 00002875: JUMPDEST 00002876: PUSH1 0x40 00002878: MSTORE 00002879: SWAP2 0000287a: SWAP1 0000287b: POP 0000287c: JUMP 0000287d: JUMPDEST 0000287e: PUSH1 0x00 00002880: PUSH8 0xffffffffffffffff 00002889: DUP3 0000288a: GT 0000288b: ISZERO 0000288c: PUSH2 0x2897 0000288f: JUMPI 00002890: PUSH2 0x2897 00002893: PUSH2 0x27ff 00002896: JUMP 00002897: JUMPDEST 00002898: POP 00002899: PUSH1 0x05 0000289b: SHL 0000289c: PUSH1 0x20 0000289e: ADD 0000289f: SWAP1 000028a0: JUMP 000028a1: JUMPDEST 000028a2: PUSH1 0x00 000028a4: DUP3 000028a5: PUSH1 0x1f 000028a7: DUP4 000028a8: ADD 000028a9: SLT 000028aa: PUSH2 0x28b2 000028ad: JUMPI 000028ae: PUSH1 0x00 000028b0: DUP1 000028b1: REVERT 000028b2: JUMPDEST 000028b3: DUP2 000028b4: MLOAD 000028b5: PUSH1 0x20 000028b7: PUSH2 0x28c7 000028ba: PUSH2 0x28c2 000028bd: DUP4 000028be: PUSH2 0x287d 000028c1: JUMP 000028c2: JUMPDEST 000028c3: PUSH2 0x282e 000028c6: JUMP 000028c7: JUMPDEST 000028c8: DUP3 000028c9: DUP2 000028ca: MSTORE 000028cb: PUSH1 0x05 000028cd: SWAP3 000028ce: SWAP1 000028cf: SWAP3 000028d0: SHL 000028d1: DUP5 000028d2: ADD 000028d3: DUP2 000028d4: ADD 000028d5: SWAP2 000028d6: DUP2 000028d7: DUP2 000028d8: ADD 000028d9: SWAP1 000028da: DUP7 000028db: DUP5 000028dc: GT 000028dd: ISZERO 000028de: PUSH2 0x28e6 000028e1: JUMPI 000028e2: PUSH1 0x00 000028e4: DUP1 000028e5: REVERT 000028e6: JUMPDEST 000028e7: DUP3 000028e8: DUP7 000028e9: ADD 000028ea: JUMPDEST 000028eb: DUP5 000028ec: DUP2 000028ed: LT 000028ee: ISZERO 000028ef: PUSH2 0x2901 000028f2: JUMPI 000028f3: DUP1 000028f4: MLOAD 000028f5: DUP4 000028f6: MSTORE 000028f7: SWAP2 000028f8: DUP4 000028f9: ADD 000028fa: SWAP2 000028fb: DUP4 000028fc: ADD 000028fd: PUSH2 0x28ea 00002900: JUMP 00002901: JUMPDEST 00002902: POP 00002903: SWAP7 00002904: SWAP6 00002905: POP 00002906: POP 00002907: POP 00002908: POP 00002909: POP 0000290a: POP 0000290b: JUMP 0000290c: JUMPDEST 0000290d: PUSH1 0x00 0000290f: DUP1 00002910: PUSH1 0x40 00002912: DUP4 00002913: DUP6 00002914: SUB 00002915: SLT 00002916: ISZERO 00002917: PUSH2 0x291f 0000291a: JUMPI 0000291b: PUSH1 0x00 0000291d: DUP1 0000291e: REVERT 0000291f: JUMPDEST 00002920: DUP3 00002921: MLOAD 00002922: PUSH8 0xffffffffffffffff 0000292b: DUP1 0000292c: DUP3 0000292d: GT 0000292e: ISZERO 0000292f: PUSH2 0x2937 00002932: JUMPI 00002933: PUSH1 0x00 00002935: DUP1 00002936: REVERT 00002937: JUMPDEST 00002938: DUP2 00002939: DUP6 0000293a: ADD 0000293b: SWAP2 0000293c: POP 0000293d: DUP6 0000293e: PUSH1 0x1f 00002940: DUP4 00002941: ADD 00002942: SLT 00002943: PUSH2 0x294b 00002946: JUMPI 00002947: PUSH1 0x00 00002949: DUP1 0000294a: REVERT 0000294b: JUMPDEST 0000294c: DUP2 0000294d: MLOAD 0000294e: PUSH1 0x20 00002950: PUSH2 0x295b 00002953: PUSH2 0x28c2 00002956: DUP4 00002957: PUSH2 0x287d 0000295a: JUMP 0000295b: JUMPDEST 0000295c: DUP3 0000295d: DUP2 0000295e: MSTORE 0000295f: PUSH1 0x05 00002961: SWAP3 00002962: SWAP1 00002963: SWAP3 00002964: SHL 00002965: DUP5 00002966: ADD 00002967: DUP2 00002968: ADD 00002969: SWAP2 0000296a: DUP2 0000296b: DUP2 0000296c: ADD 0000296d: SWAP1 0000296e: DUP10 0000296f: DUP5 00002970: GT 00002971: ISZERO 00002972: PUSH2 0x297a 00002975: JUMPI 00002976: PUSH1 0x00 00002978: DUP1 00002979: REVERT 0000297a: JUMPDEST 0000297b: SWAP5 0000297c: DUP3 0000297d: ADD 0000297e: SWAP5 0000297f: JUMPDEST 00002980: DUP4 00002981: DUP7 00002982: LT 00002983: ISZERO 00002984: PUSH2 0x29a1 00002987: JUMPI 00002988: DUP6 00002989: MLOAD 0000298a: PUSH2 0x2992 0000298d: DUP2 0000298e: PUSH2 0x24c3 00002991: JUMP 00002992: JUMPDEST 00002993: DUP3 00002994: MSTORE 00002995: SWAP5 00002996: DUP3 00002997: ADD 00002998: SWAP5 00002999: SWAP1 0000299a: DUP3 0000299b: ADD 0000299c: SWAP1 0000299d: PUSH2 0x297f 000029a0: JUMP 000029a1: JUMPDEST 000029a2: SWAP2 000029a3: DUP9 000029a4: ADD 000029a5: MLOAD 000029a6: SWAP2 000029a7: SWAP7 000029a8: POP 000029a9: SWAP1 000029aa: SWAP4 000029ab: POP 000029ac: POP 000029ad: POP 000029ae: DUP1 000029af: DUP3 000029b0: GT 000029b1: ISZERO 000029b2: PUSH2 0x29ba 000029b5: JUMPI 000029b6: PUSH1 0x00 000029b8: DUP1 000029b9: REVERT 000029ba: JUMPDEST 000029bb: POP 000029bc: PUSH2 0x29c7 000029bf: DUP6 000029c0: DUP3 000029c1: DUP7 000029c2: ADD 000029c3: PUSH2 0x28a1 000029c6: JUMP 000029c7: JUMPDEST 000029c8: SWAP2 000029c9: POP 000029ca: POP 000029cb: SWAP3 000029cc: POP 000029cd: SWAP3 000029ce: SWAP1 000029cf: POP 000029d0: JUMP 000029d1: JUMPDEST 000029d2: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000029f3: PUSH1 0x00 000029f5: MSTORE 000029f6: PUSH1 0x32 000029f8: PUSH1 0x04 000029fa: MSTORE 000029fb: PUSH1 0x24 000029fd: PUSH1 0x00 000029ff: REVERT 00002a00: JUMPDEST 00002a01: PUSH1 0x00 00002a03: DUP3 00002a04: DUP3 00002a05: LT 00002a06: ISZERO 00002a07: PUSH2 0x2a12 00002a0a: JUMPI 00002a0b: PUSH2 0x2a12 00002a0e: PUSH2 0x2797 00002a11: JUMP 00002a12: JUMPDEST 00002a13: POP 00002a14: SUB 00002a15: SWAP1 00002a16: JUMP 00002a17: JUMPDEST 00002a18: PUSH1 0x00 00002a1a: PUSH1 0x20 00002a1c: DUP3 00002a1d: DUP5 00002a1e: SUB 00002a1f: SLT 00002a20: ISZERO 00002a21: PUSH2 0x2a29 00002a24: JUMPI 00002a25: PUSH1 0x00 00002a27: DUP1 00002a28: REVERT 00002a29: JUMPDEST 00002a2a: DUP2 00002a2b: MLOAD 00002a2c: PUSH2 0x1fb5 00002a2f: DUP2 00002a30: PUSH2 0x24c3 00002a33: JUMP 00002a34: JUMPDEST 00002a35: PUSH1 0x00 00002a37: DUP2 00002a38: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002a59: DIV 00002a5a: DUP4 00002a5b: GT 00002a5c: DUP3 00002a5d: ISZERO 00002a5e: ISZERO 00002a5f: AND 00002a60: ISZERO 00002a61: PUSH2 0x2a6c 00002a64: JUMPI 00002a65: PUSH2 0x2a6c 00002a68: PUSH2 0x2797 00002a6b: JUMP 00002a6c: JUMPDEST 00002a6d: POP 00002a6e: MUL 00002a6f: SWAP1 00002a70: JUMP 00002a71: JUMPDEST 00002a72: PUSH1 0x00 00002a74: DUP3 00002a75: PUSH2 0x2aa7 00002a78: JUMPI 00002a79: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002a9a: PUSH1 0x00 00002a9c: MSTORE 00002a9d: PUSH1 0x12 00002a9f: PUSH1 0x04 00002aa1: MSTORE 00002aa2: PUSH1 0x24 00002aa4: PUSH1 0x00 00002aa6: REVERT 00002aa7: JUMPDEST 00002aa8: POP 00002aa9: DIV 00002aaa: SWAP1 00002aab: JUMP 00002aac: JUMPDEST 00002aad: DUP3 00002aae: MLOAD 00002aaf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002ac4: AND 00002ac5: DUP2 00002ac6: MSTORE 00002ac7: PUSH1 0x20 00002ac9: DUP1 00002aca: DUP5 00002acb: ADD 00002acc: MLOAD 00002acd: SWAP1 00002ace: DUP3 00002acf: ADD 00002ad0: MSTORE 00002ad1: PUSH1 0x40 00002ad3: DUP1 00002ad4: DUP5 00002ad5: ADD 00002ad6: MLOAD 00002ad7: SWAP1 00002ad8: DUP3 00002ad9: ADD 00002ada: MSTORE 00002adb: PUSH1 0xc0 00002add: DUP2 00002ade: ADD 00002adf: DUP3 00002ae0: MLOAD 00002ae1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002af6: AND 00002af7: PUSH1 0x60 00002af9: DUP4 00002afa: ADD 00002afb: MSTORE 00002afc: PUSH1 0x20 00002afe: DUP4 00002aff: ADD 00002b00: MLOAD 00002b01: PUSH1 0x80 00002b03: DUP4 00002b04: ADD 00002b05: MSTORE 00002b06: PUSH1 0x40 00002b08: DUP4 00002b09: ADD 00002b0a: MLOAD 00002b0b: PUSH1 0xa0 00002b0d: DUP4 00002b0e: ADD 00002b0f: MSTORE 00002b10: PUSH2 0x1fb5 00002b13: JUMP 00002b14: JUMPDEST 00002b15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b2a: DUP5 00002b2b: DUP2 00002b2c: AND 00002b2d: DUP3 00002b2e: MSTORE 00002b2f: DUP4 00002b30: AND 00002b31: PUSH1 0x20 00002b33: DUP3 00002b34: ADD 00002b35: MSTORE 00002b36: PUSH1 0xc0 00002b38: DUP2 00002b39: ADD 00002b3a: PUSH2 0x0f19 00002b3d: PUSH1 0x40 00002b3f: DUP4 00002b40: ADD 00002b41: DUP5 00002b42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b57: DUP1 00002b58: DUP3 00002b59: MLOAD 00002b5a: AND 00002b5b: DUP4 00002b5c: MSTORE 00002b5d: DUP1 00002b5e: PUSH1 0x20 00002b60: DUP4 00002b61: ADD 00002b62: MLOAD 00002b63: AND 00002b64: PUSH1 0x20 00002b66: DUP5 00002b67: ADD 00002b68: MSTORE 00002b69: POP 00002b6a: PUSH2 0xffff 00002b6d: PUSH1 0x40 00002b6f: DUP3 00002b70: ADD 00002b71: MLOAD 00002b72: AND 00002b73: PUSH1 0x40 00002b75: DUP4 00002b76: ADD 00002b77: MSTORE 00002b78: PUSH1 0x60 00002b7a: DUP2 00002b7b: ADD 00002b7c: MLOAD 00002b7d: PUSH1 0x60 00002b7f: DUP4 00002b80: ADD 00002b81: MSTORE 00002b82: POP 00002b83: POP 00002b84: JUMP 00002b85: JUMPDEST 00002b86: PUSH1 0x00 00002b88: DUP3 00002b89: MLOAD 00002b8a: PUSH2 0x2b97 00002b8d: DUP2 00002b8e: DUP5 00002b8f: PUSH1 0x20 00002b91: DUP8 00002b92: ADD 00002b93: PUSH2 0x2446 00002b96: JUMP 00002b97: JUMPDEST 00002b98: SWAP2 00002b99: SWAP1 00002b9a: SWAP2 00002b9b: ADD 00002b9c: SWAP3 00002b9d: SWAP2 00002b9e: POP 00002b9f: POP 00002ba0: JUMP 00002ba1: JUMPDEST 00002ba2: PUSH1 0x00 00002ba4: PUSH1 0x20 00002ba6: DUP3 00002ba7: DUP5 00002ba8: SUB 00002ba9: SLT 00002baa: ISZERO 00002bab: PUSH2 0x2bb3 00002bae: JUMPI 00002baf: PUSH1 0x00 00002bb1: DUP1 00002bb2: REVERT 00002bb3: JUMPDEST 00002bb4: POP 00002bb5: MLOAD 00002bb6: SWAP2 00002bb7: SWAP1 00002bb8: POP 00002bb9: JUMP 00002bba: JUMPDEST 00002bbb: PUSH1 0x00 00002bbd: DUP3 00002bbe: NOT 00002bbf: DUP3 00002bc0: GT 00002bc1: ISZERO 00002bc2: PUSH2 0x2bcd 00002bc5: JUMPI 00002bc6: PUSH2 0x2bcd 00002bc9: PUSH2 0x2797 00002bcc: JUMP 00002bcd: JUMPDEST 00002bce: POP 00002bcf: ADD 00002bd0: SWAP1 00002bd1: JUMP 00002bd2: JUMPDEST 00002bd3: PUSH1 0x00 00002bd5: DUP1 00002bd6: PUSH1 0x40 00002bd8: DUP4 00002bd9: DUP6 00002bda: SUB 00002bdb: SLT 00002bdc: ISZERO 00002bdd: PUSH2 0x2be5 00002be0: JUMPI 00002be1: PUSH1 0x00 00002be3: DUP1 00002be4: REVERT 00002be5: JUMPDEST 00002be6: DUP3 00002be7: MLOAD 00002be8: PUSH2 0x2bf0 00002beb: DUP2 00002bec: PUSH2 0x256f 00002bef: JUMP 00002bf0: JUMPDEST 00002bf1: PUSH1 0x20 00002bf3: DUP5 00002bf4: ADD 00002bf5: MLOAD 00002bf6: SWAP1 00002bf7: SWAP3 00002bf8: POP 00002bf9: PUSH2 0x2c01 00002bfc: DUP2 00002bfd: PUSH2 0x24c3 00002c00: JUMP 00002c01: JUMPDEST 00002c02: DUP1 00002c03: SWAP2 00002c04: POP 00002c05: POP 00002c06: SWAP3 00002c07: POP 00002c08: SWAP3 00002c09: SWAP1 00002c0a: POP 00002c0b: JUMP 00002c0c: JUMPDEST 00002c0d: PUSH1 0x00 00002c0f: PUSH1 0x20 00002c11: DUP3 00002c12: DUP5 00002c13: SUB 00002c14: SLT 00002c15: ISZERO 00002c16: PUSH2 0x2c1e 00002c19: JUMPI 00002c1a: PUSH1 0x00 00002c1c: DUP1 00002c1d: REVERT 00002c1e: JUMPDEST 00002c1f: DUP2 00002c20: MLOAD 00002c21: DUP1 00002c22: ISZERO 00002c23: ISZERO 00002c24: DUP2 00002c25: EQ 00002c26: PUSH2 0x1fb5 00002c29: JUMPI 00002c2a: PUSH1 0x00 00002c2c: DUP1 00002c2d: REVERT 00002c2e: INVALID 00002c2f: LOG2 00002c30: PUSH5 0x6970667358 00002c36: UNKNOWN(0x22) 00002c37: SLT 00002c38: KECCAK256 00002c39: SLOAD 00002c3a: GAS 00002c3b: LOG2 00002c3c: SWAP15 00002c3d: REVERT 00002c3e: UNKNOWN(0xC3) 00002c3f: GAS 00002c40: UNKNOWN(0xCC) 00002c41: UNKNOWN(0x0C) 00002c42: UNKNOWN(0xBC) 00002c43: SWAP14 00002c44: UNKNOWN(0xC2) 00002c45: SSTORE 00002c46: UNKNOWN(0xB7) 00002c47: CALLDATASIZE 00002c48: UNKNOWN(0xDE) 00002c49: UNKNOWN(0xE3) 00002c4a: UNKNOWN(0x2C) 00002c4b: PUSH12 0xd883948087ab33a031c5b417 00002c58: PUSH28
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x35d7aff9ee16a5cd44392d855000b55e3edf157189784a8ae80c4065b6e49618
call_targets:
0x76744367ae5a056381868f716bdf0b13ae1aeaa3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x35d7aff9ee16a5cd44392d855000b55e3edf157189784a8ae80c4065b6e49618",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x76744367ae5a056381868f716bdf0b13ae1aeaa3"
],
"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": "0xb249bb30",
"selector": "0xb249bb30",
"calldata_variants": [
"0xb249bb30",
"0xb249bb300000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe3b43677",
"selector": "0xe3b43677",
"calldata_variants": [
"0xe3b43677",
"0xe3b436770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebe46344",
"selector": "0xebe46344",
"calldata_variants": [
"0xebe46344",
"0xebe463440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7cd1d9b",
"selector": "0xf7cd1d9b",
"calldata_variants": [
"0xf7cd1d9b",
"0xf7cd1d9b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f9d3251",
"selector": "0x8f9d3251",
"calldata_variants": [
"0x8f9d3251",
"0x8f9d32510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9128c22c",
"selector": "0x9128c22c",
"calldata_variants": [
"0x9128c22c",
"0x9128c22c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x96bd5a88",
"selector": "0x96bd5a88",
"calldata_variants": [
"0x96bd5a88",
"0x96bd5a880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b20e397",
"selector": "0x2b20e397",
"calldata_variants": [
"0x2b20e397",
"0x2b20e3970000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3350,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5018,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6254,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": [
{
"pc": 3092,
"type": "msg_sender_eq_const",
"value": 0
},
{
"pc": 5432,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x35d7aff9ee16a5cd44392d855000b55e3edf157189784a8ae80c4065b6e49618
call_targets:
0x76744367ae5a056381868f716bdf0b13ae1aeaa3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x35d7aff9ee16a5cd44392d855000b55e3edf157189784a8ae80c4065b6e49618",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x76744367ae5a056381868f716bdf0b13ae1aeaa3"
],
"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": "0xb249bb30",
"selector": "0xb249bb30",
"calldata_variants": [
"0xb249bb30",
"0xb249bb300000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe3b43677",
"selector": "0xe3b43677",
"calldata_variants": [
"0xe3b43677",
"0xe3b436770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebe46344",
"selector": "0xebe46344",
"calldata_variants": [
"0xebe46344",
"0xebe463440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7cd1d9b",
"selector": "0xf7cd1d9b",
"calldata_variants": [
"0xf7cd1d9b",
"0xf7cd1d9b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f9d3251",
"selector": "0x8f9d3251",
"calldata_variants": [
"0x8f9d3251",
"0x8f9d32510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9128c22c",
"selector": "0x9128c22c",
"calldata_variants": [
"0x9128c22c",
"0x9128c22c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x96bd5a88",
"selector": "0x96bd5a88",
"calldata_variants": [
"0x96bd5a88",
"0x96bd5a880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b20e397",
"selector": "0x2b20e397",
"calldata_variants": [
"0x2b20e397",
"0x2b20e3970000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3350,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5018,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6254,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [
{
"pc": 3092,
"type": "msg_sender_eq_const",
"value": 0
},
{
"pc": 5432,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 7
}
|