И получили наглядный пример пропущенного приближения в конце списка найденных приближений в первой части; приближения пропускает жадный алгоритм (третья тактика).

Вот окончание списка

. . . . . . . . .
7858321730903934280284227
7858321734835554356139853
7858321734880411396227167
7858321735282443308653597
7858321736035897018872367
7858321736261145527458013
7858321737404062445431283
7858321741614192559390613
7858321742956224552617993
7858321743732139373444123
7858321745668802219307037
7858321745830699778835287
7858321757896124538333683
7858321758002096324493377
7858321758174219019151137
7858321788717711669742057
7858321789596682473254573
7858321803809873101194877
7858321804529363330194573
7858321907498923694898283
7858321937472094675537037
7858322030069027219888573
7858322030102560276005833
7858322100876645595445467
7858322100924072656528323
7858322175263770048208197

Найденного сейчас приближения

7858321776216237384412727: [0,6,24,60,66,92,102,116,120,126,150,170,174,176,216,234,240]
valids=11

тут нет.
Это приближение найдено во второй тактике.

Созрела в голове четвёртая тактика.

Вчера написала первую версию программы.
Это было плохо.
Сейчас модифицировала первую версию.
Это лучше.
Тестирует, как всегда, черепашка.
Она у меня великий тестер :)
Все мои программы сначала тестирует черепашка, а потом уже я запускаю их на Ахиллесах.

Наблюдаю за результатами тестирования.

