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

F:=GF(5);

x:=CambridgeMatrix(1,F,64,[
"0100000000000000000000000000000000000000000000000000000000000000",
"4000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0040000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"0000400000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000",
"0000004000000000000000000000000000000000000000000000000000000000",
"0000000400000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000",
"0000000000400000000000000000000000000000000000000000000000000000",
"0000000000040000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000",
"0000000000000040000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000",
"0000000000000004000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000040000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000400000000000000000000000000000000000000000000",
"0000000000000000000040000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000400000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000",
"4340001002000000030000000000000000040000000000000000000000000000",
"0000000000000000000000000400000000000000000000000000000000000000",
"0000000000000000000000000040000000000000000000000000000000000000",
"0000000000000000000000000000400000000000000000000000000000000000",
"0000000000000000000000000000040000000000000000000000000000000000",
"2404000310000000000003000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000004000000000000000000000000000",
"0000000000000000000000000000000000000400000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000040000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000004000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000400000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000400000000000000000000",
"1311010431421412001332210012142124132143203004101324203321211313",
"0000000000000000000000000000000000000000000004000000000000000000",
"2441031224223132202140312013424134432244344314430401213131213422",
"0000000000000000000000000000000000000000000000040000000000000000",
"4433420430121201313113003224110224112441003021003303400013012230",
"0000000000000000000000000000000000000000000000000400000000000000",
"0000000000000000000000000000000000000000000000000040000000000000",
"2433341132104133313331112100441240213241210421111420304122322322",
"0000000000000000000000000000000000000000000000000004000000000000",
"2411342134221043013230442321104134401440324220433141402112210042",
"0434220043232431411424133003200423421424410443032402122040224300"]);

y:=CambridgeMatrix(1,F,64,[
"0010000000000000000000000000000000000000000000000000000000000000",
"0440000000000000000000000000000000000000000000000000000000000000",
"1210000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"3002000010000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"2420003001000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000004000000000000000000000000000000000000",
"0000000000000000000004000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000000000000000010",
"0000000000000000000000000000000000000000000000000000000000000001",
"2032434213222041330324440333224410123234042134111134122043201044",
"1020434030432223213023022112101312022342031331344023023421344000",
"1422143043311113114114213223301000332104322433210203334412304213",
"0320302341233401201324322042321414123201322403304341240140432122",
"3110104341402143043013224244302242223240002301144330142240140143",
"4420102442100041234401134223404122344323014024323223033440214013",
"1210311032223440231310103013004101314432322043231312322000424320",
"0000000000000000000000000000000000000000010000000000000000000000",
"4110440331011444204433133400443232102344421431124032101441242430",
"0000000000000000000000000000000000000000001000000000000000000000",
"4244040124134143004223340043413431423412302001404231302234344242"]);

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