Отчёт "по итогам года" г. Петуховым представлен
https://dxdy.ru/post1624329.html#p1624329

Это о поиске 19-ки с минимальным диаметром 252.

В BOINC-проекте SPT найдена 20-я 24-ка

SPT(24)	8633926168668398393	0 6 66 104 110 116 144 174 204 206 228 236 258 266 288 290 320 350 378 384 390 428 488 494

https://boinc.termit.me/adsl/spt_explore.php?rare

24-ка не матрёшечная.
Своими утилитами решение проверила.
Ошибок не обнаружено.

24-ка продолжается до 26-ки и влево, и вправо, но не одновременно.
Получаем две хромоногие 26-ки, причём совсем чуть-чуть хромают.

Первое приближение

{8633926168668398369, 8633926168668398393, 8633926168668398399, 8633926168668398459, 8633926168668398497,
8633926168668398503, 8633926168668398509, 8633926168668398537, 8633926168668398567, 8633926168668398597,
8633926168668398599, 8633926168668398621, 8633926168668398629, 8633926168668398651, 8633926168668398659,
8633926168668398681, 8633926168668398683, 8633926168668398713, 8633926168668398743, 8633926168668398771,
8633926168668398777, 8633926168668398783, 8633926168668398821, 8633926168668398881, 8633926168668398887,
*8633926168668398909}

паттерн

0, 24, 30, 90, 128, 134, 140, 168, 198, 228, 230, 252, 260, 282, 290, 312, 314, 344, 374, 402, 408, 414, 452, 512, 518, 542

Вместо "дырки" должен быть элемент 8633926168668398911.

Второе приближение

{*8633926168668398369, 8633926168668398393, 8633926168668398399, 8633926168668398459, 8633926168668398497,
8633926168668398503, 8633926168668398509, 8633926168668398537, 8633926168668398567, 8633926168668398597,
8633926168668398599, 8633926168668398621, 8633926168668398629, 8633926168668398651, 8633926168668398659,
8633926168668398681, 8633926168668398683, 8633926168668398713, 8633926168668398743, 8633926168668398771,
8633926168668398777, 8633926168668398783, 8633926168668398821, 8633926168668398881, 8633926168668398887,
8633926168668398909}

паттерн

0, 22, 28, 88, 126, 132, 138, 166, 196, 226, 228, 250, 258, 280, 288, 310, 312, 342, 372, 400, 406, 412, 450, 510, 516, 538

Вместо "дырки" должен быть элемент 8633926168668398371.

Между тем в BOINC-проекте SPT загружается 127-я партия заданий.

Batch 127: 8663328384525935453 .. 8912928384525935453 -1
Count: 128000
Continue from 8,66E+18

https://boinc.termit.me/adsl/forum_thread.php?id=6&postid=630

Мы едем, едем, едем,
скоро и приедем :)

На форуме проекта полная тишина.
Всем всё понятно.
Никакой пустой болтовни.
Все работают!
Никто не отвлекает своими "бла-бла-бла".

Тишь, да гладь, да спокойствие там...
(C)

Наконец-то, один из кранчеров задал-таки правильный вопрос
https://boinc.termit.me/adsl/forum_thread.php?id=56&postid=632

Мой ответ в следующем посте.
Я ждала немного, когда хозяева проекта ответят, но ответ не появился.
Написала свой ответ.

В BOINC-проекте SPT найдена 21-я 24-ка!

SPT(24) 8764658020915647779 0 14 18 32 74 84 90 104 108 134 158 192 260 294 318 344 348 362 368 378 420 434 438 452

https://boinc.termit.me/adsl/spt_explore.php?rare

Решение своими утилитами проверила.
Ошибок не обнаружено.

24-ка не матрёшечная.

И 22-я 24-ка!

SPT(24)	8737844669760433613	0 8 18 24 114 126 156 176 234 266 270 288 326 344 348 380 438 458 488 500 590 596 606 614

Немножко припозднилась.

Решение своими утилитами проверила.
Ошибок не обнаружено.

В BOINC-проекте SPT найдена 20-я 17-ка!

SPT(17)	8771507551674540341	0 42 48 102 138 180 198 210 240 270 282 300 342 378 432 438 480

