[ Click 0 drome ] The First Level of Super Mario Bros is Easy with Lexicographic Orderings and Time Travel, . . . after that it gets a little tricky

[clickodrome at machineaecrire.com]

http://www.cs.cmu.edu/~tom7/mario/mario.pdf