Tight bounds and conjectures for the isolation lemma