отсюда
https://boinc.termit.me/adsl/spt_explore.php?rare

Решение своими утилитами проверила, ошибок не обнаружено.

17-ка не матрёшечная, но даёт очень хорошее приближение к 19-ке с одной "дыркой"

{*8771507551674540331, 8771507551674540341, 8771507551674540383, 8771507551674540389, 8771507551674540443,
8771507551674540479, 8771507551674540521, 8771507551674540539, 8771507551674540551, 8771507551674540581,
8771507551674540611, 8771507551674540623, 8771507551674540641, 8771507551674540683, 8771507551674540719,
8771507551674540773, 8771507551674540779, 8771507551674540821, 8771507551674540833}

паттерн

0, 12, 54, 60, 114, 150, 192, 210, 222, 252, 282, 294, 312, 354, 390, 444, 450, 492, 504

Вместо неправильного первого элемента кортежа должен быть элемент 8771507551674540329.
Ну совсем рядом!
Такая чудесная хромоножка!

В BOINC-проекте SPT загружена 129-я партия заданий

Batch 129: 8912928384525935453 .. 9162528384525935453 -1
Count: 128000
Continue from 8,91E+18

https://boinc.termit.me/adsl/forum_thread.php?id=6&postid=641

Счёт приближается к 9е18.

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

Для меня до сих пор КТО это чёрный ящик. Спрашиваю у PARI: "Кто? Какие числа по арифмосту подходят?" — отвечает. А как это вычисляется — не знаю.

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

Думаете я знаю как КТО вычисляет и почему? Нет, постоянно лезу как минимум в вики, благо там достаточно понятно (с пятого раза, когда уже вроде разобрался, но не запомнил)
И это даже при том что я её много где применяю! И кстати быстрый расчёт КТО это одна из тех идей что всё пытаюсь применить в свою программу, но никак не получается, а она ещё дала бы выигрыш до 4-х раз на задаче 19-252, с уменьшением требуемой памяти. Но вот никак не получается считать её достаточно быстро.

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

Yadryara в сообщении #1625516 писал(а):
Здесь многократно обсуждалось, что надо брать минимум 37#.

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

Дуб да мочало - начинай сначала.

Ядряра цитирует себя - умника - и далее сетует, почему "арифмост этой задачи" не обсудили в начале темы.
А теперь вот все тупые (как я, к примеру) не понимают это

Здесь многократно обсуждалось, что надо брать минимум 37#.

Да, я даже настолько тупая, что не понимаю слово "арифмост" :)))
Пробовала спросить у Яндекса и у Гугла, но никакого разъяснения этого слова не нашла.
Ну, тупая, что тут скажешь.

Вот, например, есть тема на форуме dxdy.ru
https://dxdy.ru/topic137991.html
A la Ktina (классический арифмост)
Ну и что это за "классический арифмост"?
Задана задачка.
Почему именно "арифмост"?

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

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

Ну вот офигенно досадно Ядряре, что Стефано не отвечает на это

Здесь многократно обсуждалось, что надо брать минимум 37#.

И ему вот теперь приходится снова и снова браться за разъяснения!
Начинать даже с уровня понимания ребёнка.
Ох! Трудная у Ядряры миссия! :)))

Ну такие все тупые, в особенности автор проекта.
Ага.
Прямо и не знает Ядряра, как с этим быть.
Десятый год автор проекта что-то ищет (какие-то там кортежи, а сначала вообще какие-то КПППЧ!), ничего не понимая про главный арифмост проекта.
Пора, наверное, автору проекта закругляться со своими поисками неизвестно чего!
Только с толку всех сбивает!

Ну, позволю себе дать хороший совет двум сапогам умникам:
не читайте исследований автора проекта и всего того, что он делает (BOINC-проекты, конкурсы и т. д.).
И будет вам счастье!
Зачем вам всё это читать?
Только расстраиваться!
Время тратить на разъяснение очевидных вещей, которые глупый автор проекта не понимает.
Потом ещё время тратить на вылавливание блох в BOINC-проектах.
Как сейчас модно говорить: забейте!
Считайте сами, найдите результаты и покажите их миру.
Вот и все дела.

Ха-ха-ха!
Ядряра продолжает ликбез! :)))

