/*
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",
"01121000011202112102202222102001102221111000120002000211",
"00000000000000000000000000000100000000000000000000000000",
"21122010000020000010000020000000010000000100000000000000",
"00000000000000000000000000000010000000000000000000000000",
"12100211200211002101100011100210111121220112221201000110",
"00000000000000000000000000000001000000000000000000000000",
"21010200210120121010101210111001102200011211221010202212",
"00000000000000000000000000000000100000000000000000000000",
"01212012001120011202101012121002201002021102002121012111",
"20210110202110100110121021022001001112122221210000110122",
"00000000000000000000000000000000001000000000000000000000",
"10100201200201202021221222200020020211000121021210220201",
"21211200212000100220111221001110200202120200220202110002",
"00000000000000000000000000000000000010000000000000000000",
"20010011212100110022201221020202122111201010200000212021",
"00000000000000000000000000000000000000100000000000000000",
"10220201220000210001020011120101100020011221200012112012"]);

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",
"22110022002120121111001021201212200120202020010221100121",
"21012101110212011210201022020001021111211010002001010222",
"00000000000001000000000000000000000000000000000000000000",
"20000102200101200121120010021122120200000111102001200121",
"01210122100220221112120220012012021101001001200200202010",
"20001201010221001101002222201000110200110002220022022201",
"00000000000000010000000000000000000000000000000000000000",
"21120100021222201120100001120200202012120201001102011011",
"20110110000122202102012022111212110100010121101112112212",
"21202200222001111220011200212001222002110022011000012020",
"22012220211020010020102202020110221121120121111110120020",
"21202122002110001220021010022000220102201002102201220210",
"12201020012012001200022220120100220120220121001122100222",
"20112222011112012221201222010210121110222100222121010220",
"10001112012220012102110200011120201000020200021121102221",
"00011010021120011122020221202202022000211210120202012211",
"00000000000000000010000000000000000000000000000000000000"]);

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