Incluyendo lo anterior, la salida devuelta sería: