Short but messy. I suspect either that the algorithm doesn't actually work or that some worse than polynomial space or time cost hides in the numerous steps and

Short but messy. I suspect either that the algorithm doesn't actually work or that some worse than polynomial space or time cost hides in the numerous steps and subalgorithms.