3 * sum from i = 1 to 16 of 16 choose i