/* www-ATLAS of Group Representations. A10 represented as 75 x 75 matrices over GF(5). */ F:=GF(5); x:=CambridgeMatrix(1,F,75,[ "010000000000000000000000000000000000000000000000000000000000000000000000000", "000100000000000000000000000000000000000000000000000000000000000000000000000", "000001000000000000000000000000000000000000000000000000000000000000000000000", "100000000000000000000000000000000000000000000000000000000000000000000000000", "000000001000000000000000000000000000000000000000000000000000000000000000000", "000000000010000000000000000000000000000000000000000000000000000000000000000", "000000000000100000000000000000000000000000000000000000000000000000000000000", "000000000000001000000000000000000000000000000000000000000000000000000000000", "000000000000000010000000000000000000000000000000000000000000000000000000000", "000000000000000000100000000000000000000000000000000000000000000000000000000", "001000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000100000000000000000000000000000000000000000000000000000", "000000000000000000000010000000000000000000000000000000000000000000000000000", "000000000000000000000000100000000000000000000000000000000000000000000000000", "000000000000000000000000001000000000000000000000000000000000000000000000000", "000000000000000000000000000010000000000000000000000000000000000000000000000", "000010000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000010000000000000000000000000000000000000000000", "000000000000000000000000000000000100000000000000000000000000000000000000000", "000000000000000000000000000000000001000000000000000000000000000000000000000", "000000000000000000000000000000000000010000000000000000000000000000000000000", "000000000000000000000000000000000000000100000000000000000000000000000000000", "000000100000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000100000000000000000000000000000000", "000000000000000000000000000000000000000000001000000000000000000000000000000", "000000000000000000000000000000000000000000000010000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000010000000000000000000000000", "000000000000000000000000000000000000000000000000000100000000000000000000000", "000000000000000000000000000000000000000000000000000001000000000000000000000", "000000000000000000000000000000000000000000000000000000010000000000000000000", "000000000000000000000000000000000000000000000000000000000100000000000000000", "000000000000000000000000000000000000000000000000000000000001000000000000000", "000000000100000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000001000000000000", "000000000000000000000000000000000000000000000000000000000000000010000000000", "000000000000000000000000000000000000000000000000000000000000000000100000000", "000000000000000000000000000000000000000000000000000000000000000000001000000", "000000000000000000000000000000000000000000000000000000000000000000000010000", "000000000001000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000010", "000000000000000000000000000000000000000000000000000000000000000000000000001", "212332224312131232212043433030430142430011202020140041010432013043303410001", "101201012403010432041141314040420333440401404341343132340412203021441224131", "000000000000010000000000000000000000000000000000000000000000000000000000000", "022212331211413213100023341131433324314200414404402404200131324031213341120", "304202102141123324333210332221330331204124440331313013330303243014342414312", "234412314420311132424210420224134244333232140332433424320004201043342424022", "013220330430241441413341014214210132001132022213104101400131100044321012031", "242340400344421410034023142324040413244234003100040310030141003004404010332", "304204300132310110412410002024343241444014141031414310330132222004143414003", "000000000000000100000000000000000000000000000000000000000000000000000000000", "412140121320112401010124003414042421443301303410100002030012004021000020243", "402301032440003043341432402031114023431423441121243241330313204022341124331", "242224302110442220400122130014044001203132121333324001020300114041421402304", "334143222024243333012240013132400401400422044201103344320144204043241314010", "313403044004243034443121344423031404330212411124342111201242313031212011240", "000000000000000001000000000000000000000000000000000000000000000000000000000", "123110210104343042323101132022404002330233101340110112040143021033400320424", "434103433003023030013210124144143431133420100030100424020412012022201340331", "304443344422321301222121423141140202200101332042231404130442040022434213312", "103322321443433202401240432320343332022121402340100214000043020042303120341", "101442432433002033112434041110441414223314413214332141210110301040412441120", "202444413230220104234031231113202012401113320333424420430111123143024242124", "000000000000000000010000000000000000000000000000000000000000000000000000000", "322241041211420322101022043114033142233320012444232424210222330010013301134", "231111401013444442010340332413211324331334444231313302310402203001140124131", "201100200103133422243100001414320211134031342301333133300103213002100414241", "000000000000000000001000000000000000000000000000000000000000000000000000000", "432201414302211240000023112031223030202044011104412404230240301012211141040", "124044040041002321423323311023013401020344023303024102440001114021123442342", "431301324243444440301230130141032114004432203020110404010012041004100331433", "232130030312332033103342401110233410240402244211343200310100204001141134213", "020210214444203244221224300042322302213443334332111430140431421032434323033", "413023322223024233202343012202122420140424132142301021130431401020231213324"]); y:=CambridgeMatrix(1,F,75,[ "001000000000000000000000000000000000000000000000000000000000000000000000000", "000010000000000000000000000000000000000000000000000000000000000000000000000", "000000100000000000000000000000000000000000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000000000000000", "000000000100000000000000000000000000000000000000000000000000000000000000000", "000000000001000000000000000000000000000000000000000000000000000000000000000", "000000000000010000000000000000000000000000000000000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000000000000000", "000000000000000001000000000000000000000000000000000000000000000000000000000", "000000000000000000010000000000000000000000000000000000000000000000000000000", "000000000000000000001000000000000000000000000000000000000000000000000000000", "040004400004000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000001000000000000000000000000000000000000000000000000000", "000000000000000000000000010000000000000000000000000000000000000000000000000", "000000000000000000000000000100000000000000000000000000000000000000000000000", "000000000000000000000000000001000000000000000000000000000000000000000000000", "000000000000000000000000000000100000000000000000000000000000000000000000000", "000000000000000000000000000000001000000000000000000000000000000000000000000", "000000000000000000000000000000000010000000000000000000000000000000000000000", "000000000000000000000000000000000000100000000000000000000000000000000000000", "000000000000000000000000000000000000001000000000000000000000000000000000000", "000000000000000000000000000000000000000010000000000000000000000000000000000", "000000000000000000000000000000000000000001000000000000000000000000000000000", "000000000000000000000000000000000000000000010000000000000000000000000000000", "000000000000000000000000000000000000000000000100000000000000000000000000000", "000000000000000000000000000000000000000000000001000000000000000000000000000", "000000000000000000000000000000000000000000000000100000000000000000000000000", "000000000000000000000000000000000000000000000000001000000000000000000000000", "000000000000000000000000000000000000000000000000000010000000000000000000000", "000000000000000000000000000000000000000000000000000000100000000000000000000", "000000000000000000000000000000000000000000000000000000001000000000000000000", "000000000000000000000000000000000000000000000000000000000010000000000000000", "000000000000000000000000000000000000000000000000000000000000100000000000000", "000000000000000000000000000000000000000000000000000000000000010000000000000", "000000000000000000000000000000000000000000000000000000000000000100000000000", "000000000000000000000000000000000000000000000000000000000000000001000000000", "000000000000000000000000000000000000000000000000000000000000000000010000000", "000000000000000000000000000000000000000000000000000000000000000000000100000", "000000000000000000000000000000000000000000000000000000000000000000000001000", "000000000000000000000000000000000000000000000000000000000000000000000000100", "224144223213102402314112013242132442402413242341413121301023242221243234420", "124400004240100323142442442204403124142223221333331002204132332222441124020", "321014314042031231101224040324443330220404303311043024320314210014341404013", "134132223034104414232231431231144130044004002414442103224041431030024423430", "140303012242101224030111003411000412141104030432321022140210433034330023320", "210141002123340434304234423143130344421431000330044341230001342023412211310", "344331411041402112202321010122014104322130020034114244400300120041322232234", "343002104121312233440324232404332103401404243434023302312042114312021022420", "241004204304232100013324342311234432404012322413344132444300112020322202034", "234332224340320113303401340111223402403032022233240413430433110023020222440", "003334420024142131104004221042112001030004433211300413040030022030022112311", "442201100414434002020102423011112110422041314234142300220114341022011401413", "112432042131314123442012433024412100412023420304033311040102114441041224230", "101010200220314033333424243042002143324041230202441030230422433044130403400", "200144413314001401443141220243301202322342430400123330402002224432303444041", "030123120233120444141320101231120430232343111344112331241420300032214221222", "320232341102430334132120333201032301224444011304221412313401222044322133320", "421113113414013111043122334242123041242002311314002203230141341011312401243", "034313211004330100120401112230213241310203132211013403120304020122014141432", "203111343003404100312024212410443140042041001400240300020102134033203440312", "013143122313122332001224124244142000331011244104044420430002220420402443223", "332201000132104404323044204421232333032143204243024023041224020204114431021", "244441303442412312003432043223313123224011024323344434410242141104120302202", "241012211231234033301013144042330431102031114420121420020130204240334021430", "032204113041324011240430342440430232032432210304332000200034323014314401011", "004331422320430100014444304434021422112424422223144412102133430324213410122", "142123421242344011303112400333131333011141430012111411140400421013040023040", "020440111120102241442121411441321401103131344433012020434343142224131111244", "142421020442212211403033230020114100212214301200120300040401014003000130441", "434310042414113322224200434142221022324241043424314010200114314300014032244", "133102200202023444000211224224431221131443214414002101220010324013214002141", "203213131220101240323221140334114432333222330431320134411201243303304134110", "200420231014421410112311013031034131122033143423222401403110114413420232234", "104144240002003020110233041231230111032102311214432222231401302203111201430", "342421210411043012313403142403134001130404203340142421314400202234023122320"]); G:=MatrixGroup<75,F|x,y>; print "Group G is A10 < GL(75,GF(5))";