Вчера решила древнюю проблему!

У gris спросила, он говорит, что всё уже забыл.
Хотя блок генерации добавок писал он.

Ладно, пошла к Алисе, подумала, что она чего-нибудь знает.
И точно!
Я её спрашиваю: "Нельзя ли как-нибудь перевернуть вектор?"
Она отвечает: "Конечно, можно."
И приводит оператор:
rev_wd = vector(#wd, i, Vecrev(wd[i]));

Вот и всё!

Применила этот оператор и... всё перевернулось - добавки стали генерироваться, начиная с конца, то есть с самого последнего номера.
Что мне и требовалось.

Сделала программу генерации Norm-чисел - добавок для центральной 15-ки в нулевом периоде для периода 67#.
У меня такая программа уже работает, но в ней добавки генерируются в естественном порядке.
А в новой программе они генерируются в обратном порядке.

Задача: из пункта А в пункт Б вышел поезд, через некоторое время из пункта Б в пункт А вышел другой поезд навстечу первому по тому же железнодорожному пути.
Вопрос: когда они встретятся? :))

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

   [logfile is "15norm_period67_revers_res.txt"]
0 from number
0 to   number
[0,18,30,60,78,84,108,114,120,144,150,168,198,210,228] 
patterns length 15
7858321551080267055879090 period
search in 0 (0.E-19) - 7858321551080267055879090 (7.9 E24)
central 3: [108,114,120]
prove by 67#: [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67]
4701640966673530880 formulae expected
1828084787004936405751199,
2107404004753801925166389,
7604107299830363429813099,
6586826879728354767703589,
794951278528231258109069,
318852572996266363700039,
2566845346075444587278519,
7054955383898407636456199,
938751247753723624725899,
2551295398363564228011029,
7644099731289918911119499,
3927562001115951122089559,
3969503018296529532674249,
. . . . . . . . . 

Вчера поздно вечером программу запустила, а сегодня утром уже нагенерировалось 5555 Norm-чисел - добавок.
Супер!

А это окончание файла логов на данный момент

. . . . . . . . . 
1966802246146448559974519,
1440451058242656616591829,
1565753913028321984613039,
1561613860122153671949509,
154016778277535375057249,
531035833581886294607339,
1285214139061018309748999,
4098989752021823253850649,
3497197121802466710883649,

Жутко интересно: будут ли ловиться этой программой центральные 15-ки.
Приближения к центральной 15-ке меня тоже интересуют, пока ещё этот спектр не полностью закрыт.
Правда, пока приближение с valids=11 найдено всего одно, а выше и вообще нет.
Ну, это ведь только начало.

Итак, я сделала распараллеливание на два потока: генерация добавок вперёд и генерация добавок назад.

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

И ещё раз скопировала результаты.

Шустро рак пятится назад.
6637 Norm-чисел - добавок!

Пока по-прежнему максимальный valids равен 11.

И новое окончание файла логов

. . . . . . . . . . . . . 
1480544929374434107569779,
936483071062745846104859,
5631831256980855920669069,
5449006077923819769733769,
3258394204466016976045079,
1104347366819621412543449,
4337673346456640638533479,
5256648877457096824960649,
6344637933218086468271699,
4196558653242757540584239,
4780685500008346725341939,
7296535945288940988453209,
2256543880899329244058229,
1806594593151505123842269,
1596214358267330907350639,
4648507052335867499734349,
1639896233084507990477279,
7533348551919337338546749,
4104010466947889174842559,
2239973320810442642410379,
4977579461953098213098279,

gris пишет, что забыл даже, что такое номер добавки.
Ну как же это можно забыть? :)
Всего добавок в этом поиске:

4701640966673530880 formulae expected

И нумеруются они в естественном порядке, как генерируются: 1-я, 2-я, 3-я и т.д.

А в обратном порядке - это значит так: 4701640966673530880-я, 4701640966673530879-я, 4701640966673530878-я и т. д.

