Пентадекатлон мечты

[Yadryara]

Dmitriy40 в сообщении #1565177 писал(а):

Комплект 003456 просчитан до 300e30, ничего не найдено.

Так-таки и ничего? А 13-ки? Кстати, просьба запостить 10-ку наименьших найденных непрерывных 13-к. И тогда я наконец-то попробую заменить старые таблицы с 100-й страницы новыми для наименьших непрерывных 13-к, 14-к и 15-к.

Для непрерывных 14-к нынче таблица такая:

$\tikz[scale=.08]{ \draw (0,210) rectangle (10,220); \draw (10,210) rectangle (94,220); \draw (94,210) rectangle (107,220); \draw (107,210) rectangle (139,220); \draw (139,210) rectangle (146,220); \draw (146,210) rectangle (156,220); \draw (0,200) rectangle (10,210); \draw (10,200) rectangle (94,210); \draw (94,200) rectangle (107,210); \draw (107,200) rectangle (139,210); \draw (139,200) rectangle (146,210); \draw (146,200) rectangle (156,210); \draw (0,190) rectangle (10,200); \draw (10,190) rectangle (94,200); \draw (94,190) rectangle (107,200); \draw (107,190) rectangle (139,200); \draw (139,190) rectangle (146,200); \draw (146,190) rectangle (156,200); \draw (0,180) rectangle (10,190); \draw (10,180) rectangle (94,190); \draw (94,180) rectangle (107,190); \draw (107,180) rectangle (139,190); \draw (139,180) rectangle (146,190); \draw (146,180) rectangle (156,190); \draw (0,170) rectangle (10,180); \draw (10,170) rectangle (94,180); \draw (94,170) rectangle (107,180); \draw (107,170) rectangle (139,180); \draw (139,170) rectangle (146,180); \draw (146,170) rectangle (156,180); \draw (0,160) rectangle (10,170); \draw (10,160) rectangle (94,170); \draw (94,160) rectangle (107,170); \draw (107,160) rectangle (139,170); \draw (139,160) rectangle (146,170); \draw (146,160) rectangle (156,170); \draw (0,150) rectangle (10,160); \draw (10,150) rectangle (94,160); \draw (94,150) rectangle (107,160); \draw (107,150) rectangle (139,160); \draw (139,150) rectangle (146,160); \draw (146,150) rectangle (156,160); \draw (0,140) rectangle (10,150); \draw (10,140) rectangle (94,150); \draw (94,140) rectangle (107,150); \draw (107,140) rectangle (139,150); \draw (139,140) rectangle (146,150); \draw (146,140) rectangle (156,150); \draw (0,130) rectangle (10,140); \draw (10,130) rectangle (94,140); \draw (94,130) rectangle (107,140); \draw (107,130) rectangle (139,140); \draw (139,130) rectangle (146,140); \draw (146,130) rectangle (156,140); \draw (0,120) rectangle (10,130); \draw (10,120) rectangle (94,130); \draw (94,120) rectangle (107,130); \draw (107,120) rectangle (139,130); \draw (139,120) rectangle (146,130); \draw (146,120) rectangle (156,130); \node at (5.3,215) {\text{1.}}; \node at (54,215){\text{5625796463484324070009617271709145}}; \node at (100.3,215){\text{8}}; \node at (123,215){\text{N2-46-523710}}; \node at (142.4,215){\text{F}}; \node at (150.8,215){\text{Dm}}; \node at (5.3,205) {\text{2.}}; \node at (53,205){\text{11865604480910140781102260713619545}}; \node at (100.3,205){\text{2}}; \node at (123,205){\text{N2-51-623410}}; \node at (142.4,205){\text{F}}; \node at (150.8,205){\text{Na}}; \node at (5.3,195) {\text{3.}}; \node at (53,195){\text{12641644871583861275062199467757145}}; \node at (100.3,195){\text{64}}; \node at (123,195){\text{N2-34-543210}}; \node at (142.4,195){\text{F}}; \node at (150.8,195){\text{Na}}; \node at (5.3,185) {\text{4.}}; \node at (53,185){\text{14202875425368849513510319626984345}}; \node at (100.3,185){\text{16}}; \node at (123,185){\text{N2-36-632510}}; \node at (142.4,185){\text{F}}; \node at (150.8,185){\text{De}}; \node at (5.3,175) {\text{5.}}; \node at (53,175){\text{14338620420493961557283066155430041}}; \node at (100.3,175){\text{16}}; \node at (123,175){\text{S2-24-045213}}; \node at (142.4,175){\text{1}}; \node at (150.8,175){\text{Na}}; \node at (5.3,165) {\text{6.}}; \node at (53,165){\text{18154091233136257708912076431017945}}; \node at (100.3,165){\text{64}}; \node at (123,165){\text{N2-36-238140}}; \node at (142.4,165){\text{F}}; \node at (150.8,165){\text{Dm}}; \node at (5.3,155) {\text{7.}}; \node at (53,155){\text{23466238381659111718270264154333145}}; \node at (100.3,155){\text{4}}; \node at (123,155){\text{N9-23-432610}}; \node at (142.4,155){\text{F}}; \node at (150.8,155){\text{Na}}; \node at (5.3,145) {\text{8.}}; \node at (53,145){\text{37543948673884073914265398370884441}}; \node at (100.3,145){\text{8}}; \node at (123,145){\text{S9-35-015263}}; \node at (142.4,145){\text{1}}; \node at (150.8,145){\text{De}}; \node at (5.3,135) {\text{9.}}; \node at (53,135){\text{49735258463353263039592853384529945}}; \node at (100.3,135){\text{256}}; \node at (123,135){\text{N9-46-541260}}; \node at (142.4,135){\text{F}}; \node at (150.8,135){\text{De}}; \node at (5.2,125) {\text{10.}}; \node at (53,125){\text{54248308344417840155715611725987545}}; \node at (100.3,125){\text{16}}; \node at (123,125){\text{N2-36-236150}}; \node at (142.4,125){\text{F}}; \node at (150.8,125){\text{De}}; }$

