Republican budget execution for the 1 June of 2025 "Civil budget"