/*
www-ATLAS of Group Representations.
4b.L3(4) represented as 88 x 88 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,88,[
"0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"2566000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3401000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"0056000000000000600100010000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"0025240000503000000020000400000000000000006000000060000000000000000000000000000000000000",
"5253002040000050030000000000020000064000060000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"0000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"6503233504151500305344503460342424012210641151300061006440320235120630433646621046532245",
"0341220465614420454253430333133554232666206462234154044566602223235125164412045412563232",
"0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"1003124434333062631016003511613164501541655652431466312156011500300003352512560302061554",
"0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"0513222550121101215131144520366550011203056251342543603123301634041560150160405402031555",
"0000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"2564003135202141041363612554343246645664340143630112466314244022332405445032410453520504",
"0000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"1610102315251002611644016153156313113213362326045334412255035050006121431360564621656440",
"2253206531543160511520002422156305025200405435142560016201650255210611323354210253431326",
"0000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"4443104524660255462060216053133031010115313353213511264046453102522354556426330550140524",
"3045312246230430045236054631230254133602414225234613150254414632104462056032645656146451",
"0000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"1004354034111563664116521631432045140230444525245641435402304250651005361426141402050021",
"0000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"5505102120120016540631600454511116344334645310262050324054431601522420260423034245641566",
"1303650360442266612256414331624525132236243124556340614623112663116203560610324345311336",
"0000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"5532554456006623365053046306066033302411046602130550600323344014464313316261300300255262"]);

y:=CambridgeMatrix(1,F,88,[
"0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0034360000401000000030000600000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000002000050000000600000600000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000003000040000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"2200425342450364431432221500504622154432266622563312510561663000346000210615252041534123",
"1152540146624360140362031553316564030000663100540423126063011111402531154310102445063412",
"5351661140446112004624546315015330040053455625354511126504620510534334210223600052325462",
"5251434555614102214155523344412510415313520360305321166210261543643415356102066665645465",
"5312446666601453504460552660102342260025354114356532003126505351015410564001542432553616",
"4200606401121531045300423424061512055262665322524005556643622455560424350050246322313511",
"5313510536136123606626154254463653023362326205214142020363203260605512302165001053156646",
"0313305263064205566430353022661355566464446343136620224501300131623363140202315501356261",
"0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"0010014641024151224560016403532614166226422252101364435152015165103500441452256131506641",
"1031011152041120101154051000305501661302665624502045220146433433234464535344540013145054",
"0444114566416666156322213561416615364501112333506563066036621216243054365454122353163124",
"4620103441235211003505343365405544401361602550145262501634016235100116206254464460363460",
"1105645632220555352103501462165512506140543263043425421413131000034661300612400226213665",
"3106412146630660004110202444603452402624054303503451634560413365553233051256236620153010",
"0142133055425153501460622665325060443366261643325022636344606236634611313124200510323343",
"0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"1004354034111563664116521631432045140230444525245641435402304250651005361426141402050021",
"1015015105603346344203025054616551621256026115415453644464334535155461052641543264310030",
"0333442106012320064655244432126105142066005314342103360665401554543632543442333602120445",
"5046605034265332553625310530015166241000302605613041256310020661602232311431004322211404",
"2042343340256114300131645623530114661642005121105543145363255066254456305251036604100404"]);

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