Вот сейчас мы узнаем. какой номер у добавки 4977579461953098213098279.

(22:57) gp > \r number_form_old.txt
log = 1 (on)
[logfile is "number_form_old_res.txt"]
1
[0,18,30,60,78,84,108,114,120,144,150,168,198,210,228] pattern L=15
7858321551080267055879090 period
[1, 2, 2, 2, 2, 2, 4, 8, 10, 14, 16, 22, 26, 28, 32, 38, 44, 46, 52]
form= 4977579461953098213098279
prs: [ 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 6
7]
frs: [ 1, 2, 4, 2, 9, 4, 15, 15, 22, 26, 30, 36, 38, 40, 43, 5, 42, 21, 4
6]
prm: [ 1, 2, 2, 2, 2, 2, 4, 8, 10, 14, 16, 22, 25, 26, 30, 4, 30, 15, 3
8]
form number is 4701640962822471446
Программа gris говорит, что эта добавка 4701640962822471446-я.
То есть программа сгенерировала и проверила на данный момент добавки 4701640966673530880 - 4701640962822471446 (в обратном порядке, с самой последней начиная).

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

Сегодня утром запустила программу генерации Norm-чисел - добавок для ключевой 17-ки в нулевом периоде для периода 67# с генерацией в обратном порядке.
Сейчас посмотрю, что там уже нагенерировалось.

Для ключевой 17-ки добавки идут довольно хорошо, а вот для 19-ки с минимальным диаметром уже совсем туго.

Вот они - красавицы, показываю прямо из файла логов (часть выбросила)

   [logfile is "17norm_period67_revers_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
7858321551080267055879090 period
search in 0 (0.E-19) - 7858321551080267055879090 (7.9 E24)
central 3: [114,120,126]
prove by 67#: [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67]
1999660772229120000 formulae expected
7078129590909741569955683,
4841262633556719509949743,
6765642708060360888753923,
525620832948098695797923,
4812540830908500447777953,
1859971890656219940840173,
5483262200190425596035023,
6087374861890533843772073,
7624139380804386177197393,
1232111884649033526438233,
2621119618586436551023373,
1685156789217634745812733,
3388442226706542771986153,
. . . . . . . . 

1641043540466321932640633,
1547174466256362833990033,
5213127658971893139378833,
5706388553225685417532373,
6205446013459939404207983,
305510453750632982751833,
1757434482125409016939943,
431088321262251386473673,
580234142257568097409043,
5346508687148740805814053,
4292834785484667102620873,
1831247133737942029459283,
450856622206870103534243,
6034633844506005288259643,
5700224858796734384628443,
7368355098083619938057693,
5079617268450997919686973,
1381656588388593633135953,
526087261989097503925163,
2212490180945165256585383,
2840419931153010803917253,

Всего их нагенерировалось 175 штук.

Напоминаю: эти добавки являются Norm-числами, то есть они обязательно дают приближения к ключевой 17-ке.
Ну и разумеется, все они кандидаты на ключевую 17-ку.

Всего добавок в этом поиске

1999660772229120000 formulae expected

На миллион лет тянет :)

Можно запустить ещё генерацию в естественном порядке, будет два встречных потока.
Конечно, лучше бы распараллеливание, но... где кранчеры, чтобы распараллеленные задания считать???
Кранчеры нашлись бы, но Приложения добавлять некому :(

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

Кстати, вот ключевые 17-ки, полученные продолжением центральных 13-к

17-240F. 1006882292528806742267: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240]
17-240F. 3954328349097827424397: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240]
17-240F. 4896552110116770789773: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240]
17-240F. 6751407944109046348063: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240]
17-240F. 7768326730875185894807: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240]
17-240F. 19252814175273852997757: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240]
17-240F. 55053047001821807847127: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240]
17-240F. 55698964154995659768643: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240]
17-240F. 70764084517274829456863: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240]
17-240F. 71421740092615021993817: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240]
17-240F. 91673655035269822654813: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240]
17-240F. 154787380396512840656507: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240]
17-240F. 187749702383119068641837: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240]
17-240F. 901985248981556228168767: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240]
17-240F. 4246610002636339828954837: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240]
17-240F. 9425346484752129657862223: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240]
17-240F. 9701757886114895320879547: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240]
17-240F. 14451615724941305041645447: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240]

