Optimal computer folding of large RNA sequences using thermodynamics and auxiliary information | Synapse