Снова у меня вылетел Ахиллес-3.

Смотрите сообщение
https://boinc.progger.info/odlk/forum_thread.php?id=287&postid=14885

Пока не написала письмо владельцу.
Не имею доступа даже к файлам результатов, чтобы их проверить.

Ну вот, 15 "бесконечных" программ накрылись медным тазом :(

Ахиллес пока радует - держит 7 "бесконечных" программ.

Вот в поиске или подтверждении первой ключевой 17-ки нашлось приближение с уникальным кодом

955185322182725964157: [0, 16, 24, 36, 70, 102, 112, 114, 120, 126, 150, 156, 174, 204, 216, 220, 240]
valids=12
code=12798
number form=105511308084

Отлично!
Добавила в спектр приближений.

Теперь спектр приближений к ключевой 17-ке содержит 27805 уникальных элементов.

Обратите внимание: добавка, давшая показанное приближение, 105511308084-ая.

Это лидирующая из 6 "бесконечных" частей, поиск на периоде 67# (в нулевом периоде)

. . . . . . . . . 
1434428134064383283345347: [0, 6, 24, 34, 64, 66, 106, 114, 120, 126, 156, 172,
174, 214, 216, 234, 240]
valids=10
number form=260192581338

1958289832661385454991587: [0, 6, 10, 34, 64, 84, 90, 114, 120, 126, 136, 150, 1
74, 190, 204, 216, 240]
valids=9
number form=260315505024

1236208081463663237409307: [0, 10, 16, 46, 66, 84, 106, 114, 120, 142, 150, 156,
 174, 196, 204, 210, 240]
valids=9
number form=260350563283

4294538240341072824560287: [0, 6, 10, 36, 46, 84, 100, 106, 120, 126, 142, 150,
154, 190, 216, 234, 240]
valids=9
number form=260549718058

Программы работают на Ахиллесе.
В каждой из шести частей количество сгенерированных добавок близко к показанному в лидирующей части.
Отлично!
Умножайте 260350563283 на 6.
Общее количество сгенерированных добавок приближается к 1560 миллиардам.

Ключевая 17-ка на периоде 67# по идее должна быть ещё (плюс к двум известным).
Но не находится пока.

Напомню распределение известных ключевых 17-к по периодам

1006882292528806742267 – на периоде 59#
3954328349097827424397, 4896552110116770789773, 6751407944109046348063, 7768326730875185894807, 19252814175273852997757 – на периоде 61#
154787380396512840656507, 901985248981556228168767 – на периоде 67#

Кстати, недавно найденное г. Петуховым приближение к ключевой 17-ке с одной "дыркой"

3162682519118454967480933: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 198, 216, 234, 240]
3162682519118454967480933: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -6, 0, 0, 0]
3162682519118454967480933: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1]
valids=16
code=32763

находится на периоде 67# (в нулевом периоде).

Ну, чуть-чуть не сложилось.

А эти ключевые 17-ки
154787380396512840656507, 901985248981556228168767 – на периоде 67#
найдены тоже г. Петуховым.

Господа!
Пожалуйста, смотрите тему "Задача по арифметике"
https://mathhelpplanet.com/viewtopic.php?f=57&t=83390

tomtitsin(=gris) решил задачу с моей наименьшей добавкой, которая, конечно, не минимальная.

Вот что у него получилось

gp > 908936714649600*(-258406392900394343851+1006882292528806742267)\
(-46522746097+ 1922760350154212639070)
= 353823202753556

https://mathhelpplanet.com/viewtopic.php?p=484181#p484181

Итак, в интервале поиска
(258406392900394343851, 1006882292528806742267]
содержится примерно 353823202753556 добавок.
Все добавки, разумеется, различные.

Далее, tomtitsin(=gris) нашёл минимальную добавку по своей новой программе (раньше я эту программу не видела, gris мне её не присылал).
Минимальная добавка для паттерна ключевой 17-ки на периоде 59#, как утверждает tomtitsin(=gris), равна 6166247.
Поверим, что это так.
Я хотела удостовериться, но в программе не разобралась, мне не понятен алгоритм.

Ну, а теперь пересчитаем количество добавок в интервале поиска, вставив вместо моей наименьшей добавки минимальную добавку.
Количество должно уменьшиться.

Вольфрам-Альфа выдал результат

3.538232027449968493231469867738135479230313755295286040684318459566322122849376 10^14

