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

F:=GF(7);

x:=CambridgeMatrix(1,F,75,[
"010000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000",
"355303300200000006000000000600000006000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000",
"533530023000000000000660000000600000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001",
"000000000000000000000000000000000000000000000000000100000000000000000000000",
"435144322122505111123526233120303416115331534231062415542204540615431556463",
"501503206524615650261006464032232104541646320624103506226351032020462644621",
"000000000000000000000000000000000000000000000000000001000000000000000000000",
"135115213353512233261205014514621033053223140413661206665046661462533045350",
"214051622461050432451104053524522066506024211526561543142010033410616346206",
"000000000000000000000000000000000000000000000000000000010000000000000000000",
"035254330405125653224442235112256344204206353034002405120241451322253321353",
"634563010245144106531213432500636210120460064456066553132061564633400313552",
"000000000000000000000000000000000000000000000000000000000100000000000000000",
"041634005144534561352432133222041316013243056003600211214416122566120262655",
"243636541565004165026334513144333544610301304241621501463624260206636134121",
"425501312415131310006365536212245304541455540422014614534335625263641555105",
"000000000000000000000000000000000000000000000000000000000000100000000000000"]);

y:=CambridgeMatrix(1,F,75,[
"610000000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000",
"261000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000",
"056660066000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000",
"315606600600000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000000000000000000000000010",
"000000000000000000000000000000000000000001000000000000000000000000000000000",
"043201614564150602156165563244606233012336625111430545511012065512540415113",
"000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000",
"340504220643152126125651451601543545361632166426211231233361525300321261345",
"032466044060345111405646320204646412200210124535360236523552514646515203066",
"000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000",
"630520645112120566431622316363525034533105060154632345206560222621336451053",
"242234536426503360562254444663352621143000656641310603632054160015432324666",
"355444250106634031544435030233052450105405202525112601340463443516010553355"]);

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