Is the sum of the total expenditure spent by the government in R&D projects in Korea (Republic) in 2000 and 2002 greater than the maximum total expenditure spent by the government in R&D projects in Mauritius across all years ?