Judge Amy Berman Jackson issued a 112-page opinion and 3-page order in National Treasury Employees Union, et al. v.