[Dmitriy40]

Yadryara в сообщении #1565323 писал(а):

Кстати, просьба запостить 10-ку наименьших найденных непрерывных 13-к.

(Вот все до непрерывной 14-ки:)

N2-45-256100:586683019466361719763403545: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  8, 32,  valids=13, maxlen=13, ALL
N2-56-512400:108733328714439697994931120345: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 32,  4,  valids=13, maxlen=13, ALL
N2-50-541200:227666845709438395029674265945: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 16, 16,  valids=13, maxlen=13, ALL
S2-41-001342:613325178838387028899008062041:  4, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=13, maxlen=13, ALL
S2-41-302510:1131687019435887932785738910041: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  8, 48,  valids=13, maxlen=13
S9-34-002341:1439314756106602937022269702041: 16,  8, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=13, maxlen=13, ALL
S9-26-004213:3416710478784278632105449158041:  2,  8, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=13, maxlen=13, ALL
S2-26-203041:3571541827470111796155912172441:288, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=13, maxlen=13, ALL
S9-32-204531:3797306190383689322319167788441: 12,128, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=14, maxlen=13, ALL
S2-46-003412:8093664791239264683397741559641:  8, 32, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=13, maxlen=13, ALL
S9-43-204103:8465690351577098126087841014041: 12,  4, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=14, maxlen=13, ALL
N9-54-241300:9633708569435707311171272736345: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  8, 16,  valids=13, maxlen=13, ALL
N9-43-143200:18769490569457600541392121605145: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  8, 16,  valids=13, maxlen=13, ALL
N9-53-324100:19715085512099804111837744025945: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 16, 16,  valids=13, maxlen=13, ALL
S9-56-002143:25477699177324273702157759063641: 16,128, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=13, maxlen=13, ALL
N2-54-423100:30603219317727935028418306061145: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  8, 32,  valids=13, maxlen=13, ALL
N9-24-413200:32121818151383840253172692792345: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 16,  8,  valids=13, maxlen=13, ALL
S9-31-003214:32178767114075757926526391770841:  8,  4, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=13, maxlen=13, ALL
N9-46-143200:38678772132592182721880227723545: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  8,  4,  valids=13, maxlen=13, ALL
N9-45-214300:42994129556516560264462073453145: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 16,  4,  valids=13, maxlen=13, ALL
S9-35-001243:48290219091932363169761536938841:  8, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=13, maxlen=13, ALL
N9-43-134200:49828446144766291146116129664345: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  4,  4,  valids=13, maxlen=13, ALL
N2-51-341200:50784186814006988314797181641945: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 32,  4,  valids=13, maxlen=13, ALL
S2-23-001243:53458028306797392433448072356441:  8, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=13, maxlen=13, ALL
N2-31-645300:74120519178720503615982100675545: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 32,  8,  valids=13, maxlen=13, ALL
N2-34-023514:183742059198960378686363193168345: 24,  8, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=13, maxlen=13
S9-43-705132:246876212118761362378208152559641: 24, 64, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=13, maxlen=13, ALL
N9-73-421506:259037697563588532195140710301145: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 16, 12, 12,  valids=14, maxlen=12, ALL
S2-46-503162:517323644441352164508238287911641: 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=14, maxlen=13, ALL
S9-41-501723:602478451899797407619570574570841: 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=14, maxlen=13, ALL
N2-46-013254:904762936870252160715128074949145: 24, 32, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=13, maxlen=13
S9-54-407321:1081131437576232815052761092559641: 48,128, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=13, maxlen=13, ALL
N9-56-162340:1092049050815547567727024895827545: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 48,  4,  valids=13, maxlen=13
S9-45-702143:1133224403376691454040690079468441: 96, 32, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=13, maxlen=13, ALL
S9-41-503214:1644045397000202097257384783236441: 12, 32, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=14, maxlen=13
S9-52-304217:1686759539940232498288530497970841: 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=14, maxlen=13, ALL
N2-35-084132:2055388060357096198161109046179545: 12, 32, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=14, maxlen=13, ALL
S2-31-654230:2519287421582101214035207903698841: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 64, 48,  valids=13, maxlen=13
N9-45-123705:2567585376739164744642049211040345: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 64, 24,  valids=13, maxlen=13, ALL
S9-21-701235:2973723805872472074910175027567641: 24, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=13, maxlen=13, ALL
S9-24-403219:3025480881155089949019446923070041: 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=14, maxlen=13, ALL
S9-45-601425:3067156509258374440567582835178841: 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=14, maxlen=13, ALL
S9-53-201483:3173804884110203196193327624938841:  6,128, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=13, maxlen=13, ALL
N2-46-532701:3263261050242130731222273152496345: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 32, 24,  valids=13, maxlen=13, ALL
S9-36-301428:3358814519660458504572068522966041: 48, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=13, maxlen=13, ALL
S2-36-403172:3396946247725319493733729856898841: 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=14, maxlen=13, ALL
N2-31-035217:3498724254300446021279383984459545: 48, 32, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=13, maxlen=13
N2-46-062134:3622442787032728972968170496168345: 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=14, maxlen=13
S9-42-801423:3977227306415042097161429868110041: 12, 64, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=14, maxlen=13, ALL
N9-25-493120:4193230416240579015801183910569945: 48, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  4,  valids=13, maxlen=13
N9-54-241370:4254248648075460641608880630832345: 24, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 64,  valids=13, maxlen=13
N2-31-281430:4639644207841373051511774627873945: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 48,  8,  valids=13, maxlen=13
S2-21-019234:5156111861426093693950347077639641:  8, 24, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=13, maxlen=13
N2-34-013294:5426373123751714359712101127881945: 24, 32, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  valids=13, maxlen=13
N9-56-427103:5580625816416149722797817784913945: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 16, 12,  valids=14, maxlen=13, ALL
N2-46-523710:5625796463484324070009617271709145: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  8,  valids=14, maxlen=14, ALL, 14!

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

