סך המניות בידי הציבור של PENA VERDE SAB.