State budget revenue, 5 months, 2023