post Timsort