Is it the case that in every year, the sum of the electric power consumption in in Sri Lanka and electric power consumption in in High income: nonOECD is greater than the electric power consumption in in Czech Republic ?