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

F:=GF(7);

x:=CambridgeMatrix(1,F,64,[
"0100000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000001000000000000000000000000000000000",
"2626536360413155505400130622400100131015416443306432660550131520",
"0000000000000000000000000000000100000000000000000000000000000000",
"4132554435051661016556653142510134156536231442152631360005336300",
"0000000000000000000000000000000010000000000000000000000000000000",
"4443334461203660634014232056414153235331241441361512161656211560",
"4613041361025342414132463033041056420114526220332234622523662656",
"0000000000000000000000000000000000100000000000000000000000000000",
"6631144621100516140203025220114156443626231043604646063416340456",
"0000000000000000000000000000000000001000000000000000000000000000",
"1066612200012230324522430103513551202631521440431046521000060202",
"0000000000000000000000000000000000000100000000000000000000000000",
"4520661015656123361265154104135616230540002163220625652521116345",
"0000000000000000000000000000000000000001000000000000000000000000",
"0562145060661002543665103526215231522125253665321364410203223064",
"0000000000000000000000000000000000000000100000000000000000000000",
"1304262261324006601112315621461246604223442326503004252423054121",
"4112561332100633413311022055165052434030403560531236116462662500",
"0000000000000000000000000000000000000000001000000000000000000000",
"4112365426240152515260664530360064463553061103421535154420062464",
"6253610030646136133556055205166601320002636622660526155562405605"]);

y:=CambridgeMatrix(1,F,64,[
"0010000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0110000000000000000000000000000000000000000000000000000000000000",
"1666000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000100000000",
"0100600000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000001000",
"5216432661466540441042545555424414255041541146641513663515361100",
"0000000000000000000000000000000000000000000000000000000000000010",
"0000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001",
"1060000000000010000000000000000000000010000000000000000000000000",
"1000110000000000000001000100000000000000000000000000000000000000",
"1436402005144213636155154265032560066265234126303625336141226056",
"1604135135226513441121146443662442544455063460601005204500440551",
"4112561332100633413311022055165652434030403560531236115462661500",
"6566511250614014462326632331416421204660625013031626210341366061",
"3615114116642121042341012366636354316026235361152115630340546535",
"0000000000000000100000000000000000000000000000000000000000000000",
"0564234401332231316044355166141041036241234414500551425211034120",
"6606000000000050060000000000000000000060000000010000000000000000",
"4535646423160050416530133230055351250051321026061536143262062116",
"0000000000000000001000000000000000000000000000000000000000000000",
"5653225125466411502155534415104200203031143511616354433543461432",
"1665610045342536405311133326623303016356541252221044605001231444",
"4454106456436326205216313142531504551311235452613013505101345141",
"4310236125030622045546335565055262505216213220211531646616525143",
"5432011342106365015110462666024534503614531131205102443142156143",
"0443605463653335665422423524312314415244110555451345546265023552"]);

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