user: Is the sum of the IMF credit in the Department of Defense in 1970 in Mali and Philippines greater than the maximum IMF credit in the Department of Defense in 1972 across all countries?
  Give a very brief answer.