7518347domain: NPropertiesPrimalityPrimeyesAppears in sequences"Sloping binary representation" of Lucas numbers (A000032), slope = +1.at n=10A037094Prime numbersat n=509422