The poly-freqs-*.*.dat files are copied (by hand!) from [ChrMul1994].
