Precision: 6.04e-06
match ;    Eigenvalue 16    ; GREPFIELD(static/info, '#k =       3', 3, 16) ; 0.120731