[Yadryara]

Dmitriy40 в сообщении #1565331 писал(а):

Вот все до непрерывной 14-ки:

Не все, кстати. Давнишняя непрерывная 13-ка Hugo разве не должна идти здесь на 7-м месте? Примерно так:

 1.      586683019466361719763403545  N2-45-256100  8,32   EF  Dm

 2.   108733328714439697994931120345  N2-56-512400  32,4   EF  Dm

 3.   227666845709438395029674265945  N2-50-541200  16,16  EF  Dm

 4.   613325178838387028899008062041  S2-41-001342  4,16   12  Dm

 5.  1131687019435887932785738910041  S2-41-302510  8,48   EF  Dm

 6.  1439314756106602937022269702041  S9-34-002341  16,8   12  Dm

 7.  1932741770848588276411450776345  N2-**-001234  32,4   EF  Hu

 8.  3416710478784278632105449158041  S9-26-004213  2,8    12  Dm

 9.  3571541827470111796155912172441  S2-26-203041  288,16 12  Dm

10. 3797306190383689322319167788441  S9-32-204531  128     2  Dm

Не стал тщательно расписывать имя паттерна. Но Вы разве не должны были её найти, если проверили комплект 001234 до 60е30?

Ну и непрерывная 12-ка как-то в Ваш список затесалась:

