[Adapted from a dc example by Michel Charpentier, see
 http://www.cs.unh.edu/~charpov/Programming/DC/ ]s.
10234252[p]s2[lip/dli%0=1dvsr]s12sid2%0=13sidvsr[dli%0=1lrli2+dsi!>.]ds.xd1<2
