implement abr_seq(p0, p1, ...)