Workforce DRP percentages

I read this article with interest. It says 92 percent of federal workers took the DRP voluntarily leaving. But, I wonder what percentage of those 92 percent took DRP into retirement? Anyone have an idea? I have a feeling it’s a large percentage resulting in a large financial burden of retirement pensions shifted to the workers who are left.