Revisions of sect. 3 (Building the overlap graph).