Merge sort in Python, dump implementation