Is it the case that in every year, the sum of the total electricity produced in Japan and total electricity produced in Heavily indebted poor countries is greater than the total electricity produced in Ireland ?