A idade média de Pedro e Julia foi 75. Se a média entre Pedro, Julia e Lucas é 80, qual a idade de Lucas?