\seqnum{A055471},