Precision: 6.84e-06
match ;      Eigenvalue [  k=1, n=3   ]      ; GREPFIELD(static/info, '#k =       1', 3, 3) ; 0.136855