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