the commission shall transfer from the lottery commission defined benefit retirement plan to the retirement allowance account of the fund the amount required to fund the pension portion of each participant's accrued retirement benefit, calculated as if the participant had been in the fund during the participant's service with the lottery commission as of July 1, 2013. If the assets in the lottery commission defined benefit retirement plan are not sufficient to fund the retirement benefit accrued as of July 1, 2013, for the participants described in this subsection, the commission shall pay to the fund, either in a single payment or in installment payments approved by the board, the amount needed to fund the accrued retirement benefits as described in this subsection.
IC 5-10.3-7-3.5