O que aconteceu antes de se esgotar o prazo de dezoito dias a contar da data da detenção. Posteriormente, o pedido formal de extradição foi junto aos autos antes de decorrido o prazo de quarenta dias após a detenção.