/*
www-ATLAS of Group Representations.
J1 represented as 76 x 76 matrices over GF(5).
*/

F:=GF(5);

x:=CambridgeMatrix(1,F,76,[
"0100000000000000000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000",
"3320320020000400000400000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000",
"3332202000400004000000000000000000000000000000000000000000000000000000000000",
"4111101000400004000000040000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000",
"3140340040000000000140000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000010000000000000000000000000",
"2102101130344230414023120120221131400410224220041042144414343003412420344000",
"0000000000000000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000000000100000000000000000000000",
"0414443104032121302100304144141411011144044243411231433214312001102000004000",
"0000000000000000000000000000000000000000000000000000000000000000000000000010",
"0000000000000000000000000000000000000000000000000000001000000000000000000000",
"3032403043340232140030320322140143040122043141101022114112030222312222212140",
"1402131123211421121224421100212221212333230410020333404140410142100140211140",
"0204334243212131140424230404032341142012241004222322411140112030441144213440",
"1320242230002420013403122021203211032432330212332212123112201340133021104000",
"2430342230130042210243411010304421101232243021033321442241120332134021012100",
"0000000000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000000000000000000010000000000",
"4111414313012003432414022122043444003400404214332320304040434440304013004341"]);

y:=CambridgeMatrix(1,F,76,[
"0010000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000",
"0114000000000000000000000000000000000000000000000000000000000000000000000000",
"4110000000000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000",
"0330404000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000",
"4100400000020300000010000000000000000400000000000004000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000",
"4221101020000000100000030000000000000000000000040000000000004000000000000000",
"3030330030010400000230000000000000000400000000000004000000000000000000004000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000001",
"1243342302243323023303443131200431204224424023133012134402211440242441421033",
"1012111122413132022330022304313001441030234141432100102231123144004131431334",
"2121432431204242142244321443302230100434022120122424313024001001234202144310",
"4023243400004223204033042241111332324121240141124344343310432332304110444210",
"4311013323002142420340433132230214134400120021204004440344033243100040040432",
"0334404402002011231324304444400204041402423101143244434432014100042132441044",
"0000000000000000000000000000000000000000000000000000000100000000000000000000"]);

G<x,y>:=MatrixGroup<76,F|x,y>;
print "Group G is J1 < GL(76,GF(5))";