Attributes
. MR414570471243 . Names
Mpn
(1)