On 04/18/16 14:16, Aleksander Alekseev wrote: > I suggest also add a short description of how it was achieved > (randomization?). I think the algorithm is switching to mergesort. I'll look up the paper and add that correctly before commit. --HPS