read_tables:=函数（文件名，维度）；F:=打开（文件名，“r”）；c:=（尺寸*（尺寸+1））div 2；r：=[]；虽然是真的s：=获取（F）；如果IsEof（s），则中断；结束条件：；如果（#s eq 0）或（s[1]eq“/”），则继续；结束条件：；t:=[StringToInteger（a）:a in Split（s，“”）]；如果#t ne c，则继续；结束条件：；A:=对称矩阵（ZZ，t）；追加（~r，A div内容（A））；结束while；返回r；端函数；