\relax +
−
\providecommand \oddpage@label [2]{}+
−
\@writefile{loa}{\contentsline {algocf}{\numberline {1}{\ignorespaces ders2forSEQ($r_1$,$r_2$,$s$)}}{1}}+
−