/*
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",
"02220000000000000000000000000000000000000000000000000000",
"21010000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000000000000000001",
"00000000000000000000000000010000000000000000000000000000",
"22121102022121101122202100120111202120201112222211210201",
"00000000000000000000000000000100000000000000000000000000",
"00221200000010000000100001000000000000000000200000002000",
"10100010200000000100000000000010000021000002000000000000",
"00000000000000000000000000000001000000000000000000000000",
"02200022111102210220021000110120020022022021101000002001",
"00000000000000000000000000000000100000000000000000000000",
"01011111101002200111012022012122212000212020210212022000",
"00000000000000000000000000000000001000000000000000000000",
"00010200210002002100100220001202110011210020011120222001",
"22222211020112010010210022100010101201210001200101022201",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"01110120022101221101001100111101222022011222100221220221",
"00000000000000000000000000000000000000010000000000000000"]);

y:=CambridgeMatrix(1,F,56,[
"00100000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"01000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000100000000000000000000000000000000000000000000",
"00011100002000000000200001000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000010",
"00000000000000000000010000000000000000000000000000000000",
"22112110000211021011021102100100001120101110110212001102",
"12001122011122210010112021222221200122120222112111021221",
"20211200220021111110011101121202221202112201202212210022",
"00000000000001000000000000000000000000000000000000000000",
"12012221000200112122011212010222201121101112110001221220",
"11112012101002200220020010201221002002101011001121112021",
"00000000000000100000000000000000000000000000000000000000",
"10120121211212002202000212020102212221220020022121110120",
"12112112111200200100222102001002220222102121011012022011",
"12010022011221012021102102022100012122200010202120122011",
"02002222011222210221110211102111102222112220112021111221",
"00000000000000000000000000200000000200000020000000000000",
"21122001201002200110211122121122212000220200200210111011",
"20210101120022000122222120200101212201100022002011200200",
"00000000000000000100000000000000000000000000000000000000",
"10112001121002202100120221201112202220021202011112221122"]);

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