Attributes
. MR32089087918 . Names
Mpn
(2)