Вот как работает программа

(19:49) gp > \r 17porc_59_valids_test_gris.txt
   logfile = "17porc_59_valids_test_gris_res.txt"
0 from number
0 to   number
[0,6,24,36,66,84,90,114,120,126,150,156,174,204,216,234,240]
patterns length 17
1922760350154212639070 period
search in 0 (0.E-19) - 1922760350154212639070 (1.9 E21)
central 3: [114,120,126]
prove by 59#: [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59]
2 1 [1]
3 2 [1,2]
5 2 [2,3]
7 2 [2,3]
11 2 [3,10]
13 2 [9,11]
17 4 [6,7,8,9]
19 8 [1,3,4,6,8,9,17,18]
23 8 [4,6,7,9,15,16,20,21]
29 14 [1,4,6,7,8,9,10,11,12,13,14,15,17,20]
31 14 [2,6,11,15,16,17,18,19,20,21,22,23,24,28]
37 20 [2,3,4,5,7,9,10,12,14,15,16,17,20,23,24,26,30,32,33,36]
41 24 [2,4,7,10,11,13,15,18,19,20,21,22,23,24,25,26,27,28,29,32,34,36,37,40]
43 26 [1,4,5,6,8,10,12,13,14,17,21,23,25,26,27,28,29,30,31,32,33,34,35,36,38,40]
47 30 [2,3,5,6,7,8,9,12,13,16,17,18,20,22,24,25,26,29,30,33,34,35,36,37,39,40,43
,44,45,46]
53 36 [1,2,4,5,6,7,10,11,12,13,14,15,18,19,20,21,23,24,26,27,28,30,32,34,35,36,3
7,41,42,43,44,46,48,50,51,52]
59 42 [1,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,22,24,25,26,29,30,31,33,36,37,3
8,39,40,41,42,43,44,45,46,47,48,49,50,54,56,58]
908936714649600 formulae to generate
479255080136182740217: [0, 6, 24, 36, 72, 84, 90, 114, 120, 142, 150, 174, 190,
196, 216, 234, 240]
valids=12
code=30627
number form=321513723

497777780087478980917: [0, 6, 16, 46, 66, 76, 112, 114, 120, 126, 150, 156, 190,
 192, 210, 234, 240]
valids=10
code=18929
number form=570003017

847254044249411168197: [0, 6, 22, 36, 66, 84, 90, 114, 120, 142, 154, 174, 210,
214, 216, 220, 240]
valids=10
code=24450
number form=969757166

575022440272325154937: [0, 6, 24, 36, 66, 72, 76, 100, 120, 126, 154, 156, 174,
192, 196, 216, 240]
valids=10
code=30936
number form=985430179

Всё хорошо.
Проверенные добавки, давшие приближения, находятся в заданном интервале.

Убрала вывод приближений с valids=9.
Пока приближения идут уже найденные прежней программой, это понятно.
Почти миллиард добавок сгенерирован.

Напомню, программа преследует следующие цели:

1) подтверждение известной первой ключевой 17-ки;
2) нахождение меньшей ключевой 17-ки, если такая существует;
3) пополнение спектра приближений к ключевой 17-ке.

Программа "бесконечная", всего добавок 908936714649600.

Продолжается, найдены приближения

. . . . . . . 
644024641085979783457: [0, 6, 24, 36, 64, 66, 72, 114, 120, 126, 136, 156, 172,
204, 216, 220, 240]
valids=11
code=29142
number form=2673281596

836878652493519125317: [0, 16, 24, 60, 66, 84, 90, 114, 120, 126, 142, 156, 190,
 214, 216, 220, 240]
valids=11
code=12242
number form=4130987660

886702673041448663227: [0, 6, 24, 34, 66, 84, 102, 112, 120, 126, 150, 174, 204,
 214, 216, 234, 240]
valids=11
code=27875
number form=4215025700

802394594610825516127: [0, 16, 34, 36, 64, 84, 90, 106, 120, 126, 150, 156, 174,
 192, 220, 234, 240]
valids=11
code=5881
number form=4881783139

296194730267067501697: [0, 6, 24, 36, 66, 84, 90, 106, 136, 150, 154, 190, 196,
204, 216, 220, 240]
valids=10
code=32262
number form=6467256388

Пока приближения повторяются, как в прежней программе.
Ну, прежняя программа сгенерировала более 90 миллиардов добавок.
А сейчас пока только 6467256388 добавок сгенерировано.
Но поскольку сейчас гораздо меньше добавок проверяется на приближения, программа должна работать быстрее, чем прежняя.

Добавочки хороши!
И думается мне, что Врублевский не пропустил минимальную ключевую 17-ку.

Ядряра писал в сообщении
https://dxdy.ru/post1649348.html#p1649348

Я так понимаю, что у этого способа есть и ещё огромный минус.

Мало того, что кандидаты генерятся в непонятно какой последовательности по всему диапазону 0 – 67#, так она ещё и непонятна нам, а компу понятна.

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

Правильно понимаю? Пока не придумано как перезапустить с посчитанной точки?