Смотрите сообщение
https://boinc.mak.termit.me/odlk2025/forum_thread.php?id=51&postid=1110
и следующее.

Это все ключевые 17-ки, известные на данный момент.
Очень мало!

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

Определяю программой gris номер последней сгенерированной добавки

(14:17) gp > \r number_form_old.txt
   log = 1 (on)
   [logfile is "number_form_old_res.txt"]
1
[0,6,24,36,66,84,90,114,120,126,150,156,174,204,216,234,240] pattern L=17
7858321551080267055879090 period
[1, 2, 2, 2, 2, 2, 4, 8, 8, 14, 14, 20, 24, 26, 30, 36, 42, 44, 50]
form= 2840419931153010803917253
prs: [  2,  3,  5,  7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67]
frs: [  1,  2,  3,  3, 10, 11,  9, 18, 21, 20, 28, 36, 40, 33, 33, 11, 45, 16, 29]
prm: [  1,  2,  2,  2,  2,  2,  4,  8,  8, 14, 14, 20, 24, 21, 20,  8, 34, 11, 23]
form number is 1999660771694289523

Всё верно, добавки генерируются в обратном порядке.

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

Диапазон в этом поиске для ключевой 17-ки у меня следующий

(117201182126413058067773, 7858321551080267055879090).

Я задала ограничение для добавок снизу, то есть добавки меньше 117201182126413058067773 не проверяются на Norm-числа.

Из известных ключевых 17-к в этом диапазоне находятся следующие:

154787380396512840656507
187749702383119068641837
901985248981556228168767
4246610002636339828954837

Эти ключевые 17-ки имеют формулы

154787380396512840656507 = 0*7858321551080267055879090 + 154787380396512840656507
187749702383119068641837 = 0*7858321551080267055879090 + 187749702383119068641837
901985248981556228168767 = 0*7858321551080267055879090 + 901985248981556228168767
4246610002636339828954837 = 0*7858321551080267055879090 + 4246610002636339828954837

Эти формулы и показывают, что данные кортежи находятся в нулевом периоде для периода 67#, причём в указанном диапазоне.

Если программа этого поиска выполнится до конца, она обязательно найдёт эти ключевые 17-ки.
Но я очень сильно сомневаюсь. что других ключевых 17-к в указанном диапазоне нет.
Они скорее всего есть, и программа должна найти их все при условии, что выполнится до конца.

