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

F:=GF(5);

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",
"03030330020000000400000000040000000400000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"30303002300000000000044000000040000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000000000000010000000000000000",
"01331121204442200313434310130304002243032403011203242302",
"00000000000000000000000000000000000000001000000000000000",
"12204444402333044403334213120211243023442214303320341003",
"12203024103011301420233404111024044013440002441141311343",
"43140441404410433000330132211103433101002123020101440430",
"00000000000000000000000000000000000000000001000000000000",
"22404142310343314122040020331230034114032002433301320102",
"00000000000000000000000000000000000000000000010000000000",
"30203302230331010443324443323332121214023434340420334220"]);

y:=CambridgeMatrix(1,F,56,[
"41000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"24100000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"03444004400000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"11340440040000000000000000000000000000000000000000000000",
"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",
"00000000000000000000000000000000000000000000000000000001",
"00000000000000000000000000000000010000000000000000000000",
"22004430440343412320130230313024314320121133240422300430",
"00000000000000000000000000000000001000000000000000000000",
"12443044310322421120422441123323240034022222002001111003",
"33133412311210340331321343310110410044412300404130312441",
"00342411244024343131211143101210203222140030401314401234",
"31010043402101112413304340000424030342032444404403110201",
"20433344411141411331411433004312240132421013314432004001",
"24133033142433110232013403123040402034132203401321022310"]);

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