Is it the case that in every year, the sum of the total revenue collected by the government in Namibia and total revenue collected by the government in Czech Republic is greater than the sum of total revenue collected by the government in Cote d'Ivoire and total revenue collected by the government in Mongolia ?