security benefits remaining after appropriations under paragraph (1) have been made, there are appropriated to each payor fund amounts equivalent to the portion of such balance equal to a fraction— (A) the numerator of which is the amount equivalent to the net revenues received in the Treasury attributable to the application of sections 86 and 871(a)(3) of such Code to payments from such payor fund made in taxable years beginning after December 31, 2024, and before January 1, 2035