Binary packrats converge on VCF