Is it the case that in every year, the sum of the total electricity produced in Nicaragua and total electricity produced in Benin is greater than the sum of total electricity produced in Mexico and total electricity produced in Slovenia ?