Texto para a questão

Além de impulsionar a arrecadação de recursos para os cofres^(a) da União, a execução fiscal eletrônica possibilitará maior economia para a máquina do Judiciário, uma vez que^(b) reduzirá os prazos de tramitação. “Manter a execução por muito tempo é caro”, assinala o juiz Alexandre Vasconcelos. A comunicação com a Receita Federal também será importante para a localização mais rápida dos bens do devedor. Um convênio firmado entre a Receita, o Conselho da Justiça Federal (CJF) e os tribunais regionais federais (TRF) permite^(c) que os juízes tenham acesso, mediante senha, ao sistema Infojud. Nele, o magistrado pode obter a declaração de bens e os dados cadastrais de qualquer pessoa, em questão de minutos. A interligação virtual dos juízes federais com o sistema Bacen-Jud 2.0, do Banco Central, por sua vez, permite o bloqueio de valores depositados em contas no nome do devedor em até 48 horas — procedimento que, com o uso de papéis, pode demorar meses. O acesso ao Bacen-Jud também foi possibilitado por intermédio de^(d) convênio entre o Banco Central, o CJF e os TRF.

Idem, ibidem (com adaptações).

As opções seguintes apresentam propostas de substituição de trechos do texto. Assinale a opção em que a substituição é gramaticalmente incorreta.