Attributes
. MR30129087518 . Names
Mpn
(1)