/* www-ATLAS of Group Representations. G2(4) represented as 64 x 64 matrices over GF(4). */ F:=GF(4); x:=CambridgeMatrix(1,F,64,[ "0100000000000000000000000000000000000000000000000000000000000000", "1000000000000000000000000000000000000000000000000000000000000000", "3011000000000000000000000000000000000000000000000000000000000000", "3301000000000000000000000000000000000000000000000000000000000000", "0000001000000000000000000000000000000000000000000000000000000000", "0000000010000000000000000000000000000000000000000000000000000000", "0000100000000000000000000000000000000000000000000000000000000000", "0000000000010000000000000000000000000000000000000000000000000000", "0000010000000000000000000000000000000000000000000000000000000000", "0000000000000010000000000000000000000000000000000000000000000000", "0000000000000000100000000000000000000000000000000000000000000000", "0000000100000000000000000000000000000000000000000000000000000000", "0000000000000000000100000000000000000000000000000000000000000000", "0000000000000000000010000000000000000000000000000000000000000000", "0000000001000000000000000000000000000000000000000000000000000000", "0000000000000000000000010000000000000000000000000000000000000000", "0000000000100000000000000000000000000000000000000000000000000000", "0000000000000000000000000100000000000000000000000000000000000000", "0000000000000000000000000001000000000000000000000000000000000000", "0000000000001000000000000000000000000000000000000000000000000000", "0000000000000100000000000000000000000000000000000000000000000000", "0000000000000000000000000000000100000000000000000000000000000000", "0000000000000000000000000000000001000000000000000000000000000000", "0000000000000001000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000001000000000000000000000000000", "0000000000000000010000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000001000000000000000000000000", "0000000000000000001000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000001000000000000000000000", "0000000000000000000000000000000000000000000010000000000000000000", "0000000000000000000000000000000000000000000000100000000000000000", "0000000000000000000001000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000100000000000000", "0000000000000000000000100000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000100000000000", "0000000000000000000000000000000000000000000000000000001000000000", "0000000000000000000000001000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000001000000", "2031112102132013320202122313232103111320312333203203011022200000", "0000000000000000000000000010000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000100", "0130311110001010022123311001301221202102131120200022012110220100", "0000000000000000000000000000100000000000000000000000000000000000", "3311332013223122213211312313103032111300301302232301221313203302", "0000000000000000000000000000010000000000000000000000000000000000", "2330320021213130223313023231322202120313202320030003003330102210", "0000000000000000000000000000001000000000000000000000000000000000", "3031130103332301313321023323220033102110021000113013031312220021", "3132133023102123000203310332220333322303012023101102131333002122", "0000000000000000000000000000000010000000000000000000000000000000", "3133300120030321202021232131023031302213023032130132132213003012", "2312122113010231312222222211132100010133100131130200323233233323", "0000000000000000000000000000000000100000000000000000000000000000", "0333310132112023120333033312230023303120320021120302322032113210", "0000000000000000000000000000000000010000000000000000000000000000", "0302113302210011332212121331123200212113003021120112211230010322", "3210301021331322031102232211011322120200333113020013221211011013", "0000000000000000000000000000000000000100000000000000000000000000", "2300312102133202201102023232230232202333131313222000303311223102", "1033200223012310301310231312031111110132301113313100313312110221", "3333302322311220130231220320123330101311331121303010313031122303", "0000000000000000000000000000000000000000100000000000000000000000", "3303001200330220223301131021201133301112202030113211033210323020", "3022210022002200331120210313020301012201303023100211032033103103"]); y:=CambridgeMatrix(1,F,64,[ "0010000000000000000000000000000000000000000000000000000000000000", "0001000000000000000000000000000000000000000000000000000000000000", "0000100000000000000000000000000000000000000000000000000000000000", "0000010000000000000000000000000000000000000000000000000000000000", "0000000100000000000000000000000000000000000000000000000000000000", "0000000001000000000000000000000000000000000000000000000000000000", "0000000000100000000000000000000000000000000000000000000000000000", "0000000000001000000000000000000000000000000000000000000000000000", "0000000000000100000000000000000000000000000000000000000000000000", "0000000000000001000000000000000000000000000000000000000000000000", "0000000000000000010000000000000000000000000000000000000000000000", "0000000000000000001000000000000000000000000000000000000000000000", "1000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000001000000000000000000000000000000000000000000", "0000000000000000000000100000000000000000000000000000000000000000", "0100000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000001000000000000000000000000000000000000000", "0000000000000000000000000010000000000000000000000000000000000000", "0000000000000000000000000000100000000000000000000000000000000000", "0000000000000000000000000000010000000000000000000000000000000000", "0000000000000000000000000000001000000000000000000000000000000000", "0000000000000000000000000000000010000000000000000000000000000000", "0000000000000000000000000000000000100000000000000000000000000000", "0000000000000000000000000000000000010000000000000000000000000000", "0000000000000000000000000000000000000100000000000000000000000000", "0000000000000000000000000000000000000010000000000000000000000000", "0000000000000000000000000000000000000000100000000000000000000000", "0000000000000000000000000000000000000000010000000000000000000000", "0000000000000000000000000000000000000000000100000000000000000000", "0000000000000000000000000000000000000000000001000000000000000000", "0000000000000000000000000000000000000000000000010000000000000000", "0000000000000000000000000000000000000000000000001000000000000000", "0000000000000000000000000000000000000000000000000010000000000000", "0000000000000000000000000000000000000000000000000001000000000000", "0000000000000000000000000000000000000000000000000000010000000000", "0000000000000000000000000000000000000000000000000000000100000000", "0000000000000000000000000000000000000000000000000000000010000000", "0000000000000000000000000000000000000000000000000000000000100000", "0000000000000000000000000000000000000000000000000000000000010000", "0000000000000000000000000000000000000000000000000000000000001000", "0000001000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000010", "0000000000000000000000000000000000000000000000000000000000000001", "2300021120022233132010003101013111100203103122002212023111312031", "0212302033232301232001110102302110322022201321312320120020021033", "0220113010023031101112303022020233122022203012113221330300200120", "2321031301132300133031320132030121331011231222133013303121302001", "2230201331302103113030203020021010032323212321000311111201033103", "3200321230123300111212232101130330110100311010313332201133320323", "1221321003022323111122300001300201310012020032100121121030001133", "0000000010000000000000000000000000000000000000000000000000000000", "1013011111211020323023032221300201032220100111031000130023110101", "2101313123201323223320131013121113022000122020301111112333332320", "1220211220002030303021311033111211013133213322330113300021211113", "3322303302021030200102212010322222200013202121120033332233003202", "2330312110020102312012030030231012231100022103010333311133012303", "1020212110332320313101121120222211111010221202032212230013231321", "1002312123033023021313203310001231101131301331121301310123101023", "1112213033323032103030301331312131233030200132101301113021012211", "3012111001101312302322011120011330103331001300230101100323031103", "2000321230110103130332320132033223132200022232022120102331133303", "0010013011112003231033233321311122233331020121112003213030220112", "0221103311211000230010302133123301022223121131330120013232000103", "0020201122000221201000001220033210030301301022021121120001322223"]); G:=MatrixGroup<64,F|x,y>; print "Group G is G2(4) < GL(64,GF(4))";