My bad, you are absolutely right, the payout comes from previous weeks' undistributed payout, not from the state. The more they played, the more revenue for the state.