local S, T;
S := [[ 1/24, 1/24, 1/24, 1/12, 1/12, 1/12, 1/8, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/4, 1/4, 1/4, 1/4, 1/24, 1/24, 1/24, 1/12, 1/12, 1/12, 1/8, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6 ], [ 1/24, 1/24, 1/24, 1/12, 1/12, 1/12, 1/8, 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/4, 1/4, 1/4, 1/4, 1/24, 1/24, 1/24, 1/12, 1/12, 1/12, 1/8, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2 ], [ 1/24, 1/24, 1/24, 1/12, 1/12, 1/12, 1/8, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/4, 1/4, 1/4, 1/4, 1/24, 1/24, 1/24, 1/12, 1/12, 1/12, 1/8, 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3) ], [ 1/12, 1/12, 1/12, 1/6, 1/6, 1/6, 1/4, -1/6, -1/6, -1/6, -1/6, -1/6, -1/6, 0, 0, 0, 0, -1/12, -1/12, -1/12, -1/6, -1/6, -1/6, -1/4, -1/6, -1/6, -1/6, -1/6, -1/6, -1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6 ], [ 1/12, 1/12, 1/12, 1/6, 1/6, 1/6, 1/4, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, 0, 0, 0, 0, -1/12, -1/12, -1/12, -1/6, -1/6, -1/6, -1/4, -1/6*E(3), -1/6*E(3), -1/6*E(3), -1/6*E(3), -1/6*E(3), -1/6*E(3), 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3) ], [ 1/12, 1/12, 1/12, 1/6, 1/6, 1/6, 1/4, -1/6*E(3), -1/6*E(3), -1/6*E(3), -1/6*E(3), -1/6*E(3), -1/6*E(3), 0, 0, 0, 0, -1/12, -1/12, -1/12, -1/6, -1/6, -1/6, -1/4, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2 ], [ 1/8, 1/8, 1/8, 1/4, 1/4, 1/4, 3/8, 0, 0, 0, 0, 0, 0, -1/4, -1/4, -1/4, -1/4, 1/8, 1/8, 1/8, 1/4, 1/4, 1/4, 3/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1/6, 1/6*E(3), 1/6*E(3)^2, -1/6, -1/6*E(3)^2, -1/6*E(3), 0, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2, 0, 0, 0, 0, -1/6, -1/6*E(3), -1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6*E(3), 0, 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3), -1/6, -1/6*E(3)^2, -1/6*E(3), -1/6, -1/6*E(3)^2, -1/6*E(3), -1/6, -1/6*E(3)^2, -1/6*E(3), -1/6, -1/6*E(3)^2, -1/6*E(3) ], [ 1/6, 1/6*E(3), 1/6*E(3)^2, -1/6, -1/6*E(3)^2, -1/6*E(3), 0, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 0, 0, 0, 0, -1/6, -1/6*E(3), -1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6*E(3), 0, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, -1/6*E(3), -1/6, -1/6*E(3)^2, -1/6*E(3), -1/6, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3), -1/6, -1/6*E(3)^2, -1/6*E(3), -1/6 ], [ 1/6, 1/6*E(3), 1/6*E(3)^2, -1/6, -1/6*E(3)^2, -1/6*E(3), 0, 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3), 0, 0, 0, 0, -1/6, -1/6*E(3), -1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6*E(3), 0, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3), -1/6, -1/6*E(3)^2, -1/6*E(3), -1/6, -1/6*E(3), -1/6, -1/6*E(3)^2, -1/6*E(3), -1/6, -1/6*E(3)^2 ], [ 1/6, 1/6*E(3), 1/6*E(3)^2, -1/6, -1/6*E(3)^2, -1/6*E(3), 0, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2, 0, 0, 0, 0, 1/6, 1/6*E(3), 1/6*E(3)^2, -1/6, -1/6*E(3)^2, -1/6*E(3), 0, 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3) ], [ 1/6, 1/6*E(3), 1/6*E(3)^2, -1/6, -1/6*E(3)^2, -1/6*E(3), 0, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 0, 0, 0, 0, 1/6, 1/6*E(3), 1/6*E(3)^2, -1/6, -1/6*E(3)^2, -1/6*E(3), 0, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6 ], [ 1/6, 1/6*E(3), 1/6*E(3)^2, -1/6, -1/6*E(3)^2, -1/6*E(3), 0, 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3), 0, 0, 0, 0, 1/6, 1/6*E(3), 1/6*E(3)^2, -1/6, -1/6*E(3)^2, -1/6*E(3), 0, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2 ], [ 1/4, 1/4, 1/4, 0, 0, 0, -1/4, 0, 0, 0, 0, 0, 0, 1/4*E(8)-1/4*E(8)^3, -1/4*E(8)+1/4*E(8)^3, 1/4*E(8)-1/4*E(8)^3, -1/4*E(8)+1/4*E(8)^3, -1/4, -1/4, -1/4, 0, 0, 0, 1/4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1/4, 1/4, 1/4, 0, 0, 0, -1/4, 0, 0, 0, 0, 0, 0, -1/4*E(8)+1/4*E(8)^3, 1/4*E(8)-1/4*E(8)^3, -1/4*E(8)+1/4*E(8)^3, 1/4*E(8)-1/4*E(8)^3, -1/4, -1/4, -1/4, 0, 0, 0, 1/4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1/4, 1/4, 1/4, 0, 0, 0, -1/4, 0, 0, 0, 0, 0, 0, 1/4*E(8)-1/4*E(8)^3, -1/4*E(8)+1/4*E(8)^3, -1/4*E(8)+1/4*E(8)^3, 1/4*E(8)-1/4*E(8)^3, 1/4, 1/4, 1/4, 0, 0, 0, -1/4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1/4, 1/4, 1/4, 0, 0, 0, -1/4, 0, 0, 0, 0, 0, 0, -1/4*E(8)+1/4*E(8)^3, 1/4*E(8)-1/4*E(8)^3, 1/4*E(8)-1/4*E(8)^3, -1/4*E(8)+1/4*E(8)^3, 1/4, 1/4, 1/4, 0, 0, 0, -1/4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1/24, 1/24, 1/24, -1/12, -1/12, -1/12, 1/8, -1/6, -1/6, -1/6, 1/6, 1/6, 1/6, -1/4, -1/4, 1/4, 1/4, -1/24, -1/24, -1/24, 1/12, 1/12, 1/12, -1/8, 1/6, 1/6, 1/6, -1/6, -1/6, -1/6, -1/6, -1/6, -1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, -1/6, -1/6, -1/6 ], [ 1/24, 1/24, 1/24, -1/12, -1/12, -1/12, 1/8, -1/6*E(3), -1/6*E(3), -1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), -1/4, -1/4, 1/4, 1/4, -1/24, -1/24, -1/24, 1/12, 1/12, 1/12, -1/8, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3), -1/6*E(3), -1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2 ], [ 1/24, 1/24, 1/24, -1/12, -1/12, -1/12, 1/8, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, -1/4, -1/4, 1/4, 1/4, -1/24, -1/24, -1/24, 1/12, 1/12, 1/12, -1/8, 1/6*E(3), 1/6*E(3), 1/6*E(3), -1/6*E(3), -1/6*E(3), -1/6*E(3), -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3), 1/6*E(3), 1/6*E(3), -1/6*E(3), -1/6*E(3), -1/6*E(3) ], [ 1/12, 1/12, 1/12, -1/6, -1/6, -1/6, 1/4, 1/6, 1/6, 1/6, -1/6, -1/6, -1/6, 0, 0, 0, 0, 1/12, 1/12, 1/12, -1/6, -1/6, -1/6, 1/4, -1/6, -1/6, -1/6, 1/6, 1/6, 1/6, -1/6, -1/6, -1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, -1/6, -1/6, -1/6 ], [ 1/12, 1/12, 1/12, -1/6, -1/6, -1/6, 1/4, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, 0, 0, 0, 0, 1/12, 1/12, 1/12, -1/6, -1/6, -1/6, 1/4, -1/6*E(3), -1/6*E(3), -1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3), 1/6*E(3), 1/6*E(3), -1/6*E(3), -1/6*E(3), -1/6*E(3) ], [ 1/12, 1/12, 1/12, -1/6, -1/6, -1/6, 1/4, 1/6*E(3), 1/6*E(3), 1/6*E(3), -1/6*E(3), -1/6*E(3), -1/6*E(3), 0, 0, 0, 0, 1/12, 1/12, 1/12, -1/6, -1/6, -1/6, 1/4, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, -1/6*E(3), -1/6*E(3), -1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2 ], [ 1/8, 1/8, 1/8, -1/4, -1/4, -1/4, 3/8, 0, 0, 0, 0, 0, 0, 1/4, 1/4, -1/4, -1/4, -1/8, -1/8, -1/8, 1/4, 1/4, 1/4, -3/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1/6, 1/6*E(3)^2, 1/6*E(3), -1/6, -1/6*E(3), -1/6*E(3)^2, 0, 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3), 0, 0, 0, 0, 1/6, 1/6*E(3)^2, 1/6*E(3), -1/6, -1/6*E(3), -1/6*E(3)^2, 0, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2 ], [ 1/6, 1/6*E(3)^2, 1/6*E(3), -1/6, -1/6*E(3), -1/6*E(3)^2, 0, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 0, 0, 0, 0, 1/6, 1/6*E(3)^2, 1/6*E(3), -1/6, -1/6*E(3), -1/6*E(3)^2, 0, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6 ], [ 1/6, 1/6*E(3)^2, 1/6*E(3), -1/6, -1/6*E(3), -1/6*E(3)^2, 0, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2, 0, 0, 0, 0, 1/6, 1/6*E(3)^2, 1/6*E(3), -1/6, -1/6*E(3), -1/6*E(3)^2, 0, 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3) ], [ 1/6, 1/6*E(3)^2, 1/6*E(3), -1/6, -1/6*E(3), -1/6*E(3)^2, 0, 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3), 0, 0, 0, 0, -1/6, -1/6*E(3)^2, -1/6*E(3), 1/6, 1/6*E(3), 1/6*E(3)^2, 0, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2, -1/6, -1/6*E(3), -1/6*E(3)^2, -1/6, -1/6*E(3), -1/6*E(3)^2, -1/6, -1/6*E(3), -1/6*E(3)^2, -1/6, -1/6*E(3), -1/6*E(3)^2 ], [ 1/6, 1/6*E(3)^2, 1/6*E(3), -1/6, -1/6*E(3), -1/6*E(3)^2, 0, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 0, 0, 0, 0, -1/6, -1/6*E(3)^2, -1/6*E(3), 1/6, 1/6*E(3), 1/6*E(3)^2, 0, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, -1/6*E(3)^2, -1/6, -1/6*E(3), -1/6*E(3)^2, -1/6, -1/6*E(3), -1/6*E(3), -1/6*E(3)^2, -1/6, -1/6*E(3), -1/6*E(3)^2, -1/6 ], [ 1/6, 1/6*E(3)^2, 1/6*E(3), -1/6, -1/6*E(3), -1/6*E(3)^2, 0, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2, 0, 0, 0, 0, -1/6, -1/6*E(3)^2, -1/6*E(3), 1/6, 1/6*E(3), 1/6*E(3)^2, 0, 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3), -1/6*E(3), -1/6*E(3)^2, -1/6, -1/6*E(3), -1/6*E(3)^2, -1/6, -1/6*E(3)^2, -1/6, -1/6*E(3), -1/6*E(3)^2, -1/6, -1/6*E(3) ], [ 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6*E(3), 0, -1/6, -1/6*E(3), -1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2, 0, 0, 0, 0, -1/6, -1/6*E(3), -1/6*E(3)^2, -1/6, -1/6*E(3)^2, -1/6*E(3), 0, 1/6, 1/6*E(3)^2, 1/6*E(3), -1/6, -1/6*E(3)^2, -1/6*E(3), -1/6, -1/6*E(3)^2, -1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3), -1/6, -1/6*E(3)^2, -1/6*E(3) ], [ 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6*E(3), 0, -1/6*E(3)^2, -1/6, -1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3), 0, 0, 0, 0, -1/6, -1/6*E(3), -1/6*E(3)^2, -1/6, -1/6*E(3)^2, -1/6*E(3), 0, 1/6*E(3), 1/6, 1/6*E(3)^2, -1/6*E(3), -1/6, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3), -1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3), 1/6, 1/6*E(3)^2, -1/6*E(3), -1/6, -1/6*E(3)^2 ], [ 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6*E(3), 0, -1/6*E(3), -1/6*E(3)^2, -1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 0, 0, 0, 0, -1/6, -1/6*E(3), -1/6*E(3)^2, -1/6, -1/6*E(3)^2, -1/6*E(3), 0, 1/6*E(3)^2, 1/6*E(3), 1/6, -1/6*E(3)^2, -1/6*E(3), -1/6, -1/6*E(3), -1/6, -1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3), 1/6, -1/6*E(3)^2, -1/6*E(3), -1/6 ], [ 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6*E(3), 0, -1/6, -1/6*E(3), -1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2, 0, 0, 0, 0, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6*E(3), 0, 1/6, 1/6*E(3)^2, 1/6*E(3), -1/6, -1/6*E(3)^2, -1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3), -1/6, -1/6*E(3)^2, -1/6*E(3), -1/6, -1/6*E(3)^2, -1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3) ], [ 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6*E(3), 0, -1/6*E(3)^2, -1/6, -1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3), 0, 0, 0, 0, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6*E(3), 0, 1/6*E(3), 1/6, 1/6*E(3)^2, -1/6*E(3), -1/6, -1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3), 1/6, -1/6*E(3)^2, -1/6*E(3), -1/6, -1/6*E(3), -1/6, -1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2 ], [ 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6*E(3), 0, -1/6*E(3), -1/6*E(3)^2, -1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 0, 0, 0, 0, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6*E(3), 0, 1/6*E(3)^2, 1/6*E(3), 1/6, -1/6*E(3)^2, -1/6*E(3), -1/6, 1/6*E(3), 1/6, 1/6*E(3)^2, -1/6*E(3), -1/6, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3), -1/6, 1/6*E(3)^2, 1/6*E(3), 1/6 ], [ 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3), 1/6*E(3)^2, 0, -1/6, -1/6*E(3)^2, -1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3), 0, 0, 0, 0, 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3), 1/6*E(3)^2, 0, 1/6, 1/6*E(3), 1/6*E(3)^2, -1/6, -1/6*E(3), -1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2, -1/6, -1/6*E(3), -1/6*E(3)^2, -1/6, -1/6*E(3), -1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2 ], [ 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3), 1/6*E(3)^2, 0, -1/6*E(3)^2, -1/6*E(3), -1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 0, 0, 0, 0, 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3), 1/6*E(3)^2, 0, 1/6*E(3), 1/6*E(3)^2, 1/6, -1/6*E(3), -1/6*E(3)^2, -1/6, 1/6*E(3)^2, 1/6, 1/6*E(3), -1/6*E(3)^2, -1/6, -1/6*E(3), -1/6*E(3), -1/6*E(3)^2, -1/6, 1/6*E(3), 1/6*E(3)^2, 1/6 ], [ 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3), 1/6*E(3)^2, 0, -1/6*E(3), -1/6, -1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2, 0, 0, 0, 0, 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3), 1/6*E(3)^2, 0, 1/6*E(3)^2, 1/6, 1/6*E(3), -1/6*E(3)^2, -1/6, -1/6*E(3), 1/6*E(3), 1/6*E(3)^2, 1/6, -1/6*E(3), -1/6*E(3)^2, -1/6, -1/6*E(3)^2, -1/6, -1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3) ], [ 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3), 1/6*E(3)^2, 0, -1/6, -1/6*E(3)^2, -1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3), 0, 0, 0, 0, -1/6, -1/6*E(3)^2, -1/6*E(3), -1/6, -1/6*E(3), -1/6*E(3)^2, 0, 1/6, 1/6*E(3), 1/6*E(3)^2, -1/6, -1/6*E(3), -1/6*E(3)^2, -1/6, -1/6*E(3), -1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3)^2, -1/6, -1/6*E(3), -1/6*E(3)^2 ], [ 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3), 1/6*E(3)^2, 0, -1/6*E(3)^2, -1/6*E(3), -1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 0, 0, 0, 0, -1/6, -1/6*E(3)^2, -1/6*E(3), -1/6, -1/6*E(3), -1/6*E(3)^2, 0, 1/6*E(3), 1/6*E(3)^2, 1/6, -1/6*E(3), -1/6*E(3)^2, -1/6, -1/6*E(3)^2, -1/6, -1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3), 1/6*E(3)^2, 1/6, -1/6*E(3), -1/6*E(3)^2, -1/6 ], [ 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3), 1/6*E(3)^2, 0, -1/6*E(3), -1/6, -1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3)^2, 0, 0, 0, 0, -1/6, -1/6*E(3)^2, -1/6*E(3), -1/6, -1/6*E(3), -1/6*E(3)^2, 0, 1/6*E(3)^2, 1/6, 1/6*E(3), -1/6*E(3)^2, -1/6, -1/6*E(3), -1/6*E(3), -1/6*E(3)^2, -1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6, 1/6*E(3), -1/6*E(3)^2, -1/6, -1/6*E(3) ]];
T := [ 1, 1, 1, 1, 1, 1, 1, 1, E(3)^2, E(3), 1, E(3)^2, E(3), -E(16), E(16), E(16)^5, -E(16)^5, -E(4), -E(4), -E(4), E(4), E(4), E(4), -E(4), 1, E(3)^2, E(3), 1, E(3)^2, E(3), -E(4), -E(12)^7, -E(12)^11, E(4), E(12)^7, E(12)^11, E(4), E(12)^11, E(12)^7, -E(4), -E(12)^11, -E(12)^7 ];
return rec(S := S, T := T);;