PushSwap [42]