Degree-diameter problem $N(20,9)$

The largest possible number of vertices in a graph of maximum degree $20$ and diameter $9$.

Lower bound: $12951451931$ (12,951,451,931)
Upper bound: Unknown

Updates