https://9dok.net/document/zpnm5rmr-improved-upper-bounds-for-partial-spreads.html