The annuity of an air traffic controller retiring under Sec. 842.207 or a law enforcement officer, firefighter or nuclear materials courier retiring under Sec. 842.208 is--
(a) One and seven-tenths percent of average pay multiplied by 20 years; plus
(b) One percent of average pay multiplied by the years of service exceeding 20 years. [52 FR 4475, Feb. 11, 1987, as amended at 65 FR 2524, Jan. 18, 2000]