These machines held up hundred-some meters of rock under which the salt was extracted.