Attributes
. MR32178562300 . Names
Mpn
(1)