Click this link for detailed info on Max Employer Contribution to 401k to see if it answers your question on calculations.