local S, T;
S := [[ 1/4, 1/4, 1/4, 1/4, 1/4, 1/4, 1/4, 1/4, 1/4, 1/4, 1/4, 1/4, 1/4, 1/4, 1/4, 1/4 ], [ 1/4, 1/4, 1/4, 1/4, -1/4, -1/4, -1/4, -1/4, 1/4, 1/4, 1/4, 1/4, -1/4, -1/4, -1/4, -1/4 ], [ 1/4, 1/4, 1/4, 1/4, -1/4*E(4), -1/4*E(4), -1/4*E(4), -1/4*E(4), -1/4, -1/4, -1/4, -1/4, 1/4*E(4), 1/4*E(4), 1/4*E(4), 1/4*E(4) ], [ 1/4, 1/4, 1/4, 1/4, 1/4*E(4), 1/4*E(4), 1/4*E(4), 1/4*E(4), -1/4, -1/4, -1/4, -1/4, -1/4*E(4), -1/4*E(4), -1/4*E(4), -1/4*E(4) ], [ 1/4, -1/4, -1/4*E(4), 1/4*E(4), -1/4*E(8)^3, 1/4*E(8), -1/4*E(8), 1/4*E(8)^3, 1/4*E(4), -1/4*E(4), -1/4, 1/4, -1/4*E(8), -1/4*E(8)^3, 1/4*E(8)^3, 1/4*E(8) ], [ 1/4, -1/4, -1/4*E(4), 1/4*E(4), 1/4*E(8), 1/4*E(8)^3, -1/4*E(8)^3, -1/4*E(8), -1/4*E(4), 1/4*E(4), 1/4, -1/4, 1/4*E(8)^3, -1/4*E(8), 1/4*E(8), -1/4*E(8)^3 ], [ 1/4, -1/4, -1/4*E(4), 1/4*E(4), -1/4*E(8), -1/4*E(8)^3, 1/4*E(8)^3, 1/4*E(8), -1/4*E(4), 1/4*E(4), 1/4, -1/4, -1/4*E(8)^3, 1/4*E(8), -1/4*E(8), 1/4*E(8)^3 ], [ 1/4, -1/4, -1/4*E(4), 1/4*E(4), 1/4*E(8)^3, -1/4*E(8), 1/4*E(8), -1/4*E(8)^3, 1/4*E(4), -1/4*E(4), -1/4, 1/4, 1/4*E(8), 1/4*E(8)^3, -1/4*E(8)^3, -1/4*E(8) ], [ 1/4, 1/4, -1/4, -1/4, 1/4*E(4), -1/4*E(4), -1/4*E(4), 1/4*E(4), -1/4, -1/4, 1/4, 1/4, -1/4*E(4), 1/4*E(4), 1/4*E(4), -1/4*E(4) ], [ 1/4, 1/4, -1/4, -1/4, -1/4*E(4), 1/4*E(4), 1/4*E(4), -1/4*E(4), -1/4, -1/4, 1/4, 1/4, 1/4*E(4), -1/4*E(4), -1/4*E(4), 1/4*E(4) ], [ 1/4, 1/4, -1/4, -1/4, -1/4, 1/4, 1/4, -1/4, 1/4, 1/4, -1/4, -1/4, -1/4, 1/4, 1/4, -1/4 ], [ 1/4, 1/4, -1/4, -1/4, 1/4, -1/4, -1/4, 1/4, 1/4, 1/4, -1/4, -1/4, 1/4, -1/4, -1/4, 1/4 ], [ 1/4, -1/4, 1/4*E(4), -1/4*E(4), -1/4*E(8), 1/4*E(8)^3, -1/4*E(8)^3, 1/4*E(8), -1/4*E(4), 1/4*E(4), -1/4, 1/4, -1/4*E(8)^3, -1/4*E(8), 1/4*E(8), 1/4*E(8)^3 ], [ 1/4, -1/4, 1/4*E(4), -1/4*E(4), -1/4*E(8)^3, -1/4*E(8), 1/4*E(8), 1/4*E(8)^3, 1/4*E(4), -1/4*E(4), 1/4, -1/4, -1/4*E(8), 1/4*E(8)^3, -1/4*E(8)^3, 1/4*E(8) ], [ 1/4, -1/4, 1/4*E(4), -1/4*E(4), 1/4*E(8)^3, 1/4*E(8), -1/4*E(8), -1/4*E(8)^3, 1/4*E(4), -1/4*E(4), 1/4, -1/4, 1/4*E(8), -1/4*E(8)^3, 1/4*E(8)^3, -1/4*E(8) ], [ 1/4, -1/4, 1/4*E(4), -1/4*E(4), 1/4*E(8), -1/4*E(8)^3, 1/4*E(8)^3, -1/4*E(8), -1/4*E(4), 1/4*E(4), -1/4, 1/4, 1/4*E(8)^3, 1/4*E(8), -1/4*E(8), -1/4*E(8)^3 ]];
T := [ 1, 1, 1, 1, -E(16), E(16)^5, -E(16)^5, E(16), E(4), E(4), -E(4), -E(4), E(16), E(16)^5, -E(16)^5, -E(16) ];
return rec(S := S, T := T);;