(dp0 S'[20-100]' p1 I1 s.