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

F:=GF(3);

x:=CambridgeMatrix(1,F,56,[
"01000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"01020010000000000010002000000000000000000000000000000000",
"10201000000010000000020000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010",
"00000021112101210022002112211120220120220120120201220112",
"00000000000000000000000000000100000000000000000000000000",
"21122010000020000010000020000000010000000100000000000000",
"00000000000000000000000000000010000000000000000000000000",
"10112212021200022021210211002210112020011000002202212110",
"00000000000000000000000000000001000000000000000000000000",
"02121111001200220020202212020012000011112101200000111112",
"00000000000000000000000000000000100000000000000000000000",
"20200212000111002221112000220021202011202110100011211022",
"12200011110012220111012200120101021201201010202210211102",
"00000000000000000000000000000000001000000000000000000000",
"10101112200002221010010122112010000120001000110210100102",
"12211110101010001202212202100021120210110111020102210020",
"00000000000000000000000000000000000010000000000000000000",
"22022021121010100201212201020120010111101200102222212022",
"00000000000000000000000000000000000000100000000000000000",
"22212201121020100000220202122020122200210211211001022010"]);

y:=CambridgeMatrix(1,F,56,[
"00100000000000000000000000000000000000000000000000000000",
"02200000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"10201000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000000000000000001",
"00100110110102120112012120210022211001202102212122210211",
"21002102022121211222112200200110122220121102202110021112",
"00000000000001000000000000000000000000000000000000000000",
"00112102222110011222100101020112000010010020021110022002",
"12111000001200120011021112110100000112111011001220210102",
"01001020211000021210211110220120222111021222112102100021",
"00000000000000010000000000000000000000000000000000000000",
"10021101100100022212002210001211100001221201001102122221",
"01012010011221110220002001000202112020122210201221222110",
"02010100210022201221020000112100102000111112112121221000",
"11200200122200212112020012200002202020022202100011011122",
"22120121122202100020102002221122202021220200000110011220",
"21212001201012022020201001021200010211222111120001012002",
"02102120000221002200221121211102122122100201012111200110",
"10121000020000000111100222121201201112102211122120210121",
"11110021110220111010012110000120200200101120101112102022",
"00000000000000000010000000000000000000000000000000000000"]);

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