Reduction of national debt— Any amounts paid or repaid to the Secretary of the Treasury by the Federal National Mortgage Association or the Federal Home Loan Mortgage Corporation in any form, including any dividends paid pursuant to the Amended and Restated Senior Preferred Stock Purchase Agreements, dated September 26, 2008, amended May 6, 2009, further amended December 24, 2009, and further amended August 17, 2012, between the United States Department of the Treasury and the Federal National Mortgage Association, and between such Department and the Federal Home Loan Mortgage Corporation shall be transferred by the Secretary to the special account established by subsection (d) of
section 3113 of title 31, United States Code, and shall be used only as provided in such subsection.