Data update.
Data update.
Editorial update.
Function for removal of blocked clauses of length at most k.
Investigating what happens when from EPHP the blocked 2-clauses are removed.
Editorial correction.