/* www-ATLAS of Group Representations. 2^5.L5(2) represented as 69 x 69 matrices over GF(2). */ F:=GF(2); x:=CambridgeMatrix(1,F,69,[ "100000000000000000000000000000000000000000000000000000000000000000000", "010000000000000000000000000000000000000000000000000000000000000000000", "001000000000000000000000000000000000000000000000000000000000000000000", "000100000000000000000000000000000000000000000000000000000000000000000", "000110000000000000000000000000000000000000000000000000000000000000000", "000001000000000000000000000000000000000000000000000000000000000000000", "000000100000000000000000000000000000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000000000", "000000001000000000000000000000000000000000000000000000000000000000000", "000000000010000000000000000000000000000000000000000000000000000000000", "000000000100000000000000000000000000000000000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000000000", "000000000000100000000000000000000000000000000000000000000000000000000", "000000000000010000000000000000000000000000000000000000000000000000000", "000000000000000010000000000000000000000000000000000000000000000000000", "000000000001000000000000000000000000000000000000000000000000000000000", "000000000000001000000000000000000000000000000000000000000000000000000", "000100000000000001000000000000000000000000000000000000000000000000000", "000000000000000000000000010000000000000000000000000000000000000000000", "000000000000000000010000000000000000000000000000000000000000000000000", "000000000000000000000000001000000000000000000000000000000000000000000", "000000000000000000000000000100000000000000000000000000000000000000000", "000000000000000000000010000000000000000000000000000000000000000000000", "100001000110000000000001000000000000000000000000000000000000000000000", "000000000000000000000000000010000000000000000000000000000000000000000", "000000000000000000100000000000000000000000000000000000000000000000000", "000000000000000000001000000000000000000000000000000000000000000000000", "000000000000000000000100000000000000000000000000000000000000000000000", "000000000000000000000000100000000000000000000000000000000000000000000", "000000000000000000000000000000000000000010000000000000000000000000000", "000100000000000000000000000000100000000000000000000000000000000000000", "000000000000000000000000000000000000000001000000000000000000000000000", "100001100000000000001100101111011100000011000000000000000000000000000", "000000000000000000000000000000000100000000000000000000000000000000000", "100000100001101110001000101011000010000010000000000000000000000000000", "000000001001000100101010011000000101001000000000000000000000000000000", "000000100000001010100100110110000100100000000000000000000000000000000", "000000000000000000000000000000000000000000100000000000000000000000000", "000000000000000000000000000000000000001000000000000000000000000000000", "010101000000000000000010000000000000010100100000000000000000000000000", "000000000000000000000000000001000000000000000000000000000000000000000", "000000000000000000000000000000010000000000000000000000000000000000000", "000000000000000000000000000000000000010000000000000000000000000000000", "000000000000000000000000000000000000000000010000000000000000000000000", "000001100000000000000010100010000000010000101000000000000000000000000", "000000000000000000000000000000000000000000000100000000000000000000000", "000000000000000000000000000000000000000000000010000000000000000000000", "000000000000000000000000000000000000000000000000001000000000000000000", "110001101110000000001000001000000100010000100000100000000000000000000", "000000000000000000000000000000000000000000000000000100000000000000000", "000000000000000000000000000000000000000000000001000000000000000000000", "000000000000000000000000000000000000000000000000010000000000000000000", "000000000000000000000000000000000000000000000000000000010000000000000", "010111010000001011001100101110010100000001000000000001000000000000000", "000000000000000000000000000000000000000000000000000000001000000000000", "000000000000000000000000000000000000000000000000000010000000000000000", "000000000000000000000000000000000000000000000000000000100000000000000", "000000000000000000000000000000000000000000000000000000000000100000000", "001111100000010000100000110010110000010001100000000000000010000000000", "111111000000000001000100100110010100000001000000000000000001000000000", "000000000000000000000000000000000000000000000000000000000100000000000", "000000000000000000000000000000000000000000000000000000000000000001000", "100100010101000110010101011100011100111010110000000000000000001000000", "101000100111011110100110010101010000011011100001001010010000000100000", "110001111111001111111100011100100100011000100110010110010100110011000", "000000000000000000000000000000000000000000000000000000000000010000000", "011010100000011011000000000000000100011000110011001000000000000000100", "010100001001100100110000010000010100010001100001001010010000000000010", "010001101110011010010100000100010000001001010110000010010100110001001"]); y:=CambridgeMatrix(1,F,69,[ "010000000000000000000000000000000000000000000000000000000000000000000", "001000000000000000000000000000000000000000000000000000000000000000000", "000100000000000000000000000000000000000000000000000000000000000000000", "000010000000000000000000000000000000000000000000000000000000000000000", "100000000000000000000000000000000000000000000000000000000000000000000", "000000100000000000000000000000000000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000000000", "000000001000000000000000000000000000000000000000000000000000000000000", "000000000100000000000000000000000000000000000000000000000000000000000", "000001000000000000000000000000000000000000000000000000000000000000000", "000000000001000000000000000000000000000000000000000000000000000000000", "000000000000100000000000000000000000000000000000000000000000000000000", "000000000000010000000000000000000000000000000000000000000000000000000", "000000000000001000000000000000000000000000000000000000000000000000000", "000000000010000000000000000000000000000000000000000000000000000000000", "000000000000000001000000000000000000000000000000000000000000000000000", "000000000000000000100000000000000000000000000000000000000000000000000", "000000000000000000010000000000000000000000000000000000000000000000000", "000000000000000000001000000000000000000000000000000000000000000000000", "000000000000000000000100000000000000000000000000000000000000000000000", "000000000000000000000010000000000000000000000000000000000000000000000", "000000000000000000000001000000000000000000000000000000000000000000000", "000000000000000000000000100000000000000000000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000000000", "000000000000000010000000000000000000000000000000000000000000000000000", "000000000000000000000000000001000000000000000000000000000000000000000", "000000000000000000000000000000100000000000000000000000000000000000000", "000000000000000000000000000000010000000000000000000000000000000000000", "000000000000000000000000000000001000000000000000000000000000000000000", "000000000000000000000000000000000100000000000000000000000000000000000", "000000000000000000000000000000000010000000000000000000000000000000000", "000000000000000000000000001000000000000000000000000000000000000000000", "000000000000000000000000000000000001000000000000000000000000000000000", "000000000000000000000000000000000000100000000000000000000000000000000", "000000000000000000000000000100000000000000000000000000000000000000000", "000000000000000000000000000000000000010000000000000000000000000000000", "000000000000000000000000000000000000001000000000000000000000000000000", "000000000000000000000000000000000000000100000000000000000000000000000", "000000000000000000000000010000000000000000000000000000000000000000000", "000000000000000000000000000010000000000000000000000000000000000000000", "000000000000000000000000000000000000000000010000000000000000000000000", "110101010000001010000100100110010100000011000000000000000000000000000", "000000000000000000000000000000000000000000001000000000000000000000000", "111001000110000111111000101111111101100010111000000000000000000000000", "100000100001101110001000101011000010000010000000000000000000000000000", "000000000000000000000000000000000000000000000010000000000000000000000", "000000000000000000000000000000000000000000000001000000000000000000000", "000000000000000000000000000000000000000000000000100000000000000000000", "000000000000000000000000000000000000000000000000010000000000000000000", "000000000000000000000000000000000000000000000100000000000000000000000", "000000000000000000000000000000000000000000000000000010000000000000000", "000000000000000000000000000000000000000000000000000001000000000000000", "000000000000000000000000000000000000000000000000000000100000000000000", "100000101000111010010100000100000000000000000011001000000000000000000", "000100100111100101000010000000100000000000000100010100000000000000000", "000000000000000000000000000000000000000000000000000000000100000000000", "000000000000000000000000000000000000000000000000000000000010000000000", "001110110101000111100101101111001000101001010100000000101000000000000", "000000000000000000000000000000000000000000000000000000000001000000000", "000000111110010010001001011100000100010001100000101000010000000000000", "000000000000000000000000000000000000000000000000000000000000010000000", "000000000000000000000000000000000000000000000000000000000000001000000", "000000000000000000000000000000000000000000000000000000000000000100000", "000000000000000000000000000000000000000000000000000000000000000010000", "000000000000000000000000000000000000000000000000000000000000100000000", "000000000000000000000000000000000000000000000000000000000000000000100", "000000000000000000000000000000000000000000000000000000000000000000010", "000000000000000000000000000000000000000000000000000000000000000000001", "111110000011111000000000010011001101111100000000000000000000000001111"]); G:=MatrixGroup<69,F|x,y>; print "Group G is 2^5.L5(2) < GL(69,GF(2))";