Хм...
Не знаю, о каком способе пишет Ядряра, но судя по примеру, приведённому г. Петуховым

Ну и просто по приколу самая наибольшая (ближе всех к 67#):
7858183652829941796270727:

это о-ч-е-н-ь похоже на поиск в нулевом периоде для периода 67#.

У меня аналогичный поиск ведётся в диапазоне
(12*10^23, 7858321551080267055879090).
Да, именно в нулевом периоде для периода 67#.

Я сделала несколько "бесконечных" частей, используя алгоритм разделения gris.
В работе сейчас находятся шесть таких "бесконечных" частей.
Ахиллес пока держит эти программы; уже сгенерировано более 200 миллиардов добавок в каждой части-программе.
При этом в каждой части добавки генерируются различные.

Ага, точно, когда-то наступит форс "моржовый".
Но я тогда запущу другие шесть "бесконечных" частей (по алгоритму разделения gris).
И будут генерироваться другие добавки, а не те же самые, которые генерируются сейчас.

PS. Г. Петухов наверняка считает не в один поток, и алгоритм разделения на части, конечно, использует.
Возможно, этот алгоритм у него другой, не такой, как у gris.

У меня в одной из шести "бесконечных" частей недавно найдено приличное приближение к ключевой 17-ке с valids=11

7547534232281671569671557: [0, 22, 24, 36, 72, 84, 90, 114, 120, 150, 190, 192, 196, 204, 216, 234, 240]
valids=11
number form=199173569761

Код, увы, не уникальный.

И вот только что нашлось приближение

7628309103092743698813007: [0, 6, 16, 36, 46, 76, 90, 100, 120, 142, 150, 156, 1
74, 204, 220, 234, 240]
valids=11
number form=196883212934

ещё ближе к концу интервала.
Код тоже не уникальный.

А вот в нулевом периоде для периода 59# я считаю в один поток.
Недавно прервала программу, потому что обнаружила, что нужно считать гораздо меньший интервал.
Запустила снова, и да - все добавки генерируются такие же, как в прежней программе.
Но их было сгенерировано в прежней программе не так много - чуть более 90 миллиардов.
Пока приближения повторяются.

Это поиск ключевой 17-ки в диапазоне
(258406392900394343851, 1006882292528806742267].
Или подтверждение известной первой ключевой 17-ки, найденной Врублевским.

В нулевом периоде для периода 73# поиск ключевой 17-ки ведётся тоже в один поток.

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

Цитата

Пока приближения повторяются.

. . . . . 
420440729805856569637: [0, 6, 24, 34, 66, 84, 90, 114, 120, 144, 154, 156, 190,
202, 214, 216, 240]
valids=10
code=28560
number form=14447658421

816028505584338085867: [0, 6, 24, 36, 46, 66, 84, 90, 114, 120, 150, 154, 174, 2
04, 216, 234, 240]
valids=10
code=28719
number form=14792573463

807104979329492423407: [0, 16, 24, 36, 66, 84, 90, 106, 114, 126, 142, 156, 210,
 214, 220, 234, 240]
valids=10
code=15953
number form=15146172380

Да, я проверяю появившиеся приближения, все они уже были найдены прежней программой.
Всё чётко.
И уже сгенерировано более 15 миллиардов добавок.

Интересная особенность добавок, давших приближения: все они оканчиваются цифрой 7.
Да и не только добавки, давшие приближения.
Вот искала добавки программой gris

475875958378760369257
997302494013801084937
1127659127922561263857
1258015761831321442777
1388372395740081621697
1518729029648841800617
1649085663557601979537
1779442297466362158457
1909798931375122337377
117395215129669877227
247751849038430056147
378108482947190235067
508465116855950413987
638821750764710592907
769178384673470771827
899535018582230950747
1290604920308511487507
1551318188126031845347
1681674822034792024267
1812031455943552203187
280341007515620100877
410697641424380279797
541054275333140458717
801767543150660816557
1192837444876941353317
1323194078785701532237
1453550712694461711157
1583907346603221890077
1714263980511982068997
1844620614420742247917
52216898175289787767
182573532084049966687
312930165992810145607
443286799901570324527
573643433810330503447
704000067719090682367
834356701627850861287
964713335536611040207
1095069969445371219127
1616496505080411934807
1877209772897932292647
215162690561240011417
1128888907487738246677
1650315443122778962357
1780672077031539141277
1911028710940299320197
118624994694846860047
248981628603607038967
379338262512367217887
509694896421127396807
640051530329887575727
770408164238647754647
900764798147407933567
1031121432056168112487
1161478065964928291407
1291834699873688470327
1422191333782448649247
1552547967691208828167
20857519263276725857
281570787080797083697
411927420989557262617
542284054898317441537
933353956624597978297
1063710590533358157217
1194067224442118336137
1454780492259638693977
1845850393985919230737
53446677740466770587
183803311649226949507
314159945557987128427
444516579466747307347
574873213375507486267
705229847284267665187
835586481193027844107
965943115101788023027
1096299749010548201947
1226656382919308380867
1357013016828068559787
1487369650736828738707
1617726284645588917627
1748082918554349096547
346749104035177173157
607462371852697530997
868175639670217888837
512154455551481362447
1033580991186522078127
1163937625095282257047
1294294259004042435967
1424650892912802614887
1555007526821562793807
1685364160730322972727
1815720794639083151647
23317078393630691497
153673712302390870417
284030346211151049337
414386980119911228257
544743614028671407177
675100247937431586097
805456881846191765017
935813515754951943937
1326883417481232480697
1587596685298752838537
1717953319207513017457
1848309953116273196377
316619504688341094067
446976138597101272987
577332772505861451907
838046040323381809747
1229115942049662346507
1359472575958422525427
1489829209867182704347
1620185843775942883267
1750542477684703062187
1880899111593463241107
88495395348010780957
218852029256770959877
349208663165531138797
479565297074291317717
609921930983051496637
740278564891811675557
870635198800571854477
1000991832709332033397
1131348466618092212317
1652775002253132927997
1913488270070653285837
251441187733961004607
1165167404660459239867
1686593940295499955547
1816950574204260134467
24546857958807674317
154903491867567853237
285260125776328032157
415616759685088211077
545973393593848389997
676330027502608568917
806686661411368747837
937043295320128926757
1067399929228889105677
1197756563137649284597
1328113197046409463517
1458469830955169642437
1588826464863929821357
57136016435997719047
317849284253518076887
448205918162278255807
578562552071038434727
969632453797318971487
1099989087706079150407
1230345721614839329327
1491058989432359687167
1882128891158640223927
89725174913187763777
220081808821947942697
350438442730708121617
480795076639468300537
611151710548228479457
741508344456988658377
871864978365748837297
1002221612274509016217
1132578246183269195137
1262934880092029374057
1393291514000789552977
1523648147909549731897
1654004781818309910817
1784361415727070089737
383027601207898166347
643740869025418524187
904454136842938882027
1818180353769437117287
416846539250265193897
547203173159025372817
677559807067785551737
807916440976545730657
938273074885305909577
1068629708794066088497
1198986342702826267417
1329342976611586446337
1459699610520346625257
1590056244429106804177
1720412878337866983097
1850769512246627162017
58365796001174701867
188722429909934880787
319079063818695059707
710148965544975596467
970862233362495954307
1101218867271256133227
1231575501180016312147
1622645402906296848907
1753002036815057027827
1883358670723817206747
221311588387124925517
612381490113405462277
742738124022165641197
873094757930925820117
1003451391839685999037
1133808025748446177957
1264164659657206356877
1394521293565966535797
1524877927474726714717
1655234561383486893637
1785591195292247072557
1915947829201007251477
123544112955554791327
253900746864314970247
384257380773075149167
514614014681835328087
1036040550316876043767
1296753818134396401607
1557467085951916759447
548432952724202355637
1069859488359243071317
1200216122268003250237
1330572756176763429157
1460929390085523608077
1591286023994283786997
1721642657903043965917
1851999291811804144837
59595575566351684687
189952209475111863607
320308843383872042527
450665477292632221447
581022111201392400367
711378745110152579287
841735379018912758207
972092012927672937127
1363161914653953473887
1623875182471473831727
1754231816380234010647
1884588450288994189567
352898001861062087257
483254635769822266177
613611269678582445097
874324537496102802937
1265394439222383339697
1395751073131143518617
1526107707039903697537
1656464340948663876457
1786820974857424055377
1917177608766184234297
124773892520731774147
255130526429491953067
385487160338252131987
515843794247012310907
646200428155772489827
776557062064532668747
906913695973292847667
1037270329882053026587
1167626963790813205507
1689053499425853921187
27006417089161639957
287719684906681997797
584711449896923348827
1106137985531964064507
1236494619440724243427
1366851253349484422347
1497207887258244601267
1627564521167004780187
1757921155075764959107
1888277788984525138027
95874072739072677877
226230706647832856797
356587340556593035717
486943974465353214637
617300608374113393557
747657242282873572477
878013876191633751397
1008370510100393930317
1399440411826674467077
1660153679644194824917
1790510313552955003837
1920866947461715182757
389176499033783080447
519533132942543259367
649889766851303438287
910603034668823796127
1301672936395104332887
1432029570303864511807
1562386204212624690727
1692742838121384869647
1823099472030145048567
30695755784692588417
161052389693452767337
291409023602212946257
421765657510973125177
552122291419733304097
682478925328493483017
812835559237253661937
943192193146013840857
1073548827054774019777
1203905460963534198697
1725331996598574914377
63284914261882633147
323998182079402990987
1237724399005901226247
1759150934640941941927
1889507568549702120847
97103852304249660697
227460486213009839617
357817120121770018537
488173754030530197457
618530387939290376377
748887021848050555297
879243655756810734217
1009600289665570913137
1139956923574331092057
1270313557483091270977
1400670191391851449897
1531026825300611628817
1661383459209371807737
129693010781439705427
390406278598960063267
520762912507720242187
651119546416480421107
1042189448142760957867
1172546082051521136787
1302902715960281315707
1563615983777801673547
31925535349869571237
162282169258629750157
292638803167389929077
422995437076150107997
553352070984910286917
683708704893670465837
814065338802430644757
944421972711190823677
1074778606619951002597
1205135240528711181517
1335491874437471360437
1465848508346231539357
1596205142254991718277
1726561776163751897197
1856918410072512076117
455584595553340152727
716297863370860510567
977011131188380868407
1890737348114879103667
489403533595707180277
619760167504467359197
750116801413227538117
880473435321987717037
1010830069230747895957
1141186703139508074877
1271543337048268253797
1401899970957028432717
1532256604865788611637
1662613238774548790557
1792969872683308969477
566156437856509327

Все оканчиваются цифрой 7.

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

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

Неужели г. Петухов стал говорить "кортежи" вместо "цепочки".
Прям не верится :)

