Zassenhaus Speed timer sort