Haplotyping and Verification by Long-Fragment Sequencing