Da xue yan yi - Zhen, Dexiu 1178-1235 (Wen you shu dian, 1968)