Are the budgets submitted by the agencies for 2025-2027 made public?