Attributes
. MR32089087518 . Names
Mpn
(1)