/* www-ATLAS of Group Representations. L5(2) represented as 94 x 94 matrices over GF(7). */ F:=GF(7); x:=CambridgeMatrix(1,F,94,[ "0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000", "0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000", "0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000", "0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000", "0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000", "0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000", "0000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "0000010006106000506000010000000000600500000010000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000", "0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000", "0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "0000030304600000400000030030040030400000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000", "0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000", "0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000", "6650000006001060600060000000000000000000000006000000006000000000000000000000000000000000000000", "0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000", "6600560160600600000000000000000000060000000000006000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000", "0000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000", "0000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000", "0000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000", "4353214426360451112533634524214445413124532226360211040133200556310100006003006004000000040000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100", "0000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "1010000001000010000000000000000000600000000000000000000000000006000000000000600000000000000000", "4356334215440353632243131164314536302032362416001026561566666261035635246453524104044413352145", "3133426404542602636322346354501132543220052051464201324332653320322505050564663300054632256251", "3606430155013463564661514115435122122602410056335355455000000165166231425126044206016626624613", "0000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000", "0603541440306520104531346511400533005556332062350506210406256140446303533424551605036564455232", "0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000", "0100110010000000000000060000000000000000000000000060000000000000000060000000000000000000000000", "1515210512404414202531514135102361361213206104044223654610643344153662123263022405021245551026", "0000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000", "0546453164366542512616311315236424361024140434642050042160512554023025651522165402051032216151", "2112331334364220616320451441244154602400324633065236655216634045030014246444320114040613352645", "0000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000", "4464346232220612055242224264356664206626065612514245254425232644634514240414325105140113362245", "6026222363352635526301102405132422166220234162444042544152156203313506362636332506003251113664", "0000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000", "2026552353326600255602605151540365533352500115644423654030504602512546361625033501061461163064", "2445620242536562543011040406633346535555561466603425533064302112650342121205511401025346501326", "6603564510523451154321606431412602061032366060556544356453411103301200003042003004006600140600", "0000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000", "5363546520004434505435165611463553404662316644213166413414300632321315652555062305052232250351", "0000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000", "4433345453035260540144611134363163530350446065364642254355666011314356362665130503062251113504", "3426123631552516625025603506120542456403135226543221603601540000325025650536160301055232256652"]); y:=CambridgeMatrix(1,F,94,[ "0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "0600660060000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "1100210610000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "1166110060600100000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000", "0000030304600000400000030030040030400000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000", "0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000", "0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000", "3360000003004030000060400000000000044000000000000000004000300000000000004000000000000000000000", "1010030406002010601000030030030040500300000060000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000", "0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001", "0512024522266550626533031560014101660224556354541654225546505031513464162532540520355100612615", "0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "3155305465455342010430445004435333055434601635442115306266434661536535146366464401062126202423", "4133324425152416334300346015406031031001263255423154326314446464061612642526520506554412464514", "6632641633314105012303645620226542060300061464625541214216352214426220461356010535313010252265", "4410000004003040000010400000000000034000000000000000003000300000000000004000000000000000000000", "5263503611235403132433136133450142041244563025505325222110543155646120112614310012466256445024", "6143311344053441345643350540546621334402442132304664341345033044625400152664520235022526622661", "0411163154643205532145215332331000445253065316435002665122616020335565020564633006625206560230", "0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "2525511514160331442113051515343206206342225625660662265125210216146324355025555361350163362412", "2246114143230164142062115506405034044133240366445045430504232230345211443063354524215663056052", "5450252004651215353634611303411062564262516164625100102565526613131223224215140615265412151120", "2453423523645132243311501312534032000431424625161053216625641666220261501631305306316051235643", "0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000", "4433345453035260540144611134363163530350446065364642254355666011314356362665130503062251113504", "5106121366064544134215331215053324235612124023225412660515455021120421411614614354363420142124", "4065232351545105444365402421223452632064142111424530352553505421653365624156310012300564256423", "5145445166023323623513011345236433065065505033150006062402511346146135633601463036001551262243", "5135351065363043152130622616253652000155025046251250262210131335603522643256164146342654442641", "3556355321235043125561425050324424546605543521131131251564250533105054254213064031010561301425", "0023632114364420006421166150560253103055064604343522336223202116012116150334216263446362250460", "5620211614102150300020400000000000054000060002001000005000300000000000004000000000000000000000", "5241462465141412342434364553412066302036005500066323404420642446044421436614220125034353335355", "5116616626454064312221622143204401013500122266421516422202430562266515425561324503445122551514", "1446132663446253432605624611311525040666622512434156236436326463625101201663466125162663431151"]); G:=MatrixGroup<94,F|x,y>; print "Group G is L5(2) < GL(94,GF(7))";