# Character: X3 # Comment: perm rep on 36 pts # Ind: 1 # Ring: C # Sparsity: 69% # Checker result: pass # Conjugacy class representative result: pass local a, A, b, B, c, C, w, W, i, result, delta, idmat; result := rec(); w := E(3); W := E(3)^2; a := E(5)+E(5)^4; A := -1-a; # b5, b5* b := E(7)+E(7)^2+E(7)^4; B := -1-b; # b7, b7** c := E(11)+E(11)^3+E(11)^4+E(11)^5+E(11)^9; C := -1-c; # b11, b11** i := E(4); result.comment := "L217 as 9 x 9 matrices\n"; result.generators := [ [[0,1,0,0,0,0,0,0,0], [1,0,0,0,0,0,0,0,0], [0,0,0,0,1,0,0,0,0], [0,0,0,0,0,0,1,0,0], [0,0,1,0,0,0,0,0,0], [0,0,0,0,0,1,0,0,0], [0,0,0,1,0,0,0,0,0], [-2,E(17)+E(17)^2+E(17)^4+E(17)^8+E(17)^9+E(17)^13+E(17)^15+E(17)^16, -1,1,2*E(17)+2*E(17)^2+E(17)^3+2*E(17)^4+E(17)^5+E(17)^6+E(17)^7+2*E(17)^8+2*E(17)^9+E(17)^10+E(17)^11+E(17)^12+2*E(17)^13+E(17)^14+2*E(17)^15+2*E(17)^16, 2*E(17)+2*E(17)^2+E(17)^3+2*E(17)^4+E(17)^5+E(17)^6+E(17)^7+2*E(17)^8+2*E(17)^9+E(17)^10+E(17)^11+E(17)^12+2*E(17)^13+E(17)^14+2*E(17)^15+2*E(17)^16, -2,E(17)+E(17)^2+E(17)^4+E(17)^8+E(17)^9+E(17)^13+E(17)^15+E(17)^16, 1], [E(17)+E(17)^2+E(17)^4+E(17)^8+E(17)^9+E(17)^13+E(17)^15+E(17)^16, 3*E(17)+3*E(17)^2+2*E(17)^3+3*E(17)^4+2*E(17)^5+2*E(17)^6+2*E(17)^7+3*E(17)^8+3*E(17)^9+2*E(17)^10+2*E(17)^11+2*E(17)^12+3*E(17)^13+2*E(17)^14+3*E(17)^15+3*E(17)^16, 1,-3*E(17)-3*E(17)^2-2*E(17)^3-3*E(17)^4-2*E(17)^5-2*E(17)^6-2*E(17)^7-3*E(17)^8-3*E(17)^9-2*E(17)^10-2*E(17)^11-2*E(17)^12-3*E(17)^13-2*E(17)^14-3*E(17)^15-3*E(17)^16, 5*E(17)+5*E(17)^2+3*E(17)^3+5*E(17)^4+3*E(17)^5+3*E(17)^6+3*E(17)^7+5*E(17)^8+5*E(17)^9+3*E(17)^10+3*E(17)^11+3*E(17)^12+5*E(17)^13+3*E(17)^14+5*E(17)^15+5*E(17)^16, 4*E(17)+4*E(17)^2+3*E(17)^3+4*E(17)^4+3*E(17)^5+3*E(17)^6+3*E(17)^7+4*E(17)^8+4*E(17)^9+3*E(17)^10+3*E(17)^11+3*E(17)^12+4*E(17)^13+3*E(17)^14+4*E(17)^15+4*E(17)^16, 3*E(17)+3*E(17)^2+E(17)^3+3*E(17)^4+E(17)^5+E(17)^6+E(17)^7+3*E(17)^8+3*E(17)^9+E(17)^10+E(17)^11+E(17)^12+3*E(17)^13+E(17)^14+3*E(17)^15+3*E(17)^16, 4*E(17)+4*E(17)^2+3*E(17)^3+4*E(17)^4+3*E(17)^5+3*E(17)^6+3*E(17)^7+4*E(17)^8+4*E(17)^9+3*E(17)^10+3*E(17)^11+3*E(17)^12+4*E(17)^13+3*E(17)^14+4*E(17)^15+4*E(17)^16, -E(17)-E(17)^2-E(17)^4-E(17)^8-E(17)^9-E(17)^13-E(17)^15-E(17)^16 ]] , [[0,0,1,0,0,0,0,0,0], [0,0,0,1,0,0,0,0,0], [0,0,0,0,0,1,0,0,0], [0,0,0,0,0,0,0,1,0], [0,0,0,0,0,0,0,0,1], [1,0,0,0,0,0,0,0,0], [E(17)+E(17)^2+E(17)^4+E(17)^8+E(17)^9+E(17)^13+E(17)^15+E(17)^16, 3*E(17)+3*E(17)^2+2*E(17)^3+3*E(17)^4+2*E(17)^5+2*E(17)^6+2*E(17)^7+3*E(17)^8+3*E(17)^9+2*E(17)^10+2*E(17)^11+2*E(17)^12+3*E(17)^13+2*E(17)^14+3*E(17)^15+3*E(17)^16, 1,-3*E(17)-3*E(17)^2-2*E(17)^3-3*E(17)^4-2*E(17)^5-2*E(17)^6-2*E(17)^7-3*E(17)^8-3*E(17)^9-2*E(17)^10-2*E(17)^11-2*E(17)^12-3*E(17)^13-2*E(17)^14-3*E(17)^15-3*E(17)^16, 5*E(17)+5*E(17)^2+3*E(17)^3+5*E(17)^4+3*E(17)^5+3*E(17)^6+3*E(17)^7+5*E(17)^8+5*E(17)^9+3*E(17)^10+3*E(17)^11+3*E(17)^12+5*E(17)^13+3*E(17)^14+5*E(17)^15+5*E(17)^16, 4*E(17)+4*E(17)^2+3*E(17)^3+4*E(17)^4+3*E(17)^5+3*E(17)^6+3*E(17)^7+4*E(17)^8+4*E(17)^9+3*E(17)^10+3*E(17)^11+3*E(17)^12+4*E(17)^13+3*E(17)^14+4*E(17)^15+4*E(17)^16, 3*E(17)+3*E(17)^2+E(17)^3+3*E(17)^4+E(17)^5+E(17)^6+E(17)^7+3*E(17)^8+3*E(17)^9+E(17)^10+E(17)^11+E(17)^12+3*E(17)^13+E(17)^14+3*E(17)^15+3*E(17)^16, 4*E(17)+4*E(17)^2+3*E(17)^3+4*E(17)^4+3*E(17)^5+3*E(17)^6+3*E(17)^7+4*E(17)^8+4*E(17)^9+3*E(17)^10+3*E(17)^11+3*E(17)^12+4*E(17)^13+3*E(17)^14+4*E(17)^15+4*E(17)^16, -E(17)-E(17)^2-E(17)^4-E(17)^8-E(17)^9-E(17)^13-E(17)^15-E(17)^16 ], [0,1,0,0,0,0,0,0,0], [E(17)+E(17)^2+E(17)^4+E(17)^8+E(17)^9+E(17)^13+E(17)^15+E(17)^16, 4*E(17)+4*E(17)^2+3*E(17)^3+4*E(17)^4+3*E(17)^5+3*E(17)^6+3*E(17)^7+4*E(17)^8+4*E(17)^9+3*E(17)^10+3*E(17)^11+3*E(17)^12+4*E(17)^13+3*E(17)^14+4*E(17)^15+4*E(17)^16, 2,-5*E(17)-5*E(17)^2-3*E(17)^3-5*E(17)^4-3*E(17)^5-3*E(17)^6-3*E(17)^7-5*E(17)^8-5*E(17)^9-3*E(17)^10-3*E(17)^11-3*E(17)^12-5*E(17)^13-3*E(17)^14-5*E(17)^15-5*E(17)^16, 8*E(17)+8*E(17)^2+5*E(17)^3+8*E(17)^4+5*E(17)^5+5*E(17)^6+5*E(17)^7+8*E(17)^8+8*E(17)^9+5*E(17)^10+5*E(17)^11+5*E(17)^12+8*E(17)^13+5*E(17)^14+8*E(17)^15+8*E(17)^16, 6*E(17)+6*E(17)^2+4*E(17)^3+6*E(17)^4+4*E(17)^5+4*E(17)^6+4*E(17)^7+6*E(17)^8+6*E(17)^9+4*E(17)^10+4*E(17)^11+4*E(17)^12+6*E(17)^13+4*E(17)^14+6*E(17)^15+6*E(17)^16, 5*E(17)+5*E(17)^2+2*E(17)^3+5*E(17)^4+2*E(17)^5+2*E(17)^6+2*E(17)^7+5*E(17)^8+5*E(17)^9+2*E(17)^10+2*E(17)^11+2*E(17)^12+5*E(17)^13+2*E(17)^14+5*E(17)^15+5*E(17)^16, 7*E(17)+7*E(17)^2+5*E(17)^3+7*E(17)^4+5*E(17)^5+5*E(17)^6+5*E(17)^7+7*E(17)^8+7*E(17)^9+5*E(17)^10+5*E(17)^11+5*E(17)^12+7*E(17)^13+5*E(17)^14+7*E(17)^15+7*E(17)^16, -3*E(17)-3*E(17)^2-E(17)^3-3*E(17)^4-E(17)^5-E(17)^6-E(17)^7-3*E(17)^8-3*E(17)^9-E(17)^10-E(17)^11-E(17)^12-3*E(17)^13-E(17)^14-3*E(17)^15-3*E(17)^16 ]]]; return result;