Title: High vacuum pumping equipment