Attributes
. MR31578587500 . Names
Mpn
(3)