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?
