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

F:=GF(5);

x:=CambridgeMatrix(1,F,70,[
"0100000000000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000",
"0110004000000000010000000000000000040000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000",
"1001000040000000000001000000004000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000010000000000000000000000",
"0344243102132002231214241244230331013400324302440323114330430124302230",
"0000000000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000",
"0432401333042141200023243213102441311130433331130320000134203231011304",
"0000000000000000000000000000000000000000000000000001000000000000000000",
"1024114321420131114312100211012302433110334411123140133044041221440041",
"2434140020234220032222113312032144144344341124104210340341324142122243",
"0000000000000000000000000000000000000000000000000000010000000000000000",
"2401213010224244210142300214433340121120402444000010141312214324240310",
"4302033143143240324414131420302304412444011401444313034101440212120343",
"0000000000000000000000000000000000000000000000000000000100000000000000",
"1104032012024124413342110141120400424334414302204011133344434012004110",
"1230114121300133113330024301443232214304022213231142441013434200333131"]);

y:=CambridgeMatrix(1,F,70,[
"1000000000000000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000000000",
"4440000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000",
"1001000040000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000",
"1000001004000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000000000000000000000010",
"0000000000000000000000000000000000000000000000000000000000000000000001",
"1013004321221411420403433103244011211233124012423323000434230103103244",
"3201233131313043443431142323414230420301430024113132103402220441023023",
"3144203443102341343300441243410213313410431220343040133031021242220231",
"0000000000000000000000000000000000000000010000000000000000000000000000",
"0011003222020001333313111133243304211342240011144343011224210344004102",
"0000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000",
"0404241024200200022000400042000004000000000004400000000000000000000400",
"4040422410022002000002200004400040000004000000000000004400000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000",
"0344243102132002231214241244230331013400324302440323114330430124302230"]);

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