Господа!
А хотите, я расскажу вам, что такое КПППЧ? :)
И откуда это возникло.
И как Алексей Белышев написал программу поиска КПППЧ.
И эта программа до сих пор работает и находит симметричные кортежи из последовательных простых чисел (они же КПППЧ)!
И никакие остатки по модулю этой программе не нужны.
И никакие периоды (31#, 37# и т. д.) тоже не нужны.

Скорее всего, вы этого не хотите.
Поэтому не буду рассказывать :)

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

Кстати, Бегемот рассказывал об остатках по модулю в этой же самой теме, где сейчас Ядряра пишет свой ликбез.
Я это тогда взяла на вооружение и использовала в исследованиях решений Врублевского.
Свои программы с использованием этого начала писать много позже.
Сначала использовала формулы, приведённые Бегемотом для поиска 19-ки с минимальным диаметром.
Потом начала искать паттерны 19-ок с другими диаметрами и писать программы для их поиска.
В общем, в меру своих скудных сил и возможностей (с техникой) работала.
И до сих пор работаю.

Получила разъяснение про арифмост от форумчанина dxdy.ru

АРИФметика ОСТатков. Первая ссылка при запросе в google, ведёт в тему Ktina про взаимную простоту на dxdy, вопрос задаёт Профессор Снейп, отвечают Ktina и nnosipov.

Не знаю, хочет ли форумчанин быть названным, поэтому не называю.

Я ответила ему

А, наверное, тогда так
АРИФМетика ОСТатков.

Спасибо.
Теперь понимаю :)

И в 13-й раз похвалился г. Петухов в сообщении
https://dxdy.ru/post1627014.html#p1627014

PS. Кстати, раз уж про таблицы вспомнил. Когда-то давно говорил что моя программа может использовать до 200млн строк в таблице (вместо 6.626млн для 37# в поиске 19-252). Но весной 2021 программу доработал и теперь она за счёт выноса части циклов наружу (в запускающую программу, например на PARI) может использовать и больше таблицы, например то что реально работает с апреля 2023 использует эффективный (вся таблица одновременно нигде никогда не существует) размер таблицы 47#=107млрд строк, в 500 раз больше тогдашнего предела. Т.е. таблица получается в виде матрицы 107мдрд строк по 40 колонок по байту, общим размером под 4ТБ. Вот с такими таблицами научился работать три года назад (причём под x32 с ограничением 2ГБ на всю память программы). Программа может и ещё хоть в миллиарды раз больше размеры (например 824e18 строк для 73#), но тогда уже падает эффективность (и скорость перебора, что кстати довольно нетривиальный эффект, ведь должно быть всегда только ускорение).

Будет и 113-й раз.
Вся тема превратилась в пустозвонство и хвастовство!
Где результаты столь эффективных супер-пупер программ???

Но весной 2021 программу доработал...

То есть уже почти три года назад создана самая эффективная программа.
Ну, допустим, считать конкретно для 19-ки с минимальным диаметром он начал только в апреле 2023 г.
Результат: две ключевые 17-ки (центральные в 19-ке с минимальным диаметром).
Это побочный результат поиска, так как специально ключевые 17-ки г. Петухов не искал.
Они ему не интересны, к тому же, они ищутся дольше 19-ок, как считает г. Петухов.
Однако две ключевые 17-ки уже нашлись (сами собой, их даже и не искали), а 19-ки нету!
Как же так?
Ведь 19-ки ищутся быстрее!

19-ка с минимальным диаметром не найдена.
И вообще никакая 19-ка не найдена.
Г. Петухов говорил, что с другими диаметрами он 19-ки и не ищет по причине, которую глупая шестиклассница (то есть я) не поймёт.
А вот глупая шестиклассница инициировала BOINC-проект SPT (летом 2023 г.), в котором найдены две 19-ки с другими (не минимальными) диаметрами.
К тому же, найден мировой рекорд - самый длинный симметричный кортеж из последовательных простых чисел (26-ка).
И это всего за полгода работы BOINC-проекта SPT.
Рулит массовость вычислений!
Я говорила об этом неоднократно.
Но г. Петухов сидит в своём углу с супер-пупер программами, бесконечно квакает оттуда о своих супер-пупер программах и до сих пор не имеет ни одного значимого результата.

Такое пустозвонное хвастовство ... э-э-э... как бы это сказать помягче... приелось.
Это ведь уже с 2015 года началось (смотрите про почти 200 миллионов формул, которые "формируются на лету")

gris штурмует 19-ку с минимальным диаметром! :)

