Um Juízo com competência em matéria de Fazenda Pública da Capital condenou o Estado do Piauí ao pagamento, em favor de um servidor público, de diferenças remuneratórias referentes ao quinquênio anterior ao ajuizamento da demanda, conforme fosse apurado posteriormente. Após o trânsito em julgado, a parte vencedora formulou requerimento de cumprimento de sentença para haver o pagamento da verba. Nesse caso, o Juiz competente deverá: