Qual é o resto da divisão de 3100 por 13?