Программа у него на периоде 41#, конечно с хватанием формул на лету.
Он мне прислал программу (черновой вариант), я сейчас запустила.
О!
Это тот случай, когда можно часами заворожённо смотреть на экран :)
Вот посмотрите

(08:21) gp > \r formulae_41_19_7.gp
[0,6,12,30,42,72,90,96,120,126,132,156,162,180,210,222,240,246,252]
patterns length 19
central 7: [90,96,120,126,132,156,162]
prove by 41#: [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41]
304250263527210 period number 2000000
search in 608500527054420000000 - 608500831304683527210
159252480 formulae expected
608500611715092090361: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
608500567890814336951: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,1]
608500614375642386611: [0,0,0,0,0,0,1,1,1,1,1,1,1,1,1,1,0,0,0]
608500801344866077861: [0,0,0,1,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
608500646948604738541: [0,0,0,1,0,0,1,1,1,1,1,1,1,0,1,0,1,0,0]
608500680716199791341: [0,0,0,1,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
608500548188282649721: [0,0,0,0,0,1,1,1,1,1,1,1,1,0,0,0,0,0,1]
608500544340364005151: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,1,0,1,0]
608500768685744117851: [1,0,1,0,1,0,1,1,1,1,1,1,1,0,0,0,0,1,0]
608500650024508905331: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,1,0,0]
608500586985754376581: [0,0,0,0,1,0,1,1,1,1,1,1,1,1,0,0,1,0,0]
608500611761811402301: [0,0,0,0,0,0,1,1,1,1,1,1,1,1,0,0,0,0,0]
608500582953613880611: [0,0,0,1,0,0,1,1,1,1,1,1,1,1,0,0,0,1,0]
608500727556970628461: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,1,1,0,0]
608500797913762267441: [1,0,0,1,0,1,1,1,1,1,1,1,1,0,0,1,0,0,0]
608500577968859141101: [0,1,1,0,1,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
608500647128172624361: [1,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
608500808487918501691: [0,0,0,1,0,0,1,1,1,1,1,1,1,0,0,0,1,0,0]
608500779214937968741: [1,0,0,0,0,1,1,1,1,1,1,1,1,0,0,0,1,0,0]
608500716648454769521: [0,0,0,0,1,0,1,1,1,1,1,1,1,0,0,0,0,1,0]
608500623337119942811: [0,0,1,0,0,0,1,1,1,1,1,1,1,0,0,0,1,0,0]
608500580455761553927: [0,0,0,1,0,1,1,1,1,1,1,1,1,0,0,0,0,1,0]
608500741573224864577: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,1,0]
608500537514482767367: [0,1,0,1,0,1,1,1,1,1,1,1,1,0,0,0,0,0,0]
608500582226822070607: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,1]
608500541758036773667: [0,1,1,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
608500616857384767337: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
608500782626368111147: [0,1,0,0,0,0,1,1,1,1,1,1,1,0,0,0,1,0,0]
608500577311048081327: [0,0,0,0,1,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
608500772465690073637: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,1]
608500827353612429317: [0,0,0,0,1,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
608500771288926766177: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,1,0]
608500681740244122757: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
608500592263909425007: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,1,0,0,0]
608500681791303230857: [1,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,1,0,0]
608500643706665991817: [1,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,1,0]
608500797949687033927: [0,0,1,0,1,0,1,1,1,1,1,1,1,0,1,0,0,0,0]
608500532929474546897: [0,1,0,0,0,0,1,1,1,1,1,1,1,0,1,0,1,0,1]
608500712326334983537: [1,0,0,1,1,1,1,1,1,1,1,1,1,0,1,0,0,0,1]
608500533377475013657: [0,0,0,1,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
608500737631662469961: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
608500578249447467951: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,1,0]
608500724219924844521: [0,0,1,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,1]
608500822136761183451: [0,0,0,0,0,0,1,1,1,1,1,1,1,1,0,0,0,0,0]
608500549112238983021: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,1,0,0,0,0]
608500749271734228731: [0,1,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,1]
608500542316052145581: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
608500634989097143961: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
608500680785571887981: [0,0,0,0,0,0,1,1,1,1,1,1,1,1,0,0,0,0,0]
608500564335897647081: [1,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
608500642431235878251: [0,0,0,0,1,0,1,1,1,1,1,1,1,0,0,0,0,1,0]
608500748921642120471: [1,0,0,0,0,1,1,1,1,1,1,1,1,1,0,0,0,0,0]
608500568493255702191: [0,0,0,0,0,0,1,1,1,1,1,1,1,1,0,0,0,0,0]
608500730392547217761: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,1,0,1]
608500595393268523481: [0,1,0,0,0,0,1,1,1,1,1,1,1,0,0,1,1,0,0]
608500829910021227561: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
608500760825407099031: [0,0,0,0,0,0,1,1,1,1,1,1,1,1,0,0,0,1,0]
608500527676446455417: [1,0,1,1,0,0,1,1,1,1,1,1,1,0,1,0,0,0,0]
608500654226335775117: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,1,0,1,0]
608500722052351252337: [1,0,0,0,1,0,1,1,1,1,1,1,1,0,0,0,0,1,0]
608500691686468997237: [0,0,1,1,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]

