4 ms·

These are bright stars so they are in Tycho catalogue (which is a catalog of 2.5 million brightest stars)