Attributes
. MR70589058825 . Names
Mpn
(1)