If you made no after-tax payments into to the CSRS annuity, the entire amount distributed is includible in the income (Form 1040 line 5b) on which your tax liability is calculated. Whatever amount was withheld for taxes is credited later on Form 1040 toward your overall tax liability.