These numbers can be calculated using Vajda’s and Catalan’s identities. The uniqueness of some divisors of these numbers is implied by Carmichael’s theorem, which also applies to similarly defined Lucas numbers. (10[1])Consecutive (10[1])pairs of these numbers give the worst run time for Euclid's algorithm. These numbers can be calculated with Binet’s formula, which uses (10[1])a constant equal to the average of one and the square root of five denoted (-5[1])phi. (10[1])The population growth of rabbits was modeled using these numbers (10[2])by their Italian namesake. (10[1])For 10 points, name this sequence of numbers defined (10[1])by adding the previous two numbers, which starts 1, 1, 2, 3, 5. ■END■ (10[1])