Attributes
. MR31579080512N . Names
Mpn
(1)