Nonnegative decomposition conjecture. For n≥9n\geq 9n≥9 and k≥1k\geq 1k≥1, the coefficients b2n,kb_{2n,k}b2n,k are nonnegative integers.
