Padovan Sequence Formula