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