Как сказал мудрец, всё течёт, всё изменяется.

Вот программа gris для генерации добавок для центральной 13-ки на периоде 13#

\l res_formulae_13.txt;
{
\\enter pattern
pt=[0, 12, 42, 60, 66, 90, 96, 102, 126, 132, 150, 180, 192];
\\ end

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

r3=[]; r5=[]; r7=[]; r11=[]; r13=[];


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);

lr3=#r3;
lr5=#r5;
lr7=#r7;
lr11=#r11;
lr13=#r13;

lf=lr3*lr5*lr7*lr11*lr13;
print(lf," formulae expected");

form=vector(lf); 
k=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];
       k++; 
       form[k]=lift(chinese( 
       [Mod(1,2), Mod(j3,3), Mod(j5,5), Mod(j7,7),
        Mod(j11,11), Mod(j13,13)    ]  ));
)))) );
form=vecsort(form);
print(form);
print();
}

Ну, здесь-то всё понятно: как добавки формируются и как они в конце программы сортируются.

Сортированные добавки получаются такие

(06:17) gp > \rformulae_13.txt
   logfile = "res_formulae_13.txt"
[0, 12, 42, 60, 66, 90, 96, 102, 126, 132, 150, 180, 192]
13
 3: [1, 2]
 5: [1, 2]
 7: [5, 6]
