Formatar o número do Processo Jurídico

Seu pedido de recurso está relacionado a um problema? Por favor, descreva.
Dada uma String correspondente a um número de Processo Jurídico válido, retornar uma String correspondendo a este número formatada com traço e pontos.

NNNNNNN-DD.AAAA.J.TR.0000

Descreva a solução que você gostaria

  • Chamar um novo utilitário passando uma String correspondente a um número de Processo Jurídico válido e retornar uma String correspondendo a este número formatada com traço e pontos.
  • A String deve estar sem formatação, sem símbolos.
  • Caso o número passado como parâmetro não seja válido, retornar None.

Descreva alternativas que você considerou

  • Criar um novo utilitário format_processo_juridico:
def format_processo_juridico(processo_juridico):
...

Exemplo de Uso:

from brutils import format_processo_juridico

>>> format_processo_juridico("43414808720123008584")
"4341480-87.2012.3.00.8584"
>>> format_processo_juridico("16198256620197006253")
"1619825-66.2019.7.00.6253"
>>> format_processo_juridico("07799120166000729")
None

Contexto adicional
Referências úteis:
Estrutura da numeração única de processo
Fórum ABJ sobre número do processo CNJ