A naive approach optimized for time but using exponential space may be inferior overall to a space-e...
This proposition has not been edited since the history system was added.