SOURCE_CODES
  ENABLED Main
  ENABLED Americans
  ENABLED ArabsAI
  ENABLED Mines
  ENABLED Others
  ENABLED Win
  ENABLED ExtraArabs
END_OF_SOURCE_CODES
