犹闻樗里有智人，天子之宫夹其墓出自哪一首诗

犹闻樗里有智人，天子之宫夹其墓出自郭翼的《行路难（七首）》。这句诗词出自郭翼的《行路难（七首）》。
下面是这首诗的全文：
蹙蹙靡所骋，出自城北门。顾瞻荒丘中，郁郁蹲石麟。石阙字漫漫，不知何代贵者坟。形骸已灭魑魅迹，物化尽为狐兔尘。吁嗟汉家陵阙荒无主，青山落日秦川下。犹闻樗里有智人，天子之宫夹其墓。今日休论智与愚，昔人意气复何如。愿借飘飖丹凤舄，与子炼形入云墟。¤