弱水三山鬲，华胥一梦残出自哪首诗？

弱水三山鬲，华胥一梦残出自哪首诗？

弱水三山鬲，华胥一梦残出自程珌的《光宗皇后挽诗》。这句诗词出自程珌的《光宗皇后挽诗》。
下面是这首诗的全文：
玉锁辞椒禁，瑶宫问广寒。人间方祝鳦，三上忽飞鸾。弱水三山鬲，华胥一梦残。圣情凝望处，仙御景云端。