Optimal binary linear codes of dimension at most seven

Available formats: [dvi] [ps].