https://imprensapublica.com.br/stf-decide-o-que-fazer-em-caso-de-empate-na-primeira-sessao-apos-aposentadoria-de-lewandowski/