Примечание: ограничение снизу для добавок я взяла на основе БД центральных 15-к, найденных в диапазоне (0, 61#).
Логика простая.

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

В то же время следующие известные ключевые 17-ки находятся в диапазоне (0, 67#)

1006882292528806742267
3954328349097827424397
4896552110116770789773
6751407944109046348063
7768326730875185894807
19252814175273852997757
55053047001821807847127
55698964154995659768643
70764084517274829456863
71421740092615021993817
91673655035269822654813
154787380396512840656507
187749702383119068641837
901985248981556228168767
4246610002636339828954837

Вряд ли в таком огромном диапазоне имеется всего 15 ключевых 17-к!
Наверняка здесь есть пропущенные ключевые 17-ки.

И только три известные ключевые 17-ки уже выходят из этого диапазона

9425346484752129657862223
9701757886114895320879547
14451615724941305041645447

На периоде 67# эти кортежи имеют следующие формулы:

9425346484752129657862223 = 1*7858321551080267055879090 + 1567024933671862601983133
9701757886114895320879547 = 1*7858321551080267055879090 + 1843436335034628265000457
14451615724941305041645447 = 1*7858321551080267055879090 + 6593294173861037985766357

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

А теперь самое интересное: для 15 ключевых 17-к, которые находятся в диапазоне (0, 67#), привожу номера добавок.

Данные отсортированы по возрастанию номеров добавок.

Добавка                         Номер

3954328349097827424397     113098118864854361
4246610002636339828954837  141089996254748085
55053047001821807847127    209597286832479194
901985248981556228168767   421170432166330306
91673655035269822654813    581270618658902693
55698964154995659768643    644048928916824456
6751407944109046348063     979693872583188261

номер средней добавки      999830386114560000

154787380396512840656507   1030085490329036527
1006882292528806742267     1211292872057863567
187749702383119068641837   1332164852756149771
7768326730875185894807     1333558979842545228
71421740092615021993817    1462558969510684783
19252814175273852997757    1497020465271710118
4896552110116770789773     1897495826341365774
70764084517274829456863    1911319632069494419

номер последней добавки    1999660772229120000

Интересная статистика!
Расстояние от первой добавки до результативной добавки: 113098118864854360.
Расстояние от последней добавки до результативной добавки: 88341140159625580.
Перекос заметен, но, может быть, для начальных номеров добавок ещё не всё найдено.
И очень интересно, почему это расстояние такое огромное???
Почему нет результативных добавок с маленькими номерами (а также и с очень большими - близко к последней добавке)?

Хорошо бы сделать такую статистику для центральных 15-к в диапазоне (0, 61#).
Там должна быть полная картина.

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

gris прислал письмо.

Он очень любит всякую статистику собирать :)

Цитирую

Интересные у вас данные.
Статистика по добавкам:
(09:26) gp > {dob=[113098118864854361
,141089996254748085
,209597286832479194
,421170432166330306
,581270618658902693
,644048928916824456
,979693872583188261
,999830386114560000
,1030085490329036527
,1211292872057863567
,1332164852756149771
,1333558979842545228
,1462558969510684783
,1497020465271710118
,1897495826341365774
,1911319632069494419];
kdob=1999660772229120000.;
sdob=dob/kdob;
printf("%.2f\nm=%.4f",sdob,vecsum(sdob)/#sdob);
}
[0.06,0.07,0.10,0.21,0.29,0.32,0.49,0.50,0.52,0.61,0.67,0.67,0.73,0.75,0.95,0.96]
m=0.4927
Приведён вектор относительного положения номеров ключевых добавок. Расположены почти равномерно; среднее — в середине.

Да, статистика интересная.

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

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

Первое, что приходит на ум, - метод интервалов.

Вот две известные ключевые 17-ки

187749702383119068641837: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240]
901985248981556228168767: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240]

И соответственно две результативные добавки.

Интервал между этими кортежами очень большой и, скорее всего, в нём есть ещё ключевые 17-ки.
Надо попробовать зажать в программе диапазон поиска, чтобы он был равен этому интервалу.
Наверное, программа будет долго ходить вокруг да около этого интервала.
Надо пробовать.

Немножко увеличу интервал, вот для этих трёх известных ключевых 17-к

154787380396512840656507: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240]
187749702383119068641837: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240]
901985248981556228168767: [0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240]

Сейчас попытаюсь направить программу в этот интервал.
Что она найдёт?
Будет сто лет ходить вокруг да около?

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

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

Сделала программу для поиска в указанном интервале и запустила на черепашке.

Думала, что кандидатов вообще не дождёшься.
Но нет!
Кандидаты пошли сразу.

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

? \r 17norm_period67var.txt
   logfile = "17norm_period67var_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
7858321551080267055879090 period
search in 0 (0.E-19) - 7858321551080267055879090 (7.9 E24)
central 3: [114,120,126]
prove by 67#: [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 6
1, 67]
1999660772229120000 formulae expected
816671193026467450591747,
609326302681615329430447,

