Debtor's petition to challenge execution proceedings. Enforcement action brought by an insurer, subrogated to a credit that was the subject of an arbitration award. Contract of insurance guaranteeing contractual obligations. Appellant and the insurer, now respondent, who were not parties to the arbitration. Matters decided by the arbitral tribunal that do not bind the parties to these proceedings, pursuant to Article 31 of the Brazilian Arbitration Act. Dismissal of the enforcement action: