Lucasnumbers