Deixe-me refazer minha resposta aqui:
Isso parece um bug, especialmente porque o sistema reduz para um único unicórnio temporariamente logo depois.
O número 2 está codificado, assim como o número 1 para a redução.
Editar: parece que essa alteração introduziu a inconsistência
Obrigado pelo novo tópico.