11: [1, 5]
13: [7, 9]
32 formulae expected
[397, 1567, 3701, 3961, 4247, 5417, 5857, 8251, 9421, 9707, 9967, 10121, 13711, 14257, 14411, 15427, 15581, 16127, 19717, 19871, 20131, 20417, 21587, 23981, 24421, 25591, 25877, 26137, 28271, 29441, 29881, 29987]

Убрала сортировку и получила добавки в таком порядке

[24421, 8251, 29881, 13711, 20131, 3961, 25591, 9421, 397, 14257, 5857, 19717, 26137, 9967, 1567, 15427, 14411, 28271, 19871, 3701, 10121, 23981, 15581, 29441,20417, 4247, 25877, 9707, 16127, 29987, 21587, 5417]

А формируются добавки по закону выполнения вложенных циклов.
Вот как выглядят первые три добавки

form[1]=lift(chinese( [Mod(1,2), Mod(1,3), Mod(1,5), Mod(5,7),Mod(1,11), Mod(7,13) ] ));
form[2]=lift(chinese( [Mod(1,2), Mod(1,3), Mod(1,5), Mod(5,7),Mod(1,11), Mod(9,13) ] ));
form[3]=lift(chinese( [Mod(1,2), Mod(1,3), Mod(1,5), Mod(5,7),Mod(5,11), Mod(7,13) ] ));

Добавляю печать этих добавок и получаю

24421
8251
29881

На периоде 59# для ключевой 17-ки всё совершенно аналогично.
В принципе можно вычислить, в каком месте вложенных циклов сформирована, скажем, 90-миллиардная добавка.

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

Вчера утром нашлась цепочка со всего двумя "дырками" (по терминологии НМ, подчёркнуты):

2711238988784023109503627:[0, 6, 12, 30, 70, 72, 90, 96, 120, 126, 132, 156, 162, 202, 210, 222, 240, 246, 252], valids=17

Да, это хорошее приближение к 19-ке с минимальным диаметром с уникальным кодом

2711238988784023109503627: [0, 6, 12, 30, 70, 72, 90, 96, 120, 126, 132, 156, 162, 202, 210, 222, 240, 246, 252]
2711238988784023109503627: [0, 0, 0, 0, 28, 0, 0, 0, 0, 0, 0, 0, 0, 22, 0, 0, 0, 0, 0]
valids=17
code=122863

Добавила приближение в спектр приближений к 19-ке с минимальным диаметром, теперь этот спектр содержит 62787 уникальных элементов.

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

2711238988784023109503633: [0, 6, 24, 64, 66, 84, 90, 114, 120, 126, 150, 156, 196, 204, 216, 234, 240]
2711238988784023109503633: [0, 0, 0, 28, 0, 0, 0, 0, 0, 0, 0, 0, 22, 0, 0, 0, 0]
2711238988784023109503633: [1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1]
valids=15
code=28663

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

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

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

