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, 1/5*E(25)^8+1/5*E(25)^17, 1/5*E(25)^12+1/5*E(25)^13, 1/5*E(25)^7+1/5*E(25)^18, -1/5*E(25)^3-1/5*E(25)^7-1/5*E(25)^8-1/5*E(25)^12-1/5*E(25)^13-1/5*E(25)^17-1/5*E(25)^18-1/5*E(25)^22, 1/5*E(25)^3+1/5*E(25)^22, 1/5*E(25)^11+1/5*E(25)^14, 1/5*E(25)^9+1/5*E(25)^16, 1/5*E(25)^4+1/5*E(25)^21, -1/5*E(25)^4-1/5*E(25)^6-1/5*E(25)^9-1/5*E(25)^11-1/5*E(25)^14-1/5*E(25)^16-1/5*E(25)^19-1/5*E(25)^21, 1/5*E(25)^6+1/5*E(25)^19 ], [ 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(25)^12+1/5*E(25)^13, 1/5*E(25)^7+1/5*E(25)^18, -1/5*E(25)^3-1/5*E(25)^7-1/5*E(25)^8-1/5*E(25)^12-1/5*E(25)^13-1/5*E(25)^17-1/5*E(25)^18-1/5*E(25)^22, 1/5*E(25)^3+1/5*E(25)^22, 1/5*E(25)^8+1/5*E(25)^17, 1/5*E(25)^4+1/5*E(25)^21, -1/5*E(25)^4-1/5*E(25)^6-1/5*E(25)^9-1/5*E(25)^11-1/5*E(25)^14-1/5*E(25)^16-1/5*E(25)^19-1/5*E(25)^21, 1/5*E(25)^6+1/5*E(25)^19, 1/5*E(25)^11+1/5*E(25)^14, 1/5*E(25)^9+1/5*E(25)^16 ], [ 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(25)^7+1/5*E(25)^18, -1/5*E(25)^3-1/5*E(25)^7-1/5*E(25)^8-1/5*E(25)^12-1/5*E(25)^13-1/5*E(25)^17-1/5*E(25)^18-1/5*E(25)^22, 1/5*E(25)^3+1/5*E(25)^22, 1/5*E(25)^8+1/5*E(25)^17, 1/5*E(25)^12+1/5*E(25)^13, 1/5*E(25)^6+1/5*E(25)^19, 1/5*E(25)^11+1/5*E(25)^14, 1/5*E(25)^9+1/5*E(25)^16, 1/5*E(25)^4+1/5*E(25)^21, -1/5*E(25)^4-1/5*E(25)^6-1/5*E(25)^9-1/5*E(25)^11-1/5*E(25)^14-1/5*E(25)^16-1/5*E(25)^19-1/5*E(25)^21 ], [ 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(25)^3-1/5*E(25)^7-1/5*E(25)^8-1/5*E(25)^12-1/5*E(25)^13-1/5*E(25)^17-1/5*E(25)^18-1/5*E(25)^22, 1/5*E(25)^3+1/5*E(25)^22, 1/5*E(25)^8+1/5*E(25)^17, 1/5*E(25)^12+1/5*E(25)^13, 1/5*E(25)^7+1/5*E(25)^18, 1/5*E(25)^9+1/5*E(25)^16, 1/5*E(25)^4+1/5*E(25)^21, -1/5*E(25)^4-1/5*E(25)^6-1/5*E(25)^9-1/5*E(25)^11-1/5*E(25)^14-1/5*E(25)^16-1/5*E(25)^19-1/5*E(25)^21, 1/5*E(25)^6+1/5*E(25)^19, 1/5*E(25)^11+1/5*E(25)^14 ], [ 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(25)^3+1/5*E(25)^22, 1/5*E(25)^8+1/5*E(25)^17, 1/5*E(25)^12+1/5*E(25)^13, 1/5*E(25)^7+1/5*E(25)^18, -1/5*E(25)^3-1/5*E(25)^7-1/5*E(25)^8-1/5*E(25)^12-1/5*E(25)^13-1/5*E(25)^17-1/5*E(25)^18-1/5*E(25)^22, -1/5*E(25)^4-1/5*E(25)^6-1/5*E(25)^9-1/5*E(25)^11-1/5*E(25)^14-1/5*E(25)^16-1/5*E(25)^19-1/5*E(25)^21, 1/5*E(25)^6+1/5*E(25)^19, 1/5*E(25)^11+1/5*E(25)^14, 1/5*E(25)^9+1/5*E(25)^16, 1/5*E(25)^4+1/5*E(25)^21 ], [ 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(25)^11+1/5*E(25)^14, 1/5*E(25)^4+1/5*E(25)^21, 1/5*E(25)^6+1/5*E(25)^19, 1/5*E(25)^9+1/5*E(25)^16, -1/5*E(25)^4-1/5*E(25)^6-1/5*E(25)^9-1/5*E(25)^11-1/5*E(25)^14-1/5*E(25)^16-1/5*E(25)^19-1/5*E(25)^21, 1/5*E(25)^12+1/5*E(25)^13, 1/5*E(25)^3+1/5*E(25)^22, 1/5*E(25)^7+1/5*E(25)^18, 1/5*E(25)^8+1/5*E(25)^17, -1/5*E(25)^3-1/5*E(25)^7-1/5*E(25)^8-1/5*E(25)^12-1/5*E(25)^13-1/5*E(25)^17-1/5*E(25)^18-1/5*E(25)^22 ], [ 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(25)^9+1/5*E(25)^16, -1/5*E(25)^4-1/5*E(25)^6-1/5*E(25)^9-1/5*E(25)^11-1/5*E(25)^14-1/5*E(25)^16-1/5*E(25)^19-1/5*E(25)^21, 1/5*E(25)^11+1/5*E(25)^14, 1/5*E(25)^4+1/5*E(25)^21, 1/5*E(25)^6+1/5*E(25)^19, 1/5*E(25)^3+1/5*E(25)^22, 1/5*E(25)^7+1/5*E(25)^18, 1/5*E(25)^8+1/5*E(25)^17, -1/5*E(25)^3-1/5*E(25)^7-1/5*E(25)^8-1/5*E(25)^12-1/5*E(25)^13-1/5*E(25)^17-1/5*E(25)^18-1/5*E(25)^22, 1/5*E(25)^12+1/5*E(25)^13 ], [ 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(25)^4+1/5*E(25)^21, 1/5*E(25)^6+1/5*E(25)^19, 1/5*E(25)^9+1/5*E(25)^16, -1/5*E(25)^4-1/5*E(25)^6-1/5*E(25)^9-1/5*E(25)^11-1/5*E(25)^14-1/5*E(25)^16-1/5*E(25)^19-1/5*E(25)^21, 1/5*E(25)^11+1/5*E(25)^14, 1/5*E(25)^7+1/5*E(25)^18, 1/5*E(25)^8+1/5*E(25)^17, -1/5*E(25)^3-1/5*E(25)^7-1/5*E(25)^8-1/5*E(25)^12-1/5*E(25)^13-1/5*E(25)^17-1/5*E(25)^18-1/5*E(25)^22, 1/5*E(25)^12+1/5*E(25)^13, 1/5*E(25)^3+1/5*E(25)^22 ], [ 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(25)^4-1/5*E(25)^6-1/5*E(25)^9-1/5*E(25)^11-1/5*E(25)^14-1/5*E(25)^16-1/5*E(25)^19-1/5*E(25)^21, 1/5*E(25)^11+1/5*E(25)^14, 1/5*E(25)^4+1/5*E(25)^21, 1/5*E(25)^6+1/5*E(25)^19, 1/5*E(25)^9+1/5*E(25)^16, 1/5*E(25)^8+1/5*E(25)^17, -1/5*E(25)^3-1/5*E(25)^7-1/5*E(25)^8-1/5*E(25)^12-1/5*E(25)^13-1/5*E(25)^17-1/5*E(25)^18-1/5*E(25)^22, 1/5*E(25)^12+1/5*E(25)^13, 1/5*E(25)^3+1/5*E(25)^22, 1/5*E(25)^7+1/5*E(25)^18 ], [ 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(25)^6+1/5*E(25)^19, 1/5*E(25)^9+1/5*E(25)^16, -1/5*E(25)^4-1/5*E(25)^6-1/5*E(25)^9-1/5*E(25)^11-1/5*E(25)^14-1/5*E(25)^16-1/5*E(25)^19-1/5*E(25)^21, 1/5*E(25)^11+1/5*E(25)^14, 1/5*E(25)^4+1/5*E(25)^21, -1/5*E(25)^3-1/5*E(25)^7-1/5*E(25)^8-1/5*E(25)^12-1/5*E(25)^13-1/5*E(25)^17-1/5*E(25)^18-1/5*E(25)^22, 1/5*E(25)^12+1/5*E(25)^13, 1/5*E(25)^3+1/5*E(25)^22, 1/5*E(25)^7+1/5*E(25)^18, 1/5*E(25)^8+1/5*E(25)^17 ]];
T := [ 1, 1, 1, 1, -1, 1, E(25)^4, E(25)^9, E(25)^14, E(25)^19, -E(25)^4-E(25)^9-E(25)^14-E(25)^19, E(25)^6, E(25)^16, -E(25)^6-E(25)^11-E(25)^16-E(25)^21, E(25)^11, E(25)^21 ];
return rec(S := S, T := T);;