13.02.10_1

Refactor:
Start and GetResult methods replaced to AlgorithmBase
ProofLibHeader fixed
while loops replaced with for in some algs