T_n == 1 (mod 3) when n == 1 (mod 3) T_n == 0 (mod 3) otherwise