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

F:=GF(5);

x:=CambridgeMatrix(1,F,56,[
"01000000000000000000000000000000000000000000000000000000",
"40000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00400000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00004000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000040000000000000000000000000000000000000000000000000",
"00000004000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000004000000000000000000000000000000000000000000000",
"00000000000400000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000000000400000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000040000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000400000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000004000000000000000000000000000000000000",
"00000000000000000000400000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000000000000000000004000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00240440000000000100000000040000000400000000000000000000",
"00000000000000000000000004000000000000000000000000000000",
"00000000000000000000000000400000000000000000000000000000",
"00000000000000000000000000004000000000000000000000000000",
"00000000000000000000000000000400000000000000000000000000",
"00121000400000000000011000000010000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000040000000000000000000",
"00000000000000000000000000000000000004000000000000000000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000400000000000000000",
"00000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000000000000040000000000000000",
"21031304421444444314303111041034034444301240211403240304",
"00000000000000000000000000000000000000004000000000000000",
"02410021323221311232024443042410420313302023043000022321",
"03323014243333033023124221214420322402001441001142212141",
"43104202042220202233040404011433324042313414301110423340",
"00000000000000000000000000000000000000000004000000000000",
"14022430140014341304144020011012432140330022314033444424",
"00000000000000000000000000000000000000000000040000000000",
"12403003343201310331104042422230202303024143241320044223"]);

y:=CambridgeMatrix(1,F,56,[
"34000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"11200000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"23444004100000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"44110110010000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000040000000000000000000000000000",
"00000000000000000000040000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000000000000000000000000001",
"00000000000000000000000000000000010000000000000000000000",
"14113244214042402433241204110321300000012033101113322302",
"00000000000000000000000000000000001000000000000000000000",
"32344410131044330413234222342233320114112220302303331402",
"30300320100043104442333314441232014000430041024001124302",
"21300402003334013112142121411031201043204014120330203021",
"10111023442420312410033001202041222300242242222041243114",
"21131144321331014332313400403441001423313013211311112103",
"42034220003031110340202440244330303401101103142131310122"]);

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