2^3 * Binomial(37, 14) * 2^14 * Binomial(17, 3)