workings of vacuum pump

});