Na decorrência do exposto, surge, então, no âmbito do petitório, o pedido de extinção da execução, através da procedência dos embargos deduzidos e, sem prescindir, deverá esta procedência ser, pelo menos, parcial, deduzindo-se ao valor total peticionado as quantias já pagas pelos mutuários, no âmbito do plano de pagamentos homologado, no competente incidente dos autos de insolvência.