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

F:=GF(3);

x:=CambridgeMatrix(1,F,56,[
"01000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000",
"11220000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00010000000000002002000200000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000000000000000000001",
"00000000000000000000000000000000010000000000000000000000",
"12110000010222200110120210022011210101002111210111101100",
"22121201100201200020220122201101021110120200220021001102",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"12221212122020100112202021201211002221112202211221100000",
"10120110200011202200221221101120211022121110022101101202",
"01111111102001120220211222120100011120011100220101121102",
"00012012012102112011121211212200222221210100100120001200",
"00000000000000000000000000000000000000000100000000000000",
"22112221120222200102021022121021221211221002222211001010",
"00000000000000000000000000000000000000000001000000000000"]);

y:=CambridgeMatrix(1,F,56,[
"00100000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"01000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"11221122221010020020011000110002000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00002201110000010010020000200200000200000000000000000000",
"00112210102202010010020000200000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010",
"12201122101212210001112220012112020111021112201021210102",
"12110020022222020001100222022020100210200122202122112122",
"21120010222002012011121100121001001211111202110022201021",
"00000000000000000000010000100000002000020000000000000000",
"02120111220222102000210202110110200111112102122000202120",
"22022220201020111121002011002020120111000102201101002100",
"00000000000000000100000000000000000000000000000000000000",
"00100101201110120211012212101100002022222122201002221101",
"00000000000000000000000000000000000000010000000000000000",
"20201222201201112010021002100201010012212110112200212212",
"02002021200000210202002220112110012010000002212202122111",
"00002221210110021101110120010002021010111212112022211121",
"01120212102100101210022022121101012221101111020001011102"]);

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