Execution of the district budget as of May 1, 2023