Input: Om de rest vrij te maken , deden ze een beroep op een oude mijnwerker , die een grote galerij groef door de dikke lagen sedimenten heen .
Output: 

 None