when the men were using the pick; but they mostly employed the shovel,
KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL