"Yuantan Zhen zhi" bian zuan wei yuan hui