local S, T;
S := [[ 1/6, 1/6, 1/3, 1/2, 1/2, 1/3, 1/3, 1/3 ], [ 1/6, 1/6, 1/3, -1/2, -1/2, 1/3, 1/3, 1/3 ], [ 1/3, 1/3, 2/3, 0, 0, -1/3, -1/3, -1/3 ], [ 1/2, -1/2, 0, -1/2, 1/2, 0, 0, 0 ], [ 1/2, -1/2, 0, 1/2, -1/2, 0, 0, 0 ], [ 1/3, 1/3, -1/3, 0, 0, 2/3, -1/3, -1/3 ], [ 1/3, 1/3, -1/3, 0, 0, -1/3, -1/3, 2/3 ], [ 1/3, 1/3, -1/3, 0, 0, -1/3, 2/3, -1/3 ]];
T := [ 1, 1, 1, -E(4), E(4), 1, E(3)^2, E(3) ];
return rec(S := S, T := T);;