Ну, не очень сильно количество добавок уменьшилось.
Округляем: 353823202744997.

Всё прекрасно!
В теме tomtitsin(=gris) опубликовал свою программу по моей просьбе.
Я эту программу выполнила и получила следующие добавки в порядке возрастания

+ 6166247
+ 9654017
+ 9999817
+ 14018377
+ 14212417
+ 15191003
+ 16000357
+ 20195717
+ 20329697
+ 24400463
+ 26422223
+ 31427483
+ 34063963
+ 38776957
+ 39269057
+ 41517017
+ 42706337
+ 50305643
+ 52697017
+ 53004493
+ 56186063
+ 60951263
+ 60985297
+ 62696567
+ 66064217
+ 69763367
+ 71367383
+ 72888203
+ 78514523
+ 78759053
+ 79609357
+ 81480787
+ 83959963
+ 88034033
+ 91470767
+ 93333613
+ 95553677
+ 97281557
+ 101985557
+ 103841957
+ 104539823
+ 106080193
+ 110053877
+ 111532963
+ 112333763
+ 113303563
+ 114698957
+ 118334303
+ 120219773
+ 123317413
+ 128814073
+ 130236193
+ 136346297
+ 138964213
+ 143046577
+ 144187717
+ 144955183
+ 148952477
+ 152408083
+ 152698087
+ 152878813
+ 153369043
+ 158094023
+ 164984207
+ 167477683
+ 168864083
+ 169559063
+ 171236893
+ 173618833
+ 175499543
+ 177558923
+ 180511873
+ 187047233
+ 187395427
+ 190842193
+ 191667563
+ 192363713
+ 192372007
+ 196500677
+ 197527157
+ 197596787
+ 199971313
+ 202428053
+ 202652383
+ 205289303
+ 205304927
+ 206176057
+ 208043663
+ 209457467
+ 209799523
111 formulae
time = 10min, 16,251 ms.

Всего 10 минут с хвостиком выполнялась программа.
Однако расширить список добавок мне не удалось, потому что не разобралась в программе.
Ничего не понимаю!
Что такое N, что такое k, что такое NN?

Ну да ладно.
Будем считать, что минимальную добавку tomtitsin(=gris) нашёл правильно.

PS. Обратите внимание: среди найденных добавок есть добавки, оканчивающиеся на 3, а не только на 7.
Проверьте, сколько добавок являются простыми числами.

А далее, господа, смотрите, пожалуйста, тему "Сгенерировать добавки в заданном интервале"
https://mathhelpplanet.com/viewtopic.php?f=48&t=83394

Ну, в этой теме вряд ли будут ответы.
разве что придёт автор программы.

Меня умилило:

"tomtitsin" wrote:

Ваши коллеги уже написали всё на асме и более эффективно.

https://mathhelpplanet.com/viewtopic.php?p=484194#p484194

Я ответила:

"Nataly-Mak" wrote:

Ваши коллеги уже написали всё на асме и более эффективно.

Это где-то опубликовано?
Г. Петухов написал это для личного использования.

Ну, ещё он предлагает принять участие в распределённых вычислениях.
Правда, пока я не видела желающих.

https://mathhelpplanet.com/viewtopic.php?p=484197#p484197

Да уж, давно знаю, что "мои коллеги" в лице г. Петухова ещё 9 лет назад всё написали прям жутко эффективно!
Только результата до сих пор нет.

Поиск или подтверждение первой ключевой 17-ки, найдено хорошее приближение с valids=13

620732138140051817707: [0, 6, 24, 60, 66, 90, 102, 106, 120, 126, 150, 156, 174, 204, 216, 234, 240]
valids=13
code=26879
number form=115289434028

Код, увы, не уникальный.
Но приближение в спектр добавила.

Ахиллес-3 как завис в пятницу, так до сих пор отдыхает.
Не знаю, когда Corporal увидит моё письмо, написанное в пятницу.

Ахиллес трудяга!
Он не отдыхает :)
Семь "бесконечных" программ прекрасно держит.

PS. Обратите внимание: добавка, давшая показанное приближение, 115289434028-ая.

Приближение к центральной 15-ке в показанном приближении содержится

620732138140051817713: [0, 18, 54, 60, 84, 96, 100, 114, 120, 144, 150, 168, 198, 210, 228]
620732138140051817713: [0, 0, 24, 0, 6, 12, -8, 0, 0, 0, 0, 0, 0, 0, 0]
620732138140051817713: [1, 1, 0, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1]
valids=11
code=5247

