sum (48 choose i) from i = 12 to 19