/*
www-ATLAS of Group Representations.
G2(4).2 represented as 65 x 65 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,65,[
"01000000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000",
"00000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000010000000000000000000000000000000000",
"35300502055123165231214551316306621061102161250001015440164354401",
"56413615113024411546242142614415445265510342325033144505342041432",
"35165055105221034246142354545644052065102353654122305511142226342",
"00000000000000000000000000000000010000000000000000000000000000000",
"31522302520635530364534162004445062150112304312523100644643030613",
"00000000000000000000000000000000001000000000000000000000000000000",
"33325520120423635621464266506001420554344555560665634120063061010",
"15201641160043146624534666355043323416546533335050125443105346545",
"00000000000000000000000000000000000010000000000000000000000000000",
"26064360440443511012631124536144421241445350061053625022641452604",
"46102010414614163423641263315515360303061353010235104606615352431",
"00000000000000000000000000000000000000100000000000000000000000000",
"56444206122215656523531526231431021433040424602203632324321162551",
"00000000000000000000000000000000000000001000000000000000000000000",
"35036451631104252155006445344622656134041143142352134624604543045",
"00000000000000000000000000000000000000000100000000000000000000000",
"42605311052304200233352611464006542041251242052255555034516052613",
"46144456131166656111344623353131225231324032134005416151422211222",
"00000000000000000000000000000000000000000001000000000000000000000",
"24646462025103235325346415034264446360665116154212005511645206301"]);

y:=CambridgeMatrix(1,F,65,[
"26000000000000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000",
"16305000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000000000001000000000",
"00000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000000000000100",
"00000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000001",
"43011460513643451321106655622441543652211050303604464212460565342",
"44364123626402653162205062305102125116265016241152262433435266560",
"43003100203015364464621465443364260162414553645521630342065106064",
"26456202362313632102310266023543504004005561654225634025322425135",
"00000000000000010000000000000000000000000000000000000000000000000",
"10366562412616200456434600231334251263642451201661120112523660666",
"43560424223606564643331230445365040161410123645003600645502335154",
"65010201111444414633446546453044031100355031223211624501645525046",
"10221131415001102401642426361360032043553140424432330404153160651",
"23245022406105640231461541430521441141161132662335542662454236143",
"40562350366454410214120325351014043313366036046545635320562211031",
"44156406611630422454435150510366305545410344120352026116563052001",
"44046315261240456466645621016304246026446305346620034135341404465",
"05065021441463431434666532225313120225114630424026522520325630554",
"00000000000000000010000000000000000000000000000000000000000000000",
"63151506606254453315011244454320363134403355664260562116640500512",
"60264202253644435520602663414341442226051306300064144351040512422",
"54306166064056314321033530254140615504525616434216663215215224001",
"40106456042106652663224201624534115066011332406166124205162641446",
"32306640110462051314240304106636441365221236446031551346545246460"]);

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