\seqnum{A055389},