Dmitriy40 в сообщении #1565331 писал(а):

N9-73-421506:259037697563588532195140710301145: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 16, 12, 12, valids=14, maxlen=12, ALL

[Dmitriy40]

Yadryara в сообщении #1565383 писал(а):

Не стал тщательно расписывать имя паттерна. Но Вы разве не должны были её найти, если проверили комплект 001234 до 60е30?

А стоило расписать, тогда возможно заметили бы что нет, не должен найти: она исключается отсутствием такого паттерна, в ней место n+13 имеет формат $p^2$, а мы изначально договорились что ищем цепочки только с простыми в первой степени.
Плюс я не уверен что ускоритель не отбросит её проверкой по индексам по $37^1$ на месте n+4, это надо довыяснить.

-- 25.09.2022, 20:04 --

Остаётся только повторить: вся система по прежнему сильно заточена под поиск именно 15-ки, меньшие находятся лишь бонусом. И дело далеко не только в большом if в PARI, но и в проверке по индексам и даже просто в списке паттернов.

[Yadryara]

Dmitriy40 в сообщении #1565397 писал(а):

в ней место n+13 имеет формат $p^2$,

На 14-м месте

2 × 11 × 19207 × 793513534837 × 5764176583171

Dmitriy40 в сообщении #1565397 писал(а):

а мы изначально договорились что ищем цепочки только с простыми в первой степени.

Изначально договорились? То есть тогда, когда считали старым способом, без выбросов? Здесь-то два выброса.

Я думаю, дело в другом:

VAL в сообщении #1548506 писал(а):

