How to read n-th line from the file?

I tried a slightly modified variant of your script here, with the same input file, and it is also almost instantaneous.

1 Like