Attributes
. MR70178558900 . Names
Mpn
(2)