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