Efficient algorithms for folding and comparing nucleic acid sequences | Synapse