13.02.21_1
+CreateAlgorithm with extra arg
+Algorithm0x03: seed member for random seed; the result includes the seed; new way of telling if the target was found
+AlgBase: reliable way to count axioms; GetResults() is virtual
+FormulaWrapper Equals uses m_this->Equals
+ProofUI refactor: instead of gotos, now using try-catch block for errors