Will the Department of Education be most efficient on March 31?

This market will resolve to the US federal agency that is #1 on the DOGE "Agency Efficiency Leaderboard" under the "Most Total Savings" filter on March 31, 2025, 12:00 PM ET (noon). If there is a tie between two agencies, this market will resolve in favor of the agency whose listed title comes first in alphabetical order. If the leaderboard becomes permanently unavailable, this market will resolve to "Other". The resolution source for this market is available here: https://doge.gov/savings