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

F:=GF(7);

x:=CambridgeMatrix(1,F,96,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000010000000000000000000000100000100000000001000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"425350663024206243660641145322324346505332551651233501564054660436616405134114256414122246233004",
"000000000000000000000000000000060000060000000600000000600000000000000006000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"600253516201125606233626402513211024043324064565253536512434053645412320432330660501235633316233",
"556354143553221432304451302113063136304321151553314440413411403411506143206336654020425543616456",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"310442011062130414550025232352243461241663616565412211105201301144613116400355253232325434100150",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"025553402440345411165114023650126413302506155606004436504406622000533315660620252530042524555436",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"111200416314261033202230144212451326110613201330312225056343452233324151504212024304436652430023",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"115605652332255224506626356054345461444300665030526532310610121102661602016025001025462620554005",
"434536236305122424405663366046620310115166152320342363211405225052356520514111204460540545622662",
"144100515464652565552235012215506041100315454466024363446612663405642316252015032123655621113531",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"001052165260124311623003245314532512226566546142615143663032261636502045535363163101512536140246",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"402362641415104306050646131162452516643256234306151563016040211441055220615231045616424241350510",
"253060326045641455623061023161313031316415141660656021264151131530052563630110113233304566151414",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"246116163561063063350503546035226261520644336105416163505611136144341115353214153304331402604112",
"636561132405436223541321444046204513426323042313246603300446225551250452365332615402211004551665",
"654340644161244424145265662134655222254052221614250116053411515244510256053156622126224632360335",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"045110654252655362622566654036511633146302056425345463563262406604541205252654555265416301116145"]);

y:=CambridgeMatrix(1,F,96,[
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"011000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"166600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"020050000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"106000000000001000000000000000000000004000000000000000000000000000000000000000000000000000000000",
"200022000000000000000200020000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"660600000000005006000000000000000000003000000004000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"532106222146361325051160463332263331356202400535311625231222223406600564361422541041256324263164",
"541223635631322305451451303433633663402302630051643504566340331202123626116612016252664403462162",
"154013152126222644233033004411343601121316415531216423306642022064605334330063325214002011011615",
"320106645016212265216031251353116135306264633605514122440454312153130265656300346421250054300511",
"331305136061663401020131646615125261034521533401626214061030566336022550162546032161353526420260",
"142564464644455130334522203363433505215302564215603613615450336322332415602411232166534030460003",
"561203253432202551664520053414362140334221514551446436224440513244440440631155641404632526665213",
"343312032124344564661565561023001305225504650012002306456132426520532410005624123131613334250024",
"144204302432000662004450203543123011226006125065354445446520306410154513602522243130611050032460",
"223530550112423242540200243353253466055246513434625526665145241212604523152056463403536250616560",
"630136414301332516536124505501656066551300002031551655003363060631054206156161264561011624630302",
"034622253453436202262614161222025555455250315644104455162465051126016560436642352361110626644205",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"451451363200643013434411340051406304330123511254324204043453605026620216255551005135163351440533",
"564430461102011310656260605325640361613320166246303026555550506122006340004105246066132532646243",
"411422114025504410140605463411556052626662152653036620323650054142653336003302461445324543616525",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"650036365405425061316325544514562252655343421233630665445156326654161411430142510504220545615160",
"012422034420446535261615533646412613636056323046060452031043051223220205026354104352344200341624",
"335121603000406055305451444255032521222222046244315245012501555323431153464540660300161450545535",
"644322622460155612232263331361416502230124552041064310235605664554052136300033605103262364444050",
"602063020614615213641420260322203014501046633451040053134534033622021460454040113640436521540663",
"166100356101664422605156514650424101103150505341053361251044013400640601013516653313665053431353",
"516562265462556001056554246146135302222064564024164303542255214664611541646461651616665243334455",
"101541026331353230322262514134006336003346544661021564000562330232203342620000614626232543644453",
"430135643062350322313220012506355125623203344002064355061503626500540153112554250405000046625623"]);

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