Precision: 1.12e-05
match ;    Eigenvalue 17    ; GREPFIELD(static/info, '#k =       4', 3, 17) ; 0.223247