pavement py file