Maximal equiangular line sizes in dimensions 14, 16, 17, 18, 19, and 20

Let $N(d)$ denote the maximal number of equiangular lines in $\mathbb R^d$. The proposed values are

\begin{array}{c|cccccc} d & 14 & 16 & 17 & 18 & 19 & 20 \\\ \hline N(d) & 28 & 40 & 48 & 56 & 72 & 90 \end{array}

Maximal equiangular line sizes conjecture. The maximal numbers of equiangular lines in the specified dimensions are given by the table above.

The conjecture records the authors' proposed exact values for these extremal configurations. The paper establishes constructions, including 56 equiangular lines in $\mathbb R^{18}$, but the supplied text does not state that all six upper bounds have been proved.