A finite cover for coefficient positivity of stretched Littlewood-Richardson polynomials in the seven-row, size-thirty box

We give a finite cover argument for nonnegativity of the ordinary monomial coefficients of every stretched Littlewood-Richardson polynomial with partition lengths at most seven and outer size at most thirty. Explicit reductions leave 358,952 residual triples. The computational part consists of exact