History witness certificates 726–750

Exact checker for witnesses 726 through 750; nine tensor Bernstein coefficients each. Each witness carries a lower threshold, an upper threshold, a parameter rectangle and an array of Bernstein coefficients over that rectangle, together with a rational lower bound for every coefficient; validity asserts that the thresholds are correctly oriented, that the rectangle is nondegenerate and lies in the positive quadrant, that the recorded coefficients are exactly the Bernstein transform of the cross polynomial of the two thresholds over the rectangle, and that every coefficient dominates its recorded bound.

This is the sub-range $[725,750)$ of Freiman.lowerHistory_witnesses_0700_0750, split so that the exact rational verification fits inside a single compile.