where formula_141 is a polynomial such that formula_142 is the number of natural labelings of formula_137.