(lp0 S'a' p1 aI123 a(lp2 I4 aI5 aI01 aa.