Precision: 1.11e-05
match ;    Eigenvalue  8    ; GREPFIELD(static/info, '#k =       1', 3, 8) ; 0.022271