Attributes
. MR312785871000 . Names
Mpn
(1)