海邦去海只十里，山路过山应万重。
诗谶告人元已久，未应马援坐梁松。