original: VERDICT: CLOSED -- no set 0<p_1<...<p_7 of reals has all 4-subsets non-dissociated (so g+(4) <= 6).
negative certificate entry: VERDICT: INVALID TREE (1 problems)  -> REJECTED (good)
changed certificate vector: VERDICT: INVALID TREE (1 problems)  -> REJECTED (good)
deleted pattern (incomplete split): VERDICT: INVALID TREE (1 problems)  -> REJECTED (good)
altered child relation list: VERDICT: INVALID TREE (1 problems)  -> REJECTED (good)
ALL CORRUPTIONS REJECTED
