/*
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",
"00000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000000000000000001",
"00000000000000000000000000000000000000001000000000000000",
"13030203133112031220212113130033203222012322112322111320",
"20031300121231223331320002313312030033131231020313012310",
"12103030113302220003103100011200113230220100003101231110",
"00000000000000000000000000000000000000000001000000000000",
"33330030333232212311001100113330133303320031332100001131",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000100000000"]);

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",
"02103303322302232100330211010123322111330330320110131230",
"00000000000000000000000000000000010000000000000000000000",
"02313123013311121220133031033020020313311012232013321100",
"00000000000000000000000000000000001000000000000000000000",
"23113013130331113123230101103002230300001322232330232120",
"20200001003010202211202220030223022202310110201323301313",
"30033212303001112312323112100120312022012120322020330101",
"20322132112000230111111212022213111213203023101002301221",
"20000010022202011333203210233133310122303023122312010123",
"11213131013332322010031212031321210032030002032233222022"]);

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