lump-sum credit
The term “lump-sum credit” means the unrefunded amount consisting of retirement deductions made from a participant’s basic pay and amounts deposited by a participant covering earlier service, including any amounts deposited under section 2082(h) of this title .