《天文要録》

自三代已來到予大唐驎德元年，凡天妖星之類二百五十二星，此謂天下離星類也。