Padovan sequence, finite fields, matrix order, lifting modulo prime powers
Pietro Franesi (Mon,) studied this question.