Grubber (link to the full version with proofs in the comments)

 

v20240901