Attributes
. MR31578587100 . Names
Mpn
(3)