All remaining reads were subsequently used for de novo assembly with the MIRA assembler [12] .