令集解

十九考課

推歩盈虚〈(中略)尚書大伝曰、歩推也、盈虚謂日月五星之度数也、跡雲、推歩也、穴雲、盈虚謂月之大謂之盈、小謂之虚、古記雲、問推歩、荅、尚書大伝、大禹歩(○○)于上帝、鄭玄曰、歩推、禹推天道観政得失、盈虚謂日月五星之度数、二巻具説也、〉