Программа ещё работает.

Конечно, очень интересно это решение

608500712326334983537: [1,0,0,1,1,1,1,1,1,1,1,1,1,0,1,0,0,0,1]

Здесь первый и последний элементы кортежа правильные, то есть они дают нужный диаметр и обладают симметрией относительно центрального элемента кортежа.
В приближении всего 6 "дырок", "дырки" - это нули, правильные элементы - это единички.
Ежели будут все единички. это решение! То есть она сама, родимая, 19-ка с минимальным диамтером.
А ежели будет 17 единичек между первым и последним элементами кортежа - это ключевая 17-ка.

А в этом решении центральная девятка

608500748921642120471: [1,0,0,0,0,1,1,1,1,1,1,1,1,1,0,0,0,0,0]

В этой версии программы минимальный центральный кортеж - семёрка.

PS. Развернула приближение с 6 "дырками"

608500712326334983537, 608500712326334983541, 608500712326334983567, 60850071232
6334983579, 608500712326334983609, 608500712326334983627,
608500712326334983633,
 608500712326334983657, 608500712326334983663, 608500712326334983669, 6085007123
26334983693, 608500712326334983699, 608500712326334983747, 608500712326334983789
14

Вписалось 14 последовательных простых чисел.
Следовательно, 5 элементов кортежа не простые числа.

Программа завершилась

. . . . . . . . . 
608500654226335775117: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,1,0,1,0]
608500722052351252337: [1,0,0,0,1,0,1,1,1,1,1,1,1,0,0,0,0,1,0]
608500691686468997237: [0,0,1,1,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
608500781358223859927: [1,0,0,1,0,0,1,1,1,1,1,1,1,0,0,1,1,0,1]
608500676451895433027: [1,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
608500600641657099197: [0,0,0,0,1,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
608500677496592826767: [0,0,0,0,0,1,1,1,1,1,1,1,1,0,0,0,0,0,0]
608500565623157597057: [0,0,0,0,1,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
608500593855648634067: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,1,1]
608500582156925527997: [0,0,1,0,0,0,1,1,1,1,1,1,1,0,1,0,0,0,0]
608500709794102695497: [1,0,0,0,0,0,1,1,1,1,1,1,1,0,1,0,0,0,1]
608500801825780835507: [0,0,1,0,0,1,1,1,1,1,1,1,1,0,0,0,1,0,0]
608500702044681307397: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,1,0]
608500616174101652537: [1,0,0,0,0,0,1,1,1,1,1,1,1,0,1,0,0,0,0]
608500813536749484887: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,1,0,1,0,0]
608500785241343079467: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,1,0]
608500600428134259227: [0,0,1,0,0,0,1,1,1,1,1,1,1,0,1,0,0,0,1]
608500571667298065137: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
608500706578336066877: [1,0,0,0,0,0,1,1,1,1,1,1,1,1,0,1,0,0,0]
608500594139121689387: [1,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
608500639233191850527: [0,0,0,0,0,0,1,1,1,1,1,1,1,1,0,0,0,0,0]
608500663958069738237: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,1]
time = 1h, 2min, 48,734 ms.

