/*
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",
"010463031055530330606602521246425661425662630016222413513100315134202104411432144046060045211060",
"532554066342060150454262325054415345332246566563414405136110663106152254264205622416343502306336",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"116362235101532403056340662135223132353554224015111156451544044541436260144443131500260150545446",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000600000000000010000000000000000000000",
"620253261126435343430664456101500165331531603623316103641540216256131532304104466022605356253253",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"426222533112240036040231330300261050056142201435610005412400346314025413544413004514505221325411",
"424063236435556602546231445013501605223501113623534632165540224143116116412506656254211223043034",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"125104363034525124334453601451140040111322232411211126304015014363301415265202410511066352011416",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"064125655111040043655160234150646065313044043504636063342626101600426364564662652326360106305301",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"055343520310614550550316502254220301612204663546562232052110446040433561265546536224522652665645",
"531042226414406104335245122616456440056010626106631256261464302655631021230525632151525562542056",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"526260040222035622664043433640025051642602122152116016144241546340036024062515003534215666553334",
"526361350516001651562033506554056300650033421611244541315011041522501613355443156622544553334252",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"226156056361534553432312026041543141166242361540402444262050546124263355243031201115134513153135",
"011312060360542221600223566431635023256241454435032344344260453460565003602235464542140004023102",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"320406123553316263256221656326504213610453645254323402024041365326132164244200406422105125020301",
"350335622440330263663360316630121440125414564662120061210363354212466246463045415420010643165216"]);

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",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"244152265530363021106420323312536060345324610564003224605024155651650523644250665506161055605126",
"641364156046613552165243334426025631344134160414535105450346530355050630006153464261366562062452",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"024251451506404552653313014633436255206402624436465312531404351366416445426021020632312414205131",
"151016052462341141464101161512443106526466322561405246121124361405165044416256152632432246426111",
"616442416231156461101125530523551064155335364435552410650033503310451452132555352333163640363236",
"602054461522330024540232023013556561263621523356525565654656663523254151044441066626554223256110",
"213125013645156506134653044510553534643551351232613134345522413260352661156156306524604320621256",
"563603316535234122462166132424255014216102110261100666630115103646423446150046141524266543210602",
"562063452030154001646125356564040435424134303423362632522203101621453043466100211621526000016326",
"615005460401650523146114525406304466124531130301415436452251132112433653550266650445604103011110",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"552554452301645645651144334520166351524445333124561561606504625530516324153042256342310003451223",
"620426101534111123410506313042224210503333203443020150441041460305041403105522635502064346352555",
"142354033312254265441125456165414411131604321466640231512364252365450043246303431464402456114352",
"045463364524016224601564111166464304622333651400662526356462543355212044062406213264334025410665",
"543221650354125415313631553026204502416652451421220632236530204523065222615540456530203330623164",
"556325325636262323624340232521504635050236323563623123220503463612321333554334223321460666123630",
"555342624511052662300012044230362433502603343055016633104620254352103616413556363663524320434226",
"052410606114034132643513152013312104161606564310452610215343452202252405053451005255226052544154",
"050356554263214643134406360400601333035116630265265233143341615001201504014150240465401115463145",
"253303625205543233640200524115653042011355100654306155314021601052605611630335654462100110310001",
"010404542220114024545254600162661222646010546105256263260316440650625646313636200166124142045021",
"514325642643134113560045614301062203221201436051666605066666015512141001523354125262300105310354",
"421136151120340305005661533011543203060415460610154011610604352533351411502526253562415663051425",
"453246656615522262310023400142313565214542260612314040105454113132343464201612431334564023222662",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000"]);

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