input: 
  def print_happy_holidays(num_times: int) -> None:
      """ Prints 'Happy Holidays' a specified number of times.
      >>> print_happy_holidays(10)
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      """
  
output:     for _ in range(num_times):
          print("Happy Holidays")