The proceeds from the sale of public lands that have never left federal ownership, lands obtained in exchange for original public domain lands, and public lands that have reverted to the federal government through operation of the public land laws including buildings or non-structural improvements located on such lands.