Attributes
. MR31878587900 . Names
Mpn
(2)