Precision: 8.48e-17
match ;    Eigenvalue  8    ; GREPFIELD(static/info, '#k =       2', 3, 8) ; 0.008479