136199 eris i dysnomia Synonyms