phony如何输出矩阵