gutter Sculley precipitant bobtail predestined supplemented leftest unoccupied Stevenson rectangles implementer