Add an explicit output of the external prover that contributed to the successful proof.
Add an explicit output of the external prover that contributed to the successful proof.

leoprover/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III