Precision: 2.41e-05
match ;     Eigenvalue [  k=8, n=17  ]     ; GREPFIELD(static/info, '#k =       8', 3, 18) ; 0.481584