Is it the case that in every year, the sum of the total revenue collected by the government in Sao Tome and Principe and total revenue collected by the government in Benin is greater than the sum of total revenue collected by the government in Mozambique and total revenue collected by the government in Sri Lanka ?