Attributes
. MR31578580125 . Names
Mpn
(3)