Debugging

Have finished. But still have some bugs on printing the output by
ascending llexicographical order.