Hello, the US Nautical Almanac lists 173 "navigational stars", of
which a shorter list of 57 is sometimes extracted.

I've been unable to find these lists online, although I have found
databases referencing many millions of stars!

Could someone tell me if they know where the lists of 57 and 173 stars
exists online.

Or if it doesn't, and someone has got the two lists in text format,
I'd be very grateful if they could post them in follow-up to this
message!

A big thank you in advance.

Cheers,

John Nagelson