>>4846654 (pb)
>>4846816 (lb)
Don't forget POTUS effectively proclaimed December 24 a holiday for fed employees, so many furlough notices didn't get sent until December 26.
https://www.whitehouse.gov/presidential-actions/executive-order-providing-closing-executive-departments-agencies-federal-government-december-24-2018/