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

F<w>:=GF(4);

x:=CambridgeMatrix(1,F,64,[
"0100000000000000000000000000000000000000000000000000000000000300",
"1000000000000000000000000000000000000000000000000000000000000010",
"0000100000000000000000010000000000000000000000000000001000010010",
"0000010000000000000100000000000000000000000000000000001000020220",
"0010000000000000000100000000000000000000000000000000001000030100",
"0001000000000000000000010000000000000000000000000000000000030230",
"0000000010000000000100000000000000000000000000000000003000020320",
"0000000001000000000000000000000000000000000000000000000000030300",
"0000001000000000000000010000000000000000000000000000003000000310",
"0000000100000000000000000000000000000000000000000000003000010230",
"0000000000000100000000000000000000000000000000000000002000030020",
"0000000000000010000000000000000000000000000000000000000000010320",
"0000000000000000100000000000000000000000000000000000002000000110",
"0000000000100000000000000000000000000000000000000000000000020220",
"0000000000010000000000000000000000000000000000000000001000020220",
"0000000000000000000110000000000000000000000000000000003000000000",
"0000000000001000000000000000000000000000000000000000003000030220",
"0000000000000000000001000000000000000000000000000000003000030110",
"0000000000000000000000100000000000000000000000000000002000030300",
"0000000000000000000000010000000000000000000000000000000000020110",
"0000000000000001000000010000000000000000000000000000001000030310",
"0000000000000000010000000000000000000000000000000000002000000300",
"0000000000000000001000000000000000000000000000000000000000020330",
"0000000000000000000100000000000000000000000000000000002000030230",
"0000000000000000000000000000100000000000000000000000003000030130",
"0000000000000000000000000000010000000000000000000000002000020300",
"0000000000000000000000000000001000000000000000000000002000000010",
"0000000000000000000000000000000010000000000000000000000000000330",
"0000000000000000000000001000000000000000000000000000002000000200",
"0000000000000000000000000100000000000000000000000000001000000000",
"0000000000000000000000000010000000000000000000000000003000030200",
"0000000000000000000000000000000000000100000000000000001000000200",
"0000000000000000000000000001000000000000000000000000000000000210",
"0000000000000000000000000000000000000001000000000000003000020030",
"0000000000000000000000000000000000000000100000000000002000030100",
"0000000000000000000000000000000000000000001000000000001000000200",
"0000000000000000000000000000000000000000000010000000001000010200",
"0000000000000000000000000000000100000000000000000000002000020330",
"0000000000000000000000000000000000000000000000010000001000000320",
"0000000000000000000000000000000001000000000000000000003000020110",
"0000000000000000000000000000000000100000000000000000000000020300",
"0000000000000000000000000000000000000000000000000001003000010310",
"0000000000000000000000000000000000010000000000000000002000020330",
"0000000000000000000000000000000000000000000000000000010000010030",
"0000000000000000000000000000000000001000000000000000003000000000",
"0000000000000000000000000000000000000000000000000000002100030010",
"0000000000000000000000000000000000000000000000000000000010000110",
"0000000000000000000000000000000000000010000000000000002000020210",
"0000000000000000000000000000000000000000000000000000001001020010",
"0000000000000000000000000000000000000000000000000000001000130330",
"0000000000000000000000000000000000000000000000000000000000011300",
"0000000000000000000000000000000000000000010000000000000000030220",
"0000000000000000000000000000000000000000000000000000000000030021",
"0000000000000000000000000000000000000000000100000000001000020130",
"0000000000000000000000000000000000000000000000000000002000020300",
"0000000000000000000000000000000000000000000001000000000000020020",
"0000000000000000000000000000000000000000000000100000000000000320",
"0000000000000000000000000000000000000000000000001000000000010110",
"0000000000000000000000000000000000000000000000000100001000030330",
"0000000000000000000000000000000000000000000000000000001000020330",
"0000000000000000000000000000000000000000000000000010001000020320",
"0000000000000000000000000000000000000000000000000000000000000020",
"0000000000000000000000000000000000000000000000000000000000000300",
"0000000000000000000000000000000000000000000000000000103000010320"]);

