local S, T;
S := [[ 1/24, 1/24, 1/12, 1/8, 1/8, 1/4, 1/4, 1/4, 1/4, 1/3, 1/3, 1/3, 1/8, 1/8, 1/8, 1/8, 1/4, 1/4, 1/4, 1/4, 1/4 ], [ 1/24, 1/24, 1/12, 1/8, 1/8, -1/4, -1/4, -1/4, -1/4, 1/3, 1/3, 1/3, 1/8, 1/8, 1/8, 1/8, 1/4, -1/4, -1/4, -1/4, -1/4 ], [ 1/12, 1/12, 1/6, 1/4, 1/4, 0, 0, 0, 0, -1/3, -1/3, -1/3, 1/4, 1/4, 1/4, 1/4, 1/2, 0, 0, 0, 0 ], [ 1/8, 1/8, 1/4, 3/8, 3/8, -1/4, -1/4, -1/4, -1/4, 0, 0, 0, -1/8, -1/8, -1/8, -1/8, -1/4, 1/4, 1/4, 1/4, 1/4 ], [ 1/8, 1/8, 1/4, 3/8, 3/8, 1/4, 1/4, 1/4, 1/4, 0, 0, 0, -1/8, -1/8, -1/8, -1/8, -1/4, -1/4, -1/4, -1/4, -1/4 ], [ 1/4, -1/4, 0, -1/4, 1/4, 1/4+1/4*E(4), 1/4-1/4*E(4), -1/4+1/4*E(4), -1/4-1/4*E(4), 0, 0, 0, -1/4*E(4), 1/4*E(4), -1/4*E(4), 1/4*E(4), 0, 0, 0, 0, 0 ], [ 1/4, -1/4, 0, -1/4, 1/4, 1/4-1/4*E(4), 1/4+1/4*E(4), -1/4-1/4*E(4), -1/4+1/4*E(4), 0, 0, 0, 1/4*E(4), -1/4*E(4), 1/4*E(4), -1/4*E(4), 0, 0, 0, 0, 0 ], [ 1/4, -1/4, 0, -1/4, 1/4, -1/4+1/4*E(4), -1/4-1/4*E(4), 1/4+1/4*E(4), 1/4-1/4*E(4), 0, 0, 0, 1/4*E(4), -1/4*E(4), 1/4*E(4), -1/4*E(4), 0, 0, 0, 0, 0 ], [ 1/4, -1/4, 0, -1/4, 1/4, -1/4-1/4*E(4), -1/4+1/4*E(4), 1/4-1/4*E(4), 1/4+1/4*E(4), 0, 0, 0, -1/4*E(4), 1/4*E(4), -1/4*E(4), 1/4*E(4), 0, 0, 0, 0, 0 ], [ 1/3, 1/3, -1/3, 0, 0, 0, 0, 0, 0, 1/3*E(9)^2+1/3*E(9)^7, 1/3*E(9)^4+1/3*E(9)^5, -1/3*E(9)^2-1/3*E(9)^4-1/3*E(9)^5-1/3*E(9)^7, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1/3, 1/3, -1/3, 0, 0, 0, 0, 0, 0, 1/3*E(9)^4+1/3*E(9)^5, -1/3*E(9)^2-1/3*E(9)^4-1/3*E(9)^5-1/3*E(9)^7, 1/3*E(9)^2+1/3*E(9)^7, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1/3, 1/3, -1/3, 0, 0, 0, 0, 0, 0, -1/3*E(9)^2-1/3*E(9)^4-1/3*E(9)^5-1/3*E(9)^7, 1/3*E(9)^2+1/3*E(9)^7, 1/3*E(9)^4+1/3*E(9)^5, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1/8, 1/8, 1/4, -1/8, -1/8, -1/4*E(4), 1/4*E(4), 1/4*E(4), -1/4*E(4), 0, 0, 0, -1/8-1/4*E(4), -1/8-1/4*E(4), -1/8+1/4*E(4), -1/8+1/4*E(4), 1/4, 1/4, -1/4, -1/4, 1/4 ], [ 1/8, 1/8, 1/4, -1/8, -1/8, 1/4*E(4), -1/4*E(4), -1/4*E(4), 1/4*E(4), 0, 0, 0, -1/8-1/4*E(4), -1/8-1/4*E(4), -1/8+1/4*E(4), -1/8+1/4*E(4), 1/4, -1/4, 1/4, 1/4, -1/4 ], [ 1/8, 1/8, 1/4, -1/8, -1/8, -1/4*E(4), 1/4*E(4), 1/4*E(4), -1/4*E(4), 0, 0, 0, -1/8+1/4*E(4), -1/8+1/4*E(4), -1/8-1/4*E(4), -1/8-1/4*E(4), 1/4, -1/4, 1/4, 1/4, -1/4 ], [ 1/8, 1/8, 1/4, -1/8, -1/8, 1/4*E(4), -1/4*E(4), -1/4*E(4), 1/4*E(4), 0, 0, 0, -1/8+1/4*E(4), -1/8+1/4*E(4), -1/8-1/4*E(4), -1/8-1/4*E(4), 1/4, 1/4, -1/4, -1/4, 1/4 ], [ 1/4, 1/4, 1/2, -1/4, -1/4, 0, 0, 0, 0, 0, 0, 0, 1/4, 1/4, 1/4, 1/4, -1/2, 0, 0, 0, 0 ], [ 1/4, -1/4, 0, 1/4, -1/4, 0, 0, 0, 0, 0, 0, 0, 1/4, -1/4, -1/4, 1/4, 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, 0, 1/4, -1/4, 0, 0, 0, 0, 0, 0, 0, -1/4, 1/4, 1/4, -1/4, 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, 0, 1/4, -1/4, 0, 0, 0, 0, 0, 0, 0, -1/4, 1/4, 1/4, -1/4, 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, 0, 1/4, -1/4, 0, 0, 0, 0, 0, 0, 0, 1/4, -1/4, -1/4, 1/4, 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 ]];
T := [ 1, 1, 1, 1, 1, -1, -1, 1, 1, -E(9)^4-E(9)^7, E(9)^4, E(9)^7, -E(4), -E(4), -E(4), -E(4), E(4), E(16)^5, E(16), -E(16), -E(16)^5 ];
return rec(S := S, T := T);;