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