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

F<w>:=GF(4);

x:=CambridgeMatrix(1,F,56,[
"01000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00000000010000000100000000000000000100000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000001000000000000010000000010000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000100000000000000000",
"31103200121202023033132330320210033013022331322013313200",
"00000000000000000000000000000000000000010000000000000000",
"30331132101302010002313320111332301313200031223231131010",
"00000000000000000000000000000000000000001000000000000000",
"13133211122322002110221203301202130013332032212301311000",
"31011022100020222130303121201301123301132312021202021121",
"10132033112112310000333012302033300032311020332311330123",
"00000000000000000000000000000000000000000001000000000000",
"00020302213101303111322002333233013233302133223031020320",
"13221211033020001221203101323222213130133301010103222113",
"31103313000021001030312133023310322120201103332103110010"]);

y:=CambridgeMatrix(1,F,56,[
"00100000000000000000000000000000000000000000000000000000",
"01100000000000000000000000000000000000000000000000000000",
"10100000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"01010000100000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"11000010010000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000000000000000000000001",
"00000000000000000000000000000000001000000000000000000000",
"32232310031130131033032323231020101303322220230313231312",
"32202200322103312332122223021312101130230332032331320023",
"31103323010121303101220311310023332332201301012323301022",
"12111012101203202113013001202112030111121132032311312300",
"21011011211331020333320303203133012230030123001212120001",
"12230130033102301112202221023200321020020333222101221332"]);

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