. . . " numerator and the average of the three highest calendar benefit cost rates in (A) the last twenty years, or (B) a period including the last three recessions, whichever is longer, shall be the denominator." .