I think that is tricky: if few documents matched, LongHash would be better, but if most parents match, it might as well be 10x larger. I think we should stick to a bit set for now since it has the best worst-case?