OFFSET
1,1
COMMENTS
1063 is in A006512 and so is 1093, obviously 1093 > 1063, therefore 1063 is in the sequence.
If the definition of the permitted terms included any term in A006512, instead of a larger term, the sequence would also contain 19963, 79693, 92671, 92683, and 139663. - James C. McMahon, Nov 17 2024
MATHEMATICA
gtp=Select[Prime[Range[PrimePi[400000]]], PrimeQ[#-2]&]; Select[gtp, MemberQ[IntegerDigits[#], 6]&&MemberQ[gtp, r=FromDigits[IntegerDigits[#]/.{6->9, 9->6}]]&&r>#&] (* James C. McMahon, Nov 17 2024 *)
CROSSREFS
KEYWORD
base,nonn,less
AUTHOR
Pierre CAMI, Oct 05 2006
EXTENSIONS
Edited, corrected and extended by Pierre CAMI and Stefan Steinerberger, Aug 14 2007
STATUS
approved