Supercomputing of reducing sequenced bases in de novo sequencing of the human genome