Precision: 4.60e-16
match ;    Eigenvalue  8    ; GREPFIELD(static/eigenvalues, '#k =       1', 3, 8) ; 0.046003