asciilifeform: ;;later tell mircea_popescu one well-massaged class of super-NP complexity classes is PSPACE - and i distinctly recall a proof that the mega-game 'sokoban' is PSPACE-complete.
asciilifeform: (who remembers?? 'i was never a sc4mz0r, but now you called me one, and thereby i now lack the money to fill $promise' )