sum k = 0 to 10 12 + 2k