A coin is tossed 10 times. How many different sequences of tosses could there have been, if at least $5$ of the tosses were heads?
10 nCr 5 + sumfor(n, 6, 10, 10 nCr n)==638 different sequences