Precision: 7.57e-06
match ;    Eigenvalue 16    ; GREPFIELD(static/eigenvalues, '#k =       1', 3, 16) ; 0.151313