Код тоже не уникальный.

Смотрите:

всего добавок: 908936714649600;
добавок в интервале поиска: примерно 353823202744997;
сгенерировано добавок: более 115289434028 (из 908936714649600)

На приближения проверяются только добавки, находящиеся в интервале поиска и являющиеся простыми числами.
Таких добавок будет гораздо меньше 353823202744997.

Обязательно должна быть добавка 1006882292528806742267.
Ау! Где ты?! :)

К сожалению, приходится генерировать все добавки, никак не могу решить задачу упорядочения добавок.

Репост
https://mathhelpplanet.com/viewtopic.php?p=484222#p484222

"Nataly-Mak" wrote:

Я попробовала :)
Мне удалось сгенерировать и записать в файл 100000 добавок из заданного интервала и являющихся простыми числами.
И даже отсортировала добавки в файле.
Показываю частично эти добавки

[spoiler=добавки][code-color][258407883751388530987, 258410196964993423177, 258414426582938846047, 258431359770372428467, 258453272536790240737, 258457814524241101597, 258458639166733605427, 258458957277534052867, 258460799000420886697, 258475875749315744347, 258481961805799891987, 258482007055949806957, 258489011169042263437, 258490574421608348647, 258491339098299046567, 258501208206838366597, 258504673148093091547, 258513595016518301287, 258530036140113737827, 258541806937341697597, 258564544346252013697, 258575106814715000137, 258584313345626658217, 258584375977446458767, 258589250791349658007, 258592025286496691617, 258594904997595446107, 258599884576579675957, 258605265922174931587, 258606993905623853317, 258611988200259974107, 258616817764013258377, 258624179496761067817, 258627163972940852917, 258647880212429607727, 258653997051209759827,
. . . . . . . .
1006470475347556258867, 1006476700068306126487, 1006489940703984366457, 1006499093299798878607, 1006520897936448994927, 1006522461189015080137, 1006534411432777767367, 1006545690413965561687, 1006552023264483125257, 1006598500897916886787, 1006610652685563074977, 1006614702856973770387, 1006618839060803388247, 1006628048257733040967, 1006630882718681880487, 1006655481034011828847, 1006656353840470222717, 1006659983512607784187, 1006676583873589028227, 1006678053712039308427, 1006692425299174583797, 1006708425714347966437, 1006737253647623337667, 1006739761023414848257, 1006781067829493736607, 1006781832506184434527, 1006784544121713687157, 1006797565802002294147, 1006805860307010303367, 1006820615580418048237, 1006823528739830801827, 1006824035271522858217, 1006824680467480634587, 1006827500212777583167, 1006848741716620502527, 1006857107538395543257, 1006859600198535162907, 1006865884885086836437, 1006877655682314796207, 1006880475427611744787][/code-color][/spoiler]

Чудесно!
Теперь надо придумать продолжение этого замечательного начала.

tomtitsin
подключайтесь! ;)

Проверила полученные добавки на приближения.

Всего две добавки из 100000 дали приближения!

283237090997867446267: [0, 6, 22, 60, 64, 66, 76, 120, 136, 156, 174, 202, 204, 214, 216, 234, 240]
283237090997867446267: [0, 0, -2, 24, -2, -18, -14, 6, 16, 30, 24, 46, 30, 10, 0, 0, 0]
283237090997867446267: [1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1]
valids=5
code=16387

755955541886597232007: [0, 6, 36, 46, 70, 84, 102, 120, 136, 142, 150, 154, 190, 196, 210, 216, 240]
755955541886597232007: [0, 0, 12, 10, 4, 0, 12, 6, 16, 16, 0, -2, 16, -8, -6, -18, 0]
755955541886597232007: [1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1]
valids=5
code=17440

Вот оно как.

Цель абсолютно понятна: я хочу увидеть в файле добавок эту добавку
1006882292528806742267.
Эта добавка даёт первую известную ключевую 17-ку.

Играюсь с циклами в этой программе gris

