$\gcd(a_n, a_{n+1}) = 1$ for all $n \geq 0$

$a_n$ is always even

$a_n \equiv 0 \pmod{3}$ whenever $3 | n$

$a_n > a_{n-1} + a_{n-2}$ for all $n \geq 2$