【释行元·宋】释行元（？～一二七一），字渊叟，永康（今属浙江）人。住平江万寿寺，度宗咸淳七年坐化（清光绪《永康县志》卷一一）。

https://www.ahchsz.com/shiren/j3Zg1.html