If the current prepaid contract obligations of the Trust exceed the market value of Trust assets, at the request of the State Treasurer, the Governor shall include in the annual budget bill submitted to the General Assembly an appropriation in the amount determined under subsection (b) of this section. The appropriation to be included in the budget bill under subsection (a) of this section shall equal the difference between the current prepaid contract obligations and the market value of Trust assets. For purposes of this section, the current prepaid contract obligations and the market value of Trust assets: Shall be determined as of June 30 of the calendar year that ended before the beginning of the fiscal year for which the appropriation is requested; and Shall be verified by the report of the independent outside auditor required under § 18–1916 of this subtitle. The amount appropriated under this section shall be deposited into the Trust. All amounts paid into the Trust under this section shall constitute and be accounted for as advances to the Trust. Subject to the rights of the Trust’s contract holders, amounts appropriated under this section shall be repaid to the State without interest in equal amounts in each of the next 2 fiscal years succeeding the one for which the appropriation was made. If the appropriation in the State budget as enacted by the General Assembly is less than the amount specified under subsection (b) of this section, the State Treasurer may adjust the terms of subsequent or current prepaid contracts to ensure continued actuarial soundness of the Trust.