Is it the case that in every year, the sum of the total electricity produced in Sri Lanka and total electricity produced in Cote d'Ivoire is greater than the total electricity produced in Syrian Arab Republic ?