See the notes to Table 2 for a discussion of the origin of the
coordinates and the notes to Table 3 for a discussion of the names of
the stars.