"miner" . "continuous miner" . "continuous" .