Is it the case that in every year, the sum of the total revenue collected by the government in Senegal and total revenue collected by the government in Thailand is greater than the total revenue collected by the government in Seychelles ?