Precision: 4.17e-05
match ;  Bands n=3,k=4 ; GREPFIELD(static/eigenvalues, '#k =       4', 3, 3) ; 0.08339800000000001