Make parsetable non-random

* use two sorted() calls to derandomize enumerations