manual notching machine