ticket distribution formula in Congress