Thoughts on solution for the AbsDistinct problem