Wu da xing shi fa lun tan/. Di san juan. Xing shi fa pan jie/. Di 14 juan. Ai yin si tan wen ji/. Di san juan. Jing shi fa lv ping lun/. Di ba juan. Xing shi fa pan jie /. Di 14 juan. Yin yang shi /. Di san juan. Jing shi fa lv ping lun /. Di ba juan. Zhao qing fu zhi/. Di san juan. Xian zheng yu xing zheng fa zhi ping lun/. Di san juan. Luo jia fa xue lun tan/. Di shi er juan.