python lib: decoding the sorted values before unpickling them.