Вот ещё интересные решения с правильными первым и последним элементами

608500781358223859927: [1,0,0,1,0,0,1,1,1,1,1,1,1,0,0,1,1,0,1]
608500709794102695497: [1,0,0,0,0,0,1,1,1,1,1,1,1,0,1,0,0,0,1]

И работала программа час с небольшим!
Класс!

Вот ещё проход программы завершился.
Интересные решения

1277851168916020076591: [1,0,0,0,0,1,1,1,1,1,1,1,1,1,0,0,0,0,0]
1277851283665846735667: [1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,1,0,0,1]

А сейчас запустила программу на подступах к ключевой 17-ке Врублевского, вот этой

3954328349097827424397: 0 6 24 36 66 84 90 114 120 126 150 156 174 204 216 234 240

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

Вот сразу началось с решения, содержащего центральную 9-ку

(11:24) gp > \r formulae_41_19_7.gp
[0,6,12,30,42,72,90,96,120,126,132,156,162,180,210,222,240,246,252]
patterns length 19
central 7: [90,96,120,126,132,156,162]
prove by 41#: [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41]
304250263527210 period number 12995001
search in 3953732478786357477210 - 3953732783036621004420
159252480 formulae expected
3953732571992504956021: [0,1,0,1,0,1,1,1,1,1,1,1,1,1,0,0,0,0,0]
3953732704825263954961: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,1]
3953732745028778496151: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,1,0,1,0,0]
3953732738172209420641: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,1,0,1]

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

Кстати, это программа сразу для двух конкурсных задач: и поиск 19-ки с минимальным диаметром, и поиск ключевых 17-ок.
Вот и у gris супер-пупер программа!
Правда, в 1200 раз не ускорена с помощью АСМ.
Ну, нам и так хорошо, мы не торопимся :)
Тише едешь, дальше будешь. (поговорка)

Ещё из одного прохода программы на подступах к ключевой 17-ке Врублевского,
интересные решения

3953732213164023498421: [1,0,0,1,1,0,1,1,1,1,1,1,1,0,0,0,0,0,1]
3953732301179077170421: [1,0,0,0,1,0,1,1,1,1,1,1,1,1,0,0,0,0,1]
3953732201895138573277: [1,0,0,0,0,1,1,1,1,1,1,1,1,0,1,0,0,0,1]
3953732203903834308037: [1,1,0,0,0,0,1,1,1,1,1,1,1,0,1,1,0,0,1]
3953732434207845889967: [0,0,0,0,0,1,1,1,1,1,1,1,1,1,0,0,1,0,0]
3953732179352712171797: [1,0,0,0,0,1,1,1,1,1,1,1,1,1,0,0,1,0,0]

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

Подобрала период так. чтобы искомая 17-ка попала в него.
Запустила программу

(12:28) gp > \r formulae_41_19_7.gp
[0,6,12,30,42,72,90,96,120,126,132,156,162,180,210,222,240,246,252]
patterns length 19
central 7: [90,96,120,126,132,156,162]
prove by 41#: [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41]
304250263527210 period number 12996959
search in 3954328200802343754390 - 3954328505052607281600
159252480 formulae expected
3954328335457005970831: [0,0,0,0,0,1,1,1,1,1,1,1,1,0,1,1,0,0,0]
3954328493350955357851: [0,1,0,1,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]

Ждём появления 17 единичек :)

Тест завершился, 17 единичек не появились

