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 Cote d'Ivoire is greater than the total revenue collected by the government in Czech Republic ?