lump-sum credit
(3) Definition .— For purposes of this subsection, the term “lump-sum credit” means the unrefunded amount consisting of— (A) retirement deductions made under this section from the salary of a bankruptcy judge or magistrate judge; (B) amounts deposited under subsection (k) by a bankruptcy judge or magistrate judge covering earlier service; and (C) interest on the deductions and deposits which, for any calendar year, shall be equal to the overall average yield to the Judicial Officers’ Retirement Fund during the preceding fiscal year from all obligations purchased by the Secretary of the Treasury during such fiscal year under subsection (o); but does not include interest— (i) if the service covered thereby aggregates 1 year or less; or (ii) for the fractional part of a month in the total service.