紫蓋洞庭人駕鶴，虹霓城郭道為林出自哪一首詩

紫蓋洞庭人駕鶴，虹霓城郭道為林出自宋太宗的《緣識》。這句詩詞出自宋太宗的《緣識》。
下面是這首詩的全文：
溟溟滄海浪濤深，霧蔽山巒不易尋。紫蓋洞庭人駕鶴，虹霓城郭道為林。幽玄相去何多少，巧拙無由智存慧侵。盡是同緣相引接，從容語話八仙心。