https://123dok.co/document/yr30j317-table-non-free-formally-self-dual-codes-length.html