Precision: 7.13e-06
match ;  Bands n=4,k=4 ; GREPFIELD(static/eigenvalues, '#k =       4', 3, 4) ; 0.142616