Precision: 3.46e-01 match ; Eigenvalue 16 ; GREPFIELD(static/info, '#k = 1', 3, 16) ; -6.9877270000000005