Attributes
. MR70578550525 . Names
Mpn
(1)