public override String ToString() { StringBuilder sb = new StringBuilder(); sb.Append("isComplete=" + complete); sb.Append("\n"); sb.Append("result=" + proofs); return sb.ToString(); } }