Preprocessing for local solving