Padovan sequence