Is it the case that in every year, the sum of the amount spent on the salary of employees by the government in Sri Lanka and amount spent on the salary of employees by the government in Ireland is greater than the amount spent on the salary of employees by the government in Mali ?