Attributes
. MR70178550900 . Names
Mpn
(1)