A fair coin is tossed 12 times. How many different sequences of tosses could there have been, if the number of tosses was at least
