Attributes
. MR31578580300 . Names
Mpn
(1)