\seqnum{A001263},