4 (source code)

= 4
{scope}
{title2=Gram matrices and determinant bounds}