2711238988784023109503639: [0, 18, 58, 60, 78, 84, 108, 114, 120, 144, 150, 190, 198, 210, 228]
2711238988784023109503639: [0, 0, 28, 0, 0, 0, 0, 0, 0, 0, 0, 22, 0, 0, 0]
2711238988784023109503639: [1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1]
valids=13
code=6139

Кстати, приближение г. Петухова нашлось в диапазоне
(12*10^23, 7858321551080267055879090),
в котором я считаю.
У меня в этом диапазоне пока не найдено ни одной ключевой 17-ки.
Понятно, что и 19-ке с минимальным диаметром взяться неоткуда.

Ядряра напрогнозировал в этом диапазоне половинку 19-ки с минимальным диаметром :))
Ну, будем считать, что половинку г. Петухов уже нашёл в виде приближения с двумя "дырками" :)

Цитата

Что у нас на переднем крае поиска?

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

Вот ещё нашлось в этом поиске приближение к ключевой 17-ке с valids=11 (лучше и нету пока)

17781584037254623372404617827: [0, 6, 22, 36, 64, 76, 90, 114, 120, 126, 154, 172, 190, 204, 216, 234, 240]
valids=11
code=21447
number form=18516856132

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

Работает один поток, программа "бесконечная", пока сгенерировано всего 18516856132 добавок (по показанному приближению, фактически уже чуть больше).
Генерация добавок хаотичная.

И всё-таки тенденция: чем дальше в лес, тем меньше дров.
То есть за облаками приличных приближений находится всё меньше.
Она - дьявольская эта 19-ка с минимальным диаметром - может, сидит о-ч-е-н-ь далеко за облаками, и найти её будет непросто, если она там сидит.

Эти неуловимые добавки...

Проверила добавки из сообщения
https://boinc.progger.info/odlk/forum_thread.php?id=292&postid=14819
на простоту.
Обнаружилось, что из 349 добавок только 54 - простые числа.
Проверила 54 добавки, являющиеся простыми числами, на приближения.
Ни одного!
Даже с самым низким valids.
ВотЪ.

Сварганила "бесконечную" программу для нулевого периода на периоде 71#.
Хочу разделить её на "бесконечные" части, но не по алгоритму gris, а по своему алгоритму.
У меня сейчас в этом поиске работают 10 конечных частей.
Надоело перезапускать.

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

Тестировала первую "бесконечную" часть на черепашке в течение часа.
Вроде всё нормально.

Вот показываю немного из консоли

   [logfile is "17porc_71_valids_test_gris_dob1_res.txt"]
0 from number
0 to   number
[0,6,24,36,66,84,90,114,120,126,150,156,174,204,216,234,240]
patterns length 17
557940830126698960967415390 period
search in 0 (0.E-19) - 557940830126698960967415390 (5.6 E26)
central 3: [114,120,126]
prove by 71#: [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 6
1, 67, 71]
2 1 [1]
3 2 [1,2]
5 2 [2,3]
7 2 [2,3]
11 2 [3,10]
13 2 [9,11]
17 4 [6,7,8,9]
19 8 [1,3,4,6,8,9,17,18]
23 8 [4,6,7,9,15,16,20,21]
29 14 [1,4,6,7,8,9,10,11,12,13,14,15,17,20]
31 14 [2,6,11,15,16,17,18,19,20,21,22,23,24,28]
37 20 [2,3,4,5,7,9,10,12,14,15,16,17,20,23,24,26,30,32,33,36]
41 24 [2,4,7,10,11,13,15,18,19,20,21,22,23,24,25,26,27,28,29,32,34,36,37,40]
43 26 [1,4,5,6,8,10,12,13,14,17,21,23,25,26,27,28,29,30,31,32,33,34,35,36,38,40]
47 30 [2,3,5,6,7,8,9,12,13,16,17,18,20,22,24,25,26,29,30,33,34,35,36,37,39,40,43
,44,45,46]
53 36 [1,2,4,5,6,7,10,11,12,13,14,15,18,19,20,21,23,24,26,27,28,30,32,34,35,36,3
7,41,42,43,44,46,48,50,51,52]
59 42 [1,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,22,24,25,26,29,30,31,33,36,37,3
8,39,40,41,42,43,44,45,46,47,48,49,50,54,56,58]
61 44 [1,3,5,6,7,11,12,13,14,15,16,17,18,19,20,21,22,23,24,26,29,30,31,34,35,36,
39,41,42,43,44,45,46,47,48,49,50,51,52,53,54,58,59,60]
67 50 [2,3,4,5,6,7,9,10,11,12,13,15,16,17,18,19,21,22,23,24,25,26,29,30,32,33,35
,36,37,38,39,40,41,42,46,47,48,49,53,54,55,56,57,58,59,60,62,63,65,66]
71 54 [1,2,3,4,6,7,8,10,11,12,13,14,15,17,18,19,20,21,23,24,25,26,27,29,30,31,32
,33,34,36,37,38,40,41,42,43,45,46,48,49,51,53,54,55,56,59,60,61,62,64,66,67,69,7
0]
107981681700372480000 formulae to generate
number form=9804384
9320035033957153749783367: [0, 6, 10, 24, 34, 36, 46, 66, 70, 76, 100, 106, 156,
 204, 216, 234, 240]
