/* www-ATLAS of Group Representations. 2.G2(4) represented as 92 x 92 matrices over GF(5). */ F:=GF(5); x:=CambridgeMatrix(1,F,92,[ "01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000", "00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000", "00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000", "00000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000", "00000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000", "00000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000", "00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000", "00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000", "00000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000", "00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000", "00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000", "00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000", "00000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000", "00000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000", "00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000", "00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000", "00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000", "00000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100", "14000333113033014004314301143004421111004101341322131443012403322141004443442212020041013200", "00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000", "21034202203104244030341244113141044024404324024212432021201340144240103041223214210444320422", "00000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000", "14242401333204103230231342333104403201030244034310212433243442242114143142120202004044131230", "23440424243442002432112132201032342221204444223301242033223032410432300223033130033032001314", "00000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000", "22140241300400232340302341012324401121012042232304000434042443403043032023224142222123223142", "04324112014320440144234043240130002310131440423434432110331010213140134433000214410313324101", "00000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "44443434222224040220034314342042404004032322100443222140440322143121440011412323023101411301", "00000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000", "20001234130010213403211140404311312441041001440021144004024201224001323033420000234110132120", "33241014033402431102420400104230022413002402221312403312024110023030244041243034123112142024", "00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000", "31313023342224244240043302423332123230004121240132232111233412102434103242310204001344131230", "00411443204201130223224333322213343110402334223411320403410244034224441131241444023304224213", "00000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000", "22314440001234403220202321204423400030110410212122123312421314332111020340410134002301021424", "00000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000", "21333211110302330424310223031043323042232410130331442413443443101220401112214210211301222214", "31131310120012244302144423030344222040232222311210103331043124022330340411044143440233300412", "00000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000", "24012004314232323210413303302241332123204032203302201030134423202442214040344404040302120303", "23320232233101042104423421422311233224142043310003431032024321043433300013243321032232422233", "00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000", "03021000010124312044220233310311301043332101411011133244242241324001343143320004231010322420", "03432311041414224322012034323223211010124102211340031232343011023302110020434104221111332303", "00000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000", "34433413320330302224323013120100310310102313002241210131200020412323421200220124232202021002", "20144200130030444124234013320243243301423140100433401302344334303341433301410014320122414220"]); y:=CambridgeMatrix(1,F,92,[ "00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "44403401401000000000000000000000000000000000000000000000000000000000000000000000000000000000", "04404400400000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000", "10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000", "00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000", "00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001", "22244143442303224112430412111033000014332121233013134444431140311323121142431121434131221314", "03111313403231310212444133210010311040332034043024320023114243204223324424142211332002211231", "32322414413411030210310433032310343213222232110004120300231302110233240041112321201133314212", "42420222210212123042020303344042001244241013012114403300222223142040431230044224421213121434", "41031334233303243322002314402334322430140424042323222004422120414202333103300444432041024032", "12334003224204042140424201132401412021343020000241224131114342323110424302141022322403414143", "01023130141023244023323114114033033420142100140110132431022443034133400204034210031330143143", "04142240122302031430042143242004103233133121330222112224332334300014123140313100343301030030", "03321224440101310000041100430234000440304134220443400213311242213030223123223233320234230132", "12212242300130034140204341444021243324313213100400331404311422020213212102041401014212012144", "00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "11010141442420013323311000101011221120430432213330402130124434022412241213424134000332422303", "43101010310122123021403344434434400312322343243142412220034430241132132113102033311143311232", "44144000344304131013433010241433434133304413441221143200442310041331234422220434034011300441", "20043344413340130222433233043132410402411102131040243102324444211401411422141020204330034010", "00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "04333120123224010413221324333223334422400421002220224331141121001113003220304341402312413423", "21324424242243334231313042302111021241221113401022031413234314314100413411341200413332122441", "13244442112121113131412001311333302020224220132020030130020304013012323444103203122234342132", "40302142034430212142131144114102232231441103000300413240314144300012413300444034423003024422", "10312300332040114244202303003224134403140133021221324231242000434303140121012103040022233131", "04221331320211140134122444424433222424031204444301001223113011203212220214341033213441400343", "24143343123213120223202214143044441101402342010041410412042312224244413000023134420001331204", "41221202103302201040442442334434020202233000203020314044212443000214231410441043030111302013", "43421343430142212414404241410042440143211210333141122443143202233044234020022201141024212120", "40003044344340400332414042130133330202424110400401020023333223334204213403344300434114410343", "12011032433024232011313331104212343101003204001210110120124023432213001320334112424240204240", "00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000", "02010103404232213043423043111032014344430104230342200413002100031000303344043140020010124213", "31034324304241331432324211433333141200302211220223311423111100434122110103414414443344442000", "31303034313211430342231302403124204014130440132200230000403020444022421024343332123013040143", "31430200233440130041431304433321001241200420401234144410320030240043230004333414423143243021"]); G:=MatrixGroup<92,F|x,y>; print "Group G is 2.G2(4) < GL(92,GF(5))";