至上元甲子至開元十二年甲子，歲積三萬一筭，先以周紀法三百六十去之。餘以七十二約之，不盡，為入元局數也。