9320035033957153749783367: [0, 0, -14, -12, -32, -48, -44, -48, -50, -50, -50, -
50, -18, 0, 0, 0, 0]
9320035033957153749783367: [1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=6
code=16391

number form=19655036
number form=29547131
36808964998985870351390557: [0, 6, 10, 64, 70, 90, 102, 106, 114, 126, 136, 142,
 150, 154, 172, 196, 240]
36808964998985870351390557: [0, 0, -14, 28, 4, 6, 12, -8, -6, 0, -14, -14, -24,
-50, -44, -38, 0]
36808964998985870351390557: [1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1]
valids=4
code=16448

number form=39378007
number form=49256851
number form=59055243
number form=68957137
number form=78795296
number form=88647402
number form=98499354
number form=108380891
number form=118192558
number form=128076407
number form=137944791
number form=147799813
number form=157639533
43924005936203821225387417: [0, 6, 10, 24, 34, 36, 64, 66, 70, 120, 126, 142, 17
2, 174, 192, 234, 240]
43924005936203821225387417: [0, 0, -14, -12, -32, -48, -26, -48, -50, -6, -24, -
14, -2, -30, -24, 0, 0]
43924005936203821225387417: [1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1]
valids=4
code=16385
. . . . . . . .

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

За час программа на черепашке сгенерировала около 300 миллионов добавок.
Это неплохо.
При бОльшей производительности компьютера может быть больше.

Красивое приближение :)
симметричное расположение правильных и неправильных элементов

43924005936203821225387417: [0, 6, 10, 24, 34, 36, 64, 66, 70, 120, 126, 142, 172, 174, 192, 234, 240]
43924005936203821225387417: [0, 0, -14, -12, -32, -48, -26, -48, -50, -6, -24, -14, -2, -30, -24, 0, 0]
43924005936203821225387417: [1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1]
valids=4
code=16385

Приближение к центральной 15-ке содержит.

Ахиллес-3 подключился.
Все программы прерваны.

Запустила новую программу - 13 "бесконечных" частей.
Чёртова дюжина :)

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

В общем, поехал новый поиск в нулевом периоде для периода 71#.
Ждём интересные результаты.

Как я уже писала, черепашка за час сгенерировала около 300 миллионов добавок.
Ахиллес-3 медленный, даже медленнее черепашки, он будет поменьше генерировать.
Но... всё-таки 13 потоков.

На Ахиллесе-3 прервана программа поиска в нулевом периоде для периода 73#.
Вот окончание в файле логов

. . . . . . . . 
17781584037254623372404617827: [0, 6, 22, 36, 64, 76, 90, 114, 120, 126, 154, 172, 190, 204, 216, 234, 240]
valids=11
code=21447
number form=18516856132

11349891263331555568325821957: [0, 6, 16, 22, 36, 46, 112, 114, 120, 126, 150, 156, 174, 192, 196, 204, 240]
valids=9
code=16888
number form=19362716415

6541500380261067929792704447: [0, 22, 24, 36, 64, 66, 100, 114, 120, 126, 142, 150, 174, 196, 204, 210, 240]
valids=8
code=12744
number form=19614175489

18466869678181944819850290067: [0, 34, 36, 70, 90, 102, 106, 114, 120, 126, 142, 156, 174, 190, 204, 234, 240]
valids=8
code=473
number form=20674833854

Жалко!

Сейчас проверю все результаты в файле логов.

Проверила, ничего интересного не найдено.

А ещё прерваны 4 потока поиска в 27-ке с минимальным диаметром.
Это были конечные программы, возможен перезапуск.

Тоже надо проверить все результаты.

В первом потоке найдено приличное приближение и сгенерировано почти миллиард добавок

. . . . . . . . .
number form=769071041
number form=778948689
number form=788775152
number form=798621235
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

number form=808510607
number form=818340619
number form=828195195
number form=838107245
number form=848009579
number form=857914334
number form=867775274
number form=877615919
number form=887475952
number form=897290726
number form=907174449
number form=916955233
number form=926819153
number form=936689166
number form=946545106
number form=956419611
number form=966305642
number form=976159554

Только бы Ахиллес-3 держал эти "бесконечные" программы!

А я тем временем организовала точно таким же способом поиск в нулевом периоде для периода 73#, только без разделения на части, один поток будет работать.
Можно бы и разделить на части, но ресурсов нет для этих частей.

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

Так программа побежала

   [logfile is "17porc_73_valids_test_gris_dob_res.txt"]