\l res_formulae_59.txt;
default(parisizemax,10^14);
{
\\enter pattern
pt=[0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234,  240];
\\ end

pl=#pt; 
print(pt);
print(pl);

r3=[]; r5=[]; r7=[]; r11=[]; r13=[];
r17=[]; r19=[]; r23=[]; r29=[]; r31=[]; r37=[]; r41=[]; r43=[]; r47=[]; r53=[]; r59=[]; 

for( r=1,2,  for( i=1,pl, if( (r+pt[i])%3==0,  next(2))); 
  r3 =concat(r3,r)  );print(" 3: ",r3);
for( r=1,4,  for( i=1,pl, if( (r+pt[i])%5==0,  next(2)) ); 
  r5 =concat(r5,r)  );print(" 5: ",r5);
for( r=1,6,  for( i=1,pl, if( (r+pt[i])%7==0,  next(2)) ); 
  r7 =concat(r7,r)  );print(" 7: ",r7);
for( r=1,10, for( i=1,pl, if( (r+pt[i])%11==0, next(2)) ); 
  r11=concat(r11,r) );print("11: ",r11);
for( r=1,12, for( i=1,pl, if( (r+pt[i])%13==0, next(2)) );
  r13=concat(r13,r) );print("13: ",r13);
for( r=1,16, for( i=1,pl, if( (r+pt[i])%17==0, next(2)) ); 
  r17=concat(r17,r) );print("17: ",r17);
for( r=1,18, for( i=1,pl, if( (r+pt[i])%19==0, next(2)) );
  r19=concat(r19,r) );print("19: ",r19);
for( r=1,22, for( i=1,pl, if( (r+pt[i])%23==0, next(2)) );
  r23=concat(r23,r) );print("23: ",r23);
for( r=1,28, for( i=1,pl, if( (r+pt[i])%29==0, next(2)) );
  r29=concat(r29,r) );print("29: ",r29);
for( r=1,30, for( i=1,pl, if( (r+pt[i])%31==0, next(2)) );
  r31=concat(r31,r) );print("31: ",r31);
for( r=1,36, for( i=1,pl, if( (r+pt[i])%37==0, next(2)) );
  r37=concat(r37,r) );print("37: ",r37);
for( r=1,40, for( i=1,pl, if( (r+pt[i])%41==0, next(2)) );
  r41=concat(r41,r) );print("41: ",r41);
for( r=1,42, for( i=1,pl, if( (r+pt[i])%43==0, next(2)) );
  r43=concat(r43,r) );print("43: ",r43);
for( r=1,46, for( i=1,pl, if( (r+pt[i])%47==0, next(2)) );
  r47=concat(r47,r) );print("47: ",r47);
for( r=1,52, for( i=1,pl, if( (r+pt[i])%53==0, next(2)) );
  r53=concat(r53,r) );print("53: ",r53);
for( r=1,58, for( i=1,pl, if( (r+pt[i])%59==0, next(2)) );
  r59=concat(r59,r) );print("59: ",r59);

  lr3=#r3;
lr5=#r5;
lr7=#r7;
lr11=#r11;
lr13=#r13;
lr17=#r17;
lr19=#r19;
lr23=#r23;
lr29=#r29;
lr31=#r31; 
lr37=#r37; 
lr41=#r41; 
lr43=#r43;
lr47=#r47; 
lr53=#r53;
lr59=#r59;
 
lf=lr3*lr5*lr7*lr11*lr13*lr17*lr19*lr23*lr29*lr31*lr37*lr41*lr43*lr47*lr53*lr59;
print(lf," formulae expected");

formres=vector(7000); 
k=0; q=0;

for ( i3=1,lr3, j3=r3[i3];
 for ( i5=1,lr5, j5= r5[i5];
  for ( i7=1,lr7, j7= r7[i7];
   for ( i11=1,lr11, j11= r11[i11];
    for ( i13=1,lr13, j13= r13[i13];
     for ( i17=1,lr17, j17= r17[i17];
      for ( i19=1,lr19, j19= r19[i19];
       for ( i23=1,lr23, j23= r23[i23];
        for ( i29=1,lr29, j29= r29[i29];
         for ( i31=1,lr31, j31= r31[i31];
          for ( i37=1,lr37, j37= r37[i37];
           for ( i41=1,2, j41= r41[i41];
            for ( i43=1,2, j43= r43[i43];
             for ( i47=1,2, j47= r47[i47];
              for ( i53=1,2, j53= r53[i53];
               for ( i59=1,20, j59= r59[i59];
       k++;
       form=lift(chinese( 
       [Mod(1,2), Mod(j3,3), Mod(j5,5), Mod(j7,7),
        Mod(j11,11), Mod(j13,13), Mod(j17,17), Mod(j19,19),
        Mod(j23,23), Mod(j29,29), Mod(j31,31), Mod(j37,37),
        Mod(j41,41),Mod(j43,43),Mod(j47,47),Mod(j53,53),Mod(j59,59)   ]  ));
        if(form<=1006882292528806742267 && form>1000000000000000000000, 
        if(ispseudoprime(form), q++; formres[q]=form; 
        if(q==7000,
        formres=vecsort(formres);
        print(formres);
        print();

        );););
        
        )) ))) ))) ))))))));
}

