tools to extract granite in the 1800s