guava runtz seeds how many bit strings of length 9 or less are there