Я её немножко модифицировала.
Очень интересно!
Зажимаю интервал поиска:

if(form<=1006882292528806742267 && form>1000000000000000000000,

Пока не удалось увидеть желанную добавку.
Это наибольшая из сгенерированных добавок на данный момент: 1006881991349792577847.
Близко!
Однако добиться, чтобы была сгенерирована та самая добавка 1006882292528806742267, очено сложно.
Можно ещё поиграть с циклами.
Но играть методом тыка можно до бесконечности.
Механизм формирования добавок не вполне понятен.

Вот смотрите, это из показанной выше программы:

form=lift(chinese( 
       [Mod(1,2), Mod(j3,3), Mod(j5,5), Mod(j7,7),
        Mod(j11,11), Mod(j13,13), Mod(j17,17), Mod(j19,19),
        Mod(j23,23), Mod(j29,29), Mod(j31,31), Mod(j37,37),
        Mod(j41,41),Mod(j43,43),Mod(j47,47),Mod(j53,53),Mod(j59,59)   ]  ));

Вполне понятный оператор формирует добавку.

Мы точно знаем множество всех значений, которые принимают j3, j5, j7, ..., j59;
это остатки по модулям 3, 5, 7, ..., 59 соответственно.

Но можем ли мы определить, при каких значениях остатков form=1006882292528806742267 ??

Вот в чём вопрос!

Покажу одну из порций сгенерированных добавок частично

[1000000660911743170507, 1000000762652480258497, 1000005528158860002607, 1000005835985923016077, 1000006969556411726737, 1000007384321335850287, 1000008062264677906267, 1000008893359676810437, 1000009113323454894487, 1000009503617487002467, 1000010032357055799907, 1000010290594599183727, 1000010939758253953357, 1000011621317913053677, 1000012250078619097147, 1000012290023426569717, 1000012475239521203287, 1000012599340323168427, 1000013425238198050507, 1000013636581308749227, 1000013973669504183217, 1000015424667025436497, 1000015605634723747897, 1000016570550553846117, 1000019479352613659767, 1000020120034393908277, 1000020187102764617617, 1000020291432697134427, 1000021430911521258067, 1000022856850813845877, 
. . . . . . . . . 
1006828771516770181807, 1006829264153044211707, 1006829711313972665947, 1006829739085271501227, 1006830999515124913957, 1006831138848990354727, 1006831477656785630677, 1006832522747566454767, 1006833768351240009007, 1006833920539251034057, 1006836140880584204017, 1006839082759285295347, 1006841410794433594207, 1006842795731972589217, 1006842958196775049177, 1006844399519009701477, 1006848060249506144497, 1006850007560017420627, 1006852009641516027817, 1006853061724337787787, 1006854963693725756437, 1006855058533395301057, 1006855578185014147417, 1006858719263891744077, 1006858833163219346137, 1006860882090592969267, 1006861836804948704407, 1006861871477315083057, 1006862811274517567197, 1006863329281853643427, 1006866163621188790747, 1006866512882892862027, 1006866728522957552077, 1006867130026852474207, 1006868020340426844427, 1006868357428622278417, 1006869707693794894777, 1006869965931338278597, 1006870602240847463947, 1006871445708546818227, 1006871939308466671267, 1006872233799183411487, 1006872752969357123677, 1006873021815258487717, 1006873373729633780197, 1006873734355649850517, 1006873797051749496697, 1006875418408611081157, 1006876740650050429987, 1006877271511532090497, 1006878797502536368237, 1006879698002666978317, 1006879826803491510697, 1006881775709727887797, 1006881991349792577847]

Здесь как раз наибольшая добавка, которую мне удалось сгенерировать.
Как видите, добавки у меня в файле сортируются.

Подтвердить бы первую известную ключевую 17-ку, можно бы останавливать этот поиск.
Даже если Врублевский пропустил минимальную ключевую 17-ку, для глобальной задачи поиска 19-ки с минимальным диаметром эта пропущенная ключевая 17-ка ничего не даст.
Потому что, если верить г. Петухову, до 1е24 19-ки с минимальным диаметром нет.

Читайте скорее :)))
https://mathhelpplanet.com/viewtopic.php?p=484235#p484235

