Overshot Pipe Cutter also known as an Overshot Liner Cutter can be used to remove excess cured liner that has been overshot during the lining process into the main line.