Attributes
. MR41256047351 . Names
Mpn
(1)