סך המניות בידי הציבור של Valero Energy Corporation.