The CDCR budget declined following a peak in 2023