Is it the case that in every country, the sum of the IMF credit in the Department of Defense in 1971 and IMF credit in the Department of Defense in 1972 is greater than the IMF credit in the Department of Defense in 1970 ?