Is it the case that in every year, the sum of the percentage of GDP claimed on the central government in Mauritius and percentage of GDP claimed on the central government in Ukraine is greater than the sum of percentage of GDP claimed on the central government in Lesotho and percentage of GDP claimed on the central government in Korea (Republic) ?