/* www-ATLAS of Group Representations. 3.G2(3):2 represented as 54 x 54 matrices over GF(2). */ F:=GF(2); x:=CambridgeMatrix(1,F,54,[ "010000000000000000000000000000000000000000000000000000", "100000000000000000000000000000000000000000000000000000", "000100000000000000000000000000000000000000000000000000", "001000000000000000000000000000000000000000000000000000", "000000100000000000000000000000000000000000000000000000", "000000001000000000000000000000000000000000000000000000", "000010000000000000000000000000000000000000000000000000", "000000000001000000000000000000000000000000000000000000", "000001000000000000000000000000000000000000000000000000", "000000000000001000000000000000000000000000000000000000", "000000000000000010000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000", "000000000000000000010000000000000000000000000000000000", "000000000000000000000100000000000000000000000000000000", "000000000100000000000000000000000000000000000000000000", "000000000000000000000000100000000000000000000000000000", "000000000010000000000000000000000000000000000000000000", "000000000000000000000000000100000000000000000000000000", "000000000000000000000000000001000000000000000000000000", "000000000000100000000000000000000000000000000000000000", "000000000000000000000000000000001000000000000000000000", "000000000000010000000000000000000000000000000000000000", "000000000000000000000000000000000001000000000000000000", "000000000000000000000000000000000000010000000000000000", "000000000000000100000000000000000000000000000000000000", "000000000000000000000000000000000000000010000000000000", "000000000000000000000000000000000000000000100000000000", "000000000000000001000000000000000000000000000000000000", "000000000000000000000000000000000000000000000100000000", "000000000000000000100000000000000000000000000000000000", "000000000000000000000000000000000000000000000000100000", "000000000000000000000000000000000000000000000000001000", "000000000000000000001000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000001", "011110100110001101111001000101101101110101101000001011", "000000000000000000000010000000000000000000000000000000", "001011100101100011110111000000111000111010000001010111", "000000000000000000000001000000000000000000000000000000", "100101101011010000110101100000111100000001010101000010", "010001110001101000100110100101110100010111010100111101", "000000000000000000000000010000000000000000000000000000", "100100100100000110000000010000010110011001110100100001", "000000000000000000000000001000000000000000000000000000", "000101101011010011001101011111100011101110001001100001", "111101001111110111000100010011100010011100101011100001", "000000000000000000000000000010000000000000000000000000", "111101100101101010100100111000110000101010111001010111", "010111001100110010111111000111010011010111110111100010", "000000000000000000000000000000100000000000000000000000", "100011001101010101011110101101101010100101000000100100", "000000000000000000000000000000010000000000000000000000", "110001101110111101000100010100011110000001101001110000", "101101011011010001111110001011100110111000001010001011", "000000000000000000000000000000000100000000000000000000"]); y:=CambridgeMatrix(1,F,54,[ "010001001010000011001101100010110110010010110000100000", "110111011011110011110100011111101110001011111010111110", "010001001111111101100111101001001111011000010010111111", "001000011000000101110100001100101001011000001001010111", "000111000001101111111111010000101010110010011000111101", "001111001110011101110001110011100100110100110110010100", "111011110100110001000101110101110011011100001010010100", "000001101101111111010111011110011101001001110000001101", "001111110100001111010111100011110110100101110010111000", "111011101010100100101100100110101101000010100010111100", "010011110010111110111011101110010100111100010110001010", "000010100110010000100111101110111101001010000101111000", "001010001000010011000111100011100110100111101111010100", "010010000001110110101110110000110101011100100011011110", "111000000001100101011100000100000001111111111100101001", "000011100001000011010010000110101111011010110111000001", "110100101110010110111001101010000111010111011001100100", "010110010001111001011000011100000011001000001101110011", "111111000000100111001010010000101000011101101000100000", "000011110001011011000010010010011011101001100100111100", "000101110101110100011110000110001101000001000001110011", "110001111000010010000101000111110011110100111001010011", "011000000011011001011010011100011111000000101001111101", "010111011010110001111010010000000101001111001001100011", "000010110010111111001001000011101111011001000001001101", "110011001101101001111001110100011101000011101110100111", "110000010111011100000111000001110011001010000011000001", "010100010010100111001011010101100000100100001000110011", "110000101011010011110001001000011100101001010111011111", "001110000010110000010001001011101110111000101001111011", "001111000101001010100011101101101110011100001010000100", "001000110001101110010011101100111010110101100000000000", "100110010110100101100110110001010000010011100101110010", "111100011110111000100000001110010001110110010101001100", "001001011111100100000111111000010011100011011110011111", "000001000011101101111110110100000111110110111001000101", "010000100101001011111000111100100011111110011101001011", "111100001000110000011010100010000110010110011110010000", "100100011000001000010100101111110000100001000101001001", "111000011100110110001100001001111111001011111001010100", "101100101110011010001101100001110001100010110010001001", "110101110101111101100011111011010001110101100010010111", "100011011000110101000110001101011100001110001111101100", "100110001001111100110100101001100111101001101100011010", "000110101101101110011111001100010101000011010101101000", "011010101111101101101011111111110000011001100001101000", "101110000011001100010100010100001010110000101010111110", "110100110111100001100000000111001110110011110111101010", "011000111011100010001011100100000111000000111100011100", "001110110010010100010100101001000111011111110100101001", "111101001101101101000110100111101110010110001110000101", "100010010100111011101000100010010111010001000001111011", "111011011100011011101111101101001111001100110111100111", "000101001101011100100111110100001100100010001000010101"]); G:=MatrixGroup<54,F|x,y>; print "Group G is 3.G2(3):2 < GL(54,GF(2))";