code: def get_proof(self):
          
  
          if self.maplesat and self.prfile:
              self.prfile.seek(0)
              return [line.rstrip() for line in self.prfile.readlines()]
docs: Get a proof produced while deciding the formula.