(12:28) gp > \r formulae_41_19_7.gp
[0,6,12,30,42,72,90,96,120,126,132,156,162,180,210,222,240,246,252]
patterns length 19
central 7: [90,96,120,126,132,156,162]
prove by 41#: [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41]
304250263527210 period number 12996959
search in 3954328200802343754390 - 3954328505052607281600
159252480 formulae expected
3954328335457005970831: [0,0,0,0,0,1,1,1,1,1,1,1,1,0,1,1,0,0,0]
3954328493350955357851: [0,1,0,1,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
3954328432884627085501: [0,0,0,0,1,1,1,1,1,1,1,1,1,0,0,0,1,0,0]
3954328233734205580921: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
3954328353781694668861: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
3954328501171687669111: [1,0,0,0,0,0,1,1,1,1,1,1,1,0,0,1,0,0,0]
3954328317862330978651: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,1,0,1,1]
3954328215644548645831: [0,0,1,0,0,0,1,1,1,1,1,1,1,0,1,0,0,0,0]
3954328316650961002681: [1,0,0,1,0,1,1,1,1,1,1,1,1,0,0,0,1,1,0]
3954328225127844049021: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,1,0,0,0,0]
3954328234469622438811: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,1,0,0,0,0]
3954328398053348185237: [0,0,1,0,0,0,1,1,1,1,1,1,1,0,0,0,0,1,0]
3954328447227189581917: [0,0,0,0,0,1,1,1,1,1,1,1,1,0,0,0,0,1,0]
3954328354645981936837: [0,0,0,1,0,1,1,1,1,1,1,1,1,0,0,0,0,0,0]
3954328405573987765537: [0,0,0,0,0,0,1,1,1,1,1,1,1,1,0,0,0,1,1]
3954328210938436365247: [0,0,0,0,0,0,1,1,1,1,1,1,1,1,1,1,0,0,0]
3954328266678512959057: [0,0,0,0,1,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
3954328465807225015177: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
3954328429608327060217: [0,0,0,0,1,0,1,1,1,1,1,1,1,0,1,0,0,0,0]
3954328394896724864947: [0,0,1,0,0,0,1,1,1,1,1,1,1,0,0,0,1,1,0]
3954328460584355865547: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
3954328417299764345377: [0,1,0,0,1,0,1,1,1,1,1,1,1,0,1,1,0,0,0]
3954328324984049978347: [0,0,0,0,1,1,1,1,1,1,1,1,1,0,1,1,0,0,0]
3954328248950080936301: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
3954328470458439501641: [0,1,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
3954328354836116655611: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
3954328453039192506491: [1,1,0,0,0,0,1,1,1,1,1,1,1,0,1,0,0,0,0]
3954328481115582838481: [0,0,0,0,0,0,1,1,1,1,1,1,1,1,0,0,0,0,0]
3954328338276840473771: [0,0,0,1,0,0,1,1,1,1,1,1,1,1,0,0,0,0,0]
3954328311741060523091: [1,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
3954328444497349993001: [0,0,0,1,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
3954328310012388613841: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
3954328264176734073011: [0,0,1,0,1,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
3954328290465259616291: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,1,0,0,0,0]
3954328459684044262187: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
3954328275010305046067: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,1,0,0]
3954328204248546558647: [0,0,1,0,1,0,1,1,1,1,1,1,1,1,0,0,0,0,0]
3954328242758792017787: [0,0,1,0,0,0,1,1,1,1,1,1,1,0,1,0,0,0,0]
3954328327399000140257: [0,0,0,0,1,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
3954328490202642598127: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,1,0,0]
3954328228236645771047: [0,0,0,0,0,1,1,1,1,1,1,1,1,0,0,1,0,0,0]
3954328353443187831647: [0,0,0,0,1,0,1,1,1,1,1,1,1,0,1,0,0,0,0]
3954328247480983313477: [0,0,0,0,0,0,1,1,1,1,1,1,1,1,1,1,0,0,0]
3954328311763156869077: [0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,1,0,0]
3954328272556170924797: [1,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0]
3954328301671341899687: [0,0,0,1,0,1,1,1,1,1,1,1,1,1,0,0,0,0,0]
3954328334776273089017: [0,1,0,1,0,0,1,1,1,1,1,1,1,0,0,0,0,1,0]
3954328405752512593187: [0,0,0,0,0,0,1,1,1,1,1,1,1,1,0,0,0,0,1]
3954328425032312772827: [0,0,0,0,1,0,1,1,1,1,1,1,1,0,0,0,1,1,0]
time = 1h, 3min, 10,732 ms.

Что-то я не то сделала?
Отправила вопрос gris.

PS. Тестировала следующую ключевую 17-ку Врублевского

3954328349097827424397: 0 6 24 36 66 84 90 114 120 126 150 156 174 204 216 234 240

Диапазон вроде правильно подобрала.

Может, потому и потерялась центральная 17-ка, что для 17-ок формул больше, чем для 19-ок?
С таким случаем потери центральных кортежей я уже сталкивалась.

Ответ gris привожу полностью

Я вот не уверен, что 17-ка Врублевского найдётся по паттерну 19-252. Сейчас запущу. проверкой по 31
Вот:
(13:02) gp > \r C:/GRIS/formulae_41_19_7.gp
[0,6,24,36,66,84,90,114,120,126,150,156,174,204,216,234,240]
patterns length 17
central 17: [0,6,24,36,66,84,90,114,120,126,150,156,174,204,216,234,240]
centred pattern [-120, -114, -96, -84, -54, -36, -30, -6, 0, 6, 30, 36, 54, 84,
96, 114, 120]
prove by 31#: [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31]
200560490130 period number 19716387542
search in 3954328349016545960460 - 3954328349217106450590
1605632 formulae expected
3954328349097827424397: [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
time = 49,351 ms.

(13:05) gp > \r C:/GRIS/formulae_41_19_7.gp
[0,6,12,30,42,72,90,96,120,126,132,156,162,180,210,222,240,246,252]
patterns length 19
central 17: [6,12,30,42,72,90,96,120,126,132,156,162,180,210,222,240,246]
centred pattern [-126, -120, -114, -96, -84, -54, -36, -30, -6, 0, 6, 30, 36, 5
4, 84, 96, 114, 120, 126]
prove by 31#: [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31]
200560490130 period number 19716387542
search in 3954328349016545960460 - 3954328349217106450590
331776 formulae expected
time = 8,597 ms.
(13:05) gp >
по 17-240 нашлась, а по 19-252 не нашлась.
Мы же эти штуки обсуждали

___________________________
конец цитаты

Так значит, я правильно предположила про потерю центральных кортежей.

Ну её к дьяволу эту 19-ку.
Буду продолжать искать ключевые 17-ки.
Я-то обрадовалась. что при поиске 19-ки с минимальным диаметром и ключевые 17-ки найдутся.
А тут полный облом!

Кстати, о птичках...

Это известные нам ключевые 17-ки

1006882292528806742267: 0 6 24 36 66 84 90 114 120 126 150 156 174 204 216 234 240
3954328349097827424397: 0 6 24 36 66 84 90 114 120 126 150 156 174 204 216 234 240
4896552110116770789773: 0 6 24 36 66 84 90 114 120 126 150 156 174 204 216 234 240
6751407944109046348063: 0 6 24 36 66 84 90 114 120 126 150 156 174 204 216 234 240
7768326730875185894807: 0 6 24 36 66 84 90 114 120 126 150 156 174 204 216 234 240
19252814175273852997757: 0 6 24 36 66 84 90 114 120 126 150 156 174 204 216 234 240
154787380396512840656507: 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-ки.
Он мог потерять их по той же самой причине, по какой у меня не сработал тест по программе gris (ключевая 17-ка не найдена).

Цитирую письмо gris

Если стоит задача поиска 17-ек ровно с паттерном
pt=[0, 6, 24, 36, 66, 84, 90, 114, 120,126, 150, 156, 174, 204, 216, 234, 240];
, то кто мешает? Называйте их ключевыми, но они не обязаны открывать 19-252.
Вот я же нашёл прямо тут.

По паттерну искать ключевые 17-ки никто (и ничто) не мешает!
И я их ищу.
Мне они нужны.
Г. Петухову они не нужны.

Ещё цитирую письмо gris

pt=[0, 6, 12, 30, 42, 72, 90, 96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 2
46, 252]
3954328349097827424391: [61, p, p, p, p, p, p, p, p, p, p, p, p, p, p, p, p, p,
17 ]
Да, в середине 17 простых, а первый элемент спагеттины делится на 61, а последний на 17.

Да, и я про то же :)

Впрочем, у г. Петухова ключевые 17-ки могли и не потеряться; всё зависит от того, как написана его программа поиска 19-ки с минимальным диаметром.

А вот программа gris теряет ключевые 17-ки.