# Character: X3 # Comment: restricted 45-dim rep of M24 # Ind: 0 # Ring: C # Sparsity: 58% # Checker result: pass # Conjugacy class representative result: pass local b, B, w, W, i, result, delta, idmat; result := rec(); w := E(3); W := E(3)^2; b := E(7)+E(7)^2+E(7)^4; B := -1-b; # b7, b7** i := E(4); result.comment := "M23 as 45 x 45 matrices\n"; result.generators := [ [[0,0,0,0,0,0,0,0,0,1/2,1/2,-1/2*b,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,1/2,1/2,1/2*b,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,1/2*B,-1/2*B,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1/2*B,-1/2*B,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1/2,-1/2,1/2*b,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1/2,-1/2,-1/2*b, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,-1/2,1/2*b,-1/2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,1/2*B,0,-1/2*B,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,-1/2,-1/2*b,-1/2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [1/2,1/2,1/2*b,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [1/2,1/2,-1/2*b,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [-1/2*B,1/2*B,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1/2,1/2,1/2*b,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1/2,-1/2,1/2*b,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1/2*B,1/2*B,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1/2*B,0,1/2*B, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1/2,1/2*b, 1/2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1/2,-1/2*b, 1/2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1/2,-1/2*b,1/2,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1/2*B,0,-1/2*B,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1/2,-1/2*b,-1/2,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,1/2*b,-1/2,-1/2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,-1/2*b,-1/2,-1/2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,1/2*B,-1/2*B,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1/2*b,-1/2,-1/2,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1/2*B,-1/2*B,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1/2*b,1/2,1/2,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1/2, 1/2,1/2*b,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1/2,-1/2, 1/2*b,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1/2*B, 1/2*B,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,1/2*B,-1/2*B,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 1/2*b,-1/2,-1/2,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, -1/2*b,-1/2,-1/2,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,-1/2,1/2,-1/2*b,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,1/2*B,1/2*B,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,1/2,-1/2,-1/2*b,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,-1/2,1/2*b,1/2,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,1/2,1/2*b,-1/2,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,-1/2*B,0,-1/2*B,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,-1/2*B,-1/2*B], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,-1/2*b,-1/2,1/2], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,-1/2*b,1/2,-1/2]] , [[-1/4*b,-1/4,-1/4,-1/8*B,0,1/8*B,-1/8*B,1/8*B,0,-1/4,0,0,0,-1/4,0, 0,0,1/4,-1/4,0,0,0,1/8*B,-1/8*B,-1/8*B,0,1/8*B,0,0,0,0,0,0,-1/8*B, 1/8*B,0,0,-1/8*B,-1/8*B,1/8*B,0,1/8*B,-1/8*B,1/8*B,0], [0,0,0,1/8,1/8*b,1/8,1/8,1/8,1/8*b,0,-1/4,0,-1/4,0,0,0,1/4,0,0,-1/4, 0,1/8*b,-1/8,-1/8,1/8,1/8*b,1/8,1/4*b,0,0,1/4*b,0,0,1/8,1/8,-1/8*b, 1/8*b,-1/8,1/8,-1/8,-1/8*b,1/8,1/8,1/8,1/8*b], [0,0,0,1/8,-1/8*b,1/8,1/8,1/8,-1/8*b,0,0,-1/4,0,0,1/4,-1/4,0,0,0,0, 1/4,1/8*b,1/8,1/8,-1/8,1/8*b,-1/8,1/4*b,0,0,-1/4*b,0,0,1/8,1/8,1/8*b, -1/8*b,-1/8,1/8,1/8,-1/8*b,-1/8,-1/8,-1/8,1/8*b], [1/4,1/4*b,1/4,1/8*B,1/8*B,0,0,-1/8*B,-1/8*B,1/4,0,0,0,-1/4,0,0,0, 0,0,0,0,1/8*B,-1/8*B,0,0,-1/8*B,-1/8*B,0,1/4,0,0,0,1/4,-1/8*B,0, 1/8*B,1/8*B,-1/8*B,0,0,-1/8*B,1/8*B,-1/8*B,0,-1/8*B], [0,0,0,1/8,-1/8,1/8*b,1/8*b,1/8,-1/8,0,0,1/4,0,0,-1/4,1/4*b,0,0,0, 0,-1/4*b,1/8,1/8,1/8*b,-1/8*b,1/8,-1/8,-1/4,0,0,1/4,0,0,1/8,1/8*b, 1/8,-1/8,-1/8,1/8*b,1/8*b,-1/8,-1/8,-1/8,-1/8*b,1/8], [0,0,0,-1/8,1/8,1/8*b,1/8*b,-1/8,1/8,0,1/4,0,-1/4,0,0,1/4*b,0,0,0, 0,1/4*b,1/8,1/8,-1/8*b,1/8*b,1/8,-1/8,0,0,1/4,0,1/4,0,1/8,-1/8*b, 1/8,-1/8,-1/8,-1/8*b,1/8*b,1/8,1/8,1/8,-1/8*b,-1/8], [1/4,1/4,1/4*b,0,1/8*B,-1/8*B,1/8*B,0,-1/8*B,0,0,0,0,0,0,0,0,-1/4, -1/4,0,0,-1/8*B,0,-1/8*B,-1/8*B,1/8*B,0,0,-1/4,0,0,0,1/4,0,1/8*B, 1/8*B,1/8*B,0,-1/8*B,-1/8*B,1/8*B,0,0,-1/8*B,1/8*B], [0,0,0,1/8*b,-1/8,-1/8,-1/8,1/8*b,-1/8,0,1/4*b,0,-1/4*b,0,0,1/4,0, 0,0,0,1/4,-1/8,-1/8*b,1/8,-1/8,-1/8,1/8*b,0,0,1/4,0,1/4,0,-1/8*b, 1/8,-1/8,1/8,1/8*b,1/8,-1/8,-1/8,-1/8*b,-1/8*b,1/8,1/8], [0,0,0,-1/8*b,-1/8,-1/8,-1/8,-1/8*b,-1/8,0,-1/4*b,0,-1/4*b,0,0,0,1/4, 0,0,-1/4,0,-1/8,1/8*b,1/8,-1/8,-1/8,-1/8*b,1/4,0,0,1/4,0,0,-1/8*b, -1/8,1/8,-1/8,1/8*b,-1/8,1/8,1/8,-1/8*b,-1/8*b,-1/8,-1/8], [-1/8*B,1/8*B,0,-1/8*B,0,1/8*B,-1/8*b,1/8,1/8,1/8*b,-1/8,-1/8,1/8*B, 0,-1/8*B,1/8*b,1/8,1/8,-1/8*B,-1/8*B,0,0,0,-1/4,-1/8,1/8,1/8*b,-1/8*b, -1/8,-1/8,0,1/8*B,-1/8*B,1/4,0,0,-1/8,-1/8*b,1/8,1/4,-1/8*B,1/8*B, 1/8,1/8,-1/8*b], [-1/8,-1/8,1/8*b,-1/8,1/8*b,-1/8,1/4,-1/8*B,-1/8*B,0,-1/8*B,1/8*B, 1/8,-1/8*b,1/8,1/8*b,-1/8,-1/8,1/8*B,1/8*B,0,0,1/4,0,-1/8,1/8,-1/8*b, 0,-1/8*B,1/8*B,1/8*b,-1/8,-1/8,0,-1/4,0,-1/8,1/8*b,1/8,-1/8*b,1/8, -1/8,1/8*B,-1/8*B,0], [1/8,1/8,1/8*b,1/8,1/8*b,1/8,-1/8*b,1/8,1/8,1/8*b,1/8,1/8,1/8,1/8*b, 1/8,0,1/8*B,-1/8*B,-1/4*b-1/8*B,-1/4*b-1/8*B,0,-1/4,0,0,-1/8*B,-1/8*B, 0,-1/8*b,1/8,1/8,-1/8*b,-1/8,-1/8,0,0,1/4,-1/8*B,0,-1/8*B,1/8*b, -1/8,1/8,1/8,1/8,1/8*b], [1/8,1/8,1/8*b,0,1/4,0,1/8*B,0,1/8*B,-1/8*b,-1/8,1/8,-1/8,-1/8*b,1/8, 0,-1/4*b-1/8*B,-1/4*b-1/8*B,-1/8*B,1/8*B,0,-1/8*b,1/8,1/8,1/8*b, -1/8,-1/8,1/8*b,1/8,1/8,1/8*b,-1/8,-1/8,-1/8,-1/8,1/8*b,-1/8,1/8, 1/8*b,-1/8*B,-1/8*B,0,0,0,1/4], [-1/8,-1/8,1/8*b,-1/4,0,0,-1/8,-1/8*b,1/8,0,-1/8*B,-1/8*B,1/8,-1/8*b, -1/8,0,-1/8*B,-1/8*B,1/8,1/8,1/8*b,1/8*b,1/8,1/8,1/4,-1/8*B,-1/8*B, 1/8*b,-1/8,-1/8,0,1/8*B,-1/8*B,1/8*B,-1/8*B,0,-1/8,1/8,1/8*b,-1/8, 1/8,-1/8*b,0,-1/4,0], [1/8*B,-1/8*B,0,0,0,-1/4,1/8,-1/8*b,-1/8,-1/8*b,1/8,-1/8,-1/8*B,0, -1/8*B,0,-1/8*B,-1/8*B,1/8,1/8,-1/8*b,0,-1/8*B,1/8*B,1/8*b,-1/8, -1/8,0,1/8*B,-1/8*B,1/8*b,1/8,1/8,-1/8,-1/8,-1/8*b,-1/8*B,1/8*B, 1/4,1/8,-1/8,-1/8*b,-1/4,0,0], [-1/8,1/8*b,-1/8,1/4,1/8*B,-1/8*B,-1/8,-1/8,-1/8*b,1/8,1/8*b,1/8,0, 1/8*B,-1/8*B,-1/8*B,-1/8*B,0,-1/8*b,-1/8,-1/8,0,-1/8*B,1/8*B,1/8, -1/8,-1/8*b,0,1/8*B,1/8*B,-1/8*b,-1/8,-1/8,1/8,-1/8*b,-1/8,0,1/4, 0,-1/8*b,-1/8,1/8,0,1/4,0], [-1/8,-1/8*b,-1/8,1/8*b,1/8,-1/8,-1/8,-1/8,1/8*b,-1/8*B,0,1/8*B,0, 1/4*b+1/8*B,-1/4*b-1/8*B,-1/8,1/8,1/8*b,-1/8*b,1/8,1/8,-1/8*b,-1/8, -1/8,1/8,-1/8,-1/8*b,1/8*b,1/8,-1/8,-1/8*b,1/8,1/8,1/8*B,0,1/8*B, -1/4,0,0,0,-1/8*B,-1/8*B,0,0,1/4], [1/8*B,0,-1/8*B,1/8*b,1/8,-1/8,1/8*B,-1/8*B,0,1/8,-1/8*b,1/8,0,1/8*B, -1/8*B,1/8,-1/8,1/8*b,0,-1/8*B,1/8*B,1/8*b,-1/8,-1/8,1/8*B,-1/8*B, -1/4,1/8*b,-1/8,1/8,0,-1/8*B,1/8*B,-1/8,-1/8*b,1/8,0,0,-1/4,-1/8*b, 1/8,-1/8,1/4,0,0], [-1/8,1/8*b,-1/8,-1/8,-1/8,-1/8*b,-1/4,0,0,1/8*B,0,1/8*B,-1/8*b,1/8, -1/8,-1/8*B,1/8*B,0,-1/8*b,1/8,-1/8,0,-1/4,0,1/8*b,-1/8,-1/8,1/8*b, 1/8,-1/8,0,1/8*B,-1/8*B,1/8*b,-1/8,-1/8,0,1/8*B,1/8*B,-1/8*B,1/8*B, -1/4,1/8,1/8,1/8*b], [-1/8*B,0,1/8*B,-1/8,-1/8,1/8*b,0,1/4,0,-1/8*B,0,-1/8*B,-1/8*b,-1/8, 1/8,-1/8,-1/8,-1/8*b,0,-1/8*B,-1/8*B,0,0,1/4,-1/8*b,-1/8,-1/8,0, 1/8*B,1/8*B,1/8*b,-1/8,-1/8,-1/4,1/8*B,1/8*B,1/8*b,-1/8,1/8,1/8, -1/8,1/8*b,-1/8*B,1/8*B,0], [-1/8,-1/8*b,-1/8,-1/8*B,1/8*B,0,0,0,1/4,-1/4*b-1/8*B,0,-1/4*b-1/8*B, 0,1/8*B,1/8*B,1/8,1/8,-1/8*b,1/8*b,1/8,-1/8,-1/4,0,0,0,-1/8*B,1/8*B, -1/8*b,1/8,-1/8,1/8*b,1/8,1/8,-1/8*b,1/8,1/8,-1/8*b,-1/8,1/8,1/8, -1/8,1/8*b,-1/8,-1/8,1/8*b], [1/8*B,-1/8*B,0,1/8,1/8,-1/8*b,1/8*B,-1/8*B,0,-1/8*b,-1/8,-1/8,1/8*B, 0,-1/8*B,1/8*b,1/8,-1/8,1/8*B,-1/8*B,0,1/8,-1/8*b,1/8,1/4,0,0,-1/8*b, 1/8,-1/8,0,1/8*B,1/8*B,1/8*b,1/8,1/8,0,-1/4,0,-1/8,1/8*b,1/8,1/8*B, -1/4,1/8*B], [1/8,1/8,1/8*b,-1/8,-1/8,1/8*b,-1/8,-1/8,-1/8*b,1/8*b,-1/8,-1/8,-1/8, 1/8*b,-1/8,0,-1/8*B,-1/8*B,-1/4*b-1/8*B,1/4*b+1/8*B,0,1/8*B,0,-1/8*B, 0,1/4,0,1/8*b,1/8,-1/8,1/8*b,1/8,-1/8,0,1/8*B,-1/8*B,1/4,0,0,1/8, 1/8*b,-1/8,-1/8,1/8*b,-1/8], [1/8,1/8,-1/8*b,-1/8*B,-1/8*B,1/4,-1/8,-1/8,1/8*b,0,-1/8*B,1/8*B,1/8, 1/8*b,1/8,1/8*b,-1/8,1/8,-1/8*B,1/8*B,0,1/8,1/8*b,1/8,0,0,-1/4,0, 1/8*B,1/8*B,1/8*b,-1/8,1/8,-1/8*b,1/8,1/8,0,0,-1/4,1/8*B,0,1/8*B, -1/8,1/8*b,-1/8], [-1/8*B,1/8*B,0,-1/8*b,-1/8,1/8,-1/4,0,0,1/8*b,1/8,-1/8,-1/8*B,0,-1/8*B, 0,-1/8*B,1/8*B,-1/8,1/8,-1/8*b,-1/8,1/8,-1/8*b,-1/8*B,0,1/8*B,0, -1/8*B,-1/8*B,1/8*b,1/8,-1/8,-1/8*B,1/4,1/8*B,1/8*b,1/8,-1/8,0,0, -1/4,-1/8*b,-1/8,1/8], [-1/8,-1/8,1/8*b,1/8*b,-1/8,1/8,0,1/4,0,0,1/8*B,1/8*B,-1/8,-1/8*b, 1/8,0,1/8*B,-1/8*B,1/8,-1/8,-1/8*b,1/8*B,-1/8*B,1/4,1/8,-1/8*b,1/8, -1/8*b,-1/8,1/8,0,-1/8*B,-1/8*B,1/8,-1/8*b,-1/8,0,1/8*B,1/8*B,-1/4, 0,0,1/8*b,-1/8,1/8], [-1/8,-1/8,-1/8*b,0,1/8*B,1/8*B,0,0,1/4,1/8*b,-1/8,1/8,-1/8,1/8*b, 1/8,0,-1/4*b-1/8*B,1/4*b+1/8*B,1/8*B,1/8*B,0,-1/8,1/8,-1/8*b,-1/8, -1/8*b,-1/8,1/8*b,-1/8,1/8,1/8*b,-1/8,1/8,-1/8,1/8*b,1/8,-1/8*b, 1/8,-1/8,0,-1/4,0,0,1/8*B,1/8*B], [1/8*b,1/8,1/8,0,-1/8*B,1/8*B,0,1/8*B,1/8*B,1/8,-1/8,-1/8*b,-1/8,1/8, 1/8*b,-1/8,1/8*b,-1/8,1/8,-1/8*b,1/8,1/8*b+1/4*B,-1/8*b,1/8*b,1/8, 1/8*b,-1/8,1/4,0,0,0,0,0,0,1/8*B,1/8*B,1/8*B,-1/8*B,0,-1/8,-1/8*b, -1/8,1/8*b,-1/8*b,1/8*b+1/4*B], [0,1/8*B,-1/8*B,1/8*b,-1/8,-1/8,-1/8*b,1/8,-1/8,1/8*B,1/8*B,0,-1/8*B, -1/8*B,0,-1/8*B,0,1/8*B,1/8*B,0,-1/8*B,-1/8*b-1/4*B,1/8*b,-1/8*b, -1/8,1/8*b,1/8,0,1/4,0,0,0,0,-1/8*b,1/8,-1/8,1/8,1/8,1/8*b,-1/8, 1/8*b,-1/8,1/8*b,-1/8*b,1/8*b+1/4*B], [1/8*b,-1/8,-1/8,1/8*b,1/8,1/8,1/8*b,1/8,-1/8,1/8,-1/8,1/8*b,1/8,-1/8, 1/8*b,-1/8,-1/8*b,-1/8,-1/8,-1/8*b,-1/8,0,0,0,-1/8*B,0,-1/8*B,0, 0,-1/4,0,-1/4*B,1/4*B,-1/8*b,-1/8,1/8,1/8,1/8,-1/8*b,-1/8*B,0,1/8*B, 0,0,0], [0,-1/8*B,1/8*B,1/8,-1/8,-1/8*b,-1/8,1/8*b,-1/8,-1/8*B,1/8*B,0,-1/8*B, 1/8*B,0,-1/8*B,0,-1/8*B,-1/8*B,0,-1/8*B,1/8*b,-1/8,1/8,1/8*b,-1/8*b-1/4*B, -1/8*b,0,-1/4,0,0,0,0,-1/8,1/8*b,-1/8,1/8,1/8*b,1/8,1/8*b,-1/8*b-1/4*B, 1/8*b,-1/8,1/8,-1/8*b], [-1/8*b,-1/8,-1/8,1/8*B,1/8*B,0,1/8*B,0,-1/8*B,-1/8,-1/8,-1/8*b,-1/8, -1/8,1/8*b,-1/8,1/8*b,1/8,-1/8,-1/8*b,1/8,1/8*b,1/8,-1/8,-1/8*b, 1/8*b+1/4*B,1/8*b,1/4,0,0,0,0,0,1/8*B,0,-1/8*B,-1/8*B,0,1/8*B,1/8*b, -1/8*b-1/4*B,1/8*b,-1/8,1/8,1/8*b], [1/8*b,-1/8,-1/8,-1/8,1/8,-1/8*b,-1/8,-1/8*b,-1/8,1/8,1/8,-1/8*b,-1/8, -1/8,-1/8*b,1/8,1/8*b,-1/8,-1/8,1/8*b,1/8,0,-1/8*B,-1/8*B,0,0,0, 0,0,1/4,0,1/4*B,1/4*B,1/8,1/8*b,1/8,1/8,-1/8*b,1/8,0,0,0,-1/8*B, -1/8*B,0], [-1/8*b,1/8,1/8,1/8*b,1/8*b+1/4*B,-1/8*b,1/8,-1/8,-1/8*b,-1/8*B,-1/8*B, 0,1/8*B,1/8*B,0,1/8*B,0,1/8*B,1/8*B,0,1/8*B,1/8,1/8*b,-1/8,1/8*b, 1/8,-1/8,0,0,0,0,0,-1/4,-1/8*b,1/8*b,1/8*b+1/4*B,1/8*b,-1/8,-1/8, 1/8*b,1/8,1/8,1/8*b,-1/8,-1/8], [0,1/8*B,-1/8*B,0,0,0,-1/8*B,-1/8*B,0,1/8,-1/8,-1/8*b,1/8,-1/8,-1/8*b, -1/8,1/8*b,1/8,1/8,1/8*b,-1/8,1/8,-1/8*b,-1/8,1/8*b,-1/8,1/8,0,1/4*B, -1/4*B,0,-1/4,0,0,0,0,0,-1/8*B,1/8*B,1/8*b,-1/8,-1/8,-1/8*b,-1/8, -1/8], [1/8*b,1/8,1/8,1/8*b,1/8*b+1/4*B,-1/8*b,1/8,-1/8,1/8*b,1/8,-1/8,1/8*b, -1/8,1/8,-1/8*b,1/8,1/8*b,-1/8,1/8,-1/8*b,-1/8,-1/8*B,0,-1/8*B,0, 1/8*B,1/8*B,0,0,0,1/4,0,0,1/8*b,-1/8*b,-1/8*b-1/4*B,1/8*b,1/8,1/8, 0,-1/8*B,1/8*B,0,1/8*B,-1/8*B], [1/8*b,1/8,1/8,1/8,-1/8*b,-1/8,1/8*b,-1/8*b,-1/8*b-1/4*B,1/8,1/8,-1/8*b, 1/8,1/8,1/8*b,-1/8,-1/8*b,-1/8,1/8,1/8*b,1/8,-1/8*B,1/8*B,0,-1/8*B, 1/8*B,0,0,0,0,-1/4,0,0,1/8,-1/8,1/8*b,-1/8*b-1/4*B,1/8*b,1/8*b,1/8*B, -1/8*B,0,-1/8*B,0,-1/8*B], [0,1/8*B,-1/8*B,1/8*B,0,1/8*B,0,0,0,1/8,1/8,1/8*b,-1/8,-1/8,1/8*b, 1/8,-1/8*b,1/8,1/8,-1/8*b,1/8,1/8,1/8,1/8*b,-1/8,-1/8,-1/8*b,0,1/4*B, 1/4*B,0,1/4,0,-1/8*B,-1/8*B,0,0,0,0,-1/8,-1/8,1/8*b,1/8,1/8*b,-1/8 ], [-1/8*b,1/8,1/8,1/8,1/8*b,-1/8,1/8*b,-1/8*b,-1/8*b-1/4*B,-1/8*B,1/8*B, 0,-1/8*B,1/8*B,0,-1/8*B,0,1/8*B,1/8*B,0,-1/8*B,-1/8,-1/8,1/8*b,-1/8, -1/8,1/8*b,0,0,0,0,0,-1/4,-1/8,1/8,1/8*b,1/8*b+1/4*B,-1/8*b,-1/8*b, -1/8,-1/8,-1/8*b,-1/8,1/8*b,1/8], [-1/8,-1/8*b,-1/8,0,-1/4,0,0,1/8*B,-1/8*B,-1/4*b-1/8*B,0,1/4*b+1/8*B, 0,1/8*B,-1/8*B,-1/8,-1/8,-1/8*b,1/8*b,-1/8,1/8,1/8*B,1/8*B,0,0,1/4, 0,1/8*b,1/8,1/8,-1/8*b,-1/8,1/8,-1/8,-1/8,-1/8*b,1/8,-1/8*b,-1/8, -1/8,1/8*b,1/8,-1/8*b,1/8,-1/8], [1/8,-1/8*b,1/8,0,0,-1/4,-1/8*b,-1/8,-1/8,-1/8*B,0,1/8*B,-1/8*b,-1/8, -1/8,-1/8*B,1/8*B,0,1/8*b,1/8,-1/8,-1/8,1/8,-1/8*b,0,0,1/4,1/8*b, -1/8,-1/8,0,1/8*B,1/8*B,-1/8*B,1/8*B,0,1/8,-1/8*b,-1/8,-1/8,-1/8*b, 1/8,-1/4,1/8*B,-1/8*B], [1/8*B,0,-1/8*B,1/4,0,0,1/8*b,-1/8,-1/8,1/8*B,0,-1/8*B,-1/8*b,1/8, 1/8,-1/8,-1/8,1/8*b,0,-1/8*B,-1/8*B,-1/8,1/8,1/8*b,-1/4,0,0,0,-1/8*B, 1/8*B,1/8*b,-1/8,1/8,1/8,1/8,-1/8*b,-1/8*B,1/4,1/8*B,-1/8*B,0,-1/8*B, 1/8*b,-1/8,1/8], [1/8,-1/8*b,1/8,-1/8,-1/8*b,-1/8,-1/8*B,1/4,1/8*B,-1/8,1/8*b,1/8,0, -1/8*B,-1/8*B,-1/8*B,-1/8*B,0,1/8*b,-1/8,-1/8,-1/8,1/8*b,-1/8,-1/8*B, 0,1/8*B,0,-1/8*B,1/8*B,-1/8*b,-1/8,1/8,-1/4,0,0,1/8,-1/8,-1/8*b, -1/4,0,0,1/8,1/8*b,1/8], [1/8,1/8*b,1/8,-1/8,1/8*b,-1/8,-1/8,1/8*b,1/8,1/8*B,0,1/8*B,0,-1/4*b-1/8*B, -1/4*b-1/8*B,-1/8,1/8,-1/8*b,1/8*b,1/8,1/8,-1/8,1/8*b,-1/8,1/8,-1/8*b, 1/8,1/8*b,-1/8,-1/8,-1/8*b,1/8,-1/8,0,0,1/4,-1/8*B,-1/8*B,0,0,-1/4, 0,-1/8*B,0,1/8*B], [1/8*B,0,-1/8*B,1/8*B,0,-1/8*B,1/8,-1/8*b,-1/8,1/8,1/8*b,-1/8,0,1/8*B, 1/8*B,-1/8,1/8,1/8*b,0,1/8*B,-1/8*B,1/8*B,-1/4,1/8*B,-1/8,-1/8*b, -1/8,-1/8*b,-1/8,-1/8,0,1/8*B,1/8*B,0,1/4,0,1/8,-1/8,1/8*b,0,0,-1/4, 1/8,-1/8*b,1/8]]]; return result;