Hrm. Var hittar du namnet “TIC 353263731”? Verkar inte finnas i Simbad och är inte med i VSX.
Jag har använt VSX, där TCP J04085466+4128166 har koordinaterna 04 08 54.68 +41 28 16.6 (J2000). Tittar jag på “min” stjärna i VPhot, efter att den är plate-solvad i ASTAP, så stämmer koordinaterna fint – decimalerna är ju svåra men ändå, ganska spot on.