Это добавки в указанном интервале и они являются Norm-числами.
Следовательно, это железобетонные кандидаты.
Однако... до превращения кандидатов в ключевую 17-ку пока как до Луны.

И возникает вопрос: имеет ли смысл зажимать поиск в конкретный интервал???
Программа находит кандидатов только в этом интервале, а всех остальных кандидатов пропускает.

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

Черепашка уже три кандидата нашла.

Проверяю их на valids

? \r appr.txt
   logfile = "appr_res.txt"
3
816671193026467450591747: [0, 16, 22, 24, 36, 46, 64, 84, 100, 106, 112, 114, 15
4, 172, 190, 196, 240]
816671193026467450591747: [0, 10, -2, -12, -30, -38, -26, -30, -20, -20, -38, -4
2, -20, -32, -26, -38, 0]
816671193026467450591747: [1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1]
valids=2
code=0

609326302681615329430447: [0, 16, 22, 34, 64, 66, 102, 114, 120, 142, 150, 172,
192, 204, 210, 234, 240]
609326302681615329430447: [0, 10, -2, -2, -2, -18, 12, 0, 0, 16, 0, 16, 18, 0, -
6, 0, 0]
609326302681615329430447: [1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 1, 1]
valids=7
code=421

755167836812914804228777: [0, 6, 10, 16, 24, 66, 70, 126, 142, 150, 174, 196, 20
4, 210, 216, 234, 240]
755167836812914804228777: [0, 0, -14, -20, -42, -18, -20, 12, 22, 24, 24, 40, 30
, 6, 0, 0, 0]
755167836812914804228777: [1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1]
valids=5
code=16387

Ну да - приближения железобетонные.

Итак: быть или не быть? :)
Крутить или не крутить поиск в интервале???

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

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

\l 17norm_period67var_res.txt;
default(timer,1);

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

vmy=vector(70);
fs=154787380396512840656507;
fe=901985248981556228168767;

w=67;

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

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)  );
  lpr=lpr*#rip;
  wd[ip]=rip;
); \\for ip
print(lpr," formulae expected");

\\rev_wd = vector(#wd,i,Vecrev(wd[i]));

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 && form<=fe && ispseudoprime(form) && ispseudoprime(form+240),
l=0; 
forprime(p=form,form+240, l++; vmy[l]=p; );
if(l==17, print(vmy[1],","); );

     ); \\ if form
   \\ конец проверки кортежа

);\\ forvec
}

Интервал задаётся тут

fs=154787380396512840656507;
fe=901985248981556228168767;

Можно его каким-угодно задать.

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

И ещё один кандидат у черепашки

594263548482718983318277: [0, 22, 36, 46, 66, 84, 102, 120, 126, 136, 150, 156, 192, 204, 210, 234, 240]
594263548482718983318277: [0, 16, 12, 10, 0, 0, 12, 6, 6, 10, 0, 0, 18, 0, -6, 0, 0]
594263548482718983318277: [1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 0, 1, 0, 1, 1]
valids=8
code=3125

Прервала.
Решила ещё расширить интервал - до этих четырёх ключевых 17-к

154787380396512840656507
187749702383119068641837
901985248981556228168767
4246610002636339828954837

Интервал между 3-м и 4-м кортежами тоже огромный.

Сейчас немного потестирую на черепашке этот вариант и перенесу программу на Ахиллес-3.
Хотя надежды не успех мало, ну - а вдруг.

Черепашка ликует :)
Она очень любит тестировать программы.

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

Ну вот, в новом варианте черепашка нашла

? \r 17norm_period67var.txt
   logfile = "17norm_period67var_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
7858321551080267055879090 period
search in 0 (0.E-19) - 7858321551080267055879090 (7.9 E24)
central 3: [114,120,126]
prove by 67#: [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 6
1, 67]
1999660772229120000 formulae expected
816671193026467450591747,
609326302681615329430447,
1185609615380505717762187,
2252967627500859663884317,
3056437290290587589245687,
3846159705217848632113327,
1050639188694996122722327,
755167836812914804228777,

