%I#28 2015年2月8日16:46:06

%S 0,1,8,4,6,9,12,10,14,16,18,15,20,22,24,21,25,26,28,27,30,32,33,35,34，

%电话：36,38,39,42,40,44,46,45,48,50,49,51,54,52,56,55,57,58,60,62,63,65,64，

%U 66、68、70、72、69、74、76、77、75、78、80、81、84、82、86、85、87、88

%N在词法上最早的不同数字序列，使得a（N）和a（N-1）+a（N）都不是素数。

%C猜想：这是非素数的排列。【Semeon Artamonov和Pat Devlin给出的证明大纲如下。】

%让x是一个缺失的数字。

%C那么，最终每个词的形式都必须是PRIME-x（否则，x将显示为下一个词）

%特别是，这意味着序列中只有有限多个x的倍数。为了使这个更清晰，让Y是x的倍数，大于序列中出现的所有x的倍数。

%设q是一个素数，不除以Y。那么由于没有Y，2Y，3Y。。。，2qY出现时，序列中的每个术语最终都是PRIME-Y形式，也都是PREME-2Y形式，还有PRIME-3Y形式。。。也采用PRIME-2qY形式。

%这意味着我们有一个质数p和一个数Y，比如p，p+Y，p+2Y，p+3Y，p+4Y。。。，p+2qY都是质数。但取这个序列的模q。由于q不除以Y，所以项0，Y。。。，2qY覆盖每个残留物类mod q两次。因此，p+kY覆盖每个剩余类mod q两次。因此，有两个与0模q同余的项。一个可以是q，但另一个必须是它的倍数（与它的素性相矛盾）。

%H Reinhard Zumkeller，n表，n=1..10000的a（n）</a>

%o（哈斯克尔）

%o a253073 n=a253073_列表！！（n-1）

%o a253073_list=0:f 0 a018252_list，其中

%o f u vs=g vs其中

%o g（w:ws）|a010051'（u+w）==1=g ws

%o |否则=w:f w（删除w vs）

%o——Reinhard Zumkeller，2015年2月2日

%Y参见A254337、A002808、A253074。

%Y参考A018252、A010051。

%K nonn公司

%氧1,3

%A.N.J.A.Sloane_，2015年2月1日，基于_Patrick Devlin的建议_