Attributes
. MR31779060512N . Names
Mpn
(1)