instructional manual of mining equipment