0 from number
0 to В  number
[0,6,24,36,66,84,90,114,120,126,150,156,174,204,216,234,240]
patterns length 17
40729680599249024150621323470 period
search in 0 (0.E-19) - 40729680599249024150621323470 (4.1 E28)
central 3: [114,120,126]
prove by 73#: [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73]
2 1 [1]
3 2 [1,2]
5 2 [2,3]
7 2 [2,3]
11 2 [3,10]
13 2 [9,11]
17 4 [6,7,8,9]
19 8 [1,3,4,6,8,9,17,18]
23 8 [4,6,7,9,15,16,20,21]
29 14 [1,4,6,7,8,9,10,11,12,13,14,15,17,20]
31 14 [2,6,11,15,16,17,18,19,20,21,22,23,24,28]
37 20 [2,3,4,5,7,9,10,12,14,15,16,17,20,23,24,26,30,32,33,36]
41 24 [2,4,7,10,11,13,15,18,19,20,21,22,23,24,25,26,27,28,29,32,34,36,37,40]
43 26 [1,4,5,6,8,10,12,13,14,17,21,23,25,26,27,28,29,30,31,32,33,34,35,36,38,40]
47 30 [2,3,5,6,7,8,9,12,13,16,17,18,20,22,24,25,26,29,30,33,34,35,36,37,39,40,43,44,45,46]
53 36 [1,2,4,5,6,7,10,11,12,13,14,15,18,19,20,21,23,24,26,27,28,30,32,34,35,36,37,41,42,43,44,46,48,50,51,52]
59 42 [1,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,22,24,25,26,29,30,31,33,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,54,56,58]
61 44 [1,3,5,6,7,11,12,13,14,15,16,17,18,19,20,21,22,23,24,26,29,30,31,34,35,36,39,41,42,43,44,45,46,47,48,49,50,51,52,53,54,58,59,60]
67 50 [2,3,4,5,6,7,9,10,11,12,13,15,16,17,18,19,21,22,23,24,25,26,29,30,32,33,35,36,37,38,39,40,41,42,46,47,48,49,53,54,55,56,57,58,59,60,62,63,65,66]
71 54 [1,2,3,4,6,7,8,10,11,12,13,14,15,17,18,19,20,21,23,24,25,26,27,29,30,31,32,33,34,36,37,38,40,41,42,43,45,46,48,49,51,53,54,55,56,59,60,61,62,64,66,67,69,70]
73 56 [1,2,4,5,6,8,9,10,11,12,13,14,16,17,18,19,21,22,23,24,25,27,28,29,30,31,33,34,35,36,38,39,40,41,42,43,44,46,47,48,50,51,53,54,55,57,59,60,61,64,65,66,68,70,71,72]
6046974175220858880000 formulae to generate
number form=829736
number form=1657849
28638154577095046455159557697: [0, 6, 22, 24, 46, 66, 112, 114, 126, 142, 154, 174, 190, 196, 204, 234, 240]
28638154577095046455159557697: [0, 0, -2, -12, -20, -18, 22, 0, 6, 16, 4, 18, 16, -8, -12, 0, 0]
28638154577095046455159557697: [1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1]
valids=5
code=16641

number form=2493064
number form=3329342
number form=4158106
number form=4987427
number form=5818504
number form=6646976

Напомню диапазон поиска
(557940830126698960967415390, 40729680599249024150621323470).
У меня пока это самый большой диапазон.

Может, на периоде 79# попробовать?

Ну, сварганила программу для поиска в нулевом периоде для периода 79#, точно так же, как для периода 73#.

Диапазон поиска
(40729680599249024150621323470, 3217644767340672907899084554130).

Программа побежала на Ахиллесе-3

   [logfile is "17porc_79_valids_test_gris_dob_res.txt"]
