(a) If an instructional facility financed by bonds paid with state and local funds under this subchapter is sold before the bonds are fully paid, the school district shall send to the comptroller an amount equal to the district’s net proceeds from the sale multiplied by a percentage determined by dividing the amount of state funds under this subchapter used to pay the principal of and interest on the bonds by the total amount of principal and interest paid on the bonds with funds other than the proceeds of the sale.
(b) In this section, “net proceeds” means the difference between the total amount received from the sale less:
(1) the amount necessary to fully pay the outstanding principal of and interest on the bonds; and
(2) the school district’s costs of the sale, as approved by the commissioner.