From the Tycho star catalog, 9110 stars. Data source: Yale. Created by David Seal. From the database of JPL/Caltech generated planetary maps.