Precision: 1.53e-15
match ;    Eigenvalue [  k=1, n=4   ]    ; GREPFIELD(static/info, '#k =       1', 3, 4) ; 0.030520000000000005