How much lump sum amount would a government employee get if they retire after completing 30-year service. The government ...