Attributes
. MR30878560900 . Names
Mpn
(1)