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