緑豆ピクシー

AIによる命名結果です。