馬公首丹籍，程子亦其次的下句是什么

馬公首丹籍，程子亦其次。下一句是：大書天九門，凜凜見名字。這句詩詞出自項安世的《度周卿攜司馬公送蒲中舍詩小程先生謁傅長宮》。
下面是這首詩的全文：
馬公首丹籍，程子亦其次。大書天九門，凜凜見名字。度君獨何心，葅歜而剝芰。艓子大于匙，可臥不可跋。中有兩同行，馬詩與程剌。