Which of these network managers should be synchronized with the inventory manager in order to have the most up-to-date device list as soon as possible?