úÎ+£(œ:      !"#$%&'()*+,-./0123456789 Safe-InferedKNucleotide, second one to the right. The assertion allows a size of one or H two to capture special cases of looking outside of the bounds (used by   justStemF in RNAfold). A :> together with the lowest included nucleotide and the highest  included nucleotide. A :> together with the lowest included nucleotide and the highest  included nucleotide. A :> together with the lowest included nucleotide and the highest  included nucleotide. :Vector of nucleotides peeking one nucleotide to the left. <Vector of nucleotides peeaking one nucleotide to the right. &Tests if (i,j) is a valid base pair. %True, if the subword at ij is empty.      Safe-InferedGHairpin structures. Hairpins with less than 3 unpaired nucleotides are  forbidden. NOTE (xs,i,j)= is indeed *only* the unpaired stretch. Hence, the length is  j-i+1 , as given. ,TODO Activate tabulated hairpin structures. DTiny loops are small interior loops. This includes canonical stacks H without any unpaired nucleotides, and small, tabulated interior loops.  A left bulge  (....[[...]])/ which four unpaired nucleotides in the bulge.  the left bulge ls& will be given six nucleotides (note, ls is the  complete input, use li and lj+ as the first and last included nucleotide N index), the two outer ones being for the outer and inner loop. On the right,  we have rp and r which are nucleotides.  ls!(Z:.li) and r form the  outer Vienna pair. rp and  ls!(Z:.lj) form the inner pair. A right bulge ([[...]]....). See  for how this works. An interior loop with N& unpaired nucleotides to the left and 1 / unpaired nucleotide to the right. The regions ls and rs each have 2 K nucleotides more than are unpaired. These first and last nucleotides form ? the last paired or first pairs in the stacks around the loop. 1xN interior loops.  !"#$ !"#$ !"#$ !"#$None%HThe structure on the left is a subword with size 2-28. The maximal size H could be 30 but since the two combinators are linked, 29,30 would fail  anyways. &KThe structure on the right is a subword with size 2-30, however we inspect ' the stack an reduce the maximal size. %&%&&%%& Safe-Infered'()*+,-./0123456789'()*+,-./0123456789'()*+,-./0123456789'()*+,-./0123456789;      !"#$%&'()*+,-./0123456789:;<=>?@ABRNAFold-1.99.1.2BioInf.RNAfold.LibraryBioInf.RNAfold.EnergyBioInf.RNAfold.CombinatorsBioInf.RNAfoldbase'baseLr'baselR'region'primary' primaryPR' primaryPL' regionpl' regionpr' basepairing' stackpairing' constrainedreglen' reglenpl' reglenpr'emptyhairpinF tinyloopFbulgeLFbulgeRFiloopN1Filoop1NFiloopIFiloopOFmultiIFmultiOF regionStemF justStemFbsFrSFbcFssFcmFnilFiDh terminalAU#~~~~# testRNAfold testInputtestrnafold*~++~*&~++~&---~++~@+~---@~+ btRNAfold adjustStreamadjustStreamBT.!.withwithBT fillTablesBiobaseXNA-0.6.2.4Biobase.PrimaryPrimary