They include an estimate that the state will be $7 billion in the red by June 30, and that the backlog of unpaid bills will top $13 billion by then.