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

F:=GF(7);

x:=CambridgeMatrix(1,F,70,[
"0100000000000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000001",
"6641261551350353540453132221225645436530204541562161602054300401411513",
"0000000000000000000000000000000000100000000000000000000000000000000000",
"3443461143325662656306326614421253501351444663151132002521204322126135",
"5416201205520300501130643016315460340035142234265504062026203600436162",
"0000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000",
"2044630634626541352325554410144120120036230602236624131450160463205436",
"1455213660562634613200621224644311134000145402206646101101603543550122",
"0000000000000000000000000000000000000001000000000000000000000000000000",
"6414116602205420625113434613323435116501321045324500155062530250206141",
"0000000000000000000000000000000000000000010000000000000000000000000000",
"2545010445463326602403300023660152661220130064211516420551562131216251",
"0000000000000000000000000000000000000000001000000000000000000000000000",
"0135161423502663455633524516212242333240156526133224034155116234326561",
"0306655034645266331563040261545626213056234052420114412050112366146326",
"0000000000000000000000000000000000000000000010000000000000000000000000",
"5153651433462022556325061562363214052140314461514622061462616256020212",
"0662315634561055421504341250404501226225262320245316545564645510134365",
"0000000000000000000000000000000000000000000000100000000000000000000000",
"4212633316406611133132131002552422410030161461364551520225266305416261",
"0000000000000000000000000000000000000000000000001000000000000000000000"]);

y:=CambridgeMatrix(1,F,70,[
"0010000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000",
"1006100160000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000",
"1660660150000000000000000000000000000000000000000000000000000000000000",
"0600660060000000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000000000001000",
"0000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000010",
"5553104642266413263026515230312416505544161065636633042244225502251161",
"4400555506515510320060656030034602566612326502004032566055232123404125",
"4540413224005425505601452433534442255541313462225016044112536303221216",
"3052221633640136113401042523600355061416053641120536434315123060524505",
"6325464134540103146360062064604530100266636354614042351551521466454366",
"4041014524214663201655026543562455563362344046315552166224625034301056",
"0605323510126653651160020414241201532150262014402511455154320054360344",
"0563230441104064601211303002651046233663325550664033604252256605660334",
"0563321416251122550621043240556064513530006523244251263462123051640003",
"1500252503040606445020445220133015125060216005652521364344220663336343",
"4422605526222044306626661262161352020363564052535366022434562154016106",
"4053355133400204532566453252223632430236333211650242113064305441213054",
"0000000000000000001000000000000000000000000000000000000000000000000000",
"1550116533600153636644265253465011452206201664303050261354200061456204",
"3502423641616050022135126221320541323406654101265414223214211560515536",
"5620361121431353164652256545532246133346600511556631145465540266041253",
"0355143662331141121651515343615604263002225301501104401111502110512003",
"4145262506006502452363322065212524232066303645054434406506520502412605",
"1011435650364055653345444211014003102210340463346041026450304563121151",
"5231202263451521626512640051205224153655140241222146625453220164062542",
"3431534213445304533605013011510644621601316130442213342455262034331432",
"6005366413405326460166312062226311313603523001456352232020531504053036"]);

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