Gravar-mail: Solution Formation of Holliday Junctions in Inverted-Repeat DNA Sequences