# Character: X8 # Comment: perm rep on 253 pts (cosets of S4) # Ind: 1 # Ring: C # Sparsity: 80% # 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 := "L223 as 22 x 22 matrices\n"; result.generators := [ [[0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0], [0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0], [0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1], [-18514/7381*E(12)^4+13561/7381*E(12)^7-18514/7381*E(12)^8-13561/7381*E(12)^11, 18514/7381*E(12)^4-13561/7381*E(12)^7+18514/7381*E(12)^8+13561/7381*E(12)^11, 23008/7381*E(12)^4-33035/22143*E(12)^7+23008/7381*E(12)^8+33035/22143*E(12)^11, -10337/7381*E(12)^4+9543/7381*E(12)^7-10337/7381*E(12)^8-9543/7381*E(12)^11, -23008/7381*E(12)^4+33035/22143*E(12)^7-23008/7381*E(12)^8-33035/22143*E(12)^11, 180/671*E(12)^4-69/671*E(12)^7+180/671*E(12)^8+69/671*E(12)^11,10337/7381*E(12)^4-9543/7381*E(12)^7+10337/7381*E(12)^8+9543/7381*E(12)^11, -8750/7381*E(12)^4+11069/22143*E(12)^7-8750/7381*E(12)^8-11069/22143*E(12)^11, 10865/7381*E(12)^4-12998/22143*E(12)^7+10865/7381*E(12)^8+12998/22143*E(12)^11, -180/671*E(12)^4+69/671*E(12)^7-180/671*E(12)^8-69/671*E(12)^11, -834/7381*E(12)^4+4247/22143*E(12)^7-834/7381*E(12)^8-4247/22143*E(12)^11, 8750/7381*E(12)^4-11069/22143*E(12)^7+8750/7381*E(12)^8+11069/22143*E(12)^11, -10865/7381*E(12)^4+12998/22143*E(12)^7-10865/7381*E(12)^8-12998/22143*E(12)^11, 4369/7381*E(12)^4+1585/22143*E(12)^7+4369/7381*E(12)^8-1585/22143*E(12)^11, 20954/7381*E(12)^4-25372/22143*E(12)^7+20954/7381*E(12)^8+25372/22143*E(12)^11, 834/7381*E(12)^4-4247/22143*E(12)^7+834/7381*E(12)^8+4247/22143*E(12)^11, 5018/7381*E(12)^4-3780/7381*E(12)^7+5018/7381*E(12)^8+3780/7381*E(12)^11, 1,0,-4369/7381*E(12)^4-1585/22143*E(12)^7-4369/7381*E(12)^8+1585/22143*E(12)^11, -20954/7381*E(12)^4+25372/22143*E(12)^7-20954/7381*E(12)^8-25372/22143*E(12)^11, -5018/7381*E(12)^4+3780/7381*E(12)^7-5018/7381*E(12)^8-3780/7381*E(12)^11 ], [-3327/7381*E(12)^4+2718/7381*E(12)^7-3327/7381*E(12)^8-2718/7381*E(12)^11, 3327/7381*E(12)^4-2718/7381*E(12)^7+3327/7381*E(12)^8+2718/7381*E(12)^11, -372/7381*E(12)^4-1451/22143*E(12)^7-372/7381*E(12)^8+1451/22143*E(12)^11, -2031/7381*E(12)^4-597/7381*E(12)^7-2031/7381*E(12)^8+597/7381*E(12)^11, 372/7381*E(12)^4+1451/22143*E(12)^7+372/7381*E(12)^8-1451/22143*E(12)^11, 900/671*E(12)^4-345/671*E(12)^7+900/671*E(12)^8+345/671*E(12)^11, 2031/7381*E(12)^4+597/7381*E(12)^7+2031/7381*E(12)^8-597/7381*E(12)^11, -3490/7381*E(12)^4+16427/22143*E(12)^7-3490/7381*E(12)^8-16427/22143*E(12)^11, -2710/7381*E(12)^4+6136/22143*E(12)^7-2710/7381*E(12)^8-6136/22143*E(12)^11, -900/671*E(12)^4+345/671*E(12)^7-900/671*E(12)^8-345/671*E(12)^11, 1869/7381*E(12)^4-1579/22143*E(12)^7+1869/7381*E(12)^8+1579/22143*E(12)^11, 3490/7381*E(12)^4-16427/22143*E(12)^7+3490/7381*E(12)^8+16427/22143*E(12)^11, 2710/7381*E(12)^4-6136/22143*E(12)^7+2710/7381*E(12)^8+6136/22143*E(12)^11, 5741/7381*E(12)^4-7508/22143*E(12)^7+5741/7381*E(12)^8+7508/22143*E(12)^11, 2107/7381*E(12)^4-4738/22143*E(12)^7+2107/7381*E(12)^8+4738/22143*E(12)^11, -1869/7381*E(12)^4+1579/22143*E(12)^7-1869/7381*E(12)^8-1579/22143*E(12)^11, -5776/7381*E(12)^4+559/7381*E(12)^7-5776/7381*E(12)^8-559/7381*E(12)^11, 0,1,-5741/7381*E(12)^4+7508/22143*E(12)^7-5741/7381*E(12)^8-7508/22143*E(12)^11, -2107/7381*E(12)^4+4738/22143*E(12)^7-2107/7381*E(12)^8-4738/22143*E(12)^11, 5776/7381*E(12)^4-559/7381*E(12)^7+5776/7381*E(12)^8+559/7381*E(12)^11 ], [0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0]] , [[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0], [1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,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,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0], [0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1], [-219562003/1461438*E(12)^4-370524479/4384314*E(12)^7-219562003/1461438*E(12)^8+370524479/4384314*E(12)^11, -10299056/243573*E(12)^4-115012463/4384314*E(12)^7-10299056/243573*E(12)^8+115012463/4384314*E(12)^11, -88829842/730719*E(12)^4-316883635/4384314*E(12)^7-88829842/730719*E(12)^8+316883635/4384314*E(12)^11, 9472217/730719*E(12)^4+40361317/4384314*E(12)^7+9472217/730719*E(12)^8-40361317/4384314*E(12)^11, 4405471/1461438*E(12)^4+17333131/4384314*E(12)^7+4405471/1461438*E(12)^8-17333131/4384314*E(12)^11, 9339125/132858*E(12)^4+16339721/398574*E(12)^7+9339125/132858*E(12)^8-16339721/398574*E(12)^11, 117083207/487146*E(12)^4+301509155/2192157*E(12)^7+117083207/487146*E(12)^8-301509155/2192157*E(12)^11, 157523/730719*E(12)^4+670319/1461438*E(12)^7+157523/730719*E(12)^8-670319/1461438*E(12)^11, 133605029/1461438*E(12)^4+75485833/1461438*E(12)^7+133605029/1461438*E(12)^8-75485833/1461438*E(12)^11, 1475791/66429*E(12)^4+4955135/398574*E(12)^7+1475791/66429*E(12)^8-4955135/398574*E(12)^11, -259816511/1461438*E(12)^4-74867054/730719*E(12)^7-259816511/1461438*E(12)^8+74867054/730719*E(12)^11, -264237463/1461438*E(12)^4-458614379/4384314*E(12)^7-264237463/1461438*E(12)^8+458614379/4384314*E(12)^11, 118235465/730719*E(12)^4+415482833/4384314*E(12)^7+118235465/730719*E(12)^8-415482833/4384314*E(12)^11, -170178259/1461438*E(12)^4-97524181/1461438*E(12)^7-170178259/1461438*E(12)^8+97524181/1461438*E(12)^11, 47350033/730719*E(12)^4+8680811/243573*E(12)^7+47350033/730719*E(12)^8-8680811/243573*E(12)^11, -74762839/487146*E(12)^4-389035703/4384314*E(12)^7-74762839/487146*E(12)^8+389035703/4384314*E(12)^11, -8235640/81191*E(12)^4-130262170/2192157*E(12)^7-8235640/81191*E(12)^8+130262170/2192157*E(12)^11, 38663/198*E(12)^4+11218/99*E(12)^7+38663/198*E(12)^8-11218/99*E(12)^11, -3211/22*E(12)^4-16801/198*E(12)^7-3211/22*E(12)^8+16801/198*E(12)^11, -5519065/1461438*E(12)^4-9133213/4384314*E(12)^7-5519065/1461438*E(12)^8+9133213/4384314*E(12)^11, 351311621/1461438*E(12)^4+617916349/4384314*E(12)^7+351311621/1461438*E(12)^8-617916349/4384314*E(12)^11, -70966799/1461438*E(12)^4-119324063/4384314*E(12)^7-70966799/1461438*E(12)^8+119324063/4384314*E(12)^11 ], [0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [114181097/730719*E(12)^4+64423078/730719*E(12)^7+114181097/730719*E(12)^8-64423078/730719*E(12)^11, 64803745/1461438*E(12)^4+4435601/162382*E(12)^7+64803745/1461438*E(12)^8-4435601/162382*E(12)^11, 185968715/1461438*E(12)^4+108773221/1461438*E(12)^7+185968715/1461438*E(12)^8-108773221/1461438*E(12)^11, -22179821/1461438*E(12)^4-12762989/1461438*E(12)^7-22179821/1461438*E(12)^8+12762989/1461438*E(12)^11, -2718418/730719*E(12)^4-2664253/730719*E(12)^7-2718418/730719*E(12)^8+2664253/730719*E(12)^11, -4938647/66429*E(12)^4-2748953/66429*E(12)^7-4938647/66429*E(12)^8+2748953/66429*E(12)^11, -364997915/1461438*E(12)^4-23240991/162382*E(12)^7-364997915/1461438*E(12)^8+23240991/162382*E(12)^11, 536339/487146*E(12)^4-1789463/1461438*E(12)^7+536339/487146*E(12)^8+1789463/1461438*E(12)^11, -22769992/243573*E(12)^4-39797831/730719*E(12)^7-22769992/243573*E(12)^8+39797831/730719*E(12)^11, -2861641/132858*E(12)^4-1874371/132858*E(12)^7-2861641/132858*E(12)^8+1874371/132858*E(12)^11, 89806193/487146*E(12)^4+156571285/1461438*E(12)^7+89806193/487146*E(12)^8-156571285/1461438*E(12)^11, 136375067/730719*E(12)^4+79624168/730719*E(12)^7+136375067/730719*E(12)^8-79624168/730719*E(12)^11, -247612765/1461438*E(12)^4-142697915/1461438*E(12)^7-247612765/1461438*E(12)^8+142697915/1461438*E(12)^11, 29149441/243573*E(12)^4+51172870/730719*E(12)^7+29149441/243573*E(12)^8-51172870/730719*E(12)^11, -5465046/81191*E(12)^4-26796875/730719*E(12)^7-5465046/81191*E(12)^8+26796875/730719*E(12)^11, 116728166/730719*E(12)^4+7478697/81191*E(12)^7+116728166/730719*E(12)^8-7478697/81191*E(12)^11, 78086564/730719*E(12)^4+14843129/243573*E(12)^7+78086564/730719*E(12)^8-14843129/243573*E(12)^11, -13435/66*E(12)^4-23245/198*E(12)^7-13435/66*E(12)^8+23245/198*E(12)^11, 5047/33*E(12)^4+963/11*E(12)^7+5047/33*E(12)^8-963/11*E(12)^11,3079642/730719*E(12)^4+1520089/730719*E(12)^7+3079642/730719*E(12)^8-1520089/730719*E(12)^11, -183257038/730719*E(12)^4-107153513/730719*E(12)^7-183257038/730719*E(12)^8+107153513/730719*E(12)^11, 35846552/730719*E(12)^4+21117227/730719*E(12)^7+35846552/730719*E(12)^8-21117227/730719*E(12)^11 ], [9707837/66429*E(12)^4+16953605/199287*E(12)^7+9707837/66429*E(12)^8-16953605/199287*E(12)^11, 5893775/132858*E(12)^4+9884263/398574*E(12)^7+5893775/132858*E(12)^8-9884263/398574*E(12)^11, 16290341/132858*E(12)^4+28086911/398574*E(12)^7+16290341/132858*E(12)^8-28086911/398574*E(12)^11, -211817/14762*E(12)^4-3280001/398574*E(12)^7-211817/14762*E(12)^8+3280001/398574*E(12)^11, -110794/22143*E(12)^4-458725/199287*E(12)^7-110794/22143*E(12)^8+458725/199287*E(12)^11, -138547/2013*E(12)^4-733604/18117*E(12)^7-138547/2013*E(12)^8+733604/18117*E(12)^11, -31381957/132858*E(12)^4-54587039/398574*E(12)^7-31381957/132858*E(12)^8+54587039/398574*E(12)^11, -147935/132858*E(12)^4+12031/132858*E(12)^7-147935/132858*E(12)^8-12031/132858*E(12)^11, -5948669/66429*E(12)^4-3426722/66429*E(12)^7-5948669/66429*E(12)^8+3426722/66429*E(12)^11, -88601/4026*E(12)^4-437761/36234*E(12)^7-88601/4026*E(12)^8+437761/36234*E(12)^11, 23349793/132858*E(12)^4+13498099/132858*E(12)^7+23349793/132858*E(12)^8-13498099/132858*E(12)^11, 11938925/66429*E(12)^4+20556491/199287*E(12)^7+11938925/66429*E(12)^8-20556491/199287*E(12)^11, -21398353/132858*E(12)^4-37063135/398574*E(12)^7-21398353/132858*E(12)^8+37063135/398574*E(12)^11, 7657999/66429*E(12)^4+1457234/22143*E(12)^7+7657999/66429*E(12)^8-1457234/22143*E(12)^11, -4093214/66429*E(12)^4-2429446/66429*E(12)^7-4093214/66429*E(12)^8+2429446/66429*E(12)^11, 10102744/66429*E(12)^4+17554643/199287*E(12)^7+10102744/66429*E(12)^8-17554643/199287*E(12)^11, 6710866/66429*E(12)^4+11746805/199287*E(12)^7+6710866/66429*E(12)^8-11746805/199287*E(12)^11, -3481/18*E(12)^4-223/2*E(12)^7-3481/18*E(12)^8+223/2*E(12)^11,434/3*E(12)^4+757/9*E(12)^7+434/3*E(12)^8-757/9*E(12)^11, 84811/22143*E(12)^4+465934/199287*E(12)^7+84811/22143*E(12)^8-465934/199287*E(12)^11, -15946201/66429*E(12)^4-27594268/199287*E(12)^7-15946201/66429*E(12)^8+27594268/199287*E(12)^11, 345096/7381*E(12)^4+5443544/199287*E(12)^7+345096/7381*E(12)^8-5443544/199287*E(12)^11 ], [40530/81191*E(12)^4-1768010/730719*E(12)^7+40530/81191*E(12)^8+1768010/730719*E(12)^11, -889214/243573*E(12)^4+653479/730719*E(12)^7-889214/243573*E(12)^8-653479/730719*E(12)^11, -333144/81191*E(12)^4+188609/730719*E(12)^7-333144/81191*E(12)^8-188609/730719*E(12)^11, 321080/243573*E(12)^4-190085/730719*E(12)^7+321080/243573*E(12)^8+190085/730719*E(12)^11, 460619/243573*E(12)^4-1229330/730719*E(12)^7+460619/243573*E(12)^8+1229330/730719*E(12)^11, -15758/22143*E(12)^4+96830/66429*E(12)^7-15758/22143*E(12)^8-96830/66429*E(12)^11, 586783/243573*E(12)^4+2064859/730719*E(12)^7+586783/243573*E(12)^8-2064859/730719*E(12)^11, 491053/243573*E(12)^4-231304/243573*E(12)^7+491053/243573*E(12)^8+231304/243573*E(12)^11, 234002/243573*E(12)^4+247432/243573*E(12)^7+234002/243573*E(12)^8-247432/243573*E(12)^11, 28507/22143*E(12)^4-57241/66429*E(12)^7+28507/22143*E(12)^8+57241/66429*E(12)^11, -742745/243573*E(12)^4-285016/243573*E(12)^7-742745/243573*E(12)^8+285016/243573*E(12)^11, -367892/81191*E(12)^4-383714/730719*E(12)^7-367892/81191*E(12)^8+383714/730719*E(12)^11, 229541/81191*E(12)^4+733904/730719*E(12)^7+229541/81191*E(12)^8-733904/730719*E(12)^11, -417739/243573*E(12)^4-87544/243573*E(12)^7-417739/243573*E(12)^8+87544/243573*E(12)^11, -513088/243573*E(12)^4+587161/243573*E(12)^7-513088/243573*E(12)^8-587161/243573*E(12)^11, -327500/243573*E(12)^4-1263299/730719*E(12)^7-327500/243573*E(12)^8+1263299/730719*E(12)^11, -272726/243573*E(12)^4-1012865/730719*E(12)^7-272726/243573*E(12)^8+1012865/730719*E(12)^11, 80/33*E(12)^4+61/33*E(12)^7+80/33*E(12)^8-61/33*E(12)^11,-21/11*E(12)^4-49/33*E(12)^7-21/11*E(12)^8+49/33*E(12)^11, -69407/243573*E(12)^4-386896/730719*E(12)^7-69407/243573*E(12)^8+386896/730719*E(12)^11, 508095/81191*E(12)^4+83767/730719*E(12)^7+508095/81191*E(12)^8-83767/730719*E(12)^11, -103705/243573*E(12)^4-190238/730719*E(12)^7-103705/243573*E(12)^8+190238/730719*E(12)^11 ], [-31677515/243573*E(12)^4-163651385/2192157*E(12)^7-31677515/243573*E(12)^8+163651385/2192157*E(12)^11, -27654437/730719*E(12)^4-49194512/2192157*E(12)^7-27654437/730719*E(12)^8+49194512/2192157*E(12)^11, -26086922/243573*E(12)^4-137336194/2192157*E(12)^7-26086922/243573*E(12)^8+137336194/2192157*E(12)^11, 8857253/730719*E(12)^4+16661842/2192157*E(12)^7+8857253/730719*E(12)^8-16661842/2192157*E(12)^11, 2856470/730719*E(12)^4+5696059/2192157*E(12)^7+2856470/730719*E(12)^8-5696059/2192157*E(12)^11, 4058242/66429*E(12)^4+7095182/199287*E(12)^7+4058242/66429*E(12)^8-7095182/199287*E(12)^11, 152764504/730719*E(12)^4+264325447/2192157*E(12)^7+152764504/730719*E(12)^8-264325447/2192157*E(12)^11, 369112/730719*E(12)^4+62492/243573*E(12)^7+369112/730719*E(12)^8-62492/243573*E(12)^11, 58060961/730719*E(12)^4+11035810/243573*E(12)^7+58060961/730719*E(12)^8-11035810/243573*E(12)^11, 1274866/66429*E(12)^4+2236415/199287*E(12)^7+1274866/66429*E(12)^8-2236415/199287*E(12)^11, -113303294/730719*E(12)^4-21755246/243573*E(12)^7-113303294/730719*E(12)^8+21755246/243573*E(12)^11, -38361538/243573*E(12)^4-199842047/2192157*E(12)^7-38361538/243573*E(12)^8+199842047/2192157*E(12)^11, 11557602/81191*E(12)^4+180269990/2192157*E(12)^7+11557602/81191*E(12)^8-180269990/2192157*E(12)^11, -73967404/730719*E(12)^4-42658340/730719*E(12)^7-73967404/730719*E(12)^8+42658340/730719*E(12)^11, 40615055/730719*E(12)^4+23049350/730719*E(12)^7+40615055/730719*E(12)^8-23049350/730719*E(12)^11, -97926164/730719*E(12)^4-169466333/2192157*E(12)^7-97926164/730719*E(12)^8+169466333/2192157*E(12)^11, -65365382/730719*E(12)^4-112976399/2192157*E(12)^7-65365382/730719*E(12)^8+112976399/2192157*E(12)^11, 16901/99*E(12)^4+9778/99*E(12)^7+16901/99*E(12)^8-9778/99*E(12)^11, -4204/33*E(12)^4-7294/99*E(12)^7-4204/33*E(12)^8+7294/99*E(12)^11, -2270945/730719*E(12)^4-3960355/2192157*E(12)^7-2270945/730719*E(12)^8+3960355/2192157*E(12)^11, 51552227/243573*E(12)^4+268650796/2192157*E(12)^7+51552227/243573*E(12)^8-268650796/2192157*E(12)^11, -30823810/730719*E(12)^4-52195619/2192157*E(12)^7-30823810/730719*E(12)^8+52195619/2192157*E(12)^11 ], [0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0]]]; return result;