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

F:=GF(7);

x:=CambridgeMatrix(1,F,70,[
"0100000000000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000",
"4463054000300000001000600000000000000000000000000000000000000000000000",
"4436400500001003000006000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000",
"4334403000006000001000006000000001000000010000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000100000000000000000000000000000000000",
"0052104343513665515041626416604361050230646641234515405113243425016432",
"4131306101533401321651501116033335225160552641601533120331044366362202",
"0000000000000000000000000000000000001000000000000000000000000000000000",
"0660554244052246446423004513115255012665655411443605542131110130512042",
"0000000000000000000000000000000000000010000000000000000000000000000000",
"3655000125416034311630551106403162213435102501223336456134302424255615",
"0000000000000000000000000000000000000001000000000000000000000000000000",
"6433436223252304453504155252531610121010625263020050233614103666634026",
"1625310200333663615251323044222450021040202233541502450020031064421166",
"3352440352202412535650112435344104205155332064151630046314465043023553",
"0000000000000000000000000000000000000000000100000000000000000000000000",
"5115242051623263252364052544441050535041022640430503062435561323321345",
"4266362310534324424155316110064466556163263552155452001204121120612122",
"0000000000000000000000000000000000000000000001000000000000000000000000",
"0244153250144163300556316254033043065544465634103465564605334053626622",
"0000000000000000000000000000000000000000000000010000000000000000000000",
"6144253601510020640656550546400632253330006345606314240135325212453612",
"0000000000000000000000000000000000000000000000001000000000000000000000",
"0020250463426524350550454051506262415511315100404026153254221034646224",
"6263023224111515525204150310135110112065656540342355032611062566500556"]);

y:=CambridgeMatrix(1,F,70,[
"0010000000000000000000000000000000000000000000000000000000000000000000",
"4660000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000",
"1060100000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000000000010000000",
"0000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000000000000000000000010",
"0000000000000000000000000000000000000000000000000000000000000000000001",
"3433312304052516255546604320644314663142655546663303113603125610216462",
"3362512134160000252400460355211434624150322655225110442130146604314312",
"3256426323563631222106042625053351620202124213513633436641632040406146",
"0006531451650612025456640150123624024341266143113236164242404033365362",
"1643214201324645165511521402441465601633635042451511622524033325323033",
"0000000000000000001000000000000000000000000000000000000000000000000000",
"3655000125416034311630551106403162213435102501223336456134302424255615",
"1365562205363025310103014641666621466123003560066254431336030623230156",
"5035324522331605421341435414111401503065645225443224112316523442512426",
"4216230655066014134302643464135265352035411461513543466452442006615342",
"5313233313103546303105464303220655203366530200264242053005046424516616",
"0000000000000000000010000000000000000000000000000000000000000000000000",
"3302054265626643606124163611221312521436510305031354442404344115653420",
"4562326626360625300121464530032463006261405053315156352455314666031060",
"1651161001456004316116215251625332455034204010500606256126651633654524",
"6333320531461461046662301034103016014466646133560466405523211632250411",
"0000000000000000000000010000000000000000000000000000000000000000000000",
"0452134220535225505551516563145315265011232140261655060623450200435412",
"3454445063160263145524215053151163152330322161005160062342133110135445",
"4422212221250154644352264530163246002031105566341153163153365656613641"]);

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