Прервала.
Сейчас перенесу программу на Ахиллес-3.

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

Встречайте интереснейшую статистику!

Это для центральных 15-к, найденных в диапазоне (0, 61#) командой г. Петухова.

Статистику сделал gris по моей просьбе.
Спасибо!

Итак, имеем полную картину в нулевом периоде для периода 61#.
В списке центральных 15-к (они же - результативные добавки) содержится 1147 кортежей.
Понятно, что каждая центральная 15-ка представлена начальным элементом, он и есть результативная добавка.

В статистике gris первая колонка - номер добавки, вторая колонка - добавка.

Показываю, конечно, частично

9115503183653    103642195793253402669763
146110032082651  32552490401884659580753
179908072684930  54694108172999849408233
609210196692184  111377900585198840267053
609381363729375  33692568849331783585573
664215058313827  57336021151612097979463
676634864233428  16474422086770354220893
676868555049954  113715186504385940428333
782734142811622  1416814602970211619553
1127437713574377 9181216410829122233953
1131712588840916 62131973378690609478463
1190463474630762 30555023674574546972203
1232888359148727 69480239756424774521623
1258278342994909 109878663850184556651703
1329178850768272 60112959170435661073963
1413895870739053 12967362495788256980803
. . . . . . . .
44796107546709705 55387608544709590254499
44798291551264117 5193845363062946315119
44829739915503716 22409766323656192426339
44887585178912730 12744508017243603506299
45039435751468464 51100644195455230291309
45059598347796057 102501209517912276857179
45168585663982896 97159132551838476454729

45208086218014720 номер средней добавки

45245192621875548 93599340455498531328053
45262089707834635 88034157597305900444843
45385529456577682 101815593417585937964453
45651440517177718 38675811605360195200313
45699406797982397 78176348378367051947513
45764893271157915 40810989506495718794663
45826936466972352 27047122546801419036353
45829365665955032 17337244380978152074823
. . . . . . . . 
89010226180657777 64012114395491104107659
89015252466890781 94104679816257292998209
89060368753616332 5772468100426373711759
89265537243158894 12691295274162038769629
89394392843653298 82516849292464009528499
89515142285976769 116960067034728481849679
89745768207428202 37899053074908749369039
89746124932009177 32922175845936990538319
89820622747704723 64695874266825226160129
89823571341786565 24945127392439324605929
89856410498843902 6700395671612778110369
89906555153717759 1795374608654989337369
90262433854569069 31245696191857679177039
90272760003322806 27883330811145965200439
90396404141017217 72094599970597496837939

90416172436029440 номер последней добавки

Да, всё то же самое.
Результативных добавок с маленькими номерами нет!
А почему их нет???

Расстояние от первой добавки до первой результативной добавки равно 9115503183652.
Расстояние от последней добавки до последней результативной добавки равно 19768295012222.
Здесь тоже перекос, но в другую сторону.

Вот почему программа этого алгоритма не даёт результатов.
Потому что до первой результативной добавки вот в этом примере надо сгенерировать и проверить 9115503183652 добавки.
А проверять их бесполезно!
Потому что они не дают решений - полных центральных 15-к.
Если в этом примере начинать генерацию с последней добавки, то до первой результативной добавки надо сгенерировать и проверить 19768295012222 добавок.
И все их проверять бесполезно, потому что они не дают центральных 15-к.

Вот такие печальные дела.
И как же эту ситуацию разрулить???
Думаем, господа!

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

А теперь давайте будем искать центральные 15-ки в нулевом периоде для периода 67#.

Понятно, что найденные 1147 центральных 15-к в диапазоне (0, 61#), будут находиться и в новом диапазоне (0, 67#).
Поэтому их искать уже не надо.

Вот последние центральные 15-ки из 1147 найденных в диапазоне (0, 61#)

. . . . . . 
117066183996204324897563
117117991421930536025213
117128761784974493203589
117154657994060071129123
117162579741989093836463
117201182126413058067773

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

Кстати, я уже запускала этот поиск на Ахиллесе-3 с генерацией добавок в естественном порядке, но он недавно прервался, так как Ахмллес-3 вырубился.
А потом я запустила этот поиск с генерацией добавок в обратном порядке на Ахиллесе.
Этот поиск сейчас работает.
Norm-числа - добавки идут хорошо, но пока все кандидаты всего лишь приближения к центральной 15-ке.

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

Общее количество добавок в этом поиске

4701640966673530880 formulae expected

То есть последняя добавка имеет номер 4701640966673530880.
Средняя добавка имеет номер 2350820483336765440.

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

Вот это оперативность! :)

Не успела я сказать про статистику в новом периоде, как gris её уже сделал.
Спасибо!

Показываю эту статистику (начало и конец)

474006165549916   103642195793253402669763
7597721668297839  32552490401884659580753
9355219779616349  54694108172999849408233
31678930227993526 111377900585198840267053
31687830913927493 33692568849331783585573
34539183032318953 57336021151612097979463
35185012940138213 16474422086770354220893
35197164862597606 113715186504385940428333
40702175426204304 1416814602970211619553
58626761105867559 9181216410829122233953
58849054619727603 62131973378690609478463
61904100680799600 30555023674574546972203
64110194675733765 69480239756424774521623
65430473835735231 109878663850184556651703
69117300239950095 60112959170435661073963
73522585278430754 12967362495788256980803
78360560873977350 2321104522630063134343
78854334269780667 117024858387465420946933
. . . . . . . 
4648508427869971489 82516849292464009528499
4654787398870791969 116960067034728481849679
4666779946786266503 37899053074908749369039
4666798496464477158 32922175845936990538319
4670672382880645591 64695874266825226160129
4670825709772901338 24945127392439324605929
4672533345939882886 6700395671612778110369
4675140867993323464 1795374608654989337369
4693646560437591574 31245696191857679177039
4694183520172785912 27883330811145965200439
4700613015332895249 72094599970597496837939

Тэк-с, пока я ничего не понимаю.
Все 1147 известных центральных 15-к (результативные добавки) рассыпались на весь диапазон, захватили какие-то номера добавок и сидят себе спокойненько.
А все остальные центральные 15-ки в этом диапазоне будут втыкаться между этими известными.
И где они будут втыкаться, одному Богу известно, да и то вряд ли.

Думаем, господа!

У меня мозг ушёл в автономку :)
Может, завтра что-нибудь выдаст.

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

А что там думает г. Петухов?

Не желает ли выдать мне программу поиска центральных 15-к в диапазоне (61#, 67#) с использованием АСМ?
Как в старые добрые времена более 11 лет назад :)
Ведь он был первым участником проекта по кортежам!
И очень хорошо начинал.
Бегемот потом к нему присоединился и тоже хорошо считал.

А потом... ну, Бегемота какая-то муха укусила, и он стал на меня жутко наезжать (как будто я решения у г. Петухова украла).
Ох!
А потом и г. Петухова кто-то укусил... :)

Ау, Дмитрий!
Может, вспомним старые добрые времена?
Тогда мы были лучше.
Правда.

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php

Сказать так: до первой результативной добавки надо перебрать 474006165549916 добавок?

Нет, наверное, это неправильно.
Вполне себе может возникнуть результативная добавка с меньшим номером, а значение этой добавки будет больше 117201182126413058067773.
А почему нет?
Разве так не может быть?

Всё, всё, я больше не думаю :)
Пусть мозг в автономке подумает.

---

The TBEG BOINC project maintains the database
https://boinc.tbrada.eu/spt/explore.php