New formula: libsequence 1.7.5