0 from number
0 to   number
[0,6,24,36,66,84,90,114,120,126,150,156,174,204,216,234,240] 
patterns length 17
3217644767340672907899084554130 period
search in 0 (0.E-19) - 3217644767340672907899084554130 (3.2 E30)
central 3: [114,120,126]
prove by 79#: [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79]
2 1 [1]
3 2 [1,2]
5 2 [2,3]
7 2 [2,3]
11 2 [3,10]
13 2 [9,11]
17 4 [6,7,8,9]
19 8 [1,3,4,6,8,9,17,18]
23 8 [4,6,7,9,15,16,20,21]
29 14 [1,4,6,7,8,9,10,11,12,13,14,15,17,20]
31 14 [2,6,11,15,16,17,18,19,20,21,22,23,24,28]
37 20 [2,3,4,5,7,9,10,12,14,15,16,17,20,23,24,26,30,32,33,36]
41 24 [2,4,7,10,11,13,15,18,19,20,21,22,23,24,25,26,27,28,29,32,34,36,37,40]
43 26 [1,4,5,6,8,10,12,13,14,17,21,23,25,26,27,28,29,30,31,32,33,34,35,36,38,40]
47 30 [2,3,5,6,7,8,9,12,13,16,17,18,20,22,24,25,26,29,30,33,34,35,36,37,39,40,43,44,45,46]
53 36 [1,2,4,5,6,7,10,11,12,13,14,15,18,19,20,21,23,24,26,27,28,30,32,34,35,36,37,41,42,43,44,46,48,50,51,52]
59 42 [1,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,22,24,25,26,29,30,31,33,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,54,56,58]
61 44 [1,3,5,6,7,11,12,13,14,15,16,17,18,19,20,21,22,23,24,26,29,30,31,34,35,36,39,41,42,43,44,45,46,47,48,49,50,51,52,53,54,58,59,60]
67 50 [2,3,4,5,6,7,9,10,11,12,13,15,16,17,18,19,21,22,23,24,25,26,29,30,32,33,35,36,37,38,39,40,41,42,46,47,48,49,53,54,55,56,57,58,59,60,62,63,65,66]
71 54 [1,2,3,4,6,7,8,10,11,12,13,14,15,17,18,19,20,21,23,24,25,26,27,29,30,31,32,33,34,36,37,38,40,41,42,43,45,46,48,49,51,53,54,55,56,59,60,61,62,64,66,67,69,70]
73 56 [1,2,4,5,6,8,9,10,11,12,13,14,16,17,18,19,21,22,23,24,25,27,28,29,30,31,33,34,35,36,38,39,40,41,42,43,44,46,47,48,50,51,53,54,55,57,59,60,61,64,65,66,68,70,71,72]
79 62 [1,4,5,6,7,9,10,11,12,14,15,16,17,18,19,20,22,23,24,25,26,27,28,29,30,31,34,35,36,37,39,40,41,42,45,46,47,48,49,50,51,52,53,54,56,57,58,59,60,61,62,64,65,66,67,69,70,71,72,75,77,78]
374912398863693250560000 formulae to generate
number form=873329
number form=1748181
number form=2620829
number form=3491496
number form=4361389
number form=5234811
number form=6106035
number form=6981064
number form=7854096
number form=8724582
number form=9599816
2396647006396747646303192170567: [0, 6, 10, 16, 24, 34, 64, 100, 102, 112, 114, 120, 154, 156, 210, 234, 240]
2396647006396747646303192170567: [0, 0, -14, -20, -42, -50, -26, -14, -18, -14, -36, -36, -20, -48, -6, 0, 0]
2396647006396747646303192170567: [1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1]
valids=4
code=16385

number form=10474416
number form=11350491
number form=12220843
number form=13095257
number form=13964270
number form=14841464
number form=15712437
number form=16587063
number form=17460528
number form=18335602
number form=19209682
number form=20082170
number form=20956521
number form=21827404
number form=22696521
number form=23573810
number form=24444463
number form=25319841
number form=26192269
number form=27065728
number form=27944574
number form=28815626
number form=29687012
number form=30563545
number form=31437157
number form=32308170
number form=33181597
number form=34056581
2614314947299693186924308223117: [0, 6, 10, 24, 34, 36, 70, 76, 84, 100, 106, 112, 120, 126, 150, 156, 240]
2614314947299693186924308223117: [0, 0, -14, -12, -32, -48, -20, -38, -36, -26, -44, -44, -54, -78, -66, -78, 0]
2614314947299693186924308223117: [1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1]
valids=3
code=16384

number form=34928747
number form=35801209
number form=36669804
number form=37549998
number form=38422579
number form=39297863
number form=40171347
295088879022121550485751731927: [0, 24, 34, 36, 64, 66, 84, 90, 102, 112, 114, 120, 126, 154, 204, 216, 240]
295088879022121550485751731927: [0, 18, 10, 0, -2, -18, -6, -24, -18, -14, -36, -36, -48, -50, -12, -18, 0]
295088879022121550485751731927: [1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1]
valids=3
code=4096

number form=41045956
number form=41919108
number form=42787823
number form=43661917
number form=44529903
. . . . . . . 

За час сгенерировано около 60 миллионов добавок.

А на это приближение

2396647006396747646303192170567: [0, 6, 10, 16, 24, 34, 64, 100, 102, 112, 114, 120, 154, 156, 210, 234, 240]
2396647006396747646303192170567: [0, 0, -14, -20, -42, -50, -26, -14, -18, -14, -36, -36, -20, -48, -6, 0, 0]
2396647006396747646303192170567: [1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1]
valids=4
code=16385

очень похоже это приближение (которое было на периоде 71#)

43924005936203821225387417: [0, 6, 10, 24, 34, 36, 64, 66, 70, 120, 126, 142, 172, 174, 192, 234, 240]
43924005936203821225387417: [0, 0, -14, -12, -32, -48, -26, -48, -50, -6, -24, -14, -2, -30, -24, 0, 0]
43924005936203821225387417: [1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1]
valids=4
code=16385

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

Можно и дальше идти, на следующем периоде, только ресурсы закончились.

7 "бесконечных" программ работают на Ахиллесе и 15 "бесконечных" программ работают на Ахиллесе-3, всего 22 программы.
Теперь перезапускать ничего не надо, до тех пор пока не прервутся программы по внешним причинам.
Остаётся проверять результаты, которых, кстати, у меня ещё много не проверено.
Ну, можно и ничего не проверять, просто смотреть, не появилось ли valids=17.
Приближения проверяются только для пополнения спектра приближений.