input: from typing import List
  
  
  def filter_even_numbers(numbers: List[int]) -> List[int]:
      """ Filter out all the even numbers from a given list.
      >>> filter_even_numbers([3, 4, 5, 6, 7])
      [4, 6]
      >>> filter_even_numbers([1, 3, 5, 7])
      []
      >>> filter_even_numbers([2, 4, 6, 8])
      [2, 4, 6, 8]
      """
output:     return [num for num in numbers if num % 2 == 0]