Gao deng shu xue jie ti fang fa hui bian/ Chu deng shu xue jie ti fang fa yan jiu/ Gao deng shu xue ji chu fu xi 13 jiang/ Hai shang bao xian fa gui hui bian/ Jiao yu xin li xue ming ci hui bian/ gao deng shu xue ( er ): kao shi zhi dao yu mo ni shi ti