Precision: 7.38e-14
match ;         Eigenvalue  8         ; GREPFIELD(static/info, '#k =       4', 3, 8) ; -7.384997