return to trivial alldifferent encoding