tomtitsin (=gris) уже нашёл те самые остатки, которые дают самую желанную добавку.
ВотЪ.

Я только что спросила, а у него уже ответ готов :)

ДА!

Вот он оператор формирования добавки

form=lift(chinese( 
       [Mod(1,2), Mod(2,3), Mod(2,5), Mod(2,7),
        Mod(10,11), Mod(11,13), Mod(7,17), Mod(8,19),
        Mod(7,23), Mod(8,29), Mod(11,31), Mod(9,37),
        Mod(18,41),Mod(38,43),Mod(44,47),Mod(35,53),Mod(25,59)   ]  ));

И получаем добавку
1006882292528806742267.

Всё, первая ключевая 17-ка Врублевского подтверждена!

Скопирую сообщение gris

(16:15) gp > primes(17)
(16:15) gp > vector(17,i,1006882292528806742267%primes(17)[i])
%2 = [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59]
%3 = [1, 2, 2, 2, 10, 11, 7, 8, 7, 8, 11, 9, 18, 38, 44, 35, 25]
Напомню, если кто не в теме, что по заданному числу можно найти еду для КТО: просто посчитать остатки по простым числам с помощью п % р

Цитата

А эти ключевые 17-ки
154787380396512840656507, 901985248981556228168767 – на периоде 67#
найдены тоже г. Петуховым.

Эти ключевые 17-ки попробую точно так же подтвердить.

Вот для первой ключевой 17-ки получилось так:

(18:22) gp > primes(19); vector(19,i,154787380396512840656507%primes(19)[i])
%29 = [1, 2, 2, 2, 3, 9, 7, 18, 9, 20, 15, 14, 4, 4, 46, 50, 19, 20, 35]
(18:24) gp > primes(19)
%30 = [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67]

А это для второй ключевой 17-ки

(18:25) gp > vector(19,i,901985248981556228168767%primes(19)[i])
%31 = [1, 1, 2, 3, 10, 9, 8, 18, 16, 9, 21, 24, 21, 21, 7, 24, 40, 12, 7]

Можно сделать проверку с помощью оператора формирования добавки.

Трудяга Ахиллес нашёл в поиске или подтверждении первой ключевой 17-ки новое приближение с уникальны кодом

752369513077016414407: [0, 6, 10, 36, 66, 72, 90, 114, 120, 136, 150, 172, 174, 204, 216, 234, 240]
valids=13
code=23471
number form=118809331966

Отлично!
Добавила приближение в спектр, теперь с спектре стало 27806 уникальных элементов.

Добавка, давшая это приближение, 118809331966-ая.

В приближении содержится приближение к центральной 15-ке.
Сейчас проверю это приближение на уникальность кода.

Нет, у приближения к центральной 15-ке код не уникальный.

Цитата

Подтвердить бы первую известную ключевую 17-ку, можно бы останавливать этот поиск.
Даже если Врублевский пропустил минимальную ключевую 17-ку, для глобальной задачи поиска 19-ки с минимальным диаметром эта пропущенная ключевая 17-ка ничего не даст.
Потому что, если верить г. Петухову, до 1е24 19-ки с минимальным диаметром нет.

Первая известная ключевая 17-ка подтверждена!
Спасибо gris.

Этот поиск можно останавливать.
Думаю, какой поиск поставить в этот поток.

А знаете ли вы, какой номер у этой добавочки
1006882292528806742267
???

gris определил :)

Смотрите
https://mathhelpplanet.com/viewtopic.php?p=484260#p484260

form= 1006882292528806742267
prs: [  2,  3,  5,  7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59]
frs: [  1,  2,  2,  2, 10, 11,  7,  8,  7,  8, 11,  9, 18, 38, 44, 35, 25]
prm: [  1,  2,  1,  1,  2,  2,  2,  5,  3,  5,  3,  6,  8, 25, 28, 25, 19]
form number is 550587669117211

Эта добавочка 550587669117211-ая из общего количества добавок 908936714649600 !

Программку gris опубликовал для определения номера добавки (в этом сообщении).