The stars.txt file described in the problem statement may be downloaded here:
        Download stars.txt