Quatro casais vão jogar uma partida de buraco, formando quatro duplas. As regras para formação de duplas exigem que não sejam de marido com esposa. A respeito das duplas formadas, sabe-se que:

- Tarsila faz dupla com Rafael;
- Julia não faz dupla com o marido de Carolina;
- Amanda faz dupla com o marido de Julia;
- Rafael faz dupla com a esposa de Breno;
- Lucas faz dupla com Julia;

- Nem Rafael, nem Lucas fazem dupla com Amanda;
- Carolina faz dupla com o marido de Tarsila;
- Pedro é um dos participantes.

Com base nas informações, é correto afirmar que

Um triângulo equilátero grande será construído com palitos a partir de pequenos triângulos equiláteros congruentes e dispostos em linhas. Por exemplo, a figura descreve um triângulo equilátero grande (ABC) construído com quatro linhas de pequenos triângulos equiláteros congruentes (a linha da base do triângulo ABC possui 7 pequenos triângulos equiláteros congruentes).

Conforme o processo descrito, para que seja construído um triângulo grande com linha da base contendo 1001 pequenos triângulos congruentes são necessários um total de palitos igual a