sum (32 choose n) from 0 to 16