/*
www-ATLAS of Group Representations.
12a.L3(4):2a represented as 96 x 96 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,96,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"010600100000000000100030000000000000000000000000000000000000000000000000000000000000000000000000",
"205020000000200000000500000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"611660100000600000100000600000000100000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"603263253206332002120113536012256404152262625024200362621266116660611322315034532234241134114150",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"305562150240444026501256520422315323664443364005052250351226261213431225304540330631162011436205",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000600000000000010000000000000000000000",
"124210360115346366220225266200043633454230124343262613162206206430551645634201535011441332553106",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"054004405153023632413521435031310366544343414544032233344621011103633320315361216211040653662365",
"114031423435430255605013632215234310120604251605614334346460512265002445242211616022560160200552",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"162204311264466365215366110052116626461431333445463506346030651310103644146152442142430360065331",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"350101011456150566101466050455311552642522464266050224104553210411026041261650565310224044652160",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"011621242062524664145364024154462126536605350013130542232214522126100514445600414166344554424100",
"116000501500143035342654333623066056526251643200230151313262054155240431355042423305030554650242",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"316263105223106603243236320501043403645154340064053132212420461502065233011111036324463325530311",
"023331440116346631604026044531263615416053026613665230353334252013224564445360653225035215224105",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"532523020333235362116132253540642662162340622611563655502116163420065203221666206052524012124165",
"205122634106153532123144464303235255563220402650523225010260330266361515333061355554241121163566",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"146621545143620356001534323111101010436352313534322430243432311412312401622463335251666532221021",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000"]);

y:=CambridgeMatrix(1,F,96,[
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"066000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"106010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"050132335200665616140532213256610455002434326605145554250440631146405135623440610460045322333250",
"554401104154356266043515156620543503641300261252463544066504442506443656166346351333242561435632",
"606141526043363211143062363530360325001222214610440562021166645026551402443266532516156642160013",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"344434213351531500644324511522430540205041110462062006631200060350241006121525166343326511224615",
"235532321646522635204641062261105063404335266524055150516043633401445253222060322133452644341532",
"064052336441011526243115655016014135660150245124554525222643536155220400260502046253250416605051",
"161020622636412246416230155313426242660363530103106124406664206550332241230600406550356132463605",
"250214422532415103120122604433123441463005300205564235552236543421633015132415253551443455303235",
"425141135405545123625143242024512431234301441056506523615441003661203204215500430261231410023024",
"315234534530312304323463403203040346541046460336044160103616242043141530113444043053060041641355",
"254521423264021243514663102544164546101301606131664000330302466635421262354626116611263231531220",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"100615461666256632043311352462061665314055325134250042664336161005462134124300512202560216424025",
"243620556651220425411536654452052431203001451365255154146160051325503611005300263302320366626001",
"621366253354434243334653164365246626433134365530506611562566164401611440353504151552603342643441",
"235413043230354300465061104406542224544061153626224532530565020014445653556222061111044105622555",
"146045655153221115315136411556411311314442323551106226132054504422040421125513600601064463450013",
"066515000266263304343330523532564515542234142624161441646550630521262353242136511313100353226460",
"011302210410063362103541556666335105512031223025260232602233343554240464205455421064366045631436",
"411146644241511346261445552505116123332351653512011662226461056644016020151256316415162261563542",
"346460252021161050213306206542104355320326221455315354542230614444540354026512410324545660645054",
"100665322365230410523451622042210126624014154360006153453623115664104614110656321533036002025500",
"141431052065662155232344546544414643402306150516320535140202311104226604603035533650312025340455",
"063454130130101244120524104663511065061061561356026001345431101414002106534561455430331236004006",
"321531003550201424553361646663241555623433505424203266652524363020246052022416430350255450665544",
"006151505364451321162245466300056152511465236646645242463123153614655410101041623124313652056265",
"155362502441532023443501116126015311154521204144112165643531433353204013451666415324002516152146"]);

G<x,y>:=MatrixGroup<96,F|x,y>;
print "Group G is 12a.L3(4):2a < GL(96,GF(7))";