Attributes
. MR31729088518 . Names
Mpn
(1)