Мой не BOINC-проект развивается!
Вот уже четвёртая тактика.
Только ключевая 17-ка пока ни одна не найдена :(

Ну, тут я не виновата, нету их, не встречаются.
Хорошо, если одна-две есть на весь громадный диапазон.
Но в таком диапазоне напасть на них крайне трудно.

Эх, если бы была техника!

Итак, четвёртая тактика поехала на Ахиллесе-3 (один поток).

Решила я попытать первую (начальную) десятую часть проверяемого мной диапазона случайным поиском.

Оператор выбора случайного периода из всех периодов первой части
random([1058967664281, 8471741139360])
подсказал tomtitsin (=gris) на форуме МНР.

Ну, а дальше всё понятно.

Вывод приближений сделала пока для valids>6, чтобы посмотреть, что будет найдено.

Вот пока лучшее найденное приближение

51020874020949667822451137: [0, 16, 24, 60, 66, 76, 90, 102, 120, 126, 154, 156, 172, 174, 196, 204, 240]
valids=8

Хороша программа в этой тактике!
Ничего не надо изменять для нового прохода.
Всё время запускаем одну и ту же программу.
Очень удобно!
Никакой мороки с заданиями.

Тут как раз и бросаем кубик, то есть тычем случайно в его грани, в какую попадём.

PS. От случайно выбранного периода я проверяю 100 периодов.
Можно увеличить это количество, но время проверки тоже будет увеличиваться.
Если бы иметь более производительную технику.
Увы, нету :(

Программа случайного поиска на Ахиллесе-3 ещё работает.

Вот консоль

break[3]> \r spt71_rand.txt
   logfile = "spt71_rand_res.txt"
51020874021289804836384007: [0, 22, 24, 36, 42, 64, 90, 112, 120, 150, 190, 196, 210, 214, 216, 226, 240]
valids=7
51020874021541430874337297: [0, 22, 24, 36, 66, 90, 100, 126, 142, 150, 156, 174, 192, 196, 216, 234, 240]
valids=7
51020874020949667822451137: [0, 16, 24, 60, 66, 76, 90, 102, 120, 126, 154, 156, 172, 174, 196, 204, 240]
valids=8
51020874020960162648827717: [0, 6, 24, 30, 52, 64, 70, 90, 120, 126, 156, 160, 192, 202, 216, 234, 240]
valids=8
51020874020916960454840087: [0, 12, 22, 36, 42, 76, 90, 94, 114, 120, 154, 190, 196, 204, 216, 234, 240]
valids=7
51020874021441993556839493: [0, 34, 40, 64, 70, 84, 100, 114, 120, 126, 150, 166, 168, 190, 198, 216, 240]
valids=7
51020874021138282887926127: [0, 20, 42, 44, 50, 72, 90, 102, 122, 146, 150, 156, 174, 204, 230, 234, 240]
valids=8
51020874021161026985176547: [0, 6, 14, 24, 32, 66, 102, 116, 120, 146, 150, 156, 176, 200, 224, 234, 240]
valids=7
51020874020848879893433907: [0, 14, 32, 36, 42, 66, 74, 90, 114, 126, 140, 156, 174, 186, 216, 224, 240]
valids=7
51020874021552402231850127: [0, 2, 14, 36, 42, 66, 90, 114, 122, 126, 146, 156, 170, 180, 182, 236, 240]
valids=7

Ахиллес-3 медленный компьютер, Ахиллес намного быстрее.

Одно из приближений проверила своей утилитой

51020874020949667822451137: [0, 16, 24, 60, 66, 76, 90, 102, 120, 126, 154, 156, 172, 174, 196, 204, 240]
51020874020949667822451137: [0, 10, 0, 24, 0, -8, 0, -12, 0, 0, 4, 0, -2, -30, -20, -30, 0]
51020874020949667822451137: [1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 0, 1, 0, 0, 0, 0, 1]
valids=8
code=10960

Это реальный кортеж-приближение

51020874020949667822451137, 51020874020949667822451153, 510208740209496678224511
61, 51020874020949667822451197, 51020874020949667822451203, 51020874020949667822
451213, 51020874020949667822451227, 51020874020949667822451239, 5102087402094966
7822451257, 51020874020949667822451263, 51020874020949667822451291, 510208740209
49667822451293, 51020874020949667822451309, 51020874020949667822451311, 51020874
020949667822451333, 51020874020949667822451341, 51020874020949667822451377

Всё верно.

Итак, программа работает.
Надо сделать аналогичные программы на остальные 9 частей.
Изменить только номера периодов, из которых делается случайный выбор номера периода.
То есть всего одну строку в программе
np1=random([1058967664281, 8471741139360]);

Пока идут приближения с низким valids.
Но ничто не мешает зацепить рыбку покрупнее, даже и полную ключевую 17-ку.

Нужна массовость.
Пожалуйста, подключайтесь, господа!
Нужен всего Windows 64-bit.
Можете хоть одну программу запустить (один поток), и то будет помощь.

Программу я скоро выложу .

Смотрите тему "Распределённые вычисления, не требующие координации"
https://boinc.progger.info/odlk/forum_thread.php?id=303

А вот с valids=9 нашлось приближение к ключевой 17-ке

51020874021094916987468093: [0, 44, 48, 66, 90, 104, 114, 116, 120, 126, 150, 156, 174, 200, 216, 234, 240]
valids=9

Отлично!
Шансы, безусловно, есть.

PS. Это всё ещё продолжает работать первый проход программы случайного поиска на Ахиллесе-3.

На черепашке запустила тестировать вторую программу - случайный поиск во второй части диапазона.

Показываю консоль

(07:49) gp > \r spt71_rand2.txt
   logfile = "spt71_rand2_res.txt"
109866156378426094905948517: [0, 6, 24, 46, 76, 90, 94, 102, 120, 142, 174, 192, 196, 204, 216, 234, 240]
valids=8

Черепашка тестирует случайный поиск в третьей части

(08:29) gp > \r spt71_rand3.txt
   logfile = "spt71_rand3_res.txt"
144616285244447705066772067: [0, 4, 6, 34, 46, 76, 90, 114, 120, 126, 150, 156,190, 216, 232, 234, 240]
valids=9

Пока всё отлично.

Урожайный проход во второй тактике

62866572574636926155440313: [0,14,20,36,66,84,86,114,120,126,168,176,194,204,206,234,240]
valids=10

447924328474594784760988127: [0,20,24,36,66,84,90,110,120,126,150,180,182,194,234,236,240]
valids=10

227891325118001640411865937: [0,6,14,20,66,84,90,92,120,134,150,156,164,192,222,234,240]
valids=10

282899575960914079791790253: [0,8,14,36,66,84,90,114,126,140,150,156,174,216,218,230,240]
valids=10

172883074290044259345415753: [0,6,28,40,66,84,90,100,120,138,148,156,174,190,196,234,240]
valids=10

447924328519088400670426123: [0,6,24,36,66,84,94,114,126,138,150,178,196,204,208,226,240]
valids=10

502932579361929104576746777: [0,6,24,52,76,84,112,114,120,126,150,156,174,214,216,234,240]
valids=13

172883074319681977796060603: [0,6,26,36,66,84,90,110,114,126,150,168,174,194,204,218,240]
valids=10

Сейчас проверю на уникальные коды.

Уникальных кодов нет.

Урожайный проход во второй тактике

62866572574636926155440313: [0,14,20,36,66,84,86,114,120,126,168,176,194,204,206,234,240]
valids=10

447924328474594784760988127: [0,20,24,36,66,84,90,110,120,126,150,180,182,194,234,236,240]
valids=10

227891325118001640411865937: [0,6,14,20,66,84,90,92,120,134,150,156,164,192,222,234,240]
valids=10

282899575960914079791790253: [0,8,14,36,66,84,90,114,126,140,150,156,174,216,218,230,240]
valids=10

172883074290044259345415753: [0,6,28,40,66,84,90,100,120,138,148,156,174,190,196,234,240]
valids=10

447924328519088400670426123: [0,6,24,36,66,84,94,114,126,138,150,178,196,204,208,226,240]
valids=10

502932579361929104576746777: [0,6,24,52,76,84,112,114,120,126,150,156,174,214,216,234,240]
valids=13

172883074319681977796060603: [0,6,26,36,66,84,90,110,114,126,150,168,174,194,204,218,240]
valids=10

Сейчас проверю на уникальные коды.

Уникальных кодов нет.

Why is everything in Russian and does not have any English translations?

Why is everything in Russian and does not have any English translations?

Translation is available here





It's that simple!

Случайный поиск продолжается, пока один поток, в первой части.

Вот найдено приближение к ключевой 17-ке с valids=10

40389904380037749131709487: [0, 6, 24, 36, 46, 84, 90, 106, 120, 142, 172, 174, 184, 204, 216, 220, 240]
valids=10

Замечательно!
Мне всё больше нравится эта тактика.

Я делаю программы случайного поиска на все 10 частей.
Сегодня должна закончить.

И ещё одно приближение с valids=10

40389904379703600558972523: [0, 6, 24, 36, 66, 70, 90, 108, 120, 126, 136, 138, 178, 204, 226, 238, 240]
valids=10

Чудесно!

Всё, вывод делаю в программах для valids>9, как и во всех других тактиках.

Всё готово, господа!

Ссылка на архив с программами, на Яндекс.Диске, 3,34 МБ
https://disk.yandex.ru/d/DSubEVrW3HIrsg

В архиве вы найдёте программу gp.exe, которая запускает программную оболочку PARI/GP.
И ещё 10 рабочих программ с именами

spt71_rand1.txt
spt71_rand2.txt
spt71_rand3.txt
. . . . . . .
spt71_rand10.txt

Рабочая программа запускается с помощью командной строки
gp.exe spt71_rand1.txt

Программы работают в ОС Windows 64bit.

Как я уже писала, вы можете запускать любую из этих программ, а также несколько копий программы, если у вас многоядерный процессор, не загруженный полностью другими программами.
Если вы выбрали одну из программ, например, spt71_rand1.txt, и хотите запустить несколько копий этой программы, это надо сделать в разных папках.
Эта программа использует для записи результатов файл с именем spt71_rand1_res.txt.
Каждая копия этой программы будет использовать файл с таким именем, поэтому их нельзя запускать в одной папке.

При многократном запуске программы результаты будут накапливаться в выходном файле.

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

Если программа будет принудительно прервана (например, отключение электричества), просто запустите заново программу, ничего не изменяя.

Окно консоли открыто во всё время работы программы и не закрывается по завершении программы.
Все результаты вы можете видеть в консоли.
Результаты выводятся в таком формате

40389904380037749131709487: [0, 6, 24, 36, 46, 84, 90, 106, 120, 142, 172, 174, 184, 204, 216, 220, 240]
valids=10
40389904379703600558972523: [0, 6, 24, 36, 66, 70, 90, 108, 120, 126, 136, 138, 178, 204, 226, 238, 240]
valids=10

Если увидите решение с valids=17, высылайте немедленно мне.

Кажется, все инструкции написаны.
Есть вопросы?
Пожалуйста, задавайте вопросы здесь, или в ЛС, или в почте
natalimak1@yandex.ru

Требуется большая массовость вычислений!
Запустите как можно больше копий программ, насколько это возможно для вас.
Очень надеюсь на вашу поддержку.
Это очень удобные программы!
Они не требуют много памяти, им не страшно прерывание, их не надо изменять для каждого нового запуска.

Забыла сказать про время.

Рабочая программа работает примерно сутки на очень медленном компьютере (который использую я).
Если вы хотите, чтобы программа работала дольше (чтобы реже перезапускать), напишите мне, я скажу, как это сделать.
Надо изменить всего одну строку в рабочей программе.

PS. Вот точное время работы программы

? \r spt71_rand2.txt
   logfile = "spt71_rand2_res.txt"
time = 25h, 36min, 12,829 ms.

Напомню, что есть ещё одна тактика - поиск в нулевом периоде на периоде 71#.

Эта тактика немного работала (до открытия не BOINC-проекта), потом была остановлена.
Для этой тактики gris придумал алгоритм разделения на отдельные группы проверки.

Опубликую программу для этой тактики. чтобы не забыть совсем о ней

default(parisizemax,10^9);
default(timer,1);
\l spt71_0period_res.txt;

{
\\enter pattern
pt=[0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234,  240];

w=71;

fs=7858321551080267055879090;
\\fe=557940830126698960967415390;

np1=0; print(np1," from number");
np2=0; print(np2," to   number");
central=3;

\\ end of data

pl=#pt; 
nw=primepi(w);
printf("%d \n",pt);
print("patterns length ",pl);
prs=primes(nw);
period=vecprod(prs);
print(period," period");
vp=vector(np2-np1+1, i, period*(np1-1+i)); lvp=#vp;
printf("search in %d (%.1E) - %d (%.1E)\n",
        vp[1],vp[1],vp[lvp]+period,vp[lvp]+period);
cp=vector(central,i,pt[pl\2-central\2+i]);
printf("central %d: %d\n", central,cp);
printf("prove by %d#: ",prs[nw]);print(prs); 

vmy=vector(40); pat1=vector(17); pat2=vector(17);

lpr=1;
wd=vector(nw);

for( ip=1,nw, 
  rip=[];
  for( r=1,prs[ip]-1,  
    for( i=1,pl, if( (r+pt[i])%prs[ip]==0,  next(2))); 
  rip =concat(rip,r)  );
  if( prs[ip]==67, rip=[12]);
  lpr=lpr*#rip;
  wd[ip]=rip;
); \\for ip
print(lpr," formulae expected");

k=0;
forvec(v=vector(#wd,i,[1,#wd[i]]), k++; 
  form=lift(chinese(  vector( #wd,j,Mod( wd[j][v[j]], prs[j]) )  ));
  
  \\ начало проверки кортежа
  if (form<fs, next);
  foreach(vp,bpp, 
    bpt=form+bpp; 
  
    if(ispseudoprime(bpt) && ispseudoprime(bpt+240),
      l=0; 
      forprime(p=bpt,bpt+240, l++; vmy[l]=p;  );
      if(l==17, 
      for(m=2,17, pat1[m]=vmy[m]-vmy[1]; );
      pat2=vector(17,i,(pat1[i]==pt[i]));
      vlds=vecsum(pat2);
      if(vlds>9,
      print(vmy[1],": ",pat1);  print("valids=",vlds); print("number form=",k); print ();         
      );\\if vlds>8
       ); \\ if l==17
        );\\ if ispseudoprime
         );\\ foreach
   \\ конец проверки кортежа

);\\ forvec
}

Если запустить эту программу, она будет выполняться о-ч-е-н-ь долго, практически бесконечно.
Вот поэтому и нужен алгоритм разделения.

Покажу некоторые результаты, найденные в этой тактике

274132182522172355738182213: [0, 6, 58, 64, 66, 78, 100, 114, 120, 126, 150, 166, 168, 178, 216, 234, 240]
valids=10
number form=1270256375

50143592468668479037536667: [0, 6, 24, 36, 72, 94, 100, 112, 120, 126, 142, 154, 190, 204, 232, 234, 240]
valids=9
number form=425464438

139660594956131871547987603: [0, 16, 24, 36, 64, 90, 100, 114, 120, 124, 126, 138, 174, 204, 216, 226, 240]
valids=9
number form=1191568059

166423519476350958300923117: [0, 14, 36, 62, 66, 84, 86, 104, 120, 144, 150, 176, 192, 204, 216, 234, 240]
valids=9
number form=1672825776

91596083148583601594558093: [0, 36, 38, 48, 66, 80, 90, 114, 120, 126, 150, 170, 194, 198, 216, 236, 240]
valids=9
number form=2750716012

24082738480644458243158357: [0, 6, 24, 36, 46, 76, 90, 114, 136, 142, 150, 154, 192, 204, 216, 234, 240]
24082738480644458243158357: [0, 0, 0, 0, -20, -8, 0, 0, 16, 16, 0, -2, 18, 0, 0, 0, 0]
24082738480644458243158357: [1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 1, 0, 0, 1, 1, 1, 1]
valids=11
code=29479

46135746499941547733774317: [0, 6, 24, 36, 66, 70, 100, 106, 120, 142, 154, 172, 190, 204, 216, 234, 240]
46135746499941547733774317: [0, 0, 0, 0, 0, -14, 10, -8, 0, 16, 4, 16, 16, 0, 0, 0, 0]
46135746499941547733774317: [1, 1, 1, 1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=30855

36842843572818141083845447: [0, 16, 24, 46, 76, 84, 90, 114, 120, 126, 142, 156, 174, 214, 216, 234, 240]
36842843572818141083845447: [0, 10, 0, 10, 10, 0, 0, 0, 0, 0, -8, 0, 0, 10, 0, 0, 0]
36842843572818141083845447: [1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1]
valids=12
code=10203

46386699702257860275119617: [0, 6, 10, 36, 66, 70, 100, 102, 114, 126, 142, 150, 172, 204, 216, 234, 240]
46386699702257860275119617: [0, 0, -14, 0, 0, -14, 10, -12, -6, 0, -8, -6, -2, 0, 0, 0, 0]
46386699702257860275119617: [1, 1, 0, 1, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1, 1, 1]
valids=9
code=22599

20627886755364799730219227: [0, 10, 16, 64, 66, 84, 100, 106, 120, 126, 150, 154, 174, 190, 210, 234, 240]
20627886755364799730219227: [0, 4, -8, 28, 0, 0, 10, -8, 0, 0, 0, -2, 0, -14, -6, 0, 0]
20627886755364799730219227: [1, 0, 0, 0, 1, 1, 0, 0, 1, 1, 1, 0, 1, 0, 0, 1, 1]
valids=9
code=3305

20685270755600610765906127: [0, 10, 24, 36, 46, 64, 90, 114, 120, 150, 154, 156, 174, 204, 214, 216, 240]
20685270755600610765906127: [0, 4, 0, 0, -20, -20, 0, 0, 0, 24, 4, 0, 0, 0, -2, -18, 0]
20685270755600610765906127: [1, 0, 1, 1, 0, 0, 1, 1, 1, 0, 0, 1, 1, 1, 0, 0, 1]
valids=10
code=13212

24082738480644458243158357: [0, 6, 24, 36, 46, 76, 90, 114, 136, 142, 150, 154, 192, 204, 216, 234, 240]
24082738480644458243158357: [0, 0, 0, 0, -20, -8, 0, 0, 16, 16, 0, -2, 18, 0, 0, 0, 0]
24082738480644458243158357: [1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 1, 0, 0, 1, 1, 1, 1]
valids=11
code=29479

36842843572818141083845447: [0, 16, 24, 46, 76, 84, 90, 114, 120, 126, 142, 156, 174, 214, 216, 234, 240]
36842843572818141083845447: [0, 10, 0, 10, 10, 0, 0, 0, 0, 0, -8, 0, 0, 10, 0, 0, 0]
36842843572818141083845447: [1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1]
valids=12
code=10203

Весьма интересные результаты!
Надо их собрать все и отсортировать по возрастанию, будет видно их распределение по 10 частям диапазона.
Здесь поиск ведётся сразу по всему диапазону - то там, то тут; так генерируются добавки.

Ой, результатов этой тактики очень много!
Долго я её крутила, наверное, когда gris придумал алгоритм разделения.

Покажу пока предварительные результаты, которые собрала.
Они отсортированы по возрастанию и распределены по 10 частям диапазона

первая часть
10020662668296216461238647
13316930557203958609089707
20627886755364799730219227
20685270755600610765906127
24082738480644458243158357
25272748939226882690901523
35562136878189451207599463
36842843572818141083845447
37290947857664552657249863
46135746499941547733774317
46386699702257860275119617
50143592468668479037536667
50267526301357333823303837
54978468760780715272832797
61732669077562169149663133
вторая часть
71421555355958772202317907
91596083148583601594558093
99317587528149225434108737
112665744858873094556231497
116567970695547059664839537
третья часть
135009419735122230639871357
139660594956131871547987603
146981447244362578233375817
148341635596033616239967137
155678187456880397100121703
166423519476350958300923117
166806088103619581040623587
167598038900120648618588617
четвёртая часть
182465728202860158978135587
182934366081884938629072337
190351010949259125880028333
190773071814433109892356293
191955810586294523017579703
193634349792553842670868303
198519448541072995892854517
202661168551480440730748647
204025737756137273005173517
208087936392052464256568887
212422900179158127290561557
212453490454173478878237697
217678283218489942400083073
219666818082602907980383247
220130482361977822249865077
222120378338747136070304023
224808127362170287485466003
пятая часть
235496794535409341977228013
243430883273713652208952193
243500080878496781412023323
253304785766921977825767403
260724539860345774754945077
266102315938321038898211317
267958133991670858426810507
270116449707685719771182923
274132182522172355738182213
шестая часть
290276125892525774224523387
292969336922054315652639337
315338823393242344425769867
317320854450919660798366843
321188056082937587197809697
седьмая часть
380852853466528059560929373
восьмая часть
396026536590747267587672117
396584838285355441938966577
437111676097648488096379607
девятая часть
450677052743642005395354613
462707587165609876576269457
469552219624819300488979393
475480194664728643927735417
475687658555012699103968047
479729567727320683976737207
497165161388180287800227257
десятая часть
511278826836851822026462117
517269192802477312112860163
519364583873628045171919387
520382644730126778406776797
524813582789617467982345097
527393688677326802660438783
529795176945083195019057557
535973335859588361034254173
553613818040158925464589393

Очень интересно!
По сути тоже случайный поиск, только по другому алгоритму.
Как видим, распределение по частям неравномерное.

Буду дальше собирать результаты.
Результаты всегда нужны для статистики, для анализа.

PS. Отмечу для тех, кто не совсем в теме: это начальные элементы приближений к ключевой 17-ке с valids>8, найденных в диапазоне
(7858321551080267055879090, 557940830126698960967415390).

Однако...

Смотрите, сколько найдено приближений!
Причём разбросанных по всему диапазону.
И ни одного приближения с приличными valids, например 15 или 16.
Я уж не говорю о полной ключевой 17-ке!
Ну где же они - ключевые 17-ки???
Умники их столько напрогнозировали в этом диапазоне!
Хоть бы одна нашлась :(

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

61209140475752444889009383: [0, 20, 24, 48, 66, 80, 90, 96, 114, 126, 150, 156, 176, 204, 224, 234, 240]
valids=10

Отлично!
Я пока кручу программу для поиска в первой части диапазона.
Хочу эту часть пристальнее попытать.

У меня в этой части найдено довольно много приближений с valids>8.
Я соберу и покажу все приближения, найденные в первой части всеми тактиками.

Ищем дальше.

Господа!
Пожалуйста, подключайтесь.
Это очень интересный поиск, который, к тому же, чертовски простой.

Инструкции здесь
https://boinc.progger.info/odlk/forum_thread.php?id=293&postid=15326

Запустите хотя бы одну программу (любую из 10) в один поток.
Это уже будет ваша помощь проекту.
Отработает, запустите её снова, ничего не изменяя.
И в третий раз запустите, и т. д.
Программа работает несколько часов, у меня на медленном компьютере 25 часов, у вас наверняка будет быстрее.
То есть я перезапускаю программу раз в сутки.
Учтите, что не в каждом проходе будут результаты.
Когда накопите результатов, пришлите их мне.
Это всё!
Ну о-ч-е-н-ь всё просто.
Никаких вушек и даже юнитов :))
Никакой координации не требуется.

Г. Петухов писал в сообщении
https://dxdy.ru/post1662070.html#p1662070

Это совсем грубо, для тех кто не понимает зачем нужны сигмы и вероятности в зависимости от них. Но в общем да, именно так.
И когда мы говорим что в 71# ожидается 11 кортежей, это значит что могут найтись и 25 и ни одного. Маловероятно, но возможно.
Как пример, в SPT-боинк три 19-ки нашлись буквально кучей, повезло, а потом почти столько же времени (интервалов) больше нет ни одной. Так что распределение кортежей сильно не равномерное, по крайней мере пока их не сотни и тысячи (а лучше да, миллионы).

А, ну да, я, разумеется, ничего не понимаю ни в вероятности, ни в мат. ожидании, это г. Петухов уже давно сказал.
Однако... когда он писал про урну с белыми и чёрными шарами, 11 белых шаров в урне лежали!
Или нет??

Короче, прогноз такой: кортеж 19-252 на периоде 71# либо найдётся, либо нет.
Точно: бабушка надвое сказала :))
И смысл в таком прогнозе какой?
Что-то я не совсем понимаю.

Напомню, что за всё время поиска я не нашла на периоде 71# ни одной ключевой 17-ки.
Даже приближений с приличным valids не найдено.
А без ключевой 17-ки и 19-252 быть не может, потому что наличие ключевой 17-ки - необходимое условие существования кортежа 19-252.

Конечно, чудовищно не эффективный алгоритм поиска у этой глупой Макаровой и всё такое.
Но всё же...

Замечу, что у меня работали четыре тактики поиска (то есть четыре разных алгоритма), в данный момент работают три тактики, одна остановлена.

Собрала все приближения к ключевой 17-ке с valids>8, найденные в нулевом периоде на периоде 71#.

Отсортировала по возрастанию и распределила по 10 частям диапазона.
Приближений 623 шт.
Буду показывать их по частям.

Первая часть

8252956221411564375266227
8313088751810035945831753
8482134486253623276226973
8790189730982905088905603
9877143466603572408993677
10020662668296216461238647
10140265869729764541003773
10630901179576680955326047
10645693913254408026438353
11289162550285133083375193
12519897477947480063332717
12876592843383336050468873
13316930557203958609089707
13376228863225405720642927
13572340030031221317302797
13626907835856555617857153
13629144327272333493922507
13649294951642904119401223
13774119285394077429729737
14931205299762005659985407
15035163742758979889229533
15042844158855824161791313
15051475205986464677597993
15144537384138253627496333
15410714218230658498430647
16830092713945210754289623
17250872271465937713173953
17284265710764858885697837
17400990370624245957301663
17620306136467166479613353
18202531891302824256905387
18348160164756844430201867
18445813355408776661584087
19635371454107986807696007
19700339007156635540247923
20040627232647445558934473
20627886755364799730219227
20685270755600610765906127
21334332373777219331489173
22730780419132953244823287
23234274090587263919961287
23952504849931609046405683
24082738480644458243158357
24630823880791627689965147
24850045019359299722452843
25272748939226882690901523
25879164933803455940165587
26024746133907799037594053
26572139610238764394086167
26785434404382430213957453
28722087640179977888328857
29552392916972114728238633
29660364550045664518538843
30135647156367052208468933
30735971194585570280972993
30974397842628896693008513
31213481142846060897472853
32123011817139777935100373
32278414554908391547349213
32704388630502709506145693
33000301877502721201584077
33132881441158627759591333
34757792108418231692835383
34915759933805518914652333
35038356449500720219613383
35562136878189451207599463
35681169838636811925295793
36175442086425111242903063
36842843572818141083845447
37290947857664552657249863
38354641692984262414588493
38480687933493314646141223
39441443528574754812314843
39903829203736432975640533
42077485373765718249626927
42302688371696321531222087
44054821943690108999908393
44060012626127387633537467
44244464599848826245787073
44969696924365556981476057
45275149302318750047423563
45299755228899072354648737
45342559338062776481469997
45829268703654516713833133
45983679507130204268755153
46135746499941547733774317
46386699702257860275119617
46392872210654640340439443
46397410129133329034568887
46649276104419738770930737
47247424437132410720364677
47432298922752159885146897
48249102063355357894939883
48272404374285336061312037
48706760885217613865126113
49948823508116067810975373
50143592468668479037536667
50267526301357333823303837
51686649133463700098048393
51842363864242141142968843
53313840563537924959464263
54978468760780715272832797
55380926015827310699016043
55607397352828260404511133
56127424548789591771358973
57579446982540421608499657
58224375052768566492546523
61093185542016747681737717
61732669077562169149663133
62695619021093642178038117

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