Dvergplanet som er det største objektet i hovedasteroidebeltet.
Illustrasjonene er KI-genererte, og oversettelsene gjennomgår språkkontroll.