Uma empresa iniciou suas atividade em 2010 com 35 funcionários e verificou que, a cada ano, o número do seu quadro de funcionários duplicou em relação ao ano anterior. Assim, em 2011 a empresa tinha 70 funcionários, 140 em 2012 e assim por diante. Assim, qual é a quantidade de funcionários da empresa no ano de 2025?