Is it the case that in every year, the sum of the total annual investments done by the government in Pakistan and total annual investments done by the government in Korea (Republic) is greater than the total annual investments done by the government in Libya ?