You've stubbed you toe again since the $50,734 does not include the ER portion - only the EE portion. The $47,129 was their takehome pay.
Your own post even noted that it would have been $3,605 higher with the ER portion - which it didn't have.
Try something else - this didn't work (either).
My error - the takehome was $43,524 rather than $47,129 (which was their gross not including the ER portion)