No.
She elected to take a cash payout, which is considerably less than the other option of a 30 year annuity.
True, but the 30 year annuity is before taxes, so overtime it’s going to be considerably less and may come close to the ‘cash’ payout she took.