/* www-ATLAS of Group Representations. L7(2).2 represented as 70 x 70 matrices over GF(2). */ F:=GF(2); x:=CambridgeMatrix(1,F,70,[ "0000000000000000000000000000000000010000000000000000000000000000000000", "0000000000000000000000000000000000001000000000000000000000000000000000", "0000000000000000000000000000000000000100000000000000000000000000000000", "0000000000000000000000000000000000000010000000000000000000000000000000", "0000000000000000000000000000000000000001000000000000000000000000000000", "0000000000000000000000000000000000000000100000000000000000000000000000", "0000000000000000000000000000000000000000010000000000000000000000000000", "0000000000000000000000000000000000000000001000000000000000000000000000", "0000000000000000000000000000000000000000000100000000000000000000000000", "0000000000000000000000000000000000000000000010000000000000000000000000", "0000000000000000000000000000000000000000000001000000000000000000000000", "0000000000000000000000000000000000000000000000100000000000000000000000", "0000000000000000000000000000000000000000000000010000000000000000000000", "0000000000000000000000000000000000000000000000001000000000000000000000", "0000000000000000000000000000000000000000000000000100000000000000000000", "0000000000000000000000000000000000000000000000000010000000000000000000", "0000000000000000000000000000000000000000000000000001000000000000000000", "0000000000000000000000000000000000000000000000000000100000000000000000", "0000000000000000000000000000000000000000000000000000010000000000000000", "0000000000000000000000000000000000000000000000000000001000000000000000", "0000000000000000000000000000000000000000000000000000000100000000000000", "0000000000000000000000000000000000000000000000000000000010000000000000", "0000000000000000000000000000000000000000000000000000000001000000000000", "0000000000000000000000000000000000000000000000000000000000100000000000", "0000000000000000000000000000000000000000000000000000000000010000000000", "0000000000000000000000000000000000000000000000000000000000001000000000", "0000000000000000000000000000000000000000000000000000000000000100000000", "0000000000000000000000000000000000000000000000000000000000000010000000", "0000000000000000000000000000000000000000000000000000000000000001000000", "0000000000000000000000000000000000000000000000000000000000000000100000", "0000000000000000000000000000000000000000000000000000000000000000010000", "0000000000000000000000000000000000000000000000000000000000000000001000", "0000000000000000000000000000000000000000000000000000000000000000000100", "0000000000000000000000000000000000000000000000000000000000000000000010", "0000000000000000000000000000000000000000000000000000000000000000000001", "1000000000000000000000000000000000000000000000000000000000000000000000", "0100000000000000000000000000000000000000000000000000000000000000000000", "0010000000000000000000000000000000000000000000000000000000000000000000", "0001000000000000000000000000000000000000000000000000000000000000000000", "0000100000000000000000000000000000000000000000000000000000000000000000", "0000010000000000000000000000000000000000000000000000000000000000000000", "0000001000000000000000000000000000000000000000000000000000000000000000", "0000000100000000000000000000000000000000000000000000000000000000000000", "0000000010000000000000000000000000000000000000000000000000000000000000", "0000000001000000000000000000000000000000000000000000000000000000000000", "0000000000100000000000000000000000000000000000000000000000000000000000", "0000000000010000000000000000000000000000000000000000000000000000000000", "0000000000001000000000000000000000000000000000000000000000000000000000", "0000000000000100000000000000000000000000000000000000000000000000000000", "0000000000000010000000000000000000000000000000000000000000000000000000", "0000000000000001000000000000000000000000000000000000000000000000000000", "0000000000000000100000000000000000000000000000000000000000000000000000", "0000000000000000010000000000000000000000000000000000000000000000000000", "0000000000000000001000000000000000000000000000000000000000000000000000", "0000000000000000000100000000000000000000000000000000000000000000000000", "0000000000000000000010000000000000000000000000000000000000000000000000", "0000000000000000000001000000000000000000000000000000000000000000000000", "0000000000000000000000100000000000000000000000000000000000000000000000", "0000000000000000000000010000000000000000000000000000000000000000000000", "0000000000000000000000001000000000000000000000000000000000000000000000", "0000000000000000000000000100000000000000000000000000000000000000000000", "0000000000000000000000000010000000000000000000000000000000000000000000", "0000000000000000000000000001000000000000000000000000000000000000000000", "0000000000000000000000000000100000000000000000000000000000000000000000", "0000000000000000000000000000010000000000000000000000000000000000000000", "0000000000000000000000000000001000000000000000000000000000000000000000", "0000000000000000000000000000000100000000000000000000000000000000000000", "0000000000000000000000000000000010000000000000000000000000000000000000", "0000000000000000000000000000000001000000000000000000000000000000000000", "0000000000000000000000000000000000100000000000000000000000000000000000"]); y:=CambridgeMatrix(1,F,70,[ "0000000000000000000000000000000000000001000000000000000000000000000000", "0000000000000000000000000000000000000000000100000000000000000000000000", "0000000000000000000000000000000000000000000000100000000000000000000000", "0000000000000000000000000000000000000000000000001000000000000000000000", "0000000000000000000000000000000000000000000000000100000000000000000000", "0000000000000000000000000000000000000000000000000000010000000000000000", "0000000000000000000000000000000000000000000000000000000010000000000000", "0000000000000000000000000000000000000000000000000000000000100000000000", "0000000000000000000000000000000000000000000000000000000000010000000000", "0000000000000000000000000000000000000000000000000000000000000010000000", "0000000000000000000000000000000000000000000000000000000000000000100000", "0000000000000000000000000000000000000000000000000000000000000000010000", "0000000000000000000000000000000000000000000000000000000000000000000100", "0000000000000000000000000000000000000000000000000000000000000000000010", "0000000000000000000000000000000000000000000000000000000000000000000001", "0000000000000000000000000000000000010000000000000000000000000000000000", "0000000000000000000000000000000000001000000000000000000000000000000000", "0000000000000000000000000000000000000100000000000000000000000000000000", "0000000000000000000000000000000000000011000000000000000000000000000000", "0000000000000000000000000000000000000000100000000000000000000000000000", "0000000000000000000000000000000000000000010000000000000000000000000000", "0000000000000000000000000000000000000000001100000000000000000000000000", "0000000000000000000000000000000000000000000010000000000000000000000000", "0000000000000000000000000000000000000000000001100000000000000000000000", "0000000000000000000000000000000000000000000000011000000000000000000000", "0000000000000000000000000000000000000000000000000010000000000000000000", "0000000000000000000000000000000000000000000000000001000000000000000000", "0000000000000000000000000000000000000000000000000000110000000000000000", "0000000000000000000000000000000000000000000000000000001000000000000000", "0000000000000000000000000000000000000000000000000000000110000000000000", "0000000000000000000000000000000000000000000000000000000001100000000000", "0000000000000000000000000000000000000000000000000000000000001000000000", "0000000000000000000000000000000000000000000000000000000000000110000000", "0000000000000000000000000000000000000000000000000000000000000001100000", "0000000000000000000000000000000000000000000000000000000000000000001100", "0000000000000001000000000000000000000000000000000000000000000000000000", "0000000000000000100000000000000000000000000000000000000000000000000000", "0000000000000000010000000000000000000000000000000000000000000000000000", "0000000000000000001000000000000000000000000000000000000000000000000000", "1000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000100000000000000000000000000000000000000000000000000", "0000000000000000000010000000000000000000000000000000000000000000000000", "0000000000000000000001000000000000000000000000000000000000000000000000", "0100000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000100000000000000000000000000000000000000000000000", "0000000000000000000000010000000000000000000000000000000000000000000000", "0010000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000001000000000000000000000000000000000000000000000", "0001000000000000000000000000000000000000000000000000000000000000000000", "0000100000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000100000000000000000000000000000000000000000000", "0000000000000000000000000010000000000000000000000000000000000000000000", "0000000000000000000000000001000000000000000000000000000000000000000000", "0000010000000001000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000100000000000000000000000000000000000000000", "0000000000000000000000000000010000000000000000000000000000000000000000", "0000001000000000100000000000000000000000000000000000000000000000000000", "0000000000000000000000000000001000000000000000000000000000000000000000", "0000000100000000010000000000000000000000000000000000000000000000000000", "0000000010000000001000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000100000000000000000000000000000000000000", "0000000000000000000000000000000010000000000000000000000000000000000000", "0000000001000000000100000000000000000000000000000000000000000000000000", "0000000000000000000000000000000001000000000000000000000000000000000000", "0000000000100000000010000000000000000000000000000000000000000000000000", "0000000000010000000001000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000100000000000000000000000000000000000", "0000000000001000000000100000000000000000000000000000000000000000000000", "0000000000000100000000010000000000000000000000000000000000000000000000", "0000000000000010000000001000000000000000000000000000000000000000000000"]); G:=MatrixGroup<70,F|x,y>; print "Group G is L7(2).2 < GL(70,GF(2))";