O manual diz que, em caso de empate na ficha de pontuação de final de jogo, os jogadores divdem a pontuação dos respectivos empates aproximado pra cima. Isso ficou um pouco em aberto pra minha compreensão, acabei aplicando da mesma forma que é feito no caso de empates para a pontuação da produção de energia da rodada. Então, no caso de 2 jogadores empatarem em primeiro lugar, somei os valores do primeiro e segundo lugar (15+10) e dividi por 2, dando um total de 13 pontos pra cada e o próximo jogador pontuaria o valor do terceiro lugar, no caso 5 pontos. Isso está correto?