https://5dok.net/document/y960w40d-optimal-normal-bases.html