implementation of Four-Russians algorithms for RNA folding