Is it the case that in every year, the sum of the total revenue collected by the government in Cote d'Ivoire and total revenue collected by the government in Hong Kong is greater than the sum of total revenue collected by the government in Bosnia and Herzegovina and total revenue collected by the government in Cabo Verde ?