При этом в наборах нет третьего числа, кратного 7, и вторых чисел, кратных 11 и 13 (последние теоретически могли бы присутствовать, но их допущение резко снижает эмпирическую вероятность успеха,

А здесь как раз два числа, кратных 11 — на 3-м и 14-м местах. Этот вариант не входит в основные группы паттернов.

[Dmitriy40]

Yadryara в сообщении #1565405 писал(а):

Этот вариант не входит в основные группы паттернов.

А почему не входит? Потому что на месте n+13 получается комбинация 2+11, которая требует найти здесь большое простое в квадрате. А давно отказались от таких цепочек и ищем только большие простые в первой степени. Так что дело не в наличии 11 (я такие цепочки как раз проверял, это те самые лишние 30 групп с номерами 1X,7X,X0,X7, в них даже нашёл одну 12-ку N9-73-421506), а в наличии искомого простого в квадрате.
И выбросы тут ни при чём, место n+13 под выбросы не подпадает.

[Huz]

$D(12,12) \le 120402988681658048433948$

[Yadryara]

Huz в сообщении #1565418 писал(а):

$D(12,12) \le 120402988681658048433948$

Congrars, Hugo

Dmitriy40 в сообщении #1565415 писал(а):

Потому что на месте n+13 получается комбинация 2+11, которая требует найти здесь большое простое в квадрате.

Так не 2+11, а $2\cdot11$.

Dmitriy40 в сообщении #1565415 писал(а):

это те самые лишние 30 групп с номерами 1X,7X,X0,X7, в них даже нашёл одну 12-ку N9-73-421506

Да, я это помню. Но это было для другого комплекта. Я совершенно не был уверен, что и для 001234 Вы проверяли 94 группы.

Понятно, что обсуждаемый паттерн не входит и в эти 94. Как его запишем в таблице?

Dmitriy40 в сообщении #1565397 писал(а):

вся система по прежнему сильно заточена под поиск именно 15-ки,

Приближается момент, когда нужно от этой заточки отказаться. Или он уже наступил?

Dmitriy40 в сообщении #1565397 писал(а):

Плюс я не уверен что ускоритель не отбросит её проверкой по индексам по $37^1$ на месте n+4, это надо довыяснить.

Не стали выяснять?

[Dmitriy40]

Yadryara в сообщении #1565422 писал(а):

Не стали выяснять?

Не стал. Потому что это зависит от содержимого Yadryara6.gen.gp, исправлен ли в нём тот недочёт с появлением "лишних" цепочек или нет и если исправлен, то как именно. А вопрос стоял почему не находится та конкретная цепочка и на него ответ получен.

Yadryara в сообщении #1565422 писал(а):

Понятно, что обсуждаемый паттерн не входит и в эти 94. Как его запишем в таблице?

Входить не входит, но формально под них подходит, N2-15-402310.

Yadryara в сообщении #1565422 писал(а):

Приближается момент, когда нужно от этой заточки отказаться. Или он уже наступил?

Так это Вам решать, Вы же ищете более короткие цепочки. Достаточно правильно сформировать список желаемых паттернов в M12mods1.patterns (править bb[] в Yadryara6.gen.gp не столь обязательно), а уж как Вы его будете формировать дело десятое.

[Yadryara]

Вроде бы ничего не прозевал. Но уж очень огромный разрыв между 1-м и 2-м местами.

$\tikz[scale=.08]{ \draw (0,210) rectangle (10,220); \draw (10,210) rectangle (90,220); \draw (90,210) rectangle (120,220); \draw (120,210) rectangle (133,220); \draw (133,210) rectangle (141,220); \draw (141,210) rectangle (151,220); \draw (0,200) rectangle (10,210); \draw (10,200) rectangle (90,210); \draw (90,200) rectangle (120,210); \draw (120,200) rectangle (133,210); \draw (133,200) rectangle (141,210); \draw (141,200) rectangle (151,210); \draw (0,190) rectangle (10,200); \draw (10,190) rectangle (90,200); \draw (90,190) rectangle (120,200); \draw (120,190) rectangle (133,200); \draw (133,190) rectangle (141,200); \draw (141,190) rectangle (151,200); \draw (0,180) rectangle (10,190); \draw (10,180) rectangle (90,190); \draw (90,180) rectangle (120,190); \draw (120,180) rectangle (133,190); \draw (133,180) rectangle (141,190); \draw (141,180) rectangle (151,190); \draw (0,170) rectangle (10,180); \draw (10,170) rectangle (90,180); \draw (90,170) rectangle (120,180); \draw (120,170) rectangle (133,180); \draw (133,170) rectangle (141,180); \draw (141,170) rectangle (151,180); \draw (0,160) rectangle (10,170); \draw (10,160) rectangle (90,170); \draw (90,160) rectangle (120,170); \draw (120,160) rectangle (133,170); \draw (133,160) rectangle (141,170); \draw (141,160) rectangle (151,170); \draw (0,150) rectangle (10,160); \draw (10,150) rectangle (90,160); \draw (90,150) rectangle (120,160); \draw (120,150) rectangle (133,160); \draw (133,150) rectangle (141,160); \draw (141,150) rectangle (151,160); \draw (0,140) rectangle (10,150); \draw (10,140) rectangle (90,150); \draw (90,140) rectangle (120,150); \draw (120,140) rectangle (133,150); \draw (133,140) rectangle (141,150); \draw (141,140) rectangle (151,150); \draw (0,130) rectangle (10,140); \draw (10,130) rectangle (90,140); \draw (90,130) rectangle (120,140); \draw (120,130) rectangle (133,140); \draw (133,130) rectangle (141,140); \draw (141,130) rectangle (151,140); \draw (0,120) rectangle (10,130); \draw (10,120) rectangle (90,130); \draw (90,120) rectangle (120,130); \draw (120,120) rectangle (133,130); \draw (133,120) rectangle (141,130); \draw (141,120) rectangle (151,130); \node at (5.3,215) {\text{1.}}; \node at (57,215){\text{586683019466361719763403545}}; \node at (105.1,215){\text{N2-45-256100}}; \node at (126.5,215){\text{8,32}}; \node at (137,215){\text{EF}}; \node at (146,215){\text{Dm}}; \node at (5.3,205) {\text{2.}}; \node at (54,205){\text{108733328714439697994931120345}}; \node at (105.1,205){\text{N2-56-512400}}; \node at (126.5,205){\text{32,4}}; \node at (137,205){\text{EF}}; \node at (146,205){\text{Dm}}; \node at (5.3,195) {\text{3.}}; \node at (54,195){\text{227666845709438395029674265945}}; \node at (105.1,195){\text{N2-50-541200}}; \node at (126,195){\text{16,16}}; \node at (137,195){\text{EF}}; \node at (146,195){\text{Dm}}; \node at (5.3,185) {\text{4.}}; \node at (54,185){\text{613325178838387028899008062041}}; \node at (105.1,185){\text{S2-41-001342}}; \node at (126,185){\text{4,16}}; \node at (137,185){\text{12}}; \node at (146,185){\text{Dm}}; \node at (5.3,175) {\text{5.}}; \node at (53,175){\text{1131687019435887932785738910041}}; \node at (105.1,175){\text{S2-41-302510}}; \node at (126,175){\text{8,48}}; \node at (137,175){\text{EF}}; \node at (146,175){\text{Dm}}; \node at (5.3,165) {\text{6.}}; \node at (53,165){\text{1439314756106602937022269702041}}; \node at (105.1,165){\text{S9-34-002341}}; \node at (126,165){\text{16,8}}; \node at (137,165){\text{12}}; \node at (146,165){\text{Dm}}; \node at (5.3,155) {\text{7.}}; \node at (53,155){\text{1932741770848588276411450776345}}; \node at (105.1,155){\text{N2-15-402310}}; \node at (126,155){\text{32,4}}; \node at (137,155){\text{EF}}; \node at (146,155){\text{Hu}}; \node at (5.3,145) {\text{8.}}; \node at (53,145){\text{3416710478784278632105449158041}}; \node at (105.1,145){\text{S9-26-004213}}; \node at (126.9,145){\text{2,8}}; \node at (137,145){\text{12}}; \node at (146,145){\text{Dm}}; \node at (5.3,135) {\text{9.}}; \node at (53,135){\text{3571541827470111796155912172441}}; \node at (105.1,135){\text{S2-26-203041}}; \node at (126.3,135){\text{288,16}}; \node at (137,135){\text{12}}; \node at (146,135){\text{Dm}}; \node at (5.2,125) {\text{10.}}; \node at (53,125){\text{3797306190383689322319167788441}}; \node at (105.1,125){\text{S9-32-204531}}; \node at (126.7,125){\text{128}}; \node at (137,125){\text{2}}; \node at (146,125){\text{Dm}}; }$

Ещё немного поработаю над форматированием.

[Yadryara]

Yadryara в сообщении #1565323 писал(а):

И тогда я наконец-то попробую заменить старые таблицы с 100-й страницы новыми для наименьших непрерывных 13-к, 14-к и 15-к.

Попробовал. Отправил уважаемому VAL не только эти три таблицы, но и таблицу имени Hugo, которая служит для сравнения минимальных цепочек различной длины между собой. В которой учёл и последнюю рекордную непрерывную 12-ку Hugo.

Прошу опубликовать.

По-хорошему-то надо ещё и таблицы наименьших непрерывных 11-к и 12-к сделать...

Yadryara в сообщении #1564931 писал(а):

31-й комплект будет полностью обсчитан не позднее чем 26-го сентября.

Сбылось. Счёт был закончен ещё 25-го в 5 утра. Первая таблица обсчитана полностью. Найдено непрерывных 14-к и 15-к:

17-й комплект — 0.
19-й комплект — 0.
23-й комплект — 2.
29-й комплект — 3.
31-й комплект — 3.
37-й комплект — 4, 1 .

Плюс ещё две непрерывные 14-ки найдены уважаемым Dmitriy40 в других комплектах.

Итого, новым способом найдено весьма немало: как раз 14 14-к и одна 15-ка.

Сейчас поиск по разным причинам не ведётся ни на Ахиллесах, ни на Марусе, Софокле и Архимеде. Хотя считать есть что.

[VAL]

$M(528)\ge 9$

(Оффтоп)

n = 2946518316339911956046966151312640486573566926040474486702702221310950401186558661024378375670818755567519273035361328124
n+1 = 5^(10) * 37^(2) * 36 716483 * 534 407707 229601 008988 220618 802903 (33 digits) * 27632 353018 095440 213713 265964 890489 (35 digits) * 406493 867265 087685 857067 453699 945169 (36 digits)  
n+3 = 3^(10) * 41^(2) * 32 709029 * 1048 599953 * 6021 431338 602784 481881 599493 300053 933643 574651 (46 digits) * 143 731401 457216 027203 618177 535067 923468 032608 022209 (51 digits)   
n+4 = 2^(10) * 43^(2) * 24979 * 1 206749 534671 203931 * 13 838649 968333 217517 607401 162474 011203 986951 (44 digits) * 3 730665 962430 381303 560330 354316 178240 153859 315497 (49 digits)

Данные на 1-й и 100-й страницах сейчас обновлю.

[Yadryara]

VAL, Спасибо! Сделано качественно.

Dmitriy40 в сообщении #1565397 писал(а):

Остаётся только повторить: вся система по прежнему сильно заточена под поиск именно 15-ки, меньшие находятся лишь бонусом.

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

Для начала попробую уточнить базовые вещи.

Первое число цепочки из 14 последовательных чисел всегда равно $32p-7$ либо $32p-6$, где $p$ — нечётное простое.

В этой цепочке обязательно присутствуют числа вида $12p$, $18p$, $50p$.

Стоит ли использовать $45p$? Пока что да, стоит.

[VAL]

Yadryara в сообщении #1565534 писал(а):

VAL, Спасибо! Сделано качественно.

Это Вами сделано качественно. Я только скопировал

[Dmitriy40]

Yadryara
При использовании $45p$ остаётся 94 группы с 5-ю добавляемыми простыми и модулем (шагом) в $37^2$ раз меньше "стандартного" 4.4e26 и по 120 паттернов в группе, без него ещё 108 групп с 6-ю добавляемыми простыми и "стандартным" модулем (шагом) 4.4e26 и по 720 паттернов в группе.
Из 94 групп 24 группы дают 12 проверяемых мест (встречается $11^1$) и 70 групп дают 11 проверяемых мест ($11^1$ не встречается). $13^1$ встречается в 8-ми группах из 108.
Среди 70 групп 4 группы не имеют "пустых" мест, куда не встало ни одно простое ни в первой степени ни в квадрате, 34 группы имеют 1 одно такое место и 30 групп имеют по два места.
Соответственно если брать только 70 групп по 120 паттернов, то всего будет 8400 паттернов, почти в 5.5 раза меньше "обычных" 46080 (соответственно и счёт будет раз в 5 быстрее).

Кстати в системе нумерации паттернов возникает конфликт, $13^2$ может располагаться как на 12-м месте, так и на 13-м, а имя паттерна при этом выходит одинаковым:
v=[ 578,1083, 28, 605, 18, 529, 32,2523, 50, 49, 12, 169,1922, 45]; z=[1,1,1,1,1,0,1,1,1,0,1,0,1,1]; pp=Mod(267597960966614166203642,321796081609486619335200);\\#M12-S2-4C-12345
v=[ 578,1083, 28, 605, 18, 529, 32,2523, 50, 49, 12, 961, 338, 45]; z=[1,1,1,1,1,0,1,1,1,0,1,0,1,1]; pp=Mod(167127458037760235654042,321796081609486619335200);\\#M12-S2-4D-12345
А ещё и $98$ может быть на 4-х разных местах вместо 2-х.
Вот снова не понимаю я этой вашей экономии непонятно на чём, почему нельзя было сразу писать не номер нечётного места, а просто номер места, пусть и шестнадцатиричный? Понумеровал у себя так.