input: from typing import List
  
  def double_add(numbers: List[int]) -> int:
      """ Add the two numbers from the list and then double the result.
      >>> double_add([3, 4])
      14
      >>> double_add([5, 5])
      20
      """
      return (numbers[0] + numbers[1]) * 2
output:     return (numbers[0] + numbers[1]) * 2