Attributes
. MR30578580800 . Names
Mpn
(1)