# Table of alternate names mapped to the names in this directory

hd74280		hr3454
hd100889	hr4468
hd15318		hr718
hd188350	hr7596
hd198001	hr7950
hd214923	hr8634
hd224926	hr9087