You are absolutely right; when I wrote my comment, I did not know yet the ingenious (and simple!) algorithm proposed by JavaFan.
In reply to Re^3: Opening random files then reading random lines from file.
by rovf
in thread Opening random files then reading random lines from file.
by fame
| For: | Use: | ||
| & | & | ||
| < | < | ||
| > | > | ||
| [ | [ | ||
| ] | ] |