Precision: 2.04e-05
match ;     Eigenvalue [  k=1, n=16  ]     ; GREPFIELD(static/info, '#k =       1', 3, 17) ; 0.407353