y:=CambridgeMatrix(1,F,64,[
"1110100000000000000010000000000000000000003030000000000101303000",
"1001000000000000000010000000000000000000003030000000000120100000",
"0100000000000000100000000000000000000000002020000000000230001000",
"1100100000000000000010000000000000000000001000000000000320201000",
"0000101000000000000000000000000000000000003010000000010010001000",
"0000000100000000000000000000000000000000000010000000000312000000",
"0000100000000000000000000000000000000000001000000000030321301000",
"0000000000100000100000000000000000000000000010000000000213000000",
"0000000000010000000000000000000000000000000010000000030333100000",
"0000000000001000000000000000000000000000003000000000030232301000",
"0000010000000000000010000000000000000000000020000000030023002000",
"0000000000000001000000000000000000000000002020000000000021001000",
"0000000000000000010000000000000000000000000030000000020313103000",
"0000000000000000001000000000000000000000002020000000000213000000",
"0000000000000000000110000000000000000000000000000000010020002000",
"0000000010000000000000000000000000000000000030000000020111000000",
"0000000000000000000010000000000000000000003030000000030133303000",
"0000000001000000000000000000000000000000001020000000030102202000",
"0000000000000000000000010000000000000000000010000000020311301000",
"0000000000000000000000001000000000000000000010000000000202001000",
"0000000000000000000000000100000000000000003020000000010130002000",
"0000000000000000000000000010000000000000000010000000020013203000",
"0000000000000000000000000001000000000000001020000000000213103000",
"0000000000000100000000000000000000000000001000000000020232002000",
"0000000000000010100000000000000000000000000020000000030003201000",
"0000000000000000100000000000000000000000000010000000020310200000",
"0000000000000000000000000000000100000000003030000000020133201000",
"0000000000000000000000000000000001000000003000000000000130200000",
"0000000000000000000000000000000000100000003010000000020200103000",
"0000000000000000000000000000000000010000000000000000010201102000",
"0000000000000000000000000000000000001000000010000000030303001000",
"0000000000000000000001000000000000000000003030000000000131001000",
"0000000000000000000000000000000000000010003010000000000022100000",
"0000000000000000000000100000000000000000002010000000030023201000",
"0000000000000000000000000000000000000000010000000000020331202000",
"0000000000000000000000000000000000000000003110000000010123100000",
"0000000000000000000000000000000000000000001031000000010330300000",
"0000000000000000000000000000000000000000002010100000020121002000",
"0000000000000000000000000000000000000000003020001000010311200000",
"0000000000000000000000000000000000000000001030000100030211001000",
"0000000000000000000000000000000000000000001000000010000232001000",
"0000000000000000000000000000100000000000002000000000030230101000",
"0000000000000000000000000000000000000000001030000000120131302000",
"0000000000000000000000000000010000000000003000000000000033001000",
"0000000000000000000000000000000000000000002020000000031023201000",
"0000000000000000000000000000001000000000000000000000020301301000",
"0000000000000000000000000000000000000000002010010000000031000000",
"0000000000000000000000000000000000000100001010000000020032200000",
"0000000000000000000000000000000010000000000010000000010302200000",
"0000000000000000000000000000000000000000001000000000010200210000",
"0000000000000000000000000000000000000000001010000000000000202100",
"0000000000000000000000000000000000000000000020000000000313300010",
"0000000000000000000000000000000000000000000010000000000132000000",
"0000000000000000000000000000000000000000003020000000010102100000",
"0000000000000000000000000000000000000000000030000000020022302000",
"0000000000000000000000000000000000000000000000000000000221202000",
"0000000000000000000000000000000000000000003030000000000321302000",
"0000000000000000000000000000000000000000003000000000000023103000",
"0000000000000000000000000000000000000000002030000000010231002000",
"0000000000000000000000000000000000000001001000000000010121101000",
"0000000000000000000000000000000000000000003000000000010130301000",
"0000000000000000000000000000000000000000101000000000000331203000",
"0000000000000000000000000000000000000000003020000000000313300001",
"0000000000000000000000000000000000000000000000000001020300203000"]);

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