Vacuum pumping system