title: How to download a text file displaying on web page
body: <p>I am learning Algorithms 4th. And now I want to download a data file <code>1Mints.txt</code> which is a input file for testing K-Sum algorithm. Thus, I search it on the book's website. Fortunately, I find the corresponding page but the file just display on line and I can not download it. I hope someone could help me. Thanks. </p>
  
  <p>file link: <a href="https://algs4.cs.princeton.edu/14analysis/1Mints.txt" rel="nofollow noreferrer">https://algs4.cs.princeton.edu/14analysis/1Mints.txt</a></p>