Um desenvolvedor implementa o seguinte trecho de código Python para ordenar uma lista de registros de transações financeiras antes de processá-los em lote:
 

def ordenar(lista):
    if len(lista) <= 1:
        return lista
    meio = len(lista) // 2
    esquerda = ordenar(lista[:meio])
    direita = ordenar(lista[meio:])
    return operacao(esquerda, direita)

def operacao(esq, dir):
    resultado = []
    i = j = 0
    while i < len(esq) and j < len(dir):
        if esq[i] <= dir[j]:
            resultado.append(esq[i])
            i += 1
        else:
            resultado.append(dir[j])
            j += 1
    resultado.extend(esq[i:])
    resultado.extend(dir[j:])
    return resultado

O algoritmo apresentado divide recursivamente a lista em sublistas menores até que cada uma contenha um único elemento, combinando-as posteriormente de forma ordenada. Assinale a alternativa correspondente ao algoritmo de ordenação implementado.