Independently check #4599's four-event product inequality by direct header count for every 4<=m<=85; its spectrum table matches at all 82 dimensions (no new κ) - #4606