Вчера получила письмо от gris, цитирую

Хотя ни одной базы я ещё не видел.

Огорошил! :)

То есть он в упор не видит эти БД
https://boinc.progger.info/odlk/forum_thread.php?id=242
https://boinc.progger.info/odlk/forum_thread.php?id=245
https://boinc.progger.info/odlk/forum_thread.php?id=246

Ну, на БД 11-ок я ему ссылку дала конкретную, но он пишет: какая это БД, несколько списков на разных страницах.
Вот, не так делаю БД. Разве можно отдельные списки взять и соединить? Конечно, нельзя.
Кстати, 12 частей БД 11-ок находятся на одной странице, а не на разных :)
Ибо в теме пока всего одна страница.

Уж не говорю о БД в проекте TBEG.
Там вроде всё нормально, хотя списки тоже на разных страницах, потому что на одной странице просто не умещается (или она будет запредельного размера).
Однако там преимущество перед моими списками: списки у Томаша отсортированы в порядке возрастания первого элемента кортежа.
Ну, объединить и отсортировать списки и ёжик умеет.

Теперь делаю БД 17-ок, а то gris спросит: "А где 17-ки?"
Начинаем с БД проекта TBEG (слава Богу, всего одна страница)
https://boinc.tbrada.eu/spt/tuples.php?spt=17&p=1

# page= 1, [unstable]
# Copyright Tomas Brada, ask on forum about reuse or citation.
# where `start`>=0 and `start`<=9000000000000000000 and kind='spt' and k=17
159067808851610411: 0 42 60 96 102 186 210 240 246 252 282 306 390 396 432 450 492
589492143270716899: 0 24 54 114 120 192 204 210 222 234 240 252 324 330 390 420 444
1326033721182094741: 0 6 18 36 120 168 186 216 258 300 330 348 396 480 498 510 516
1724672488829630161: 0 6 42 66 90 96 162 180 276 372 390 456 462 486 510 546 552
1799009523793490033: 0 114 156 186 240 264 270 324 330 336 390 396 420 474 504 546 660
2627620801084662563: 0 108 174 228 264 294 318 384 474 564 630 654 684 720 774 840 948
2687119294463586293: 0 24 78 84 120 150 168 198 204 210 240 258 288 324 330 384 408
2711169519694856959: 0 18 60 78 84 114 138 180 204 228 270 294 324 330 348 390 408
3235522982693027633: 0 6 60 120 126 138 168 246 258 270 348 378 390 396 456 510 516
# [unstable]: new tuples may appear below
3591347413760604881: 0 6 36 42 60 120 132 180 216 252 300 312 372 390 396 426 432
3722181188133389911: 0 30 72 96 150 156 180 210 216 222 252 276 282 336 360 402 432
3813080216381215441: 0 18 30 126 156 186 210 228 288 348 366 390 420 450 546 558 576
4041538518591769421: 0 18 36 108 120 150 156 186 198 210 240 246 276 288 360 378 396
4465698745762332011: 0 30 66 90 156 168 180 216 258 300 336 348 360 426 450 486 516
4547730656923199497: 0 6 30 36 42 66 120 156 246 336 372 426 450 456 462 486 492
# count = 15

Далее 17-ки, найденные Ярославом Врублевским в конкурсе по кортежам.
Не буду их здесь дублировать, они подробно расписаны в сообщении
https://boinc.progger.info/odlk/forum_thread.php?id=226&postid=8473

И наконец, две 17-ки с форума dxdy.ru.
Там есть герой-энтузиаст, господин Петухов.
Он ищет 19-ку с минимальным диаметром 252.
Пока не нашёл, но уже очень-очень-очень близко :)

Все его сообщения я внимательно не рассматривала, но две 17-ки (в одном сообщении) увидела
https://dxdy.ru/post1600833.html#p1600833
Цититую

901985248981556228168761: [0, 6, 12, 30, 42, 72, 90, 96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 418], valids=18

154787380396512840656501: [ +0, 6, 12, 30, 42, 72, 90, 96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18

Показываю собственно 17-ки

{901985248981556228168767, 901985248981556228168773, 901985248981556228168791, 901985248981556228168803,
901985248981556228168833, 901985248981556228168851, 901985248981556228168857, 901985248981556228168881,
901985248981556228168887, 901985248981556228168893, 901985248981556228168917, 901985248981556228168923,
901985248981556228168941, 901985248981556228168971, 901985248981556228168983, 901985248981556228169001,
901985248981556228169007}

{154787380396512840656507, 154787380396512840656513, 154787380396512840656531, 154787380396512840656543,
154787380396512840656573, 154787380396512840656591, 154787380396512840656597, 154787380396512840656621,
154787380396512840656627, 154787380396512840656633, 154787380396512840656657, 154787380396512840656663,
154787380396512840656681, 154787380396512840656711, 154787380396512840656723, 154787380396512840656741,
154787380396512840656747}

Или в сокращённом формате

901985248981556228168767: 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

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

Вот, кажется, всё, что мне известно о 17-ах.
В моём ручном проекте ни одна 17-ка не найдена.

А теперь техзадание.
Его gris тоже никак не возьмёт в толк :)

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

В приведённых выше примерах от господина Петухова вы видите приближения к 19-ке с одной "дыркой".

PS. Забыла сказать: вдруг случится, что 17-ка продолжится до 19-ки точно!
То есть 19-ка получится вовсе без "дырок".
Но вряд ли такое случится: все 17-ки проверены и перепроверены на продолжение до 19-ки.

gris писал в сообщении
https://dxdy.ru/post1601651.html#p1601651

Согласен, что это вопрос терминологии и теория дырок совершенно не разработана :)

Безобразие!
Автору термина "дырка" нашлёпать по мягкому месту!

Ну, всё выправил господин Петухов, блестяще разработал "теорию дырок" в одном сообщении
https://dxdy.ru/post1601645.html#p1601645

Учитесь, господа!

В новом BOINC-проекте SPT найдены две новые 17-ки!

# Copyright boinc.termit.me Natalia Makarova & Alex Belyshev & Tomáš Brada, ask on forum about reuse or citation.
# where k = 17
4679308425291971279: 0 12 30 54 72 144 180 252 282 312 384 420 492 510 534 552 564
4787657908465021067: 0 36 90 156 216 240 246 294 330 366 414 420 444 504 570 624 660
# last = 424677 # count = 2

https://boinc.termit.me/adsl/spt_list.php?k=17

Только начали!
Это большая удача.