The employer amount comes from the W2 and is pre-tax already. Don't enter it anywhere else.

If your taxpayer also contributed through work, that is already pre-tax. Don't enter it anywhere else.

Unless your taxpayer also contributed personally outside of work, you don't enter anything anywhere else.