1. Toomer/Grasshoff  (cat1.dat)
Data for this catalog was transcribed from Appendix B of Grasshoff's The
History of Ptolemy's Star Catalog (Springer-Verlag, 1990). With minor
variations, this is based on Toomer's translation of the Almagest, first
edition (Duckworth, 1984). The transcriptions were reconciled with the
second edition of Toomer (Princeton University Press, 1998), which is
also the source of the star descriptions.

2. Peters/Knobel  (cat2.dat)
Transcribed from Peters and Knobel, Ptolemy's Catalogue of Stars
(Carnegie Institution, 1915).

3. Manitius  (cat3.dat)
Initially CDS V/61, the electronic catalog by Jaschek, but substantially
corrected by consulting the source, Manitius's 1913 German translation
of the Almagest, the (Teubner, 1962) edition with the forward by
Neugebauer. The star descriptions, not present in V/61, were transcribed
directly from Manitius.

4. Pickering (catpick.dat)

See http://www.etwright.org/astro/almagest.html#cat

$ python3.9 make_star_names.py > star_names.fab
No HIP number found for HR 888 (29 ups UMa)
No HIP number found for HR 596 (28 ome Dra)
No HIP number found for HR 95 (20 gam Her)
No HIP number found for HR 92 (22 tau Her)
No HIP number found for HR 0 (NGC 869/884)
No HIP number found for HR 854 (18 tau Per)
No HIP number found for HR 95 (37 the Aur)
No HIP number found for HR 854 (24 alp Ser)
No HIP number found for HR 928 (11 del Del)
No HIP number found for HR 888 (48 eps Ari)
No HIP number found for HR 928 (125 Tau)
No HIP number found for HR 0 (GC 2632 M44)
No HIP number found for HR 95 (74 Vir)
No HIP number found for HR 487 (107 mu Vir)
No HIP number found for HR 928 (5 rho Sco)
No HIP number found for HR 596 (20 iot CMa)
No HIP number found for HR 487 ()
No HIP number found for HR 0 (NGC 5139)

$ python3.9 make_names.py
No HIP number found for HR 8417 (17 xi Cep)
No HIP number found for HR 5506 (36 eps Boo)
No HIP number found for HR 5478 (30 zet Boo)
No HIP number found for HR 7417 (6 bet1 Cyg)
No HIP number found for HR 7751 (32 Cyg)
No HIP number found for HR 854 (18 tau Per)
No HIP number found for HR 6733 (69 tau Oph)
No HIP number found for HR 8131 (8 alp Equ)
No HIP number found for HR 888 (48 eps Ari)
No HIP number found for HR 2891 (66 alp Gem)
No HIP number found for HR 5978 (xi Sco)
No HIP number found for HR 7776 (9 bet Cap)
No HIP number found for HR 8817 (89 Aqr)
No HIP number found for HR 5605 (pi Lup)

…ations.