Optimal binary linear codes of length <= 30

Available formats: [gzipped dvi] [gzipped ps].