Flajolet-Martin algorithm