Map of location quotient of roof bolters, mining by area, May 2023