After you file

for w-2 purposes both your contributions thru your employer and their contributions are included in 12W. your wages, box 1 were reduced by the $7100 that came out of your paychecks. you are not allowed a double benefit. thus it is proper to reflect all the contributions on line 9

and 0 for those contributions on line 2