Ah, so that’s why I was having to dig through papers to get the all that info. I was puzzled because the lump sum amount is included in the amount being claimed...

No. The four previous years are each under $50. The Paid in 2022 for Other Tax Years is over $300. It’s like Social Security underpaid a small amount for many y...