/*
www-ATLAS of Group Representations.
2.M22 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",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000001000000000000000000000000000",
"00010110221110022111220121001110122101002201121202011200",
"00000000000000000000000000000100000000000000000000000000",
"22201221221110220112110211010000211001020121220201011200",
"00100220000122020120102101111012000010120201011102020110",
"00000000000000000000000000000000100000000000000000000000",
"22102011010100022001112000221022100221020202101101021100",
"00000000000000000000000000000000010000000000000000000000",
"00022112100212120211201112220011201222110202211001022110",
"22201120000221212220121112020011101202220101122220012220",
"00000000000000000000000000000000000100000000000000000000",
"00120211210112211112110001012100210202010201220200212200",
"22121022011222022020221100221111220022200201221201002220",
"00000000000000000000000000000000000001000000000000000000",
"00221010112101122200100222200200212022200200201000002220",
"00000000000000000000000000000000000000100000000000000000",
"00110101001010010111010001212210200120220200200001000022"]);

y:=CambridgeMatrix(1,F,56,[
"00100000000000000000000000000000000000000000000000000000",
"02200000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"10201000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000010000100200000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000010000100000000200000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000000000000000001",
"00112220111001100200202220010222110111002021011210021221",
"00000000000001000000000000000000000000000000000000000000",
"10120212211221102200120102111101211212021011212021011221",
"20012100020212202020020201110110001201121222100201112211",
"01020112000210010101010210220001012001201012202102221112",
"10020100202202222022000102211110022022111101212011212011",
"00000000000000010000000000000000000000000000000000000000",
"12011102122111112000201101010201202210111212101002212000",
"00210201011220012120002000001111202112101011201000022002",
"01000012100000100000122200211221202120210022201101020222",
"10102211100212110212200111120000100210201211022200101020",
"02101211111220011010101100221212111202220111002000000112",
"21202000200202221111012202021200222001120212200100122021",
"11100112210021100102020111100200002110120212221220122122",
"00000000000000000010000000000000000000000000000000000000",
"21022100122201212121012122020210210220012211011102221211",
"21010222001012112122100020211102202012110202120021202100"]);

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