13.02.27_1
+Generator: random seed member
+Algorithms: SetTask modified to delete previous members
+Stat: added EndSize + MPCount methods
+ImplForm: fixed hashing
+ProofUI: added a random test section