https://123dok.org/document/nq7963ry-sorting-with-pattern-avoiding-stacks-the-machine.html