H:=QuaternionAlgebra; ErzMat:=[]; ErzMat[1]:= Matrix(H,8,8,[ [1/3*k, 1 - 1/3*i - 1/3*k, 0, 0, 0, 0, 0, 0], [0, 1 + i, 0, 0, 0, 0, 0, 0], [0, 0, 1/3*k, 1 - 1/3*i - 1/3*k, 0, 0, 0, 0], [0, 0, 0, 1 + i, 0, 0, 0, 0], [0, 0, 0, 0, 1/3*k, 1 - 1/3*i - 1/3*k, 0, 0], [0, 0, 0, 0, 0, 1 + i, 0, 0], [0, 0, 0, 0, 0, 0, 1/3*k, 1 - 1/3*i - 1/3*k], [0, 0, 0, 0, 0, 0, 0, 1 + i] ]); ErzMat[2]:= Matrix(H,8,8,[ [1/6*i - 1/6*k, -1/2 + 1/2*j + 1/3*k, -1/6*i - 1/6*k, -1/2 + 1/3*i - 1/2*j, 0, 0, 0, 0], [0, 1 + i, 1/3*k, 1 - 1/3*i - j + 2/3*k, 0, 0, 0, 0], [0, 0, -1/2 - 1/6*i, 1/2 + 1/6*i - 2/3*k, 0, 0, 0, 0], [0, 0, 0, -1 - i + j + k, 0, 0, 0, 0], [0, 0, 0, 0, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k, 0, 0], [0, 0, 0, 0, 0, 2*j, 0, 0], [0, 0, 0, 0, 0, 0, 1/3*k, 1 - 1/3*i - 1/3*k], [0, 0, 0, 0, 0, 0, 0, 1 + i] ]); ErzMat[3]:= Matrix(H,8,8,[ [-1/4 - 1/12*i + 1/4*j + 1/12*k, 1/4 - 1/4*i - 3/4*j + 1/12*k, -1/4 - 1/12*i + 1/4*j + 1/12*k, 1/4 - 1/4*i - 3/4*j + 1/12*k, 3/4 - 1/12*i - 3/4*j + 1/12*k, -3/4 - 1/4*i + 1/4*j + 1/12*k, 0, 0], [0, -1 + i, -1/3*i - j - 1/3*k, -1 + 2/3*i, -1 + 2/3*i + 1/2*j - 1/6*k, 1 + 1/2*j - 1/6*k, 0, 0], [0, 0, 1/3*i, -1/3*i + j + 1/3*k, -1/2 + 1/6*i + 1/2*j + 1/6*k, -1/2 + 1/6*i + 1/2*j - 1/2*k, 0, 0], [0, 0, 0, -1 - i, -1/2 - 1/6*i + j, 1/2 + 1/6*i + j - 2/3*k, 0, 0], [0, 0, 0, 0, -1/3*k, 1 + 1/3*i + 1/3*k, 0, 0], [0, 0, 0, 0, 0, 2 - 2*j, 0, 0], [0, 0, 0, 0, 0, 0, 1/2*j + 1/6*k, -1 + 1/3*i - 1/2*j - 1/6*k], [0, 0, 0, 0, 0, 0, 0, 1 + i] ]); ErzMat[4]:= Matrix(H,8,8,[ [-1/4 - 1/12*i - 1/4*j - 1/12*k, 1/4 + 5/12*i - 1/4*j + 1/4*k, -1/4 - 1/12*i - 3/4*j + 1/12*k, 1/4 - 1/4*i + 1/4*j + 1/12*k, 1/4 + 1/12*i + 1/4*j + 1/12*k, -1/4 - 5/12*i + 1/4*j - 1/4*k, -1/4 + 1/4*i - 1/4*j - 1/12*k, 1/4 + 1/12*i - 1/4*j - 5/12*k], [0, -2*j, -1/2 - 5/6*i + 1/2*j - 1/6*k, 3/2 + 1/2*i + 1/2*j - 1/6*k, 1/2 + 1/2*i - 1/2*j + 1/6*k, 1/2 - 1/6*i + 5/2*j - 1/6*k, -1 - 1/3*i - j + 1/3*k, -2 - 2/3*k], [0, 0, -1/2*j - 1/6*k, -1 - 1/3*i + 1/2*j + 1/6*k, 1/3*k, 1 - 1/3*i - 1/3*k, 0, 0], [0, 0, 0, -1 - i, -1/2*j + 1/6*k, 1 + 1/3*i + 1/2*j - 1/6*k, 0, 0], [0, 0, 0, 0, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k, 0, 0], [0, 0, 0, 0, 0, -2, 1/3*k, 1 - 1/3*i - 1/3*k], [0, 0, 0, 0, 0, 0, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k], [0, 0, 0, 0, 0, 0, 0, -1 - i + j + k] ]); ErzMat[5]:= Matrix(H,8,8,[ [-1/4 + 1/12*i, 1/4 - 1/12*i + 1/3*k, 1/4*j - 1/12*k, -1/2 - 1/6*i - 1/4*j + 1/12*k, -1/6*i + 1/4*j + 1/12*k, -1/2 + 1/3*i + 1/4*j - 1/4*k, 0, 0], [0, j - k, 1/3*i - 1/2*j - 1/6*k, 2 + 1/3*i + 3/2*j + 1/2*k, 2/3*i - 1/3*k, 1 - 1/3*i - 2*j + k, 0, 0], [0, 0, 1/2*j + 1/6*k, -1 + 1/3*i - 1/2*j - 1/6*k, -1/3*k, 1 + 1/3*i + 1/3*k, 0, 0], [0, 0, 0, 2 + 2*j, 1/2 + 1/6*i + 2/3*k, -5/2 - 5/6*i, 0, 0], [0, 0, 0, 0, 1/3*i, -1/3*i - 2/3*k, 0, 0], [0, 0, 0, 0, 0, -2 + j - k, 0, 0], [0, 0, 0, 0, 0, 0, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k], [0, 0, 0, 0, 0, 0, 0, 2*j] ]); ErzMat[6]:= Matrix(H,8,8,[ [1/6*i - 1/6*k, -1/2 + 1/2*j + 1/3*k, -1/6*i - 1/6*k, -1/2 + 1/3*i - 1/2*j, 0, 0, 0, 0], [0, -1 + i, -1/2*j + 1/6*k, 1 + 1/3*i - 3/2*j - 1/6*k, 0, 0, 0, 0], [0, 0, -1/2 - 1/6*i, 1/2 + 1/6*i - 2/3*k, 0, 0, 0, 0], [0, 0, 0, 1 + i - j - k, 0, 0, 0, 0], [0, 0, 0, 0, 1/4 - 1/12*i + 1/6*k, -3/4 - 1/12*i + 1/2*j, 1/4 + 1/12*i + 1/4*j - 1/4*k, 3/4 - 1/12*i + 1/4*j + 1/12*k], [0, 0, 0, 0, 0, 2, 1/3*i + 2/3*k, -1 - j - 1/3*k], [0, 0, 0, 0, 0, 0, 1/2*j + 1/6*k, -1 + 1/3*i - 1/2*j - 1/6*k], [0, 0, 0, 0, 0, 0, 0, -2 - 2*j] ]); ErzMat[7]:= Matrix(H,8,8,[ [-1/4*j - 1/12*k, 1/3*i + 1/4*j + 1/12*k, -1/4 - 1/12*i, 1/4 + 1/12*i - 1/2*j + 1/6*k, 1/4 - 1/12*i + 1/6*k, -3/4 - 1/12*i + 1/2*j, -1/4 + 1/4*i + 3/4*j - 1/12*k, 1/4 + 1/12*i - 1/4*j + 7/12*k], [0, 1 - i, 1 + 2/3*i - 1/2*j - 1/6*k, -1 + 3/2*j - 1/6*k, -1 - 1/3*k, 2 + 1/3*i - j - 2/3*k, 3/2 - 5/6*i - 3/2*j - 1/6*k, -3/2 - 1/2*i + 3/2*j - 7/6*k], [0, 0, -1/2 + 1/6*i, 1/2 - 1/6*i - j - 1/3*k, 0, 0, 1/2 + 1/6*i - 1/2*j + 1/6*k, 1/2 + 1/6*i + 1/2*j + 1/2*k], [0, 0, 0, -1 - i + j + k, 0, 0, -1/3*i - 1/3*k, 1 + 2/3*i - k], [0, 0, 0, 0, -1/2*j + 1/6*k, -2/3*i + 1/2*j - 1/6*k, 1/3*k, 1 - 1/3*i - 1/3*k], [0, 0, 0, 0, 0, 1 - i, -1/3*i, 2 + 1/3*i + j - 1/3*k], [0, 0, 0, 0, 0, 0, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k], [0, 0, 0, 0, 0, 0, 0, 1 - i + j - k] ]); ErzMat[8]:= Matrix(H,8,8,[ [1/4 - 1/12*i, -7/4 - 5/12*i - j + 5/3*k, -5/4 + 3/4*i + 2/3*k, -13/4 - 11/12*i - 2*j - 2/3*k, 1/2 - 2/3*i + 3/4*j + 11/12*k, -2 + 1/2*i + 7/4*j - 13/12*k, 7/4 + 7/4*i - 11/4*j + 11/12*k, -5/4 - 11/12*i - 1/4*j + 13/12*k], [0, -1 + i, 1/3*i - 2/3*k, 1/3*i - 2*j, -1 + 1/3*k, -1/3*i - j - 4/3*k, 3/2 + 5/6*i + 3/2*j + 1/6*k, -3/2 + 1/2*i - 1/2*j + 1/6*k], [0, 0, -1/2 + 1/6*i, 1/2 - 1/6*i - j - 1/3*k, 0, 0, 1/3*i + 1/2*j - 1/6*k, 1/3*i - 1/2*j - 1/2*k], [0, 0, 0, 1 - i + j - k, 0, 0, -1 + 2/3*i, -1 - 2/3*i - 4/3*k], [0, 0, 0, 0, -1/2*j + 1/6*k, -2/3*i + 1/2*j - 1/6*k, 1/3*k, 1 - 1/3*i - 1/3*k], [0, 0, 0, 0, 0, 1 - i, 1/3*i - 1/2*j + 1/6*k, 1 + 1/2*j - 5/6*k], [0, 0, 0, 0, 0, 0, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k], [0, 0, 0, 0, 0, 0, 0, 1 - i + j - k] ]); ErzMat[9]:= Matrix(H,8,8,[ [1/4 - 1/12*k, -1/2 + 1/12*i + 1/4*j - 1/6*k, 1/4 - 1/2*j - 1/4*k, 1/2 - 1/4*i + 3/4*j, -1/4 - 1/6*i + 1/4*k, 1 - 1/12*i - 3/4*j - 1/6*k, 0, 0], [0, -j + k, -1 - 2/3*i + 1/2*j + 1/6*k, i - 1/2*j - 5/6*k, 1 + j + 1/3*k, -2 - 1/3*i + j - 1/3*k, 0, 0], [0, 0, 1/3*i, -1/3*i + j + 1/3*k, -1/2 + 1/6*i - 1/2*j - 1/6*k, -1/2 - 1/2*i - 1/2*j - 1/6*k, 0, 0], [0, 0, 0, -1 - i, -1/2 - 1/6*i - 1/3*k, 1/2 - 1/2*i - 1/3*k, 0, 0], [0, 0, 0, 0, -1/3*k, -2/3*i - j - 2/3*k, 0, 0], [0, 0, 0, 0, 0, -1 + i + 3*j + k, 0, 0], [0, 0, 0, 0, 0, 0, 1/3*k, 2/3*i - 1/3*k], [0, 0, 0, 0, 0, 0, 0, 2] ]); ErzMat[10]:= Matrix(H,8,8,[ [1/8 - 1/24*i + 1/8*j + 1/8*k, 1/8 - 5/24*i - 1/8*j - 7/24*k, -3/8 + 1/8*i + 1/8*j + 1/8*k, -3/8 + 5/8*i - 1/8*j + 3/8*k, 1/8 - 1/24*i + 1/8*j + 1/8*k, 1/8 - 5/24*i - 1/8*j - 7/24*k, 1/4 + 1/12*i + 1/6*k, -3/4 - 1/4*i + 1/6*k], [0, -j - k, -1/2 - 1/6*i + 3/2*j + 1/6*k, -1/2 + 1/2*i + 5/2*j + 7/6*k, -1/3*i + 1/2*j + 1/2*k, 1/3*i - 3/2*j - 5/6*k, 1/2 - 1/6*i + 1/3*k, -3/2 - 1/6*i + j], [0, 0, 1/3*k, 1 - 1/3*i - 1/3*k, 1/2 - 1/6*i + 1/2*j + 1/2*k, -1/2 + 1/6*i + 1/2*j - 1/6*k, 0, 0], [0, 0, 0, 2*j, 1/2 + 1/2*i + 1/3*k, -1/2 + 1/6*i - 1/3*k, 0, 0], [0, 0, 0, 0, -1/2*j + 1/6*k, -2/3*i + 1/2*j - 1/6*k, 1/2*j + 1/6*k, -1 + 1/3*i - 1/2*j - 1/6*k], [0, 0, 0, 0, 0, -2 - 2*j, -1/2 - 1/6*i - 2/3*k, 5/2 + 5/6*i], [0, 0, 0, 0, 0, 0, 1/2*j + 1/6*k, 1 + 1/3*i + 3/2*j - 1/6*k], [0, 0, 0, 0, 0, 0, 0, 1 - i - 2*j] ]); ErzMat[11]:= Matrix(H,8,8,[ [-1/8 + 1/8*i + 1/8*j + 1/24*k, 1/8 - 7/24*i + 1/8*j + 5/24*k, -1/8 - 5/24*i + 1/8*j + 1/24*k, 1/8 + 1/24*i - 7/8*j - 1/8*k, -1/8 + 1/8*i + 1/8*j + 1/24*k, 1/8 - 7/24*i + 1/8*j + 5/24*k, -1/2 + 1/4*j - 1/12*k, 1/2 + 1/3*i - 3/4*j - 5/12*k], [0, -1/2 - 1/2*i - j, -1/2*j - 1/2*k, i, -1/2 + 1/4*j - 1/12*k, -1/2 - 2/3*i - 3/4*j - 5/12*k, 5/4 + 1/12*i + 3/4*j - 5/12*k, 5/4 + 13/12*i + 5/4*j + 3/4*k], [0, 0, 1/2 - 1/6*i, -1/2 + 1/6*i - j + 1/3*k, 1/2 + 1/6*i + 1/2*j - 1/2*k, -1/2 - 1/6*i + 1/2*j + 1/6*k, -1 + 1/3*i, 1 - 1/3*i - j + 1/3*k], [0, 0, 0, -1 - i, 2/3*i + 2/3*k, 1 - 1/3*i, -1 - 1/3*i + j, -1 + 1/3*i - 2*j - 1/3*k], [0, 0, 0, 0, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k, -1/2 - 1/6*i - j + 1/3*k, -1/2 - 1/6*i], [0, 0, 0, 0, 0, 1 - i + j - k ,1 + 4/3*i - 1/2*j - 1/6*k, 1/3*i - 1/2*j + 1/2*k], [0, 0, 0, 0, 0, 0, -1/3*k, 1 + 1/3*i - 2*j + 1/3*k], [0, 0, 0, 0, 0, 0, 0, 2 + 2*i] ]); ErzMat[12]:= Matrix(H,8,8,[ [-1/8 + 1/8*i + 1/8*j + 1/24*k, 1/8 - 7/24*i + 1/8*j + 5/24*k, -1/8 - 5/24*i + 1/8*j + 1/24*k, 1/8 + 1/24*i - 7/8*j - 1/8*k, -1/8 + 1/8*i + 1/8*j + 1/24*k, 1/8 - 7/24*i + 1/8*j + 5/24*k, -1/2 + 1/4*j - 1/12*k, 1/2 + 1/3*i - 3/4*j - 5/12*k], [0, -1/2 - 1/2*i - j, -1/3*i - 1/3*k, 2/3*i - 1/2*j + 1/2*k, -1/2 + 1/4*j - 1/12*k, -1/2 - 2/3*i - 3/4*j - 5/12*k, -1/4 - 1/12*i - 1/4*j - 5/12*k, 3/4 + 5/4*i - 3/4*j + 13/12*k], [0, 0, 1/2 - 1/6*i, -1/2 + 1/6*i - j + 1/3*k, 1/2 + 1/6*i + 1/2*j - 1/2*k, -1/2 - 1/6*i + 1/2*j + 1/6*k, -1 + 1/3*i, 1 - 1/3*i - j + 1/3*k], [0, 0, 0, -1 - i, 2/3*i + 2/3*k, 1 - 1/3*i, -1 - 1/3*i + j, -1 + 1/3*i - 2*j - 1/3*k], [0, 0, 0, 0, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k, -1/2 - 1/6*i - j + 1/3*k, -1/2 - 1/6*i], [0, 0, 0, 0, 0, 1 - i + j - k, 1 + 4/3*i - 1/2*j - 1/6*k, 1/3*i - 1/2*j + 1/2*k], [0, 0, 0, 0, 0, 0, -1/3*k, 1 + 1/3*i - 2*j + 1/3*k], [0, 0, 0, 0, 0, 0, 0, 2 + 2*i] ]); ErzMat[13]:= Matrix(H,8,8,[ [-1/8 - 1/24*i + 1/8*j - 1/8*k, -3/8 + 1/24*i - 3/8*j + 5/24*k, 1/8 - 1/8*i - 1/8*j - 1/24*k, -1/8 + 7/24*i - 1/8*j - 5/24*k, 5/8 + 1/24*i - 5/8*j - 5/24*k, 3/8 - 5/24*i - 5/8*j - 3/8*k, -1/4 - 1/4*i - 1/4*j + 1/4*k, -1/4 - 1/4*i - 1/4*j + 1/4*k], [0, 2, -1/4 - 1/12*i + 3/4*j + 1/4*k, 1/4 - 11/12*i - 5/4*j - 1/12*k, -3/4 - 23/12*i + 5/4*j + 1/12*k, -1/4 - 17/12*i + 9/4*j + 3/4*k, 3/2 + 2/3*i + 7/4*j + 5/12*k, 3/2 + 2/3*i + 3/4*j + 3/4*k], [0, 0, -1/4 - 1/12*i + 1/4*j + 1/12*k, 1/4 - 1/4*i - 3/4*j + 1/12*k, 1/4 + 1/12*i - 1/4*j - 1/12*k, -1/4 + 1/4*i + 3/4*j - 1/12*k, 1/2 - 1/4*j + 1/12*k, -1/2 - 1/3*i + 3/4*j + 5/12*k], [0, 0, 0, 2*j, -2/3*i + 1/2*j + 1/6*k, -3/2*j + 1/6*k, -1 - 1/3*i - 1/3*k, 2/3*i - j], [0, 0, 0, 0, -1/3*k, -2/3*i - j - 2/3*k, 0, 0], [0, 0, 0, 0, 0, 3 - i + j + k, 0, 0], [0, 0, 0, 0, 0, 0, -1/3*k, 4/3*i + 1/3*k], [0, 0, 0, 0, 0, 0, 0, 1 + i - j + k] ]); ErzMat[14]:= Matrix(H,8,8,[ [1/8 + 1/8*i + 1/8*j - 1/24*k, -3/8 - 5/24*i + 3/8*j + 1/24*k, 1/8 - 1/24*i + 1/8*j + 1/8*k, 1/8 - 5/24*i - 1/8*j - 7/24*k, 5/8 - 5/24*i + 9/8*j + 1/8*k, -3/8 - 1/24*i - 1/8*j + 1/24*k, -1/6*i + 1/4*j - 5/12*k, -1/6*i + 1/4*j + 1/4*k], [0, 2, 1/4 - 1/12*i - 3/4*j - 1/12*k, 1/4 + 11/12*i + 3/4*j - 1/4*k, 11/4 + 1/12*i - 13/4*j + 3/4*k, -1/4 - 7/12*i + 5/4*j - 5/12*k, 5/4 + 13/12*i + j + 1/2*k, 1/4 - 7/12*i - j - 1/6*k], [0, 0, 1/6*i + 1/6*k, 1/2 - 1/3*i + 1/2*j, 1/6*i + 1/2*j + 1/3*k, -1/2 - 1/6*k, 1/4 - 1/12*i + 1/4*j - 1/4*k, -3/4 - 5/12*i + 1/4*j + 5/12*k], [0, 0, 0, 2*j, 1/2 + 5/6*i + 3/2*j + 1/6*k, -3/2 - 1/2*i - 1/2*j + 1/6*k, -1 + 3/2*j - 1/2*k, -1 - 1/2*j + 3/2*k], [0, 0, 0, 0, 1/2 + 1/6*i, 1/2 + 5/6*i - j - 1/3*k, -1/3*i - 1/2*j + 1/6*k, -1 + 2/3*i - 1/2*j - 1/2*k], [0, 0, 0, 0, 0, 2 - 2*k, 1 - 1/2*j + 5/6*k, -1/3*i - 5/2*j - 11/6*k], [0, 0, 0, 0, 0, 0, -1/2 + 1/6*i, 1/2 - 1/6*i + 2*j + 2/3*k], [0, 0, 0, 0, 0, 0, 0, 1 + i + j - k] ]); ErzMat[15]:= Matrix(H,8,8,[ [1/16 + 1/48*i + 3/16*j - 1/48*k, -5/16 - 3/16*i - 1/16*j - 1/48*k, 1/16 + 3/16*i - 1/16*j - 13/48*k, 3/16 + 7/48*i + 3/16*j - 5/48*k, 5/16 - 1/16*i + 3/16*j - 3/16*k, -1/16 + 1/16*i + 7/16*j + 5/16*k, 5/4 - 1/6*i + 3/8*j + 5/24*k, -1/4 + 1/3*i + 3/8*j - 1/8*k], [0, j + k, -3/2 - 1/2*i - 1/2*j - 1/6*k, -3/2 + 1/6*i - 1/2*j - 5/6*k, -1 + 1/3*i + j - 1/3*k, 1 + i - j - 1/3*k, i + 5/2*j - 5/2*k, -1 - 5/2*j + 1/2*k], [0, 0, 1/2 + 1/6*i, -1/2 - 1/6*i + j - 1/3*k, 1/2 + 1/2*i - 1/3*k, 1/2 - 1/6*i + 1/3*k, -1/2 - 1/6*i + 1/2*j + 1/6*k, 1/2 - 1/2*i + 1/2*j + 1/6*k], [0, 0, 0, -2*j, -1/2 - 5/6*i + 1/2*j - 1/6*k, -1/2 + 1/2*i + 1/2*j - 1/6*k, -1/2*j + 1/6*k, -1 + 1/3*i - 1/2*j + 5/6*k], [0, 0, 0, 0, 1/2*j + 1/6*k, -1 + 1/3*i - 1/2*j - 1/6*k, -j, -j], [0, 0, 0, 0, 0, 2 - 2*j, 5/2 + 1/2*i + j + k, 3/2 - 1/2*i], [0, 0, 0, 0, 0, 0, -1/3*k, -2/3*i - j - 2/3*k], [0, 0, 0, 0, 0, 0, 0, 2*i + j + k] ]); ErzMat[16]:= Matrix(H,8,8,[ [1/16 - 1/48*i + 1/16*j - 5/48*k, -7/16 + 1/16*i - 1/16*j + 1/48*k, -3/16 - 5/48*i + 1/16*j - 13/48*k, -3/16 - 3/16*i + 7/16*j + 17/48*k, 1/16 + 7/48*i - 3/16*j - 3/16*k, 1/16 - 13/48*i - 5/16*j + 13/48*k, -5/8 - 1/24*i + j + 1/12*k, 3/8 - 1/24*i - 1/2*j + 1/4*k], [0, j + k, -1/2 + 5/6*i + 1/2*j - 1/6*k, 5/2 - 1/6*i + 3/2*j - 1/2*k, -1 + 1/3*i - j, -4/3*i + j - 2/3*k, 3 + 4/3*i + 2*j + k, 1 - 4/3*i - j - 2/3*k], [0, 0, 1/2 + 1/6*i, -1/2 - 1/6*i + j - 1/3*k, 1/2 + 1/2*i - 1/3*k, 1/2 - 1/6*i + 1/3*k, -1/2 - 1/6*i + 1/2*j + 1/6*k, 1/2 - 1/2*i + 1/2*j + 1/6*k], [0, 0, 0, -2*j, -1/2 - 5/6*i + 1/2*j - 1/6*k, -1/2 + 1/2*i + 1/2*j - 1/6*k, -1/2*j + 1/6*k, -1 + 1/3*i - 1/2*j + 5/6*k], [0, 0, 0, 0, 1/2*j + 1/6*k, -1 + 1/3*i - 1/2*j - 1/6*k, -j, -j], [0, 0, 0, 0, 0, 2 - 2*j, 5/2 + 1/2*i + j + k, 3/2 - 1/2*i], [0, 0, 0, 0, 0, 0, -1/3*k, -2/3*i - j - 2/3*k], [0, 0, 0, 0, 0, 0, 0, 2*i + j + k] ]); ErzMat[17]:= Matrix(H,8,8,[ [1/4 - 1/12*k, -1/2 + 1/12*i + 1/4*j - 1/6*k, -1/4 + 1/12*k, 1/2 - 1/12*i - 1/4*j + 1/6*k, 1/2 - 1/12*i + 1/4*j, -1/4 + 1/3*i - 1/2*j - 1/12*k, -1/4 - 1/4*i + 3/4*j + 1/4*k, -1/4 - 1/4*i + 3/4*j + 1/4*k], [0, -1 + i, -1/4 + 1/4*i + 1/4*j + 5/12*k, 5/4 - 11/12*i + 1/4*j + 1/12*k, -1/2*i + 3/4*j - 7/12*k, 1/2 + 1/3*i - 7/4*j + 7/12*k, -1/2 + 5/6*i + 4*j, -1/2 + 1/6*i + 3*j + 1/3*k], [0, 0, -1/4 + 1/12*i + 1/4*j - 1/12*k, -1/4 - 1/4*i - 1/4*j + 5/12*k, -1/4 - 1/12*i + 1/2*j, -3/4 + 1/12*i + 1/6*k, 1/3*i - 1/2*j + 1/6*k, -1 - 1/2*j + 1/6*k], [0, 0, 0, -j - k, 1/2 - 1/2*i + 1/3*k, -1/2 - 5/6*i - 1/3*k, -1 - 1/3*i + j, -2/3*i - 1/3*k], [0, 0, 0, 0, 1/2*j + 1/6*k, 2 - 2/3*i + 1/2*j + 5/6*k, 1/3*i + 1/2*j + 1/2*k, 2 - 1/3*i + 1/2*j - 1/6*k], [0, 0, 0, 0, 0, -2*j + 2*k, -1 + j + 1/3*k, 2 - 1/3*i - j + 5/3*k], [0, 0, 0, 0, 0, 0, -1/2 - 1/6*i, -1/2 - 5/6*i + j + 1/3*k], [0, 0, 0, 0, 0, 0, 0, -1 - i + j - k] ]); ErzMat[18]:= Matrix(H,8,8,[ [1/12*i - 1/4*j, 1/4 + 1/6*i + 1/2*j + 1/12*k, 1/12*i + 1/4*j + 1/6*k, 1/4 - 1/2*i - 1/12*k, 1/12*i - 1/4*j, 1/4 + 1/6*i + 1/2*j + 1/12*k, 1/4 - 1/12*i - 1/4*j + 1/4*k, 1/4 + 7/12*i + 3/4*j - 1/12*k], [0, j + k, -1 - 1/3*i + 1/3*k, 2 - 2*j + 1/3*k, -1/2 + 1/6*i - 1/3*k, -1/2 + 1/6*i + k, -1/2 + 5/6*i - j + 1/3*k, -3/2 - 1/6*i + 3*j + k], [0, 0, 1/3*i, -1/3*i - j + 1/3*k, -1 + 1/2*j - 1/6*k, -1/3*i - 1/2*j + 1/6*k, 0, 0], [0, 0, 0, j + k, -1/2 + 1/2*i - 1/2*j + 1/6*k, -1/2 - 1/6*i + 1/2*j - 1/6*k, 0, 0], [0, 0, 0, 0, -1/2*j + 1/6*k, -2/3*i + 1/2*j - 1/6*k, 1 - 1/3*i, 1 + 1/3*i + 2/3*k], [0, 0, 0, 0, 0, 1 - i, 7/4 + 1/4*i + 1/4*j - 1/4*k, 7/4 + 5/4*i - 1/4*j + 5/4*k], [0, 0, 0, 0, 0, 0, -1/2 + 1/6*i, -1/2 - 7/6*i - j - 1/3*k], [0, 0, 0, 0, 0, 0, 0, 2 + 2*i] ]); ErzMat[19]:= Matrix(H,8,8,[ [-1/8 - 1/24*i + 1/8*j - 1/8*k, -3/8 + 1/24*i - 3/8*j + 5/24*k, -1/8 - 1/24*i + 1/8*j - 1/8*k, -3/8 + 1/24*i - 3/8*j + 5/24*k, -1/8 - 1/24*i - 3/8*j - 7/24*k, 5/8 - 7/24*i + 1/8*j + 3/8*k, 1/4 + 1/12*i + 1/3*k, -1/4 + 7/12*i], [0, j + k, -1/2 + 1/6*i, 1/2 - 1/6*i + 2/3*k, -1 - 1/3*i - j + 1/3*k, 1 - i + 2*j - 2/3*k, 9/4 - 5/12*i + 3/4*j + 1/12*k, 7/4 + 1/12*i - 9/4*j + 3/4*k], [0, 0, 1/3*i, -1/3*i - j + 1/3*k, -1 + 1/2*j - 1/6*k, -1/3*i - 1/2*j + 1/6*k, 0, 0], [0, 0, 0, j + k, -1/2 + 1/2*i - 1/2*j + 1/6*k, -1/2 - 1/6*i + 1/2*j - 1/6*k, 0, 0], [0, 0, 0, 0, -1/2*j + 1/6*k, -2/3*i + 1/2*j - 1/6*k, 1 - 1/3*i, 1 + 1/3*i + 2/3*k], [0, 0, 0, 0, 0, -2*j, -1/2 - 2/3*i - 3/2*j + 4/3*k, -2 - 1/6*i + 2*j + 1/2*k], [0, 0, 0, 0, 0, 0, -1/2 + 1/6*i, -1/2 - 7/6*i - j - 1/3*k], [0, 0, 0, 0, 0, 0, 0, 2 + 2*i] ]); ErzMat[20]:= Matrix(H,8,8,[ [-1/16 + 1/48*i + 3/16*j + 1/48*k, 15/16 - 11/48*i + 5/16*j - 7/16*k, 7/16 - 5/16*i + 7/16*j + 5/48*k, 7/16 - 11/48*i + 9/16*j - 17/48*k, -13/16 + 7/16*i + 11/16*j + 17/48*k, 3/16 + 25/48*i + 5/16*j + 19/48*k, -7/8 + 13/24*i + 5/2*j + 3/4*k, 9/8 + 5/24*i - 1/12*k], [0, j - k, 1/2 - 1/6*i + j, -1/2 + 1/6*i + j - 2/3*k, i - 1/2*j + 5/6*k, 1 + 2/3*i - 1/2*j + 1/6*k, 7/3*i + 3/2*j + 7/6*k, 1 - 1/2*j - 5/6*k], [0, 0, 1/2 + 1/6*i, -1/2 - 1/6*i + j - 1/3*k, 1/2 + 1/2*i - 1/3*k, 1/2 - 1/6*i + 1/3*k, 1/2*j + 1/6*k, 1 + 1/3*i - 1/2*j - 1/6*k], [0, 0, 0, 2*j, 1/2 + 5/6*i - 1/2*j + 1/6*k, 1/2 - 1/2*i - 1/2*j + 1/6*k, 1 - 2/3*i + j, 1 + 2/3*i - 2*j + 1/3*k], [0, 0, 0, 0, 1/2*j + 1/6*k, -1 + 1/3*i - 1/2*j - 1/6*k, -j, -j], [0, 0, 0, 0, 0, -1 - i - j - k, 1 + 1/2*j - 5/6*k, 2 + 1/3*i - 1/2*j - 7/6*k], [0, 0, 0, 0, 0, 0, -1/3*k, -2/3*i - j - 2/3*k], [0, 0, 0, 0, 0, 0, 0, -2*i - j - k] ]); ErzMat[21]:= Matrix(H,8,8,[ [-1/4 - 1/12*k, 1/12*i - 1/4*j + 1/3*k, -1/4*i - 1/4*j, -1/4 + j + 1/4*k, -1/4 + 1/6*i + 1/2*j + 1/4*k, -1/2 + 1/12*i - 1/4*j + 1/6*k, 3/4 + 1/6*i - 1/2*j - 1/12*k, -1/12*i + 1/4*j], [0, 1 - i, 1/3*i + 1/2*j - 1/2*k, 3 + 2/3*i - 1/2*j - 1/6*k, 2 + 1/3*k, -4/3*i + j + 2/3*k, -2 - 2/3*i - 5/2*j - 1/6*k, 1 + 1/3*i + 1/2*j - 1/2*k], [0, 0, 1/2*j + 1/6*k, -2/3*i - 1/2*j - 1/6*k, -1/2*j - 1/6*k, 2/3*i + 1/2*j + 1/6*k, 0, 0], [0, 0, 0, j + k, 1/2 - 1/6*i + 1/3*k, -3/2 - 1/6*i - k, 0, 0], [0, 0, 0, 0, -1/2*j - 1/6*k, -1 - 1/3*i + 1/2*j + 1/6*k, 1/3*k, 1 - 1/3*i - 1/3*k], [0, 0, 0, 0, 0, j - k, -1/2 - 1/6*i + 1/2*j + 1/6*k, -1/2 + 1/2*i - 3/2*j + 1/6*k], [0, 0, 0, 0, 0, 0, 1/2 + 1/6*i, 1/2 + 5/6*i - j - 1/3*k], [0, 0, 0, 0, 0, 0, 0, 1 + i - 3*j + k] ]); ErzMat[22]:= Matrix(H,8,8,[ [1/6*i - 1/6*k, 1/2 - 1/2*j + 1/3*k, 0, 0, -1/4 - 1/4*i + 1/4*j - 1/4*k, 3/4 - 1/4*i - 3/4*j - 1/4*k, 1/4 + 1/12*i + 1/4*j - 1/12*k, -1/4 + 1/4*i - 1/4*j + 5/12*k], [0, 1/2 - 1/2*i - 1/2*j + 1/2*k, -1/4 - 1/12*i - 1/4*j + 1/4*k, -3/4 + 1/12*i - 1/4*j - 1/12*k, -1/4 + 1/12*i - 5/6*k, -1/4 - 1/4*i - 3/2*j - 1/3*k, 1 + 1/6*i + 1/4*j - 1/12*k, -1/2 - 1/3*i + 3/4*j + 3/4*k], [0, 0, -1/2*j - 1/6*k, -1 - 1/3*i + 1/2*j + 1/6*k, 1/3*k, 1 - 1/3*i - 1/3*k, 0, 0], [0, 0, 0, -1 - i, -1/2*j + 1/6*k, 1 + 1/3*i + 1/2*j - 1/6*k, 0, 0], [0, 0, 0, 0, 1/2 - 1/6*i, -1/2 + 1/6*i - j + 1/3*k, 1/3*k, 1 - 1/3*i - 1/3*k], [0, 0, 0, 0, 0, j + k, -1/2 - 1/6*i + 1/2*j - 1/6*k, -1/2 - 1/6*i - 1/2*j - 1/2*k], [0, 0, 0, 0, 0, 0, -1/2*j + 1/6*k, 2 - 2/3*i + 5/2*j - 1/6*k], [0, 0, 0, 0, 0, 0, 0, 2*j - 2*k] ]); ErzMat[23]:= Matrix(H,8,8,[ [-1/8 - 1/8*i - 1/8*j + 1/24*k, -1/8 - 7/24*i + 1/8*j + 11/24*k, 1/8 - 1/24*i - 1/8*j - 1/8*k, -3/8 + 7/24*i + 1/8*j - 1/24*k, -3/8 - 1/24*i - 3/8*j - 5/24*k, 5/8 + 1/8*i - 1/8*j - 11/24*k, 3/8 - 7/24*i - 1/8*j + 1/24*k, -5/8 - 1/8*i + 1/8*j - 5/24*k], [0, -j + k, 1/2 - 1/6*i - 1/3*k, -3/2 + 1/2*i - 1/3*k, -2/3*i - j - 2/3*k, 1 + 1/3*i + 2*j - k, 1 - 1/3*i + 1/2*j - 1/6*k, -1 - i + 1/2*j - 1/6*k], [0, 0, -1/2 + 1/6*i, 1/2 - 1/6*i - j - 1/3*k, 0, 0, -1/2*j - 1/6*k, 1 - 1/3*i + 1/2*j + 1/6*k], [0, 0, 0, j + k, 0, 0, -1/3*i + 1/2*j + 1/6*k, -2 - 1/3*i + 1/2*j - 1/2*k], [0, 0, 0, 0, -1/2 + 1/6*i, 1/2 - 1/6*i - j - 1/3*k, -1/2 - 1/6*i, 1/2 + 1/6*i - 2/3*k], [0, 0, 0, 0, 0, -2, 1/2 - 1/6*i + j, -3/2 + 7/6*i - 2*j + 1/3*k], [0, 0, 0, 0, 0, 0, -1/2*j + 1/6*k, 1 + 1/3*i + 3/2*j + 5/6*k], [0, 0, 0, 0, 0, 0, 0, 3 + i - j + k] ]); ErzMat[24]:= Matrix(H,8,8,[ [1/4 - 1/12*i - 1/4*j + 1/12*k, 1/4 + 1/4*i + 1/4*j - 5/12*k, 1/4 - 1/12*i - 1/4*j - 1/4*k, 1/4 - 5/12*i + 1/4*j - 1/12*k, -1/4 + 1/12*i + 1/4*j - 1/12*k, -1/4 - 1/4*i - 1/4*j + 5/12*k, -1/4 + 1/12*i + 1/4*j + 1/4*k, -1/4 + 5/12*i - 1/4*j + 1/12*k], [0, 1/2 - 1/2*i + 1/2*j - 1/2*k, 5/4 - 5/12*i + 1/2*j, 1/4 - 13/12*i + 5/6*k, -1/2 - 1/4*j - 1/4*k, -1 + 1/2*i - 3/4*j + 1/4*k, -1 + 1/6*i - 1/4*j + 1/12*k, -1/2 + i + 1/4*j - 5/12*k], [0, 0, -1/2*j + 1/6*k, -2/3*i + 1/2*j - 1/6*k, 0, 0, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k], [0, 0, 0, j + k, 1/2 - 1/6*i - 1/2*j - 1/6*k, 1/2 - 1/6*i + 1/2*j - 1/2*k, -1/2 + 1/6*i, 1/2 - 1/6*i - j - 1/3*k], [0, 0, 0, 0, -1/3*k, -2/3*i + 1/3*k, 1/3*k, 2/3*i - 1/3*k], [0, 0, 0, 0, 0, 1 - i, -1/2 - 1/6*i - 1/2*j + 1/6*k, -1/2 + 1/2*i + 1/2*j - 5/6*k], [0, 0, 0, 0, 0, 0, 1/3*i, 1 + 2/3*i - 2*j - 2/3*k], [0, 0, 0, 0, 0, 0, 0, -2*j + 2*k] ]); ErzMat[25]:= Matrix(H,8,8,[ [1/4 - 1/12*i - 1/4*j + 1/12*k, 1/4 + 1/4*i + 1/4*j - 5/12*k, 1/4 - 1/12*i - 1/4*j - 1/4*k, 1/4 - 5/12*i + 1/4*j - 1/12*k, -1/4 + 1/12*i + 1/4*j - 1/12*k, -1/4 - 1/4*i - 1/4*j + 5/12*k, -1/4 + 1/12*i + 1/4*j + 1/4*k, -1/4 + 5/12*i - 1/4*j + 1/12*k], [0, -1/2 - 1/2*i - 1/2*j - 1/2*k, -1/2*i + 1/4*j + 5/12*k, -3/2 + 1/3*i + 1/4*j + 1/12*k, -1/4 - 1/12*i - 1/6*k, 5/4 + 3/4*i + 1/2*j + 1/3*k, 1/4 + 3/4*i - j - 1/6*k, 3/4 - 1/12*i - 1/2*j - 1/3*k], [0, 0, -1/2*j + 1/6*k, -2/3*i + 1/2*j - 1/6*k, 0, 0, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k], [0, 0, 0, j + k, 1/2 - 1/6*i - 1/2*j - 1/6*k, 1/2 - 1/6*i + 1/2*j - 1/2*k, -1/2 + 1/6*i, 1/2 - 1/6*i - j - 1/3*k], [0, 0, 0, 0, -1/3*k, -2/3*i + 1/3*k, 1/3*k, 2/3*i - 1/3*k], [0, 0, 0, 0, 0, 1 - i, -1/2 - 1/6*i - 1/2*j + 1/6*k, -1/2 + 1/2*i + 1/2*j - 5/6*k], [0, 0, 0, 0, 0, 0, 1/3*i, 1 + 2/3*i - 2*j - 2/3*k], [0, 0, 0, 0, 0, 0, 0, -2*j + 2*k] ]); ErzMat[26]:= Matrix(H,8,8,[ [1/4 + 1/12*i - 1/4*j - 1/12*k, -1/4 + 1/4*i + 3/4*j - 1/12*k, 3/4 - 1/12*i - 1/4*j + 1/4*k, 1/4 + 1/12*i - 1/4*j - 1/12*k, -1/4 - 1/12*i - 1/4*j + 1/4*k, -3/4 + 1/12*i - 1/4*j - 1/12*k, 1/4 + 1/12*i + 1/4*j + 1/12*k, -1/4 - 5/12*i + 1/4*j - 1/4*k], [0, 1/2 - 1/2*i - 1/2*j + 1/2*k, -3/4 + 1/12*i - 5/4*j - 1/12*k, -1/4 + 1/4*i + 1/4*j + 5/12*k, -1/3*i - 2/3*k, 1/2*j - 1/6*k, -1/2 - 1/4*j + 1/12*k, 2 + 1/6*i - 3/4*j - 1/12*k], [0, 0, 1/2 + 1/6*i, -1/2 - 1/6*i - j - 1/3*k, -1/2 + 1/6*i + 1/2*j + 1/6*k, -1/2 + 1/6*i - 1/2*j + 1/2*k, 0, 0], [0, 0, 0, -j + k, 1/2 + 1/6*i + 1/2*j - 1/2*k, 1/2 + 5/6*i + 1/2*j + 1/6*k, 0, 0], [0, 0, 0, 0, -1/2*j - 1/6*k, 2/3*i + 1/2*j + 1/6*k, 1/2*j + 1/2*k, 1/2*j + 1/2*k], [0, 0, 0, 0, 0, -1 - i, 1/2 - 1/6*i - j, -1/2 + 1/6*i + 1/3*k], [0, 0, 0, 0, 0, 0, 1/3*i, -1 - 4/3*i - 2*j - 2/3*k], [0, 0, 0, 0, 0, 0, 0, -4] ]); ErzMat[27]:= Matrix(H,8,8,[ [1/4 + 1/12*i - 1/4*j - 1/12*k, -1/4 + 1/4*i - 5/4*j - 1/12*k, -3/4 + 5/12*i - 3/4*j + 1/12*k, -5/4 - 3/4*i + 1/4*j + 1/12*k, -3/4 + 1/12*i - 3/4*j + 1/12*k, -5/4 - 5/12*i + 5/4*j - 1/4*k, 1/4 + 1/12*i - 1/4*j + 1/4*k, 3/4 - 1/12*i + 3/4*j - 5/12*k], [0, -1/2 + 1/2*i - 1/2*j + 1/2*k, -1/4 + 11/12*i + 3/4*j + 1/4*k, -7/4 + 1/12*i - 1/4*j - 13/12*k, -1/2 + 1/2*i - 1/3*k, -1/2 - 1/6*i - 5/3*k, -1/6*i - 1/4*j + 5/12*k, 3/2 - i + 1/4*j - 1/12*k], [0, 0, -1/2*j - 1/6*k, -1 - 1/3*i + 1/2*j + 1/6*k, 0, 0, -1/2*j - 1/6*k, -1 - 1/3*i + 1/2*j + 1/6*k], [0, 0, 0, -j - k, 0, 0, 1/3*i + 1/2*j + 1/6*k, 1 - 1/2*j - 5/6*k], [0, 0, 0, 0, -1/3*k, -2/3*i + 1/3*k, -1/2*j + 1/6*k, 1 + 1/3*i + 1/2*j - 1/6*k], [0, 0, 0, 0, 0, -j - k, -1/2 + 1/6*i, 1/2 - 1/6*i + 2/3*k], [0, 0, 0, 0, 0, 0, 1/3*k, -4/3*i - 3*j - 4/3*k], [0, 0, 0, 0, 0, 0, 0, -2*j + 2*k] ]); ErzMat[28]:= Matrix(H,8,8,[ [1/4 - 1/12*i - 1/4*j + 1/12*k, 1/4 + 1/4*i + 1/4*j - 5/12*k, 1/4 - 1/12*i + 1/4*j - 1/12*k, 1/4 - 1/12*i + 1/4*j + 1/4*k, -1/3*i + 1/4*j + 1/12*k, 3/4*j - 5/12*k, -1/3*i - 1/4*j + 1/4*k, 1/3*i - 1/4*j - 1/12*k], [0, -1 - i, -1/2 - 1/6*i, -1/2 + 1/6*i + 1/2*j - 1/6*k, 1/4 + 7/12*i - 1/2*j + 1/3*k, -3/4 - 5/12*i - 1/2*j + k, 1/4 + 11/12*i + 1/2*j + 1/3*k, 1/4 - 3/4*i - 1/6*k], [0, 0, -1/2*j + 1/6*k, -1/2 - 1/6*i - 1/2*j - 1/6*k, 1/6*i - 1/4*j - 1/12*k, 1/6*i + 3/4*j + 1/4*k, -1/6*i + 1/4*j + 1/12*k, 1/2 - 2/3*i + 1/4*j - 1/4*k], [0, 0, 0, 1 + 1/2*j + 1/2*k, 1/4 - 1/12*i - j - 1/6*k, -3/4 + 1/4*i - j - 1/6*k, -1/4 + 1/12*i + 1/2*j, -1/4 + 5/12*i + 5/6*k], [0, 0, 0, 0, 1/2 + 1/6*i, -1/2 - 1/6*i + 2/3*k, 1/3*k, -1 - 1/3*i - 1/3*k], [0, 0, 0, 0, 0, -2*j, 2/3*i, -2/3*i + 2/3*k], [0, 0, 0, 0, 0, 0, -1/2*j - 1/6*k, -2 + 2/3*i + 3/2*j + 7/6*k], [0, 0, 0, 0, 0, 0, 0, 2 + 2*i] ]); ErzMat[29]:= Matrix(H,8,8,[ [1/4*j + 1/12*k, -1/3*i - 1/4*j - 1/12*k, 1/4 + 1/12*i, -1/4 - 1/12*i + 1/2*j - 1/6*k, 1/4 + 1/12*i, -1/4 - 1/12*i + 1/2*j - 1/6*k, -1/4 + 1/12*i - 1/4*j + 1/12*k, -1/4 + 1/12*i - 1/4*j - 1/4*k], [0, j - k, -1/2 + 1/6*i - j, 3/2 + 5/6*i + j + 2/3*k, -j - 1/3*k, 1 + 1/3*i + j + 1/3*k, -1/2 - 5/6*i + 1/2*j + 1/6*k, -3/2 + 1/6*i + 3/2*j + 1/2*k], [0, 0, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k, 0, 0], [0, 0, 0, 1 - i, -1/2*j - 1/6*k, 1 - 1/3*i + 1/2*j + 1/6*k, 1/2 - 1/6*i - j + 1/3*k, 1/2 - 1/6*i], [0, 0, 0, 0, -1/2*j - 1/6*k, 1 - 1/3*i + 1/2*j + 1/6*k, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k], [0, 0, 0, 0, 0, -2, -1/2 - 1/6*i + 1/2*j + 1/6*k, 1/2 - 1/2*i + 1/2*j + 1/6*k], [0, 0, 0, 0, 0, 0, 1/2 - 1/6*i + 1/2*j + 1/6*k, 1/2 + 1/2*i - 3/2*j + 1/6*k], [0, 0, 0, 0, 0, 0, 0, 2 + 2*j] ]); ErzMat[30]:= Matrix(H,8,8,[ [-1/6*i, 1/2 - 1/3*i + 1/3*k, 1/2*i, 1/2, 1/3*i + 1/2*j, -1 - 1/3*i - 1/6*k, 0, 0], [0, -j - k, -1/2 - 1/6*i + 2/3*k, -1/2 + 1/2*i - j - 1/3*k, 1/2 - 1/6*i - j + 2/3*k, 3/2 - 1/2*i + 2*j - 1/3*k, 0, 0], [0, 0, 1/2 + 1/6*i, -1/2 - 1/6*i + 2/3*k, 1/2*j + 1/6*k, -1 + 1/3*i - 1/2*j - 1/6*k, 0, 0], [0, 0, 0, j + k, 1/2 - 1/6*i + 1/2*j - 1/6*k, -1/2 + 5/6*i - 1/2*j - 1/2*k, 0, 0], [0, 0, 0, 0, 1/2 + 1/6*i, 1/2 + 5/6*i - j - 1/3*k, 0, 0], [0, 0, 0, 0, 0, -2*j + 2*k, 0, 0], [0, 0, 0, 0, 0, 0, -1/4 + 1/12*i + 1/4*j - 1/12*k, -1/4 - 1/4*i - 1/4*j - 19/12*k], [0, 0, 0, 0, 0, 0, 0, -2 - 2*j] ]); ErzMat[31]:= Matrix(H,8,8,[ [1/4 - 1/12*i + 1/4*j - 1/12*k, -3/4 - 1/12*i - 1/4*j - 1/4*k, 0, 0, 1/4 - 5/12*i - 1/4*j + 1/12*k, -1/4 + 1/12*i - 1/4*j - 1/4*k, -1/4 + 7/12*i - 1/2*j, -1/4 - 1/12*i + 1/2*j + 1/3*k], [0, 2, 0, 0, 2/3*i - 1/2*j + 1/2*k, 1 + 1/3*i + 1/2*j + 1/6*k, 1/2 - 1/6*i + 3/2*j - 1/2*k, -1/2 + 1/6*i - 1/2*j - 7/6*k], [0, 0, 1/4 + 1/12*i - 1/4*j - 1/12*k, -1/4 + 1/4*i + 3/4*j - 1/12*k, -1/3*i, 1/2 - 1/6*i + 1/2*j + 1/6*k, 1/6*i + 1/4*j + 1/4*k, -1 - 1/6*i - 3/4*j - 1/12*k], [0, 0, 0, -2*j, 1/2 + 1/2*i + 1/2*j + 1/6*k, -1/2 + 5/6*i - 1/2*j - 1/6*k, -1/2 + 1/2*i - 1/2*j - 1/2*k, 1/2 - 1/2*i + 1/2*j + 1/2*k], [0, 0, 0, 0, 1/3*k, -1 - 1/3*i - 1/3*k, -1/3*i, 1/3*i - j - 1/3*k], [0, 0, 0, 0, 0, 2 + 2*j, 1/3*i - 1/2*j + 1/6*k, -1 + 3/2*j + 1/6*k], [0, 0, 0, 0, 0, 0, -1/2*j - 1/6*k, -1 - 1/3*i - 3/2*j + 1/6*k], [0, 0, 0, 0, 0, 0, 0, 1 - i + 2*j] ]); ErzMat[32]:= Matrix(H,8,8,[ [-1/12*i - 1/8*j + 1/24*k, 1/4 + 1/6*i - 1/8*j - 1/8*k, -1/8 + 1/24*i + 1/12*k, 3/8 - 1/8*i + 1/12*k, 1/8 + 1/8*i + 1/12*k, -3/8 - 5/24*i - 1/4*j + 1/6*k, -1/4 + 1/12*i + 1/6*k, -1/4 - 1/4*i - 1/2*j - 1/3*k], [0, 2*j, -1/2 - 1/6*i - 1/2*j - 1/2*k, -1/2 + 7/6*i - 1/2*j + 5/6*k, -3/2 + 1/6*i + 1/2*j + 1/6*k, 1/2 + 1/6*i - 3/2*j - 1/2*k, -1/2 - 1/6*i - 1/2*j - 5/6*k, 7/2 + 1/2*i + 1/2*j + 1/6*k], [0, 0, -1/3*k, 1 + 1/3*i + 1/3*k, 1/3*i + 1/2*j + 1/2*k, -1/3*i - 3/2*j - 1/6*k, -1/2 + 1/2*i, 1/2 - 1/2*i - j - k], [0, 0, 0, 2 + 2*j, i + 3/2*j + 1/2*k, -i - 3/2*j + 3/2*k, 1/2 + 7/6*i - 1/2*j - 1/6*k, -1/2 - 5/2*i - 7/2*j - 7/6*k], [0, 0, 0, 0, 1/2 - 1/6*i, -1/2 + 1/6*i - j + 1/3*k, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k], [0, 0, 0, 0, 0, 1 + i - 2*j, -1/2 - 1/6*i + j - 2/3*k, 1/2 + 5/6*i - j], [0, 0, 0, 0, 0, 0, -1/2*j - 1/6*k, -1 - 1/3*i + 1/2*j + 1/6*k], [0, 0, 0, 0, 0, 0, 0, -1 + i + j + k] ]); ErzMat[33]:= Matrix(H,8,8,[ [1/12*i - 1/8*j + 1/24*k, 1/4 + 3/8*j + 1/24*k, -1/8 + 1/24*i - 1/12*k, -1/8 + 1/24*i + 1/4*k, 3/8 + 1/24*i + 1/12*k, -5/8 - 1/8*i + 1/4*j + 1/3*k, -1/8 - 5/24*i - 1/8*j + 7/24*k, 1/8 + 1/24*i - 1/8*j + 1/8*k], [0, 1 + i, -1/2 - 1/6*i + 1/3*k, 3/2 - 1/6*i - j, 1 + 1/3*i - j - 2/3*k, 2 - 2/3*i + j + 2*k, 2 - 2/3*i + 1/3*k, -2/3*i - j], [0, 0, -1/3*i, 1/3*i + j - 1/3*k, 0, 0, 1/2*j - 1/2*k, 1/2*j - 1/2*k], [0, 0, 0, 2 - 2*j, 0, 0, 2/3*i - j + 1/3*k, -j + 1/3*k], [0, 0, 0, 0, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k, 1/2*j - 1/2*k, 1/2*j - 1/2*k], [0, 0, 0, 0, 0, 1 + i, 1/2 + 1/2*i - j - 2/3*k, -1/2 + 1/6*i - 1/3*k], [0, 0, 0, 0, 0, 0, -1/2 - 1/6*i, 1/2 + 1/6*i - 2/3*k], [0, 0, 0, 0, 0, 0, 0, 1 - i + 3*j + k] ]); ErzMat[34]:= Matrix(H,8,8,[ [1/12*i + 1/8*j - 1/24*k, -3/4 - 2/3*i + 9/8*j + 1/8*k, 7/8 + 1/24*i - 1/4*k, -1/8 + 17/24*i + 1/2*j - 1/12*k, 3/8 + 5/24*i - 1/4*j + 1/3*k, -9/8 - 19/24*i + 1/4*k, 13/8 + 5/24*i + 5/8*j + 25/24*k, -9/8 - 7/8*i + 1/8*j + 1/24*k], [0, -1 + i, -1/2 - 1/2*i - 1/3*k, 1/2 - 1/6*i - j - 2/3*k, 1/2 - 1/6*i + 1/2*j - 1/6*k, -1/2 + 5/6*i + 1/2*j + 1/2*k, 1/2 - 1/6*i + 3/2*j - 7/6*k, -1/2 + 5/6*i + 1/2*j + 1/2*k], [0, 0, 1/2*j + 1/6*k, -1 + 1/3*i - 1/2*j - 1/6*k, 0, 0, -1/3*i + j, 1/3*i - 1/3*k], [0, 0, 0, 2 - 2*j, 0, 0, -3/2 + 1/6*i - 1/2*j - 1/2*k, 1/2 - 7/6*i - 1/2*j + 1/6*k], [0, 0, 0, 0, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k, 1/2*j - 1/2*k, 1/2*j - 1/2*k], [0, 0, 0, 0, 0, -1 + i, -1/2 - 1/6*i - 1/2*j - 1/6*k, -1/2 - 1/6*i + 1/2*j - 1/2*k], [0, 0, 0, 0, 0, 0, -1/2 - 1/6*i, 1/2 + 1/6*i - 2/3*k], [0, 0, 0, 0, 0, 0, 0, -1 + i - 3*j - k] ]); ErzMat[35]:= Matrix(H,8,8,[ [-1/4 - 1/12*i, 1/4 + 1/12*i - 1/2*j + 1/6*k, 1/4*j + 1/12*k, -1/3*i - 1/4*j - 1/12*k, 3/4 + 1/12*i - 1/6*k, -1/4 + 1/12*i - 1/2*j, -1/4 - 1/12*i - 3/4*j + 5/12*k, 1/4 + 5/12*i + 1/4*j - 1/4*k], [0, -j + k, j + 1/3*k, -1 - 1/3*i - j - 1/3*k, 2 - j - 1/3*k, -1 + 1/3*i - j + 1/3*k, -3/2 - 5/6*i - 1/2*j + 7/6*k, 1/2 + 7/6*i + 1/2*j - 1/2*k], [0, 0, -1/6*i + 1/4*j - 1/12*k, 1/2*i + 1/4*j - 1/12*k, -1/2 + 1/6*i - 1/2*j - 1/6*k, 1/2*j - 1/6*k, -1/4 + 1/4*i + 1/4*j + 1/12*k, -3/4 - 7/12*i - 1/4*j - 1/12*k], [0, 0, 0, 1 - i + j - k, 3 + 1/3*i - 1/2*j - 5/6*k, -1 - i - 3/2*j + 1/6*k, -1 - 4/3*i - 2/3*k, 3*i - 3*j + 1/3*k], [0, 0, 0, 0, -1/2*j + 1/6*k, -1 + 1/3*i + 1/2*j - 1/6*k, 1/2*j + 1/6*k, -1 + 1/3*i - 1/2*j - 1/6*k], [0, 0, 0, 0, 0, 1 - i, 1/2 - 5/6*i - j - 1/3*k, 3/2 + 1/6*i + 2*j], [0, 0, 0, 0, 0, 0, 1/2 + 1/6*i - 1/3*k, 3/2 - 5/6*i + j], [0, 0, 0, 0, 0, 0, 0, -1 + i - j + k] ]); ErzMat[36]:= Matrix(H,8,8,[ [-1/4 + 1/12*i, 1/4 - 1/12*i + 1/3*k, 1/4*j - 1/12*k, -1/2 - 1/6*i - 1/4*j + 1/12*k, -1/6*i + 1/4*j + 1/12*k, -1/2 + 1/3*i + 1/4*j - 1/4*k, 1/4 + 7/12*i + 1/4*j + 1/4*k, -3/4 - 1/12*i - 1/4*j + 1/12*k], [0, -1/2 + 1/2*i + 1/2*j + 1/2*k, 1/2 - 1/3*i - 1/6*k, 1/2 - j - 1/6*k, -1/2 - 1/6*i + 1/3*k, -2/3*i + 1/2*j - 1/2*k, -1/2 + 1/3*i + j - 5/6*k, -1/2 - j + 1/6*k], [0, 0, 1/2 - 1/6*i, -1/2 + 1/6*i + j + 1/3*k, -1, 1, 1/2 - 1/2*i, -1/2 + 1/2*i], [0, 0, 0, 2 - 2*j, 2 + 1/2*j + 1/2*k, -2 - 1/2*j - 1/2*k, -1 + 2/3*i - 2/3*k, -i - j + 1/3*k], [0, 0, 0, 0, 1/2*j + 1/6*k, 1 + 1/3*i - 1/2*j - 1/6*k, 1/3*i + 1/2*j + 1/6*k, 1 + 1/2*j + 1/6*k], [0, 0, 0, 0, 0, j - k, 1/3*i - 3/2*j + 1/6*k, i + 1/2*j + 1/6*k], [0, 0, 0, 0, 0, 0, -1/2 - 1/6*i + 1/3*k, -1/2 - 1/6*i - k], [0, 0, 0, 0, 0, 0, 0, -1 + i - j + k] ]); ErzMat[37]:= Matrix(H,8,8,[ [-1/6*i, 1/6*i - 1/2*j - 1/6*k, 1/6*k, 1/2 - 1/6*i - 1/6*k, 1/4 + 1/12*i + 1/4*j + 1/4*k, -5/4 - 1/12*i - 1/4*j + 1/12*k, -1/6*i - 1/6*k, -1/2 + 1/3*i - 1/2*j], [0, 1/2 + 1/2*i + j, 1/4 - 5/12*i - 1/6*k, -1/4 + 1/12*i - 1/2*j + k, -1 - 1/3*i - 1/2*j - 1/6*k, 1/2 + 1/2*i - 1/2*j - 7/6*k, 1/6*i - 3/4*j + 1/4*k, 1/2 + 1/3*i + 3/4*j - 7/12*k], [0, 0, -1/2 - 1/6*i, 1/2 + 1/6*i - 2/3*k, 0, 0, -1/2*j - 1/6*k, 2/3*i + 1/2*j + 1/6*k], [0, 0, 0, 1 - i - j + k, 0, 0, 2/3*i + 1/3*k, 1 - i + j - 2/3*k], [0, 0, 0, 0, -1/2*j + 1/6*k, -1 + 1/3*i + 1/2*j - 1/6*k, 2/3*i - 1/2*j - 1/6*k, -1/2*j - 1/6*k], [0, 0, 0, 0, 0, -1 - i, -3/2 + 1/6*i + j - 2/3*k, -1/2 + 1/2*i + j - 2/3*k], [0, 0, 0, 0, 0, 0, 1/2*j - 1/6*k, -2 + 2/3*i + 3/2*j + 1/6*k], [0, 0, 0, 0, 0, 0, 0, -2 - 2*i] ]); ErzMat[38]:= Matrix(H,8,8,[ [1/12*i - 1/12*k, 1/4 - 1/2*i + 3/4*j + 2/3*k, -1/4*i + 1/2*j + 1/4*k, -5/4 + 1/4*j, 1/2 + 1/2*i - 1/4*j + 1/12*k, -1/2 - 5/6*i - 3/4*j + 11/12*k, -3/2 - 1/3*i - 1/2*j + 5/6*k, -1/2 + j + 1/3*k], [0, j - k, 1/2 + 1/6*i + 1/2*j - 1/2*k, 1/2 + 5/6*i + 1/2*j + 1/6*k, 1/2 - 1/2*i - 1/2*j + 1/6*k, -1/2 - 1/6*i + 5/2*j - 1/6*k, 1/2 + 1/6*i + 5/2*j + 1/6*k, 1/2 + 1/6*i + 1/2*j - 1/2*k], [0, 0, 1/3*k, -1 - 1/3*i - 1/3*k, 0, 0, 1 + 1/2*j - 1/6*k, -1/3*i - 1/2*j + 1/6*k], [0, 0, 0, 2 + 2*j, 0, 0, -1 + 2/3*i - 3/2*j + 1/6*k, -1/3*i + 1/2*j - 1/2*k], [0, 0, 0, 0, -1/2*j - 1/6*k, 1 - 1/3*i + 1/2*j + 1/6*k, 1/3*k, 2/3*i - 1/3*k], [0, 0, 0, 0, 0, 1 + i, 1/2 + 1/6*i, -1/2 - 1/6*i + j - 1/3*k], [0, 0, 0, 0, 0, 0, 1/2 + 1/6*i, -1/2 - 1/6*i + 2/3*k], [0, 0, 0, 0, 0, 0, 0, -2 + 2*i] ]); ErzMat[39]:= Matrix(H,8,8,[ [1/4 + 1/12*i, -1/4 - 1/12*i + 1/2*j - 1/6*k, 1/2 - 1/2*j, -1/2*i - 1/2*j, 1/2 - 1/4*j - 1/4*k, 1/2 - 1/4*j - 1/4*k, -1/4 + 1/4*i - 1/4*j + 1/4*k, -1/4 + 1/4*i - 1/4*j + 1/4*k], [0, -1 + 1/2*j + 1/2*k, 5/4 - 1/12*i - 1/2*j - 2/3*k, 5/4 - 3/4*i + 1/2*j + 1/3*k, 1/4 + 1/12*i + 1/4*j - 1/4*k, 1/4 + 5/12*i + 3/4*j - 5/12*k, -3/2*j + 1/6*k, 1/2 - 1/6*i - 3/2*j - 1/6*k], [0, 0, 1/2 - 1/6*i, -1/2 + 1/6*i + j + 1/3*k, 0, 0, -1/3*i, 1/3*i + 2/3*k], [0, 0, 0, 2 - 2*j, 0, 0, 1/2 + 1/2*i + 1/2*j + 1/6*k, 3/2 - 7/6*i - 1/2*j - 1/6*k], [0, 0, 0, 0, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k, 1/2*j - 1/2*k, 1/2*j - 1/2*k], [0, 0, 0, 0, 0, j + k, 1/3*i - j - 1/3*k, 1 - j - 1/3*k], [0, 0, 0, 0, 0, 0, 1/3*i + 1/2*j + 1/6*k, 1 + 1/2*j + 1/6*k], [0, 0, 0, 0, 0, 0, 0, 1 - i + j - k] ]); ErzMat[40]:= Matrix(H,8,8,[ [-1/4 + 1/12*k, 1/2 - 1/12*i - 1/4*j + 1/6*k, -1/4 + 1/2*j + 1/4*k, -1/2 + 1/4*i - 3/4*j, 1/4 + 1/6*i - 1/4*k, -1 + 1/12*i + 3/4*j + 1/6*k, -j, -j], [0, -1 - 1/2*j - 1/2*k, 5/4 - 3/4*i - j + 1/6*k, -3/4 - 5/12*i + 3/2*j - 2/3*k, -1/4 + 1/12*i + 1/2*k, 9/4 - 13/12*i - 1/2*j + 1/3*k, -3/4 + 1/12*i + 7/4*j - 5/12*k, -3/4 + 1/12*i + 3/4*j - 3/4*k], [0, 0, -1/2 + 1/6*i, 1/2 - 1/6*i + 2/3*k, -1/2 + 1/6*i + j, 1/2 - 1/6*i - 1/3*k, 0, 0], [0, 0, 0, 1 + i, -1 - 3/2*j + 1/6*k, 1/3*i + 3/2*j - 1/6*k, 1/2 + 1/6*i + 1/2*j + 1/6*k, 1/2 + 1/6*i - 1/2*j + 1/2*k], [0, 0, 0, 0, -1/3*k, -2/3*i - j - 2/3*k, -1/2 + 1/2*i - 3/2*j + 5/6*k, 1/2 + 1/6*i + 1/2*j + 1/6*k], [0, 0, 0, 0, 0, 2 - 2*k, -9/2 + 1/2*i - 3*j, -1/2 + 1/2*i + k], [0, 0, 0, 0, 0, 0, -1/2*j - 1/6*k, 1 - 1/3*i - 1/2*j - 5/6*k], [0, 0, 0, 0, 0, 0, 0, -1 - i - j - k] ]); ErzMat[41]:= Matrix(H,8,8,[ [1/16 - 1/48*i + 1/16*j - 5/48*k, -23/16 + 1/16*i - 9/16*j + 25/48*k, 5/16 - 13/48*i + 1/16*j - 13/48*k, -27/16 - 1/48*i - 1/16*j + 3/16*k, 37/16 + 19/48*i - 15/16*j - 13/48*k, -19/16 - 19/16*i - 1/16*j + 41/48*k, 1/8 - 23/24*i + 5/4*j - 1/3*k, 5/8 - 11/24*i - 1/4*j - 1/2*k], [0, -j + k, -1/3*i + 1/2*j - 1/6*k, -1 - 1/2*j + 5/6*k, 3/2 - 1/6*i - 4/3*k, 1/2 - 1/2*i + j + 5/3*k, -1 - 1/3*i + 2*j, -2/3*i + j - 1/3*k], [0, 0, 1/2 - 1/6*i, -1/2 + 1/6*i - j + 1/3*k, 1/2*j + 1/6*k, 1 + 1/3*i - 1/2*j - 1/6*k, 1/2 + 1/6*i - 1/2*j + 1/2*k, -1/2 - 1/6*i + 1/2*j + 1/6*k], [0, 0, 0, 1 - i, -1/2 + 1/6*i - j - 2/3*k, -1/2 - 1/2*i + j - 2/3*k, 1/2 - 1/6*i + 1/2*j - 5/6*k, 1/2 + 1/2*i - 1/2*j + 1/6*k], [0, 0, 0, 0, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k, 2/3*i + 1/3*k, 1/3*k], [0, 0, 0, 0, 0, -1 - i + j + k, -1/2 - 7/6*i, 1/2 - 5/6*i - 2/3*k], [0, 0, 0, 0, 0, 0, 1/2*j - 1/6*k, -1 - 1/3*i + 3/2*j + 1/6*k], [0, 0, 0, 0, 0, 0, 0, 1 + i + 3*j + k] ]); ErzMat[42]:= Matrix(H,8,8,[ [-1/16 - 5/48*i + 1/16*j + 1/48*k, 9/16 + 25/48*i + 9/16*j - 1/16*k, 7/16 - 5/48*i - 11/16*j - 1/16*k, 9/16 + 17/48*i + 5/16*j + 1/48*k, -1/16 - 29/48*i - 3/16*j + 7/16*k, 1/16 + 41/48*i + 5/16*j + 1/48*k, -3/4 - 1/6*i - 3/8*j - 13/24*k, -1/4 - 2/3*i - 7/8*j + 5/8*k], [0, 2, -1/2 - 1/6*i - j + 1/3*k, 3/2 - 1/6*i, -2 - 2/3*i + j, 2 + 2/3*i + 1/3*k, -1 + i - j - 1/3*k, -2 - 2/3*i + j + 1/3*k], [0, 0, 1/2 - 1/6*i, -1/2 + 1/6*i - j + 1/3*k, 1/2*j + 1/6*k, 1 + 1/3*i - 1/2*j - 1/6*k, 1/2 + 1/6*i - 1/2*j + 1/2*k, -1/2 - 1/6*i + 1/2*j + 1/6*k], [0, 0, 0, 1 - i, -1/2 + 1/6*i - j - 2/3*k, -1/2 - 1/2*i + j - 2/3*k, 1/2 - 1/6*i + 1/2*j - 5/6*k, 1/2 + 1/2*i - 1/2*j + 1/6*k], [0, 0, 0, 0, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k, 2/3*i + 1/3*k, 1/3*k], [0, 0, 0, 0, 0, -1 - i + j + k, -1/2 - 7/6*i, 1/2 - 5/6*i - 2/3*k], [0, 0, 0, 0, 0, 0, 1/2*j - 1/6*k, -1 - 1/3*i + 3/2*j + 1/6*k], [0, 0, 0, 0, 0, 0, 0, 1 + i + 3*j + k] ]); ErzMat[43]:= Matrix(H,8,8,[ [-1/8 + 1/8*i + 1/8*j + 1/24*k, 1/8 - 7/24*i + 1/8*j + 5/24*k, -1/8 + 1/8*i + 1/8*j + 1/24*k, 1/8 - 7/24*i + 1/8*j + 5/24*k, -5/8 - 1/24*i + 1/8*j - 7/24*k, -3/8 + 5/24*i + 1/8*j - 1/8*k, 1/6*i + 3/4*j + 1/12*k, -1/2*i + 3/4*j + 1/12*k], [0, 1/2 - 1/2*i + 1/2*j + 1/2*k, -1/2 + 1/3*i + 1/2*j, 1/2 - 1/3*i + 1/2*j + 1/3*k, -5/4 - 1/12*i + 1/4*j - 5/12*k, -3/4 + 3/4*i + 3/4*j + 1/12*k, -3/4 + 3/4*i + 5/4*j + 1/4*k, 3/4 - 7/4*i + 7/4*j - 1/4*k], [0, 0, 1/2*j - 1/6*k, -1 - 1/3*i + 1/2*j + 7/6*k, -1 + 1/3*i - 1/3*k, -1/3*k, 0, 0], [0, 0, 0, 2*j, 1/2 + 1/2*i, 1/2 + 1/2*i, -1/2*j + 1/6*k, -2/3*i + 1/2*j - 1/6*k], [0, 0, 0, 0, 1/2*j + 1/6*k, -1 + 1/3*i - 1/2*j - 1/6*k, 1/2 + 1/6*i, -1/2 - 1/6*i + 2/3*k], [0, 0, 0, 0, 0, -1 - i - j - k, 1/3*i - 1/3*k, 1 - 3*j + 2/3*k], [0, 0, 0, 0, 0, 0, 1/3*k, -1 - 1/3*i - 2*j - 1/3*k], [0, 0, 0, 0, 0, 0, 0, -2*j + 2*k] ]); ErzMat[44]:= Matrix(H,8,8,[ [-1/8 + 1/24*i - 1/8*j - 1/8*k, -1/8 + 5/24*i + 1/8*j + 7/24*k, 3/8 - 1/8*i - 1/8*j + 5/24*k, 3/8 + 1/24*i + 9/8*j + 7/24*k, 7/8 + 3/8*i + 3/8*j + 1/24*k, -1/8 + 5/24*i - 3/8*j - 13/24*k, 1/4 + 1/12*i - 1/6*k, 1/4 + 1/12*i + 1/2*k], [0, 1/2 - 1/2*i - 1/2*j - 1/2*k, -1 + 1/2*i + 1/2*j - 1/3*k, -2 - 1/6*i - 3/2*j - 2/3*k, -7/4 - 7/12*i - 5/4*j - 1/4*k, 3/4 - 5/12*i + 5/4*j + 11/12*k, -3/4 + 1/12*i - 1/4*j + 5/12*k, -5/4 + 1/4*i - 3/4*j - 13/12*k], [0, 0, 1/2*j - 1/6*k, -1 - 1/3*i + 1/2*j + 7/6*k, -1 + 1/3*i - 1/3*k, -1/3*k, 0, 0], [0, 0, 0, 2*j, 1/2 + 1/2*i, 1/2 + 1/2*i, -1/2*j + 1/6*k, -2/3*i + 1/2*j - 1/6*k], [0, 0, 0, 0, 1/2*j + 1/6*k, -1 + 1/3*i - 1/2*j - 1/6*k, 1/2 + 1/6*i, -1/2 - 1/6*i + 2/3*k], [0, 0, 0, 0, 0, -1 - i - j - k, 1/3*i - 1/3*k, 1 - 3*j + 2/3*k], [0, 0, 0, 0, 0, 0, 1/3*k, -1 - 1/3*i - 2*j - 1/3*k], [0, 0, 0, 0, 0, 0, 0, -2*j + 2*k] ]); ErzMat[45]:= Matrix(H,8,8,[ [-1/16 - 5/48*i + 1/16*j + 1/48*k, -7/16 - 23/48*i - 23/16*j - 1/16*k, -1/16 - 13/48*i - 11/16*j + 13/48*k, 25/16 + 11/16*i - 3/16*j - 23/48*k, 11/16 - 3/16*i + 21/16*j + 5/48*k, 13/16 + 13/48*i - 11/16*j + 25/48*k, 1/4 + 1/6*i - 3/8*j - 5/24*k, 3/4 - 1/3*i + 17/8*j + 5/8*k], [0, -1 - i, -2/3*i, 2/3*i - 2*j - 2/3*k, 1 + 2/3*i + 1/2*j - 1/2*k, 1 - 2/3*i - 3/2*j + 1/6*k, -1/2 + 1/6*i - 1/2*j - 1/6*k, 5/2 + 1/2*i + 3/2*j - 1/6*k], [0, 0, 1/3*i, -1/3*i - j + 1/3*k, -1 + 1/2*j - 1/6*k, -1/3*i - 1/2*j + 1/6*k, 0, 0], [0, 0, 0, 2*j, 1/2 + 1/2*i + 1/3*k, -1/2 + 1/6*i - 1/3*k, 0, 0], [0, 0, 0, 0, 1/2 - 1/6*i, -1/2 + 1/6*i + j + 1/3*k, -1/3*i, 1/3*i + j - 1/3*k], [0, 0, 0, 0, 0, -2 - 2*j, 1/3*i + 1/3*k, -3 - 2/3*i - j], [0, 0, 0, 0, 0, 0, 1/2*j - 1/6*k, -1 - 1/3*i + 3/2*j + 1/6*k], [0, 0, 0, 0, 0, 0, 0, -2*i + j + k] ]); ErzMat[46]:= Matrix(H,8,8,[ [-1/16 + 1/48*i - 1/16*j + 5/48*k, -9/16 - 1/16*i - 7/16*j + 23/48*k, -1/16 + 3/16*i + 3/16*j - 7/48*k, -9/16 - 11/48*i + 5/16*j + 19/48*k, -1/16 + 17/48*i - 9/16*j - 35/48*k, -1/16 + 7/16*i - 15/16*j + 31/48*k, 3/8 + 1/8*i - 1/4*j, -1/8 - 3/8*i - 7/4*j + 1/2*k], [0, j + k, 1/3*i - 1/2*j - 1/6*k, 1/3*i + 3/2*j + 1/2*k, -1 - 5/2*j - 1/6*k, 2 - 1/3*i - 1/2*j + 7/6*k, 1/2 - 1/6*i - 1/2*j - 1/6*k, -1/2 - 7/6*i + 1/2*j + 3/2*k], [0, 0, 1/3*i, -1/3*i - j + 1/3*k, -1 + 1/2*j - 1/6*k, -1/3*i - 1/2*j + 1/6*k, 0, 0], [0, 0, 0, 2*j, 1/2 + 1/2*i + 1/3*k, -1/2 + 1/6*i - 1/3*k, 0, 0], [0, 0, 0, 0, -1/3*k, 1 + 1/3*i + 1/3*k, 1/2 - 1/2*i - 1/2*j + 1/6*k, -1/2 - 1/6*i + 1/2*j - 1/6*k], [0, 0, 0, 0, 0, -2 - 2*j, i - 1/2*j - 3/2*k, 1 - 1/2*j + 1/2*k], [0, 0, 0, 0, 0, 0, -1/2*j + 1/6*k, 2 + 4/3*i + 3/2*j + 5/6*k], [0, 0, 0, 0, 0, 0, 0, 3 - i - j + k] ]); ErzMat[47]:= Matrix(H,8,8,[ [-3/16 - 1/48*i + 1/16*j - 1/48*k, 17/16 - 1/48*i - 13/16*j + 11/16*k, -3/16 - 41/48*i - 3/16*j - 7/16*k, -31/16 + 23/48*i + 23/16*j - 11/48*k, 5/16 + 23/48*i + 9/16*j - 3/16*k, 1/16 - 65/48*i + 11/16*j - 7/48*k, 7/8 - 7/8*i + 1/2*j + 3/4*k, -5/8 - 3/8*i + 1/4*k], [0, 2, -1/2 - 5/6*i + j + 1/3*k, -5/2 + 1/2*i - j + 1/3*k, -1/2 + 1/2*i - 2/3*k, -1/2 - 5/6*i + 2*j + 2/3*k, 1 + 1/3*i + 2*j + 2/3*k, 2/3*k], [0, 0, 1/3*i, -1/3*i - j + 1/3*k, -1 + 1/2*j - 1/6*k, -1/3*i - 1/2*j + 1/6*k, 0, 0], [0, 0, 0, 2*j, 1/2 + 1/2*i + 1/3*k, -1/2 + 1/6*i - 1/3*k, 0, 0], [0, 0, 0, 0, -1/3*k, 1 + 1/3*i + 1/3*k, 1/2 - 1/2*i - 1/2*j + 1/6*k, -1/2 - 1/6*i + 1/2*j - 1/6*k], [0, 0, 0, 0, 0, -2 - 2*j, i - 1/2*j - 3/2*k, 1 - 1/2*j + 1/2*k], [0, 0, 0, 0, 0, 0, -1/2*j + 1/6*k, 2 + 4/3*i + 3/2*j + 5/6*k], [0, 0, 0, 0, 0, 0, 0, 3 - i - j + k] ]); ErzMat[48]:= Matrix(H,8,8,[ [-1/8 + 1/8*i + 1/8*j + 1/24*k, 1/8 - 7/24*i + 1/8*j + 5/24*k, 3/8 - 1/24*i + 1/8*j - 7/24*k, 5/8 + 5/24*i + 1/8*j - 1/8*k, 3/8 - 1/24*i - 3/8*j + 5/24*k, 5/8 + 5/24*i - 3/8*j + 3/8*k, -1/2 - 1/3*i - 1/4*j + 1/12*k, 1/2 - 1/4*j + 1/12*k], [0, 1/2 - 1/2*i + 1/2*j + 1/2*k, -1/6*i - 5/6*k, 1 + 1/2*i + j - 5/6*k, 1 - 1/3*i - 3/2*j + 5/6*k, 1 - 1/2*j + 5/6*k, -3/2 - 1/3*i + 1/6*k, 1 + 1/6*i - 1/2*j], [0, 0, 1/2 - 1/6*i, -1/2 + 1/6*i + j + 1/3*k, 1/2 + 1/2*i - 1/2*j - 1/6*k, -1/2 + 1/6*i + 1/2*j + 1/6*k, 0, 0], [0, 0, 0, 2, -1/3*i - 1/2*j + 1/6*k, 1 + 2/3*i + 1/2*j + 1/2*k, -1/2*j + 1/6*k, -2/3*i + 1/2*j - 1/6*k], [0, 0, 0, 0, -1/2*j + 1/6*k, -2/3*i + 1/2*j - 1/6*k, -1/2 + 1/6*i + j, -1/2 + 5/6*i - 1/3*k], [0, 0, 0, 0, 0, -1 - i - j - k, 2*j - 2/3*k, 1 + 5/3*i - j - 1/3*k], [0, 0, 0, 0, 0, 0, 1/3*i, 5/3*i + 3*j + 1/3*k], [0, 0, 0, 0, 0, 0, 0, 4*j] ]); ErzMat[49]:= Matrix(H,8,8,[ [-1/16 - 5/48*i + 1/16*j + 1/48*k, 9/16 + 25/48*i - 23/16*j - 1/16*k, -5/16 + 5/16*i + 1/16*j + 3/16*k, 13/16 - 9/16*i + 9/16*j + 7/16*k, -25/16 - 29/48*i + 1/16*j + 11/16*k, 1/16 - 31/48*i - 15/16*j - 11/48*k, 1/2 + 1/12*i + 9/8*j + 19/24*k, 1/4*i - 7/8*j - 5/24*k], [0, -j + k, 1/2 + 1/6*i + 1/2*j + 1/6*k, -1/2 - 5/6*i + 1/2*j - 1/2*k, -3/2 + 1/6*i + 2*j - 1/3*k, -3/2 + 1/6*i - j, 1 - 2/3*i + 3/2*j - 1/6*k, 1/3*i - 1/2*j + 1/2*k], [0, 0, 1/3*k, 1 - 1/3*i - 1/3*k, 1/2 - 1/6*i + 1/2*j + 1/2*k, -1/2 + 1/6*i + 1/2*j - 1/6*k, 0, 0], [0, 0, 0, -2*j, -1/2 - 1/2*i - 1/3*k, 1/2 - 1/6*i + 1/3*k, 0, 0], [0, 0, 0, 0, -1/3*i, 1/3*i + j - 1/3*k, 1/2 - 1/6*i + 1/3*k, 1/2 - 1/6*i - j], [0, 0, 0, 0, 0, -1 - i - j - k, -3/2 + 5/6*i + j + 1/3*k, 1/2 + 5/6*i + j + k], [0, 0, 0, 0, 0, 0, 1/2*j + 1/6*k, 1 + 1/3*i + 3/2*j - 1/6*k], [0, 0, 0, 0, 0, 0, 0, 1 - i + 2*k] ]); ErzMat[50]:= Matrix(H,8,8,[ [-1/16 - 5/48*i + 1/16*j + 1/48*k, 1/16 + 1/48*i - 7/16*j - 1/16*k, -5/16 - 1/48*i + 9/16*j - 5/16*k, -3/16 - 11/48*i + 9/16*j + 5/48*k, 3/16 - 17/48*i - 3/16*j - 19/48*k, -3/16 - 1/16*i - 11/16*j - 7/48*k, -1/4 + 1/6*i - 5/8*j - 1/8*k, 1/4 + 1/3*i - 1/8*j + 1/24*k], [0, -1 - i, -3/2 + 3/2*i + 1/2*j + 1/6*k, 1/2 + 5/6*i + 3/2*j - 1/6*k, -3 - 1/3*i + 3/2*j - 5/6*k, -2 - 4/3*i - 1/2*j + 1/2*k, -3/2 - 7/6*i - 2*j + k, 1/2 + 1/6*i - 2*j + 1/3*k], [0, 0, -1/2 + 1/6*i, 1/2 - 1/6*i + j - 1/3*k, 1/2 + 1/2*i, 1/2 + 1/2*i, 0, 0], [0, 0, 0, -2*j, -1/2 - 1/2*i - 1/2*j - 1/6*k, 1/2 - 5/6*i + 1/2*j + 1/6*k, 1/2*j + 1/6*k, -1 + 1/3*i - 1/2*j - 1/6*k], [0, 0, 0, 0, -1/3*k, 1 + 1/3*i + 1/3*k, 1/3*i - 1/2*j + 1/2*k, -1/3*i - 1/2*j - 1/6*k], [0, 0, 0, 0, 0, -2 - 2*j, -3/2 - 5/6*i - j - 2/3*k, 1/2 + 1/2*i + j - 2/3*k], [0, 0, 0, 0, 0, 0, 1/2*j + 1/6*k, 4/3*i - 1/2*j - 1/6*k], [0, 0, 0, 0, 0, 0, 0, 1 + i + 3*j + k] ]); ErzMat[51]:= Matrix(H,8,8,[ [-1/16 + 1/48*i - 1/16*j + 5/48*k, -9/16 - 1/16*i - 7/16*j + 23/48*k, -5/16 + 13/48*i + 15/16*j - 1/16*k, -5/16 - 31/48*i - 15/16*j + 7/48*k, -5/16 - 35/48*i + 7/16*j + 7/16*k, 3/16 - 7/48*i + 25/16*j + 31/48*k, 1/8 + 1/24*i - 3/4*j + 1/3*k, 5/8 - 1/8*i - 5/4*j - 1/6*k], [0, -j + k, -1 + 2/3*i + 1/2*j - 1/6*k, -i - 1/2*j + 5/6*k, -1/2 - 1/2*i + 3/2*j + 7/6*k, -1/2 + 5/6*i + 5/2*j + 5/6*k, 1 - 1/2*j + 1/6*k, 1 - 2/3*i - 3/2*j - 1/6*k], [0, 0, 1/2*j + 1/6*k, -2/3*i - 1/2*j - 1/6*k, -1/3*i + 1/2*j - 1/6*k, 1 + 1/2*j - 1/6*k, -1/3*i - 1/2*j + 1/6*k, -1/3*i - 1/2*j - 1/2*k], [0, 0, 0, 2*j, 1/2 + 1/2*i + 1/3*k, -1/2 + 1/6*i - 1/3*k, -1/3*i - 1/2*j - 1/6*k, 1 - 1/2*j - 1/6*k], [0, 0, 0, 0, -1/2*j - 1/6*k, 1 - 1/3*i + 1/2*j + 1/6*k, -1/3*i + 1/3*k, 1 + j - 2/3*k], [0, 0, 0, 0, 0, 1 - i + j - k, -1/3*i + j + 1/3*k, -i - 2*j - 2/3*k], [0, 0, 0, 0, 0, 0, -1/2 - 1/6*i, -3/2 + 1/6*i - j + 1/3*k], [0, 0, 0, 0, 0, 0, 0, 1 + i + 3*j + k] ]); /*Matrix(H,8,8,[ [-1/8 - 1/24*i + 1/8*j - 1/8*k, -3/8 + 1/24*i - 3/8*j + 5/24*k, -1/8 - 1/24*i + 1/8*j - 1/8*k, -3/8 + 1/24*i - 3/8*j + 5/24*k, -1/8 - 1/24*i - 3/8*j - 7/24*k, 5/8 - 7/24*i + 1/8*j + 3/8*k, 1/4 + 1/12*i + 1/3*k, -1/4 + 7/12*i], [0, j + k, -1/2 + 1/6*i, 1/2 - 1/6*i + 2/3*k, -1 - 1/3*i - j + 1/3*k, 1 - i + 2*j - 2/3*k, 9/4 - 5/12*i + 3/4*j + 1/12*k, 7/4 + 1/12*i - 9/4*j + 3/4*k], [0, 0, 1/3*i, -1/3*i - j + 1/3*k, -1 + 1/2*j - 1/6*k, -1/3*i - 1/2*j + 1/6*k, 0, 0], [0, 0, 0, j + k, -1/2 + 1/2*i - 1/2*j + 1/6*k, -1/2 - 1/6*i + 1/2*j - 1/6*k, 0, 0], [0, 0, 0, 0, -1/2*j + 1/6*k, -2/3*i + 1/2*j - 1/6*k, 1 - 1/3*i, 1 + 1/3*i + 2/3*k], [0, 0, 0, 0, 0, -2*j, -1/2 - 2/3*i - 3/2*j + 4/3*k, -2 - 1/6*i + 2*j + 1/2*k], [0, 0, 0, 0, 0, 0, -1/2 + 1/6*i, -1/2 - 7/6*i - j - 1/3*k], [0, 0, 0, 0, 0, 0, 0, 2 + 2*i] ]);*/ ErzMat[52]:= Matrix(H,8,8,[ [1/8 - 1/8*i - 1/8*j - 1/24*k, -1/8 + 7/24*i - 1/8*j - 5/24*k, 1/8 - 1/8*i - 1/8*j - 1/24*k, -1/8 + 7/24*i - 1/8*j - 5/24*k, 5/8 - 7/24*i - 5/8*j - 5/24*k, 3/8 + 1/8*i - 5/8*j + 7/24*k, -1/2 + 3/4*j + 1/12*k, -1/2 + 2/3*i - 1/4*j + 5/12*k], [0, j + k, -1/2 + 1/2*i, 1/2*j + 3/2*k, -11/4 + 5/4*i + 1/2*j, -7/4 - 3/4*i - 1/2*k, 13/4 - 1/4*i - 3/4*j + 1/12*k, 5/4 - 31/12*i + 7/4*j - 1/12*k], [0, 0, 1/2 + 1/6*i, -1/2 - 1/6*i + j - 1/3*k, 1/2 + 1/2*i - 1/3*k, 1/2 - 1/6*i + 1/3*k, 1/3*k, -1 - 1/3*i - 1/3*k], [0, 0, 0, -1/2 - 1/2*i - 1/2*j - 1/2*k, 1 - 1/6*i + 3/4*j - 1/12*k, -1/2 - 1/4*j - 1/12*k, -3/4 - 1/12*i + 1/4*j - 1/12*k, -1/4 - 7/12*i - 3/4*j - 3/4*k], [0, 0, 0, 0, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k, -1/2 + 1/6*i - 1/2*j - 1/2*k, 1/2 - 1/6*i - 1/2*j + 1/6*k], [0, 0, 0, 0, 0, -1 + i - j + k, -2 + 2/3*i - 2/3*k, -j + 1/3*k], [0, 0, 0, 0, 0, 0, -1/3*k, -3 + 1/3*i + 2*j + 1/3*k], [0, 0, 0, 0, 0, 0, 0, -2*j - 2*k] ]); ErzMat[53]:= Matrix(H,8,8,[ [-1/8 - 1/8*i - 1/8*j + 1/24*k, 3/8 + 5/24*i - 3/8*j - 1/24*k, 1/8 - 5/24*i - 3/8*j + 1/8*k, 1/8 - 1/24*i + 3/8*j + 1/24*k, -3/8 - 5/24*i - 1/8*j + 5/24*k, -3/8 - 3/8*i + 1/8*j - 1/24*k, 1/6*i + 1/4*j + 1/12*k, -1/2 + 5/4*j + 1/12*k], [0, 2*j, i + j, -1 - j, 1 + 2/3*i - 1/3*k, 1 + 2/3*i - j, -1 - 1/3*i - 1/3*k, -1 - 1/3*i - 3*j], [0, 0, -1/4 - 1/12*i + 1/4*j + 1/12*k, -1/4 + 1/4*i - 1/4*j - 5/12*k, -1/2 + 3/4*j + 1/12*k, 1/6*i + 1/4*j - 1/12*k, -3/4 - 1/4*i + 3/4*j + 1/4*k, 1/4 - 1/4*i + 1/4*j - 1/4*k], [0, 0, 0, -j - k, -2 + 3/2*j + 1/2*k, 1/2*j - 1/2*k, -3 - 1/3*i + j + 2/3*k, -4/3*i + j], [0, 0, 0, 0, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k, 1/2 + 1/6*i, -1/2 - 1/6*i - j - 1/3*k], [0, 0, 0, 0, 0, 1 + i - j - k, -1/2 + 1/6*i + j - 1/3*k, 5/2 - 5/6*i - 2*j], [0, 0, 0, 0, 0, 0, -1/3*k, 1 + 1/3*i + 2*j + 1/3*k], [0, 0, 0, 0, 0, 0, 0, 2*j + 2*k] ]); ErzMat[54]:= Matrix(H,8,8,[ [3/16 + 1/48*i - 1/16*j + 1/48*k, -1/16 + 1/48*i + 5/16*j - 3/16*k, 7/16 + 5/48*i + 7/16*j + 17/48*k, 3/16 + 5/48*i - 3/16*j - 3/16*k, 3/16 + 3/16*i - 5/16*j - 1/16*k, 7/16 - 5/16*i + 1/16*j + 1/16*k, 1/8 - 11/24*i + 1/2*j + 1/4*k, -3/8 - 7/24*i + 5/12*k], [0, -j - k, -1/3*i + 7/2*j - 1/2*k, 1 - 2/3*i - 1/2*j + 1/6*k, 3/2 - 1/6*i + 1/3*k, -3/2 - 7/6*i + j, -7/2 - 1/6*i + 3/2*j - 1/6*k, -5/2 + 5/6*i + 3/2*j + 1/2*k], [0, 0, -1/3*k, -1 + 1/3*i + 1/3*k, -1/2 + 1/6*i - 1/2*j - 1/2*k, 1/2 - 1/6*i - 1/2*j + 1/6*k, -1/2 + 1/6*i - 1/2*j + 1/6*k, -1/2 + 1/6*i - 1/2*j - 1/2*k], [0, 0, 0, 2*j, 1 + 2/3*i + 1/3*k, -1 + 1/3*k, 1/2 + 1/6*i + 1/2*j + 1/6*k, 3/2 + 7/6*i - 1/2*j + 1/2*k], [0, 0, 0, 0, 1/2 - 1/6*i, -1/2 + 1/6*i + j + 1/3*k, -1/2*j + 1/6*k, -2/3*i + 1/2*j - 1/6*k], [0, 0, 0, 0, 0, -1 - i + j + k, -1/2 - 1/6*i - 3/2*j + 1/6*k, 3/2 - 3/2*i - 1/2*j - 5/6*k], [0, 0, 0, 0, 0, 0, 1/2*j - 1/6*k, -1 - 1/3*i + 3/2*j + 1/6*k], [0, 0, 0, 0, 0, 0, 0, -1 + i + 2*k] ]); ErzMat[55]:= Matrix(H,8,8,[ [1/8 + 1/24*i - 1/8*j + 1/8*k, 3/8 - 1/24*i + 3/8*j - 5/24*k, -3/8 + 5/24*i - 1/8*j - 5/24*k, -1/8 + 1/8*i - 5/8*j - 5/24*k, 1/8 + 3/8*i - 5/8*j - 1/24*k, 3/8 + 7/24*i - 1/8*j + 7/24*k, -1/6*i + 3/4*j + 1/12*k, -1/6*i - 1/4*j - 1/4*k], [0, -1 + 1/2*j - 1/2*k, -1/2 - 1/2*i - 1/2*j + 1/6*k, 1 - 2/3*i - 1/2*j - 1/6*k, 1/4 - 7/12*i - j - 1/2*k, 1/4 + 1/12*i - 5/6*k, -1/2 + 1/2*i + 1/2*j + 1/6*k, -2 - 2/3*i + 1/2*j - 1/6*k], [0, 0, 1/3*i, -1/3*i - j + 1/3*k, 0, 0, 1 - 1/3*i + 1/2*j - 1/6*k, 1/2*j - 1/6*k], [0, 0, 0, -j - k, 1/2 + 1/6*i - 1/3*k, 1/2 + 1/6*i - j, 1, -1], [0, 0, 0, 0, 1/3*i, -1/3*i - j + 1/3*k, -1/2 - 1/6*i + 1/2*j + 1/6*k, 1/2 - 1/2*i + 1/2*j + 1/6*k], [0, 0, 0, 0, 0, 1 + i - j - k, -i - 3/2*j + 5/6*k, 1 + 2/3*i - 1/2*j + 7/6*k], [0, 0, 0, 0, 0, 0, 1/2 - 1/6*i - 1/2*j - 1/6*k, -3/2 - 1/6*i + 1/2*j - 1/2*k], [0, 0, 0, 0, 0, 0, 0, 1 + i - j + k] ]); ErzMat[56]:= Matrix(H,8,8,[ [1/12*i - 1/4*j, 1/4 + 1/6*i + 1/2*j + 1/12*k, 1/12*i - 1/4*j, 1/4 + 1/6*i + 1/2*j + 1/12*k, -1/2 - 1/12*i - 1/4*j + 1/3*k, -1/4 - 1/2*j + 1/12*k, 3/4 + 1/12*i + 1/4*j - 1/4*k, -1/4 + 5/12*i - 3/4*j + 1/12*k], [0, -1/2 - 1/2*i - j, 1/4 - 1/4*i + 3/4*j - 1/12*k, -1/4 - 5/12*i - 3/4*j + 1/12*k, 1/4 + 1/4*i - 5/6*k, 3/4 + 1/12*i + j - 1/6*k, -1 - 1/3*i - j + k, -1 - 2/3*i + 3/2*j + 1/6*k], [0, 0, 1/3*k, 1 - 1/3*i - 1/3*k, 1/2*j + 1/2*k, -1/2*j - 1/2*k, 1/2 - 1/6*i + 1/2*j - 1/6*k, 1/2 - 1/6*i - 1/2*j - 1/2*k], [0, 0, 0, j - k, 1 + 1/2*j + 1/2*k, -1 - 1/2*j - 1/2*k, 1/3*i + 3/2*j - 1/2*k, -1/3*i - 1/2*j - 7/6*k], [0, 0, 0, 0, 1/2 + 1/6*i, -1/2 - 1/6*i + 2/3*k, -1/2 + 1/6*i + 1/2*j - 1/6*k, -1/2 - 1/2*i + 1/2*j - 1/6*k], [0, 0, 0, 0, 0, -1 + i + j - k, 3/2 - 1/6*i - 1/2*j - 5/6*k, -1/2 + 1/2*i - 3/2*j + 1/6*k], [0, 0, 0, 0, 0, 0, 1/2 - 1/6*i - 1/2*j - 1/6*k, -1/2 + 5/6*i - 1/2*j + 1/2*k], [0, 0, 0, 0, 0, 0, 0, -2 + j + k] ]); ErzMat[57]:= Matrix(H,8,8,[ [-1/8 - 1/24*i + 1/8*j - 1/8*k, -3/8 + 1/24*i - 3/8*j + 5/24*k, -1/8 - 1/24*i - 3/8*j + 3/8*k, -3/8 + 1/24*i + 1/8*j - 7/24*k, 3/8 + 1/8*i + 5/8*j + 1/24*k, 1/8 + 5/24*i + 9/8*j + 17/24*k, 1/6*i - 3/4*j - 1/12*k, 1/6*i + 1/4*j + 1/4*k], [0, -1 - 1/2*j + 1/2*k, -1/4 - 1/4*i - 3/4*j + 7/12*k, -3/4 - 1/12*i + 3/4*j - 7/12*k, 1 + 1/3*i + j - 1/3*k, 1/2 + 1/2*i + 5/2*j + 7/6*k, -3/4 + 1/12*i - 2*j - 1/6*k, 3/4 + 7/12*i + j + 1/2*k], [0, 0, -1/2 - 1/6*i, 1/2 + 1/6*i - j + 1/3*k, -1/2 - 1/6*i - 1/2*j + 1/6*k, 1/2 - 1/2*i - 1/2*j + 1/6*k, -1/2 - 1/6*i, 1/2 + 1/6*i - 2/3*k], [0, 0, 0, -2, -1/2 + 1/2*i + j, -1/2 + 1/2*i - j, 1/2 + 1/6*i, 3/2 - 1/6*i + 2/3*k], [0, 0, 0, 0, -1/2 + 1/6*i, 1/2 - 1/6*i - j - 1/3*k, 1/2 - 1/6*i, -1/2 + 1/6*i - j + 1/3*k], [0, 0, 0, 0, 0, -1 - i - j - k, -1/3*i - 2/3*k, -1 - j + 1/3*k], [0, 0, 0, 0, 0, 0, -1/2 - 1/6*i + 1/3*k, 3/2 - 1/6*i + j], [0, 0, 0, 0, 0, 0, 0, -2 + j + k] ]); ErzMat[58]:= Matrix(H,8,8,[ [1/8 - 1/8*i - 1/8*j - 1/24*k, -1/8 + 7/24*i - 1/8*j - 5/24*k, 1/8 + 5/24*i - 1/8*j - 1/24*k, -1/8 - 1/24*i + 7/8*j + 1/8*k, 1/8 - 1/8*i - 1/8*j - 1/24*k, -1/8 + 7/24*i - 1/8*j - 5/24*k, -1/6*i - 1/4*j - 1/4*k, 1 + 1/6*i + 3/4*j + 1/12*k], [0, -1/2 + 1/2*i - 1/2*j - 1/2*k, 1/2*i - 1/6*k, 1/6*i + 2*j + 1/6*k, 1/2 - 1/2*i - 1/2*j - 1/6*k, -1/2 + 1/6*i + 1/2*j - 5/6*k, -1/4 - 1/4*i - 1/4*j - 3/4*k, 9/4 + 1/4*i + 5/4*j - 1/4*k], [0, 0, -1/2 - 1/6*i, 1/2 + 1/6*i - j + 1/3*k, -1/2 - 1/6*i - 1/2*j + 1/6*k, 1/2 - 1/2*i - 1/2*j + 1/6*k, -1/2 - 1/6*i, 1/2 + 1/6*i - 2/3*k], [0, 0, 0, -2, -1/2 + 1/2*i + j, -1/2 + 1/2*i - j, 1/2 + 1/6*i, 3/2 - 1/6*i + 2/3*k], [0, 0, 0, 0, -1/2 + 1/6*i, 1/2 - 1/6*i - j - 1/3*k, 1/2 - 1/6*i, -1/2 + 1/6*i - j + 1/3*k], [0, 0, 0, 0, 0, -1 - i - j - k, -1/3*i - 2/3*k, -1 - j + 1/3*k], [0, 0, 0, 0, 0, 0, -1/2 - 1/6*i + 1/3*k, 3/2 - 1/6*i + j], [0, 0, 0, 0, 0, 0, 0, -2 + j + k] ]); ErzMat[59]:= Matrix(H,8,8,[ [-1/8 + 1/24*i + 1/8*j - 1/24*k, 3/8 + 3/8*i + 7/8*j + 5/24*k, -1/8 + 1/24*i + 1/8*j + 7/24*k, 7/8 - 11/24*i - 1/8*j - 1/8*k, 3/8 + 5/24*i + 1/8*j + 7/24*k, -1/8 - 1/8*i + 3/8*j + 1/24*k, 1/4 + 5/12*i + 1/2*j - 2/3*k, -3/4 - 1/4*i - j - 1/6*k], [0, 1 + i, 1/2 + 1/6*i + 1/3*k, 1/2 - 1/2*i + j - 2/3*k, 1 - 1/2*j + 1/6*k, 1/3*i + 1/2*j - 1/6*k, -1 + i - 1/2*j - 1/2*k, -1 - i + 1/2*j + 1/2*k], [0, 0, 1/2*j + 1/6*k, -1 + 1/3*i - 1/2*j - 1/6*k, 0, 0, 1/2 + 1/6*i - 1/2*j - 1/6*k, -1/2 + 1/2*i - 1/2*j - 1/6*k], [0, 0, 0, -2, -1/2*j - 1/2*k, 1/2*j + 1/2*k, 1/2 + 1/6*i - 1/3*k, -3/2 + 1/6*i - j], [0, 0, 0, 0, 1/3*k, -1 - 1/3*i - 1/3*k, -1/2 + 1/6*i + 1/2*j - 1/2*k, 1/2 - 1/6*i + 1/2*j + 1/6*k], [0, 0, 0, 0, 0, -2 - 2*j, -3/2 - 1/6*i - j - 1/3*k, -1/2 - 1/2*i + j - 1/3*k], [0, 0, 0, 0, 0, 0, -1/3*i - 1/2*j + 1/6*k, -1/3*i + 3/2*j - 1/2*k], [0, 0, 0, 0, 0, 0, 0, 2 - j - k] ]); ErzMat[60]:= Matrix(H,8,8,[ [-1/8 + 1/24*i - 1/8*j - 1/8*k, -1/8 + 5/24*i + 1/8*j + 7/24*k, 3/8 - 1/8*i - 1/8*j - 1/8*k, 3/8 - 5/8*i + 1/8*j - 3/8*k, -1/8 + 1/24*i - 5/8*j + 1/24*k, -1/8 - 11/24*i + 5/8*j + 1/8*k, -1/4 - 1/12*i + 1/2*j, -1/4 + 7/12*i - 1/2*j - 1/3*k], [0, 1/2 - 1/2*i + 1/2*j - 1/2*k, -1/2 + 1/3*i - 1/4*j + 5/12*k, -1/2 + i - 1/4*j + 5/12*k, 1/4 - 1/12*i + j + 1/2*k, -3/4 + 7/12*i - 1/2*j - 1/3*k, 1/2 + 1/3*i - 3/4*j - 5/12*k, 1/2 - 2/3*i - 1/4*j + 3/4*k], [0, 0, 1/3*k, 1 - 1/3*i - 1/3*k, 1/2 - 1/6*i + 1/2*j + 1/2*k, -1/2 + 1/6*i + 1/2*j - 1/6*k, -1/2 - 1/6*i - 1/2*j + 1/6*k, 1/2 - 1/2*i - 1/2*j + 1/6*k], [0, 0, 0, -j - k, 1/2 - 1/2*i, 1/2 - 1/2*i, 1/2*j + 1/6*k, -1 + 1/3*i - 1/2*j - 1/6*k], [0, 0, 0, 0, -1/2*j + 1/6*k, -2/3*i + 1/2*j - 1/6*k, -1/2 - 1/6*i + 1/3*k, -1/2 - 1/6*i - j], [0, 0, 0, 0, 0, -1 + i + j - k, 1 - 2/3*i + j + 2/3*k, -i + 2*j - 1/3*k], [0, 0, 0, 0, 0, 0, 1/3*i + 1/2*j - 1/6*k, -1 - 2/3*i - 1/2*j - 1/2*k], [0, 0, 0, 0, 0, 0, 0, 1 - i - 2*j] ]); ErzMat[61]:= Matrix(H,8,8,[ [-1/8 + 1/24*i - 1/8*j - 1/8*k, -1/8 + 5/24*i + 1/8*j + 7/24*k, 3/8 - 1/8*i - 1/8*j - 1/8*k, 3/8 - 5/8*i + 1/8*j - 3/8*k, -1/8 + 1/24*i - 5/8*j + 1/24*k, -1/8 - 11/24*i + 5/8*j + 1/8*k, -1/4 - 1/12*i + 1/2*j, -1/4 + 7/12*i - 1/2*j - 1/3*k], [0, 1/2 + 1/2*i + 1/2*j + 1/2*k, 3/4 - 5/12*i - 1/2*j, -5/4 - 13/12*i - 1/2*j - 2/3*k, 1/2 + 1/3*i - 5/4*j + 1/4*k, -1 - 5/6*i + 7/4*j - 5/12*k, -3/4 + 1/12*i + j - 1/6*k, 3/4 + 7/12*i - j - 1/2*k], [0, 0, 1/3*k, 1 - 1/3*i - 1/3*k, 1/2 - 1/6*i + 1/2*j + 1/2*k, -1/2 + 1/6*i + 1/2*j - 1/6*k, -1/2 - 1/6*i - 1/2*j + 1/6*k, 1/2 - 1/2*i - 1/2*j + 1/6*k], [0, 0, 0, -j - k, 1/2 - 1/2*i, 1/2 - 1/2*i, 1/2*j + 1/6*k, -1 + 1/3*i - 1/2*j - 1/6*k], [0, 0, 0, 0, -1/2*j + 1/6*k, -2/3*i + 1/2*j - 1/6*k, -1/2 - 1/6*i + 1/3*k, -1/2 - 1/6*i - j], [0, 0, 0, 0, 0, -1 + i + j - k, 1 - 2/3*i + j + 2/3*k, -i + 2*j - 1/3*k], [0, 0, 0, 0, 0, 0, 1/3*i + 1/2*j - 1/6*k, -1 - 2/3*i - 1/2*j - 1/2*k], [0, 0, 0, 0, 0, 0, 0, 1 - i - 2*j] ]); ErzMat[62]:= Matrix(H,8,8,[ [-1/16 + 5/48*i - 1/16*j + 1/48*k, 3/16 - 1/16*i + 5/16*j + 7/48*k, -1/16 + 5/48*i - 1/16*j + 1/48*k, 3/16 - 1/16*i + 5/16*j + 7/48*k, -5/16 + 1/48*i - 1/16*j - 7/48*k, -1/16 + 3/16*i - 3/16*j + 23/48*k, 1/8 - 1/8*i + 1/12*k, -3/8 + 1/24*i + 1/2*j - 1/12*k], [0, 2, 0, 2, -1 + 1/3*i + j, 2 - 4/3*i - j + 4/3*k, -1/3*i + 1/2*j - 1/6*k, i + 3/2*j + 5/6*k], [0, 0, 1/2*j + 1/6*k, -1 + 1/3*i - 1/2*j - 1/6*k, 0, 0, 1/2 - 1/6*i - 1/2*j - 1/2*k, -1/2 + 1/6*i + 1/2*j - 1/6*k], [0, 0, 0, -2, -1/3*k, -1 + 1/3*i + 1/3*k, 1 + 1/2*j - 5/6*k, -1 - 2/3*i + 1/2*j - 1/6*k], [0, 0, 0, 0, -1/3*k, 1 + 1/3*i + 1/3*k, -1/3*i - 1/2*j - 1/6*k, -1 - 1/2*j - 1/6*k], [0, 0, 0, 0, 0, -2 - 2*j, 1/2 + 1/2*i + j - 2/3*k, 1/2 - 5/6*i + 2*j - 1/3*k], [0, 0, 0, 0, 0, 0, 1/2 - 1/6*i, 1/2 - 5/6*i - 2/3*k], [0, 0, 0, 0, 0, 0, 0, 3 - i - j + k] ]); ErzMat[63]:= Matrix(H,8,8,[ [1/8 - 1/8*i - 1/8*j - 1/24*k, -1/8 + 7/24*i - 1/8*j - 5/24*k, -3/8 + 3/8*i - 1/8*j - 1/24*k, 3/8 - 5/24*i - 1/8*j - 5/24*k, 1/8 + 5/24*i + 3/8*j - 13/24*k, 15/8 - 1/24*i - 5/8*j - 3/8*k, -2 + 1/6*i - 5/4*j + 3/4*k, -1 - 1/6*i - 1/4*j + 5/12*k], [0, 1/4 - 1/4*i - 3/4*j + 1/4*k, 3/4 - 1/12*i - 3/4*j + 1/4*k, -1 - 1/6*i + 1/6*k, -7/8 - 5/24*i - 13/8*j + 1/8*k, -15/8 - 37/24*i + 3/8*j - 5/24*k, 13/4 + 1/3*i + 3/2*j + 13/12*k, 3/2 + 7/12*i + 1/4*j], [0, 0, 1/3*i, -1/3*i - 2/3*k, 1/2*j + 1/6*k, -2/3*i - 1/2*j - 1/6*k, -1/3*k, -1 + 1/3*i + 1/3*k], [0, 0, 0, -1 - i, -1/2 + 1/6*i + 1/3*k, -1/2 - 1/2*i + 1/3*k, -1/2 - 1/6*i - 1/2*j - 1/2*k, -1/2 + 7/6*i - 1/2*j + 5/6*k], [0, 0, 0, 0, -1/2 - 1/6*i, 1/2 + 1/6*i - 2/3*k, -1/3*i - j, 1/3*i - 1/3*k], [0, 0, 0, 0, 0, 2 + 2*j, 2/3*i - 3/2*j - 1/6*k, 1/2*j - 1/6*k], [0, 0, 0, 0, 0, 0, -1/2*j + 1/6*k, -2/3*i - 5/2*j + 5/6*k], [0, 0, 0, 0, 0, 0, 0, 2 - 2*i - 2*j + 2*k] ]); ErzMat[64]:= Matrix(H,8,8,[ [-1/12*i + 1/4*j, -1/4 - 1/6*i - 1/2*j - 1/12*k, -1/12*i + 1/4*j, -1/4 - 1/6*i - 1/2*j - 1/12*k, -1/2 + 5/12*i - 1/4*j + 1/6*k, 5/4 - 1/3*i - 1/4*k, -1/4 - 1/4*i + 1/4*j + 1/12*k, -5/4 - 7/12*i - 3/4*j + 5/12*k], [0, -1/2 + 3/4*j + 1/4*k, 1/6*i + 1/4*j - 1/4*k, -1/4 + 1/12*i + 3/4*j + 5/12*k, 9/8 - 11/24*i - 1/2*j + 1/4*k, -11/8 - 7/24*i - 7/12*k, -1/8 + 13/24*i + 3/8*j - 1/8*k, 9/8 - 1/24*i + 19/8*j + 1/24*k], [0, 0, 1/3*i, -1/3*i - 2/3*k, 1/2*j + 1/6*k, -2/3*i - 1/2*j - 1/6*k, -1/3*k, -1 + 1/3*i + 1/3*k], [0, 0, 0, -1 - i, -1/2 + 1/6*i + 1/3*k, -1/2 - 1/2*i + 1/3*k, -1/2 - 1/6*i - 1/2*j - 1/2*k, -1/2 + 7/6*i - 1/2*j + 5/6*k], [0, 0, 0, 0, -1/2 - 1/6*i, 1/2 + 1/6*i - 2/3*k, -1/3*i - j, 1/3*i - 1/3*k], [0, 0, 0, 0, 0, 2 + 2*j, 2/3*i - 3/2*j - 1/6*k, 1/2*j - 1/6*k], [0, 0, 0, 0, 0, 0, -1/2*j + 1/6*k, -2/3*i - 5/2*j + 5/6*k], [0, 0, 0, 0, 0, 0, 0, 2 - 2*i - 2*j + 2*k] ]); ErzMat[65]:= Matrix(H,8,8,[ [-1/8 + 1/12*i - 1/24*k, 3/4 + 5/24*i - 5/8*j - 1/2*k, -3/8 + 1/6*i + 5/4*j - 5/8*k, 1/2 + 11/24*i - 7/8*j - 1/12*k, 1/2 - 11/24*i - 3/8*j - 2/3*k, 5/8 - 1/4*i + 3/4*j - 25/24*k, -23/8 + 1/24*i - 11/8*j - 13/24*k, -13/8 - 11/8*i - 9/8*j + 5/24*k], [0, 1/2 - 1/2*i - 1/2*j - 1/2*k, -3/2 + 1/6*i - 2/3*k, 1 - 1/2*j - 1/6*k, -1/4 - 11/12*i + 1/4*j - 1/4*k, -5/4 - 7/12*i + 1/4*j - 11/12*k, -3/2 - 3*j + 5/6*k, -1 - 5/6*i - 1/2*j + 5/3*k], [0, 0, -1/3*i, 1/3*i + 2/3*k, 1/2 + 1/2*i, -1/2 - 1/2*i, -1/2 - 1/6*i - 3/2*j - 1/6*k, 3/2 - 1/6*i - 1/2*j - 1/2*k], [0, 0, 0, j - k, 1/2 - 5/6*i + 1/2*j + 1/2*k, -1/2 + 5/6*i - 1/2*j + 1/6*k, 1 + j + 1/3*k, -2 - 1/3*i + 2/3*k], [0, 0, 0, 0, -1/3*k, 1 + 1/3*i + 1/3*k, -1/2 - 1/6*i + j + 1/3*k, -1/2 - 1/6*i], [0, 0, 0, 0, 0, -1 + i - j + k, -i - 1/2*j + 5/6*k, -1/3*i - 1/2*j + 1/6*k], [0, 0, 0, 0, 0, 0, -1/3*k, 1 + 1/3*i - 2*j + 1/3*k], [0, 0, 0, 0, 0, 0, 0, 2 + 2*i + 4*j] ]); ErzMat[66]:= Matrix(H,8,8,[ [-1/16 + 1/48*i - 1/16*j + 5/48*k, 7/16 - 9/16*i + 5/16*j - 13/48*k, 3/16 + 5/48*i + 7/16*j - 11/48*k, -17/16 - 9/16*i - 15/16*j - 17/48*k, -3/16 - 1/48*i - 5/16*j + 5/48*k, 13/16 - 13/48*i + 5/16*j - 3/16*k, -3/4 + 1/6*i - 7/8*j + 1/24*k, 3/2 - 1/12*i + 1/8*j - 9/8*k], [0, -1/2 + 1/2*i - 1/2*j - 1/2*k, 1/2 + 1/6*i - 1/2*j + 1/6*k, -1 + 2/3*i + j, -1/4 + 1/12*i + 1/4*j + 1/12*k, -1/4 + 1/12*i - 3/4*j - 1/4*k, -1/2 + j + 1/6*k, -1 + 5/6*i - 5/2*j + 1/3*k], [0, 0, -1/3*i, 1/3*i + 2/3*k, 1/2 + 1/2*i, -1/2 - 1/2*i, 1/2 + 5/6*i - j - 1/3*k, 1/2 - 1/2*i + 2/3*k], [0, 0, 0, j - k, 1/2 - 5/6*i + 1/2*j + 1/2*k, -1/2 + 5/6*i - 1/2*j + 1/6*k, 3/2 - 5/6*i + j + 4/3*k, -1/2 + 1/2*i + j - 2/3*k], [0, 0, 0, 0, -1/3*k, 1 + 1/3*i + 1/3*k, -1/2 - 1/6*i + j + 1/3*k, -1/2 - 1/6*i], [0, 0, 0, 0, 0, -1 + i - j + k, -i - 1/2*j + 5/6*k, -1/3*i - 1/2*j + 1/6*k], [0, 0, 0, 0, 0, 0, -1/3*k, 1 + 1/3*i - 2*j + 1/3*k], [0, 0, 0, 0, 0, 0, 0, 2 + 2*i + 4*j] ]); ErzMat[67]:= Matrix(H,8,8,[ [1/4 - 1/12*k, -1/2 + 1/12*i + 1/4*j - 1/6*k, -1/4 + 1/6*i - 1/12*k, -1/12*i + 1/4*j + 1/2*k, 1/4 - 1/12*k, -1/2 + 1/12*i + 1/4*j - 1/6*k, -1/4 + 5/12*i - 1/4*j + 1/4*k, 3/4 + 1/12*i + 3/4*j - 1/12*k], [0, 1 - 1/2*j + 1/2*k, 1/2 - 1/2*i, -k, -1/4 - 1/12*i + 1/6*k, -1/4 - 1/12*i - j + 1/2*k, -1/4 - 7/12*i + 5/4*j - 5/12*k, -7/4 + 1/4*i - 7/4*j - 5/12*k], [0, 0, 1/4 - 1/12*i + 1/4*j + 1/12*k, -1/4 - 1/4*i - 1/4*j - 5/12*k, -1/2 - j + 1/6*k, 1/2 + 1/3*i - 1/6*k, -1/2 - 1/2*j, 1/2 + 1/2*j], [0, 0, 0, -1 - i, 2 - 2/3*i - 3/2*j + 1/2*k, -1 - 1/3*i - 1/2*j - 7/6*k, -1/2 - 5/6*i + 1/2*j - 1/6*k, -1/2 + 1/2*i - 1/2*j - 7/6*k], [0, 0, 0, 0, -1/2*j - 1/6*k, 1 - 1/3*i + 1/2*j + 1/6*k, -1/3*k, 1 + 1/3*i + 1/3*k], [0, 0, 0, 0, 0, 1 - i + j - k, -j - 2/3*k, 3 - 1/3*i - 1/3*k], [0, 0, 0, 0, 0, 0, -1/2 - 1/6*i - 1/2*j + 1/6*k, -1/2 + 1/2*i + 3/2*j + 1/6*k], [0, 0, 0, 0, 0, 0, 0, -4*j] ]); ErzMat[68]:= Matrix(H,8,8,[ [1/4 - 1/12*k, -1/2 + 1/12*i + 1/4*j - 1/6*k, -1/4 + 1/6*i - 1/12*k, -1/12*i + 1/4*j + 1/2*k, 1/4 - 1/12*k, -1/2 + 1/12*i + 1/4*j - 1/6*k, -1/4 + 5/12*i - 1/4*j + 1/4*k, 3/4 + 1/12*i + 3/4*j - 1/12*k], [0, 1 - 1/2*j + 1/2*k, 1/2 - 1/2*i, -k, -1/4 - 1/12*i + 1/6*k, -1/4 - 1/12*i - j + 1/2*k, -1/4 - 7/12*i + 5/4*j - 5/12*k, -7/4 + 1/4*i - 7/4*j - 5/12*k], [0, 0, 1/4 + 1/12*i + 1/6*k, 1/4 - 1/4*i + 1/2*j - 1/3*k, -1/4 - 1/4*i - 3/4*j + 7/12*k, -1/4 + 5/12*i - 3/4*j - 1/12*k, 1/4 - 1/12*i + 1/4*j - 5/12*k, -5/4 - 1/4*i - 5/4*j + 1/12*k], [0, 0, 0, 2*j, 2 - 4/3*i - j - 1/3*k, -3 - 1/3*i - 2*j, -1 + 4/3*i + 2*j, -2 - 7/3*i - 2*j - 2/3*k], [0, 0, 0, 0, -1/2*j - 1/6*k, 1 - 1/3*i + 1/2*j + 1/6*k, -1/3*k, 1 + 1/3*i + 1/3*k], [0, 0, 0, 0, 0, 1 - i + j - k, -j - 2/3*k, 3 - 1/3*i - 1/3*k], [0, 0, 0, 0, 0, 0, -1/2 - 1/6*i - 1/2*j + 1/6*k, -1/2 + 1/2*i + 3/2*j + 1/6*k], [0, 0, 0, 0, 0, 0, 0, -4*j] ]); ErzMat[69]:= Matrix(H,8,8,[ [1/24*i + 1/8*j + 1/12*k, 1/8 - 1/4*i - 1/24*k, -1/4 + 7/24*i - 1/8*j - 1/6*k, -1/8 - 1/4*j - 7/24*k, 5/24*i + 5/8*j - 1/4*k, 1/8 - 1/12*i - 1/2*j - 1/24*k, -1/8 - 1/8*i + 7/8*j - 1/24*k, -1/8 + 13/24*i - 1/8*j + 7/24*k], [0, 1 + 1/2*j - 1/2*k, -2 + 1/3*k, -3/2 + 1/6*i + j - 1/3*k, -3/4 + 3/4*i + j + 5/6*k, -3/4 - 7/12*i - 5/6*k, 5/4 + 7/12*i + 9/4*j + 5/4*k, -9/4 - 7/12*i - 11/4*j + 7/12*k], [0, 0, -1/3*k, -1 + 1/3*i + 1/3*k, 1/2 + 1/6*i + 1/2*j - 1/2*k, -1/2 - 1/6*i + 1/2*j + 1/6*k, -1/2 + 1/6*i + 1/3*k, -1/2 - 1/2*i + 1/3*k], [0, 0, 0, -j + k, 2/3*i - 2/3*k, j + 1/3*k, -1/2 + 1/6*i + 2/3*k, 1/2 - 5/6*i + 2*j], [0, 0, 0, 0, -1/3*k, 1 + 1/3*i + 1/3*k, -1/2 - 1/6*i - j, 1/2 + 1/6*i + 1/3*k], [0, 0, 0, 0, 0, -1 - i - j - k, 1/2 - 1/2*i + 5/2*j + 1/2*k, -3/2 - 1/2*i - 1/2*j - 1/2*k], [0, 0, 0, 0, 0, 0, -1/2 - 1/6*i, -1/2 + 7/6*i - 4*j - 2/3*k], [0, 0, 0, 0, 0, 0, 0, -2 + 2*i - 4*j] ]); ErzMat[70]:= Matrix(H,8,8,[ [-1/8 + 1/12*i - 1/24*k, 1/4 - 7/24*i - 5/8*j + 1/2*k, -1/8 + 1/12*i + 1/2*j - 5/24*k, 1/4 - 1/8*i - 5/8*j + 2/3*k, -5/4 + 31/24*i - 11/8*j - 1/6*k, -5/8 + 1/4*j + 23/24*k, 13/8 - 7/24*i - 7/8*j + 7/24*k, 3/8 + 1/8*i - 5/8*j + 1/24*k], [0, -1/2 - 1/2*i + j, 1/3*i - 1/2*j - 1/6*k, -2/3*i + j, 3/2 - 1/4*j + 7/4*k, 3/2 + 7/4*j - 1/4*k, -5/4 - 13/12*i + 1/4*j - 1/4*k, -1/4 - 5/12*i - 1/4*j - 1/12*k], [0, 0, 1/2*j + 1/6*k, -2/3*i - 1/2*j - 1/6*k, -1/2 + 1/6*i + 1/2*j + 1/2*k, 1/2 - 1/6*i - 1/2*j + 1/6*k, -1 - 1/3*i - 1/3*k, 2/3*i - j], [0, 0, 0, -2, 1/2 + 1/6*i + 3/2*j - 1/6*k, 1/2 - 1/2*i + 1/2*j + 5/6*k, -1/2 + 1/2*i - 1/2*j + 1/6*k, 3/2 - 1/6*i - 1/2*j + 5/6*k], [0, 0, 0, 0, 1/3*k, -1 - 1/3*i - 1/3*k, 1/3*i + 1/2*j + 1/6*k, 1 + 1/2*j + 1/6*k], [0, 0, 0, 0, 0, 1 + i - j - k, -1/2 - 1/2*i + 1/2*j - 1/2*k, -1/2 - 1/2*i - 1/2*j + 1/2*k], [0, 0, 0, 0, 0, 0, -1/2 - 1/6*i, -1/2 + 7/6*i + 4*j - 2/3*k], [0, 0, 0, 0, 0, 0, 0, 2 + 2*i + 4*j] ]); ErzMat[71]:= Matrix(H,8,8,[ [-1/8 + 1/12*i - 1/24*k, 1/4 - 7/24*i - 5/8*j + 1/2*k, 11/8 - 5/12*i + 7/24*k, -5/4 + 3/8*i - 1/8*j + 1/6*k, -1/4 + 23/24*i - 3/8*j - 1/2*k, 3/8 - 1/3*i + 5/4*j - 1/24*k, -15/8 + 5/24*i + 13/8*j - 5/24*k, 7/8 + 5/8*i + 7/8*j + 13/24*k], [0, -1/2 - 1/2*i + j, -1 - 2/3*i - 2/3*k, 1 + 1/3*i + 1/2*j + 1/2*k, 1 - 1/6*i - 5/4*j + 3/4*k, 1/6*i - 1/4*j - 11/12*k, 7/4 + 19/12*i - 1/4*j - 1/12*k, 7/4 - 3/4*i - 3/4*j - 7/12*k], [0, 0, 1/2*j + 1/6*k, -2/3*i - 1/2*j - 1/6*k, -1/2 + 1/6*i + 1/2*j + 1/2*k, 1/2 - 1/6*i - 1/2*j + 1/6*k, -1 - 1/3*i - 1/3*k, 2/3*i - j], [0, 0, 0, -2, 1/2 + 1/6*i + 3/2*j - 1/6*k, 1/2 - 1/2*i + 1/2*j + 5/6*k, -1/2 + 1/2*i - 1/2*j + 1/6*k, 3/2 - 1/6*i - 1/2*j + 5/6*k], [0, 0, 0, 0, 1/3*k, -1 - 1/3*i - 1/3*k, 1/3*i + 1/2*j + 1/6*k, 1 + 1/2*j + 1/6*k], [0, 0, 0, 0, 0, 1 + i - j - k, -1/2 - 1/2*i + 1/2*j - 1/2*k, -1/2 - 1/2*i - 1/2*j + 1/2*k], [0, 0, 0, 0, 0, 0, -1/2 - 1/6*i, -1/2 + 7/6*i + 4*j - 2/3*k], [0, 0, 0, 0, 0, 0, 0, 2 + 2*i + 4*j] ]); ErzMat[72]:= Matrix(H,8,8,[ [1/16 + 5/48*i - 1/16*j - 1/48*k, 3/16 + 11/48*i + 7/16*j - 7/16*k, -15/16 - 11/48*i - 9/16*j + 23/48*k, -1/16 + 13/16*i + 11/16*j - 1/48*k, 9/16 - 5/16*i - 11/16*j + 17/48*k, -9/16 - 5/48*i - 3/16*j - 11/48*k, -3/8 + 1/8*i + 1/4*j - 2/3*k, -11/8 + 7/24*i + 1/2*j + 11/12*k], [0, 1/2 + 1/2*i - j, -1/2 - 1/6*i + 2*j, 3/2 + 1/6*i - 1/2*j + 5/6*k, -1/2 - 2/3*i - 1/4*j - 1/4*k, -1/2 + 2/3*i + 3/4*j + 1/12*k, 1/4 + 13/12*i - 1/4*j + 1/4*k, 9/4 - 7/12*i + 9/4*j + 1/12*k], [0, 0, -1/3*i, 1/3*i + 2/3*k, 1/2 - 1/6*i - 1/2*j - 1/2*k, -1/2 + 1/6*i + 1/2*j - 1/6*k, -1/3*k, 1 + 1/3*i + 1/3*k], [0, 0, 0, -2*j, -1 + 1/3*i + j - 1/3*k, 2/3*k, -1/2 + 1/6*i + j, 1/2 - 1/6*i - 2*j - 1/3*k], [0, 0, 0, 0, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k, 1/2 - 1/6*i - 1/2*j + 1/2*k, -1/2 + 1/6*i + 3/2*j - 1/6*k], [0, 0, 0, 0, 0, 1 + i - j - k, 1/2 + 5/6*i - 1/2*j + 5/6*k, -5/2 - 1/6*i + 3/2*j - 1/2*k], [0, 0, 0, 0, 0, 0, -1/2*j - 1/6*k, -3 - 1/3*i + 7/2*j + 7/6*k], [0, 0, 0, 0, 0, 0, 0, 2 + 2*i + 4*j] ]); ErzMat[73]:= Matrix(H,8,8,[ [1/4 - 1/12*k, -1/2 + 1/12*i + 1/4*j - 1/6*k, -3/4 + 1/3*i - 1/12*k, 1/2 - 1/4*i + 5/4*j + 1/6*k, 1/4 - 1/12*k, 3/2 + 1/12*i + 1/4*j - 1/6*k, 5/4 + 1/4*i + 1/4*j + 5/12*k, 1/4 + 7/12*i - 3/4*j + 1/12*k], [0, 1/2*i - 1/4*j + 1/4*k, 1/4 + 1/4*i - 1/4*j + 5/12*k, 1/2 + 1/3*i + 1/4*j - 11/12*k, -1/8 + 1/8*i - 1/4*k, -1/8 - 7/8*i - 3/2*j - 3/4*k, 11/8 - 19/24*i - 1/8*j - 11/24*k, 5/8 - 3/8*i - 5/8*j + 13/24*k], [0, 0, 1/3*k, 2/3*i - 1/3*k, -1/2 - 1/2*i - 1/2*j - 1/6*k, -1/2 + 1/6*i + 1/2*j + 1/6*k, -1/2 + 1/6*i - 1/2*j - 1/6*k, -1/2 - 1/2*i - 1/2*j - 1/6*k], [0, 0, 0, j + k, 1/2 + 5/6*i - 2/3*k, 1/2 - 7/6*i, -1 - 1/3*i + j - 1/3*k, 2/3*i + j - k], [0, 0, 0, 0, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k, -1/2 - 1/6*i - j + 1/3*k, -1/2 - 1/6*i], [0, 0, 0, 0, 0, 1 - i + j - k, 3/2 + 5/6*i + 3/2*j - 1/6*k, 1/2 - 1/6*i - 1/2*j + 1/2*k], [0, 0, 0, 0, 0, 0, -1/2*j - 1/6*k, 1 - 1/3*i + 3/2*j - 5/6*k], [0, 0, 0, 0, 0, 0, 0, -2 - 2*i + 2*j + 2*k] ]); ErzMat[74]:= Matrix(H,8,8,[ [1/8 - 1/24*i + 1/8*j + 1/8*k, 1/8 - 5/24*i - 1/8*j - 7/24*k, 1/8 - 1/24*i + 1/8*j - 5/24*k, -7/8 + 1/8*i - 1/8*j + 1/24*k, 1/8 - 1/24*i + 1/8*j + 1/8*k, 1/8 - 5/24*i - 1/8*j - 7/24*k, 1/4 + 1/12*i + 1/2*j, -3/4 + 5/12*i - 1/2*j + 1/3*k], [0, 1 + 1/2*j - 1/2*k, 1/2 - 1/6*i + j - 1/3*k, -2 - i - 1/3*k, 1/4 - 1/4*i + 1/6*k, 5/4 + 1/12*i + j - 1/6*k, 1/4 + 1/4*i + 1/4*j - 1/12*k, -9/4 + 1/12*i + 1/4*j - 5/12*k], [0, 0, -1/3*i, 1/3*i - j - 1/3*k, -1/2 - 1/6*i + 1/2*j + 1/6*k, 1/2 - 1/2*i + 1/2*j + 1/6*k, -1/2 + 1/6*i, -1/2 + 5/6*i - j - 1/3*k], [0, 0, 0, j + k, 1/2 - 1/6*i - 1/2*j - 1/2*k, -1/2 + 1/6*i - 3/2*j - 1/6*k, -2/3*i + 3/2*j + 1/6*k, 3/2*j + 1/6*k], [0, 0, 0, 0, 1/6*i + 1/4*j + 1/12*k, 1/2*i + 3/4*j - 5/12*k, -3/4 + 7/12*i - 7/4*j + 7/12*k, 9/4 - 17/12*i - 5/4*j + 3/4*k], [0, 0, 0, 0, 0, -1 + i - j + k, 1/2 - 19/6*i - 3/2*j + 1/6*k, 3/2 + 1/2*i + 3/2*j - 29/6*k], [0, 0, 0, 0, 0, 0, -1/3*i - 1/3*k, -1 + 2/3*i - j], [0, 0, 0, 0, 0, 0, 0, 4] ]); ErzMat[75]:= Matrix(H,8,8,[ [1/8 + 1/24*i - 1/8*j + 1/8*k, 1/8 - 7/24*i + 3/8*j + 7/24*k, -1/8 - 17/24*i + 1/8*j + 5/24*k, -11/8 - 1/8*i + 3/8*j - 1/24*k, 13/8 - 5/24*i - 1/12*k, -1/8 + 1/24*i - 1/4*k, -5/8 - 1/24*i + 1/8*j + 1/24*k, -1/8 + 5/8*i + 7/8*j - 5/24*k], [0, -1/2*i + 1/4*j - 1/4*k, -3/4 - 5/12*i - 1/4*j - 7/12*k, 1/2*i + 5/4*j - 7/12*k, 1/8 - 11/24*i - 3/2*j + 1/12*k, 5/8 + 3/8*i - 1/2*j + 1/12*k, -1/8 + 5/24*i + 5/8*j - 5/24*k, 13/8 + 1/8*i + 1/8*j - 5/24*k], [0, 0, 1/2 - 1/6*i, -1/2 + 1/6*i - j + 1/3*k, 1/2 + 1/6*i + 1/2*j - 1/2*k, -1/2 - 1/6*i + 1/2*j + 1/6*k, -1, -1], [0, 0, 0, -1 - i, 2/3*i + 2/3*k, 1 - 1/3*i, 1/3*i + j - 1/3*k, 1 + j - 1/3*k], [0, 0, 0, 0, 1/2 - 1/6*i, -1/2 + 1/6*i + j + 1/3*k, -1/2 - 1/6*i + 1/2*j - 1/6*k, -1/2 - 1/6*i + 1/2*j + 1/2*k], [0, 0, 0, 0, 0, 1 + i + j + k, -1 + 3/2*j - 1/6*k, -1/3*i + 3/2*j + 7/6*k], [0, 0, 0, 0, 0, 0, -1/2 - 1/6*i, -1/2 + 7/6*i - 2/3*k], [0, 0, 0, 0, 0, 0, 0, 2 - 2*i - 2*j + 2*k] ]); ErzMat[76]:= Matrix(H,8,8,[ [-1/16 + 1/48*i - 1/16*j + 5/48*k, 7/16 - 1/16*i + 1/16*j - 1/48*k, -5/16 + 13/48*i - 1/16*j - 1/16*k, 3/16 - 7/48*i + 1/16*j + 7/48*k, -13/16 + 7/16*i - 1/16*j - 11/48*k, 3/16 - 7/48*i + 1/16*j - 1/48*k, 1/8 - 1/8*i + 1/12*k, 1/8 - 11/24*i - 7/12*k], [0, j + k, -1/3*i + 1/2*j - 7/6*k, -1/2 + 1/2*i + 1/3*k, 5/4 - 5/4*i + 1/2*j - 2*k, 1/4 - 1/4*i - 1/2*j + k, -1/4 - 1/12*i + 1/6*k, 15/4 - 13/12*i - 1/2*j + 2*k], [0, 0, 1/3*k, -1 - 1/3*i - 1/3*k, 1/2 - 1/2*i + 3/2*j + 5/6*k, 1/2 + 1/6*i - 1/2*j + 1/6*k, -1 - 1/3*i - j, 4/3*i + j + 2/3*k], [0, 0, 0, 1/2 + 1/2*i + 1/2*j + 1/2*k, 5/4 + 17/12*i - j - 5/6*k, -3/4 - 7/12*i - 1/2*k, 1/4 - 7/12*i + j + 1/6*k, 5/4 - 7/12*i - 7/2*j], [0, 0, 0, 0, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k, -1/2 - 1/6*i + 1/3*k, -1/2 - 1/6*i - j], [0, 0, 0, 0, 0, 2 - 2*j, -1/2 + 1/2*i + j, 1/2 - 1/2*i + k], [0, 0, 0, 0, 0, 0, -1/3*i + 1/2*j + 1/6*k, -1/3*i + 5/2*j + 3/2*k], [0, 0, 0, 0, 0, 0, 0, 1 - i - 2*k] ]); ErzMat[77]:= Matrix(H,8,8,[ [1/16 - 1/48*i + 1/16*j - 5/48*k, -7/16 + 9/16*i - 5/16*j + 13/48*k, 5/16 + 1/16*i - 15/16*j + 1/16*k, 25/16 + 1/16*i + 7/16*j + 3/16*k, -13/16 - 23/48*i - 7/16*j - 1/48*k, -13/16 + 7/16*i + 23/16*j - 43/48*k, -1 + 3/4*i + 1/8*j + 5/24*k, 3/4 + 2/3*i - 3/8*j - 11/24*k], [0, 1/2 + 1/2*i - j, 1 - 1/3*i - 1/2*j - 1/6*k, 1 + j - 2/3*k, -1/2 - 1/3*i - 1/4*j + 3/4*k, -5/2 + 1/3*i - 1/4*j - 7/12*k, -3/4 + 3/4*i - 5/4*j - 1/12*k, 1/4 + 1/12*i - 3/4*j - 11/12*k], [0, 0, -1/3*i, 1/3*i + 2/3*k, -1/2 - 1/2*i - 1/2*j + 1/6*k, 1/2 - 1/6*i + 1/2*j - 1/6*k, 1/2 + 1/6*i - 1/3*k, 1/2 + 1/6*i - j], [0, 0, 0, -1 - i, 2/3*i - 2/3*k, -j + 1/3*k, -1/2 - 1/2*i + j + 2/3*k, -1/2 + 5/6*i + 2*j + 1/3*k], [0, 0, 0, 0, -1/3*i, 1/3*i + j - 1/3*k, 2/3*i - 1/2*j - 1/6*k, -1/2*j - 1/6*k], [0, 0, 0, 0, 0, 2 - 2*j, 1/2 + 1/6*i + 1/2*j + 7/6*k, 1/2 + 1/6*i + 1/2*j + 1/2*k], [0, 0, 0, 0, 0, 0, 1/2 - 1/6*i, -3/2 - 5/6*i - j - 5/3*k], [0, 0, 0, 0, 0, 0, 0, -4 + 2*j - 2*k] ]); ErzMat[78]:= Matrix(H,8,8,[ [-1/12*i - 1/12*k, 1/2 - 1/12*i + 1/4*j, -1/4 - 1/6*i + 1/4*j, -1/2 - 1/12*i - 1/4*j - 1/6*k, -1/6*i - 1/8*j + 1/8*k, 1/4 - 1/12*i + 5/8*j + 5/24*k, -7/8 - 1/8*i - 1/8*j + 1/8*k, -3/8 - 1/8*i - 7/8*j + 3/8*k], [0, -1/2 - 1/2*i + j, -1 + 1/3*i - j + 1/3*k, 1/3*i - 3/2*j + 1/2*k, 1/6*i + 3/4*j + 3/4*k, -1 - 1/6*i + 3/4*j - 7/12*k, 1/4 + 3/4*i - 7/4*j + 1/12*k, 5/4 + 17/12*i - 1/4*j + 11/12*k], [0, 0, -1/3*k, -2/3*i + 1/3*k, -1/2 + 1/2*i - 1/2*j - 1/6*k, 1/2 + 1/6*i + 1/2*j + 1/6*k, -1/2 + 1/2*i + 1/3*k, 1/2 + 1/6*i - 1/3*k], [0, 0, 0, -j + k, 2/3*i - 2/3*k, j + 1/3*k, -3/2 + 5/6*i + j, 1/2 + 1/6*i + 1/3*k], [0, 0, 0, 0, -1/2 + 1/6*i, 1/2 - 1/6*i - j - 1/3*k, 1 + 1/3*i + 1/2*j + 1/6*k, 1/2*j + 1/6*k], [0, 0, 0, 0, 0, 2 - 2*j, 3/2 - 1/2*i + 5/2*j + 1/6*k, -3/2 - 1/6*i + 3/2*j - 1/6*k], [0, 0, 0, 0, 0, 0, 1/3*i, 5/3*i + 3*j + 1/3*k], [0, 0, 0, 0, 0, 0, 0, 4 - 4*j] ]); ErzMat[79]:= Matrix(H,8,8,[ [-3/16 - 1/48*i + 1/16*j - 1/48*k, 5/16 + 11/48*i + 7/16*j - 1/16*k, -1/16 - 7/48*i + 1/16*j - 5/48*k, 3/16 + 3/16*i + 3/16*j + 13/48*k, 1/16 + 7/48*i + 3/16*j - 5/16*k, 1/16 + 35/48*i - 11/16*j - 5/48*k, -1/4 - 1/12*i, 1/2 - 1/6*i + 1/6*k], [0, -1/2 - 1/2*i - 1/2*j - 1/2*k, -1/4 + 1/4*i - j + 1/6*k, -1/4 - 5/12*i + j - 7/6*k, -1/2*i + 1/4*j + 5/12*k, 3/2 - 2/3*i + 1/4*j + 1/12*k, 1/4 + 3/4*i - 1/2*j, -5/4 + 1/4*i + 1/2*j], [0, 0, -1/3*i, 1/3*i - j - 1/3*k, 1/2 - 1/2*i, -1/2 + 1/2*i, 1/2*j + 1/6*k, 1 + 1/3*i - 1/2*j - 1/6*k], [0, 0, 0, -j - k, 1/2 - 1/2*i + 1/2*j - 1/6*k, 1/2 + 1/6*i - 1/2*j + 1/6*k, 1/2 + 1/6*i + 1/2*j - 1/6*k, -1/2 + 1/2*i + 1/2*j - 1/6*k], [0, 0, 0, 0, -1/2*j - 1/6*k, 1 - 1/3*i + 1/2*j + 1/6*k, -1/3*i - 1/2*j + 1/6*k, -1/3*i - 1/2*j - 1/2*k], [0, 0, 0, 0, 0, 1 + i + j + k, 3/2 - 1/6*i - 1/2*j - 1/2*k, 3/2 - 5/6*i + 1/2*j - 1/6*k], [0, 0, 0, 0, 0, 0, -1/2 + 1/6*i - 1/2*j - 1/6*k, 1/2 + 1/2*i + 3/2*j - 1/6*k], [0, 0, 0, 0, 0, 0, 0, -2 - 2*i] ]); ErzMat[80]:= Matrix(H,8,8,[ [-1/8 + 1/24*i + 1/8*j - 1/24*k, -1/8 - 1/8*i - 1/8*j + 5/24*k, -1/8 - 1/8*i + 7/8*j + 1/24*k, -1/8 - 7/24*i - 3/8*j - 1/24*k, 3/8 + 5/24*i + 1/8*j - 1/24*k, -1/8 + 5/24*i - 1/8*j - 1/8*k, -1/4 + 1/12*i + 3/4*j - 1/12*k, -1/4 - 1/4*i - 3/4*j + 5/12*k], [0, 1/2 + 1/2*i - j, -3/2 - 1/4*j + 13/12*k, 3/2 - 1/3*i - 1/4*j + 5/12*k, -1 + 2/3*i + 1/2*j - 1/6*k, -2/3*k, -3/2 - 1/3*i + 1/4*j + 1/4*k, 5/2 + 1/3*i - 11/4*j - 1/12*k], [0, 0, -1/3*k, -1 + 1/3*i + 1/3*k, -1/2*j - 1/6*k, -1 - 1/3*i + 1/2*j + 1/6*k, 1/2*j - 1/2*k, -1/2*j + 1/2*k], [0, 0, 0, 2, -1/2 + 1/2*i + 2/3*k, 1/2 + 5/6*i - 2/3*k, -1/2*j - 1/6*k, 1 - 1/3*i + 1/2*j + 1/6*k], [0, 0, 0, 0, -1/3*k, 2 - 2/3*i + j - 2/3*k, 1 + 2/3*i + j + k, 2 + 1/3*i - j - 7/3*k], [0, 0, 0, 0, 0, 1 - i - 3*j - k, 5/2 - 3/2*i + j + 2/3*k, 1/2 + 11/6*i - 6*j + 1/3*k], [0, 0, 0, 0, 0, 0, 1/3*i - 1/2*j + 1/6*k, 1 + 1/2*j - 5/6*k], [0, 0, 0, 0, 0, 0, 0, -1 - i - j + k] ]); ErzMat[81]:= Matrix(H,8,8,[ [1/16 + 1/48*i + 3/16*j - 1/48*k, -5/16 - 3/16*i - 1/16*j - 1/48*k, -7/16 + 1/48*i - 1/16*j + 1/16*k, -13/16 + 23/48*i + 11/16*j + 19/48*k, 9/16 - 7/48*i - 5/16*j - 3/16*k, -5/16 + 7/48*i - 1/16*j - 1/48*k, 1/4 - 3/8*j - 5/24*k, -1/4 - 1/6*i + 1/8*j - 1/24*k], [0, -1 - 1/2*j + 1/2*k, -1/2 + 1/2*i - j + 1/3*k, 8/3*i - 1/3*k, 3/4 - 13/12*i - 1/6*k, -5/4 + 1/4*i - 1/6*k, 3/4 - 1/4*i - 1/4*j + 1/12*k, -3/4 - 1/12*i - 1/4*j + 5/12*k], [0, 0, 1/2*j + 1/6*k, -2/3*i - 1/2*j - 1/6*k, -1/2 + 1/6*i + 1/2*j + 1/2*k, 1/2 - 1/6*i - 1/2*j + 1/6*k, -1 - 1/3*i - 1/3*k, 2/3*i - j], [0, 0, 0, j - k, -2/3*i + 2/3*k, -j - 1/3*k, -1/3*i + 3/2*j - 5/6*k, -2 - 1/3*i - 1/2*j + 1/2*k], [0, 0, 0, 0, 1/3*k, -1 - 1/3*i - 1/3*k, 1/2 + 1/2*i + 1/3*k, -1/2 + 1/6*i - 1/3*k], [0, 0, 0, 0, 0, -2 + 2*j, 1/2 + 1/6*i - 2*j + 1/3*k, -1/2 + 1/2*i + 1/3*k], [0, 0, 0, 0, 0, 0, 1/3*i, -7/3*i + 5*j - 5/3*k], [0, 0, 0, 0, 0, 0, 0, -2 + 2*i + 4*j] ]); ErzMat[82]:= Matrix(H,8,8,[ [1/16 - 1/48*i + 1/16*j - 5/48*k, -7/16 + 1/16*i - 1/16*j + 1/48*k, 5/16 + 1/16*i - 7/16*j - 5/48*k, 5/16 - 1/48*i - 1/16*j - 7/48*k, 13/16 + 1/16*i - 3/16*j - 17/48*k, -3/16 - 1/48*i - 5/16*j + 5/48*k, -1/8 - 1/24*i + 1/4*j - 1/6*k, 3/8 - 13/24*i + 1/4*j - 1/2*k], [0, -1/2 - 1/2*i + 1/2*j - 1/2*k, -1/4 + 13/12*i + 1/4*j + 1/12*k, 1/4 + 7/12*i - 1/4*j + 1/4*k, 7/4 + 19/12*i - 1/4*j + 3/4*k, -7/4 - 7/12*i + 1/4*j - 5/12*k, 5/4 - 5/12*i + 3/4*j - 3/4*k, 21/4 - 1/12*i - 5/4*j - 5/12*k], [0, 0, 1/2 + 1/6*i, 1/3*i - 1/2*j + 1/6*k, 5/4 + 5/12*i - 1/6*k, -3/4 - 1/4*i - 1/6*k, 5/4 - 1/4*i - 1/2*j - 1/3*k, 13/4 + 1/12*i - j - 7/6*k], [0, 0, 0, 1/2 - 1/2*i - 1/2*j + 1/2*k, 1/2 - 1/3*i - 5/4*j + 1/12*k, -1/2 + 3/4*j + 1/12*k, -1 - 1/2*i - 3/4*j - 3/4*k, -3/2 - i - 15/4*j - 3/4*k], [0, 0, 0, 0, 1/2*j - 1/6*k, 2/3*i - 1/2*j + 1/6*k, 1/2 - 1/6*i - 1/2*j + 1/6*k, 1/2 + 1/2*i - 1/2*j + 1/6*k], [0, 0, 0, 0, 0, 2 + 2*j, -1 + 1/2*j + 7/6*k, 1 - 2/3*i + 5/2*j - 1/6*k], [0, 0, 0, 0, 0, 0, -2/3*i, -1 - 1/3*i + j + 1/3*k], [0, 0, 0, 0, 0, 0, 0, -1 + i + 2*k] ]); ErzMat[83]:= Matrix(H,8,8,[ [-1/16*i + 1/16*j - 1/24*k, 9/16 + 7/24*i - 1/2*j - 13/48*k, -19/8 + 19/48*i + 11/16*j - 2/3*k, -37/16 + 1/12*i + 17/8*j - 1/16*k, 3/8 - 17/48*i - 5/16*j + 1/2*k, -5/16 + 5/12*i - 5/8*j + 49/48*k, 9/16 + 23/48*i + 21/16*j + 1/48*k, -3/16 - 23/16*i + 25/16*j + 13/48*k], [0, 1/2 - 1/2*i - 1/2*j - 1/2*k, -5/2 + 5/6*i - 5/2*j + 1/2*k, -3 + 5/3*i - j + 1/3*k, 3/4 + 1/12*i + 5/4*j + 5/12*k, 11/4 + 3/4*i - 3/4*j + 5/12*k, -1/2 + 2/3*i + 1/2*j - 2/3*k, -2 + 1/2*i + 3*j + 5/6*k], [0, 0, -1/2 - 1/6*i, 1/2 + 1/6*i - j + 1/3*k, -1/2 + 1/6*i - 1/2*j + 1/6*k, -1/2 + 1/6*i - 1/2*j - 1/2*k, 1 + 2/3*i - 1/2*j + 1/2*k, 1/3*i + 3/2*j - 5/6*k], [0, 0, 0, -1 - i, 1/2 - 1/6*i + 1/3*k, 1/2 - 1/6*i + k, -5/3*i - j - 1/3*k, i - 2*j + 2/3*k], [0, 0, 0, 0, -1/3*i, -1 - 2/3*i - 2*j + 2/3*k, 3/2 + 1/6*i + 1/2*j - 5/6*k, -1/2 + 1/6*i - 1/2*j - 1/2*k], [0, 0, 0, 0, 0, 2 + 2*j, -5/2 + 1/2*i - 1/2*j + 5/6*k, -1/2 - 5/6*i + 3/2*j + 1/6*k], [0, 0, 0, 0, 0, 0, -1/2 + 1/6*i, -5/2 - 19/6*i + j + 5/3*k], [0, 0, 0, 0, 0, 0, 0, 4*i - 2*j - 2*k] ]);