Precision: 1.03e-14
match ;    Eigenvalue  9    ; GREPFIELD(static/info, '#k =       4', 3, 9) ; -1.032983