/* www-ATLAS of Group Representations. 3.U6(2) represented as 90 x 90 matrices over GF(4). */ F:=GF(4); x:=CambridgeMatrix(1,F,90,[ "010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000", "000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000", "000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000", "000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000", "000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000", "000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000", "000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000", "000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000", "000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000", "000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000", "000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000", "000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000", "000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000", "331111111031300032331010022133111110002011033010110100000000001000030000000000000000000000", "000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000", "000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000", "000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000", "122130122332322312021023333211132112310103102131222333330111211121203313033111301311333000", "000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000", "303233012322221030302120000213313300201212023132301000033121112213013100031012312130213220", "030032221322002200101212001313221001211112033022112330331102123112121022133332101333011220", "000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000", "312310321012223003211322020010103100220333132202133011313233120311132222032331200203212000", "000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000", "100112223312001220203320122022322102020322232333221002102201331321212003211111203131032330", "221301202120001220131012330322322003232333210322220303100331121033221223300112100001211110", "000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000", "003002020021033110022233321122221001132310012021221032322232030301032132112322213223222000", "000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "023332201222203111331202131021332010300110221130202212032323333130003320033030230300122110", "332310032233312032013110302123211222023211212311110002300223310011133002200331300003133330", "000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000", "110122133021032100210030023130303310112332210130112303111221120201301330301210130132111000", "103003113121023213011112321213311111232110120111113113112313201210110302201330002133300110", "000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000", "013120221332311201133202123212122121220300102210221021222201333222222013220111201101012330", "212101211221303003103223302120031320320100322212311301011232300130300211213323002312220330", "203312220132332122030201021100223333131002000021330120223302011331333011322230303222033110", "000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000", "313000031113112201121020212122302103023122010021122002023233331310112202002330301233222000", "211012113001101221330222330311210002231212230213002123131320332103002130333003210320122110", "000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000", "332203202202030123110011000002203031030113202320110000011021322201311311301212130002111000", "000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000", "010121232210313010110311113132211200313232112022022331120033101123310101303231010303210330", "302132100110100133201221122232132110101103131131222331121011211121233313033111301331223000", "000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000", "312101013201201110222133033223303001300131113032333211013002112330323011312223300232002110", "030010032013221033232033012333103300322032100233230111121211312121203323013113303331323100", "100331121111330110021121133113032121300132311211210322210102023100121332013321111303031230", "010313132202121222010311312000220032222230022032313221021023100300200033322130021231100221"]); y:=CambridgeMatrix(1,F,90,[ "001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "011100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "101101000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000", "001110110000000010000001000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001", "323002333210130223330333331321310213102032332112001010130222321212030110020030201013333031", "320013131121213030200320300201022212320323311122203112232013013030010100200030010020300010", "332123010221001123132023222213100131001232120223320300012223230301313102313101321032323220", "221333323200320123010111100123302213312220102002203321112111110321023110211001332100233200", "133112112213313033322301213312300230022232133023310322121010302022232300213323223001133032", "311120210132331212331232221203231303223330210212231120011331313120030131013312210011210210", "013003210100000303311233023323103023010110320202321012200021212101323013333121321301033030", "313000031113112201121020212122302103023122010021122002023233331310112202002330301233222000", "010022022033013101210331211231110110111311313111020032021212033213213133011123222101322320", "002310131201312023330230131011100013210123102311322201113202211112100202211233311222210233", "201111300311233100312121103020131221011032100021312031220333130102013032203110113332102130", "201333221231311320100003130321003220122223023201312333321002132323122333222303213223222030", "132212301033021002121300213121203323131213013112123332210132311013300310300001012300033300", "001310333111210313112012030301112022102023233022312200312001203213033222331303202312312123", "012331221110022201311132231023002000130301212203213200111232310011133112001301300023033320", "321321333013233130133110321010301332121210213021330020101002001311031113003003233220101332", "300033300220013323202101230232330201300112310322020323311323203211300213103211223130000103", "003223120232032320120222332322010300313003231333211122332301222111200120233223000302110022", "301232001202103232303122331021003011122301102203333031313120232033312031100213330012222210", "000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "322122222000033200122121031020220213033300300323032210302023003313032120223010103230031120", "000210010030031003213000202333323212230221102221312021120022130333132332222303203303222010", "130203312223201203311202203012033221100303321031213331212211220233303123220302312121312131", "221012210100033020100000220012023101221031303122331333010030322222301221011202122133111010", "331300201030112011001122301300111211302232131203320200213112012303123030112121133133102310", "032331122221102022202322012022021100220031110220022211320310202110102112103131103121003210", "122310331312320112320311301021320132130310033022020311101120302300210303322100033221301220", "032003020003021002303131331323233020031120113031101130000323120332011200010011032213102211", "323221200233013123111113101232120333201320121033200211302031033323212130322331101310333213", "301200213130113212223230000001103233132210311020131021220313010221310200203320233031223110", "300321130000211111201203213333003101022000131210011111010013320030100121230100102023331020"]); G:=MatrixGroup<90,F|x,y>; print "Group G is 3.U6(2) < GL(90,GF(4))";