Симметричные кортежи из последовательных простых чисел

[Yadryara]

DemISdx в сообщении #1662591 писал(а):

Полагаю 7.

То бишь не 7 кортежей чистые, а только 7-й кортеж чистый. Конечно. Только он один. У Вас в SPT не фиксируются кортежи длиной меньше 13-ти. Но если бы фиксировались кортежи длиной 3, то Вы бы взяли только этот единственный 7-й. Так? Он ведь симметричный, его паттерн ещё можно записать как 6-6.

Простые числа предписанные паттерном я называю родными, а лишние, которые только загрязняют кортеж — чужими. Количество родных это valids, а общее количество простых, это длина (len) :

           Родные      valids/len        Чужие
Паттерн   0   6  12
1.        5, 11, 17         3/5          7, 13
2.        7, 13, 19         3/5         11, 17
3.       11, 17, 23         3/5         13, 19
4.       17, 23, 29         3/4         19
5.       31, 37, 43         3/4         41
6.       41, 47, 53         3/4         43
7.       47, 53, 59         3/3
8.       61, 67, 73         3/4         71
9.       67, 73, 79         3/4         71

У меня на сегодня всё.

[Yadryara]

Итак, обозначение 3-12, надеюсь Демису понятно. 3 это длина, 12 это диаметр.

Мы сейчас ищем кортеж 19-252, где 19 это длина, а 252 это диаметр. И valids и len, которые Вы Демис, надеюсь видите в логах, имеют ровно тот же смысл, что и у меня в табличке выше.

С этим надеюсь понятно. Если хоть что-то непонятно, обязательно скажите.

Итак, из 9 представленных кортежей у нас только один кортеж 3-12. А другие-то нам зачем, ведь они 4-12 и 5-12, да ещё и несимметричные к тому же??

Вот. Это Важный вопрос.

Далеко не сразу выяснилось, что когда первую гипотезу Харди-Литтлвуда (далее HL1) спрашиваешь о количестве кортежей 3-12 на том или ином интервале, то она не отвечает на этот вопрос прямо, а говорит ещё и о кортежах 4-12 и 5-12, хотя мы её про них не спрашиваем, нам интересен кортеж 3-12, потому что только он симметричный.

vicvolf в сообщении #1646626 писал(а):

Конечно, она подходит для всех. Формула считает количество кортежей, где на расстоянии 6 стоят простые числа. Ей неважно, какие там "загрязнения".

Не согласен с такой формулировкой. Для найденных формул для гипотезы HL1 как раз очень важно, какие есть загрязнения. Настолько важно, что HL1 учитывает их все до единого. То есть формулы позволяют посчитать не только количество 3-12, но и 4-12, и 5-12, причём для всех возможных паттернов для этих длин и диаметров. А другие длины для этого диаметра невозможны.

А как же нам быть, ведь нам нужно знать именно количество кортежей 3-12 и никакое другое?

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

[Yadryara]

Ну что же, вернусь сюда. Тем более, что grisСode далее не фигурирует.

Итак, с Hole=1 известно 5 приближений к искомой 19-ке:

                                              SumOtkl    PosHole
    548934853673670454695071: [  +90,  -92]         2          7
   3321558363716512589630041: [ +180, -190]        10         14
   3898145757385410206561267: [ -176, +180]         4         14
   4953822155802889279661117: [  -56,  +72]        16          6
   9091187908580842313062741: [ +180, -208]        28         14

Как видим, здесь встречаются только 3 различные позиции этих самых Hole: 6-я, 7-я и 14-я.

Номера позиций:

1 2  3  4  5  6  7  8   9  10  11  12  13  14  15  16  17  18  19
0,6,12,30,42,72,90,96,120,126,132,156,162,180,210,222,240,246,252

По определению Hole могут встречаться только в позициях 2-18.

Для приближений к искомой 19-ке с valids=18 и len=19 (то же самое что 18/19 или то же самое что дро), поскольку Hole уже занят, придётся всё-таки использовать другой термин для единственного составного числа, предписанного паттерном — Ex-Prince. И эти числа, в отличие от Hole, уже могут встречаться на любой позиции 1-19.

Надеюсь, сегодня счёт в интервале $0-67\#$ наконец-то закончен. Было бы неплохо увидеть единый файл FOUND18 для всего этого интервала. А пока что покажу свои 6 дро. PosEP — Position Ex-Prince.

                                                         PosEP
0*67#-G25:   155165228183592778895411: [ -188, +246]        18
0*67#-G25:  2227912418587748590989827: [ -110, +210]        15
0*67#-G25:  4953822155802889279661117: [  -56,  +72]         6
0*67#-G25:  6402272743467387750393797: [ -110, +222]        16
1*67#-G21:  9091187908580842313062741: [ +180, -208]        14
1*67#-G21:  9482410346152817427357931: [  -22,  +42]         5

Как видим, все 6 позиций различны. Сколько всего дро найдено я пока не знаю, предполагаю, что 34-40. Ну и конечно для всех дро бывшие принцы не могут находится на различных 19-ти позициях. Посмотрим, все ли позиции уже встретились.

[Dmitriy40]

Счёт по 0-67# закончен, все 13824 юнита посчитаны. Благодаря помощи Yadryara и DemISdx значительно быстрее ожидаемого.
Искомая 19-252 не найдена. Жаль.

Общий объём логов составил 950М текста.
Не совсем понятно почему лишь в 1.5 раза больше чем счёт 0-1.7e24 (около 22% от 67#), позже проверю по списку все найденные цепочки.
Всего в логах 5072748 цепочек, из них 4шт с valids=19, 213шт с valids=18 (из которых 15шт с len=18), 3477шт с valids=17 (из которых 236шт с len=17).

Покажу наиболее интересные находки.
4 цепочки с valids=19:
1302062980826782815961247: [ 0, 6, 12, -26, 30, 42, 72, 90, 96, 120, 126, 132,-146, 156, 162,-174, 180, 210, 222, 240, 246, 252], len=22, valids=19
1791808741444077180184441: [ 0, 6, 12, 30, 42, -58, 72, 90, 96, 120, 126, 132, 156, 162, 180, 210, 222,-228, 240, 246, 252], len=21, valids=19
7545614359334322700474867: [ 0, 6, 12, -24, 30, 42, 72, 90, 96, 120, 126, 132, 156, 162, 180, 210,-216, 222, 240, 246, 252], len=21, valids=19
7682365350477942709234577: [ 0, 6, 12, 30, 42, 72, -74, 90, 96, 120, 126, 132,-140, 156, 162,-174, 180, 210, 222, 240, 246, 252], len=22, valids=19
Цепочка КПППЧ18 (чётная):
5815439317026710896284581: [ 0, 6, 12, 30, 42, 72, 90, 96, 120,+126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18
Цепочки len=valids=18 и правильными центральными числами (ошибки лишь на крайних), включают в себя центральные КПППЧ17 (17-240-1):
154787380396512840656501: [ +0, 6, 12, 30, 42, 72, 90, 96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18
901985248981556228168761: [ 0, 6, 12, 30, 42, 72, 90, 96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246,+252], len=18, valids=18
Прочие len=valids=18:
20502399070486534394861: [ 0, 6, 12, 30, 42, 72, 90, 96, 120, 126, 132, 156, 162, 180, 210, 222,+240, 246, 252], len=18, valids=18
152280801556172495686561: [ 0, 6, 12, 30, +42, 72, 90, 96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18
163238587802201963204821: [ 0, +6, 12, 30, 42, 72, 90, 96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18
327480747328610662288037: [ 0, 6, 12, 30, +42, 72, 90, 96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18
434510678411396023322707: [ 0, 6, 12, 30, 42, +72, 90, 96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18
1250060631165989297230111: [ 0, 6, 12, 30, 42, 72, 90, 96, 120, 126,+132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18
1291775499320872325504111: [ 0, 6, 12, 30, 42, 72, 90, 96, 120, 126, 132, 156, 162, 180,+210, 222, 240, 246, 252], len=18, valids=18
3669720649702250171752937: [ 0, 6, 12, 30, 42, +72, 90, 96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18
4488936092235431710858351: [ 0, 6, 12, 30, +42, 72, 90, 96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18
5813569481333939373498271: [ 0, 6, 12, 30, 42, 72, 90, 96, 120, 126,+132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18
7101482564684328765463901: [ 0, 6, 12, 30, 42, +72, 90, 96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18
7145489405334212314375921: [ 0, 6, 12, 30, +42, 72, 90, 96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18
Цепочки с одной "дыркой по НМ" кроме показанных выше:
548934853673670454695071: [0, 6, 12, 30, 42, 72, 92, 96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], valids=18
3321558363716512589630041: [0, 6, 12, 30, 42, 72, 90, 96, 120, 126, 132, 156, 162, 190, 210, 222, 240, 246, 252], valids=18
3898145757385410206561267: [0, 6, 12, 30, 42, 72, 90, 96, 120, 126, 132, 156, 162, 176, 210, 222, 240, 246, 252], valids=18
4953822155802889279661117: [0, 6, 12, 30, 42, 56, 90, 96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], valids=18
КПППЧ17 с другими паттернами, не центральные из 19-252:
309436831159079027513491: [0, 6, 12, 30, 42, 72, 90, 96, 126, 156, 162, 180, 210, 222, 240, 246, 252], n=17
2386719380494681960967621: [0, 6, 30, 42, 72, 90, 96, 120, 126, 132, 156, 162, 180, 210, 222, 246, 252], n=17
2670088710236944766058671: [0, 6, 12, 30, 72, 90, 96, 120, 126, 132, 156, 162, 180, 222, 240, 246, 252], n=17
2818119519177428738516611: [0, 6, 30, 42, 72, 90, 96, 120, 126, 132, 156, 162, 180, 210, 222, 246, 252], n=17
6585972662919904822561661: [0, 6, 12, 30, 42, 72, 90, 120, 126, 132, 162, 180, 210, 222, 240, 246, 252], n=17
6871322941282233102995147: [0, 6, 12, 42, 72, 90, 96, 120, 126, 132, 156, 162, 180, 210, 240, 246, 252], n=17
Полный список всех valids=18, первым идёт номер юнита, сортировка по нему:

Используется синтаксис Text

193:6027315505507867667412397: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132,+156, 162, 180, 210, 222,-226, 240, 246, 252], len=19, valids=18
193:7661765039161898964014797: [   0,   6,  12,  30, +42,  72,  90,  96, 120, 126, 132, 156, 162, 180,-190, 210, 222, 240, 246, 252], len=19, valids=18
198:5973509333558988492247057: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132,-154, 156, 162, 180, 210,+222, 240, 246, 252], len=19, valids=18
207:2828945054311289611287517: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132, 156,+162, 180,-186,-204, 210,-214, 222, 240, 246, 252], len=21, valids=18
249:6742290870276829911052391: [   0,   6,  12, -20,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162, 180,-200,+210, 222,-230, 240, 246, 252], len=21, valids=18
295:5048229097552718360248787: [   0,   6,  12,  30,  42,  72, -86, +90,  96,-104, 120, 126, 132,-134, 156, 162, 180, 210, 222, 240, 246, 252], len=21, valids=18
365:126409842226697061616951: [   0,   6,  12,  30,  42, -58,  72,  90,  96, 120, 126,+132, 156, 162, 180,-202, 210, 222, 240, 246, 252], len=20, valids=18
384:2757279617790052864427131: [   0,   6, -10,  12,  30,  42, -48,  72,  90,  96, 120, 126,+132, 156, 162, 180, 210, 222, 240, 246, 252], len=20, valids=18
598:2385306612529454375692297: [   0,   6,  12, -22,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162,+180, 210, 222, 240, 246, 252], len=19, valids=18
679:1862346271684276550138047: [   0,   6,  12,  30,  42,  72,  90, +96, 120, 126, 132, 156, 162, 180,-196, 210, 222, 240, 246, 252], len=19, valids=18
748:2116164646121087674838107: [   0,   6,  12,  30, -40,  42,  72,  90,  96, 120, 126, 132,-144,+156, 162, 180, 210, 222,-226, 240, 246, 252], len=21, valids=18
831:2504014270070535457799231: [   0,   6,  12, -20, +30,  42,  72,  90,  96, 120, 126, 132, 156, 162, 180,-182, 210, 222, 240, 246, 252], len=20, valids=18
901:885918236887987132919471: [   0,   6,  12, -18,  30,  42,  72,  90,  96,-110, 120, 126, 132, 156,+162,-170, 180, 210, 222, 240, 246, 252], len=21, valids=18
931:5045021380729488582793751: [   0,   6,  12,  30, +42, -50,  72,  90,  96,-110, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=20, valids=18
975:538647799597504382264861: [   0,   6, +12, -20,  30,  42, -48,  72,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=20, valids=18
1028:1777440589720579757739587: [   0,   6,  12,  30,  42,  72,  90,  96,+120, 126, 132, 156, 162, 180,-194, 210, 222, 240, 246, 252], len=19, valids=18
1109:7115350047528915690807977: [   0,   6,  12,  30,  42, -44, -62,  72,  90,  96,+120, 126, 132,-140, 156, 162, 180,-194, 210, 222, 240, 246, 252], len=22, valids=18
1305:152280801556172495686561: [   0,   6,  12,  30, +42,  72,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18
1349:3321558363716512589630041: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162,+180,-190, 210, 222, 240, 246, 252], len=19, valids=18
1356:1202718678814807577403061: [   0,   6, +12,  30,  42,  72,  90,  96, 120, 126, 132,-148, 156, 162, 180, 210, 222, 240, 246, 252], len=19, valids=18
1391:6526714297457611419212131: [   0,   6,  12,  30,  42, -48,  72,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222,-232, 240, 246,+252], len=20, valids=18
1403:552748512838436307276811: [   0,   6,  12,  30,  42,  72, -76,  90,  96, 120, 126, 132,-142, 156, 162,+180, 210, 222, 240, 246, 252], len=20, valids=18
1473:668858195469448058268121: [   0,  +6,  12,  30,  42, -48,  72,  90,  96,-102, 120, 126, 132, 156, 162, 180, 210, 222,-226, 240, 246, 252], len=21, valids=18
1605:6546151851588388689379111: [   0,   6,  12,  30,  42,  72, -88,  90,  96,-118, 120,+126, 132, 156, 162,-172, 180, 210, 222, 240, 246, 252], len=21, valids=18
1687:2899808798073372792046807: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132,-142, 156, 162,+180,-196, 210, 222,-232,-234, 240, 246, 252], len=22, valids=18
1777:8832074151726359770057: [   0,   6,  12,  30, +42,  72, -82,  90,  96, 120, 126, 132,-136, 156, 162, 180, 210,-216, 222, 240, 246, 252], len=21, valids=18
1784:165162455086833904245367: [   0,   6,  12,  30, -40,  42, -70,  72,  90,  96, 120, 126, 132,-142, 156, 162, 180, 210, 222,+240, 246, 252], len=21, valids=18
1830:434510678411396023322707: [   0,   6,  12,  30,  42, +72,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18
1983:2592147762774287745637537: [   0,   6,  12, -22,  30,  42, +72,  90,  96, 120, 126, 132,-154, 156, 162, 180,-196, 210, 222, 240, 246, 252], len=21, valids=18
2089:45539627494747939768597: [   0,   6,  12,  30,  42,  72, -82,  90,  96, 120, 126,+132, 156, 162, 180,-184,-196, 210, 222, 240, 246, 252], len=21, valids=18
2154:924370605384166531028651: [   0,   6,  12,  30,  42, -48,  72,  90,  96, 120, 126, 132, 156, 162,+180,-188, 210, 222, 240, 246, 252], len=20, valids=18
2164:5815439317026710896284581: [   0,   6,  12,  30,  42,  72,  90,  96, 120,+126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18
2279:155165228183592778895411: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162, 180,-188, 210, 222, 240,+246, 252], len=19, valids=18
2283:4686748175583404470884011: [   0,   6,  12,  30,  42,  72,  90,  96, -98, 120, 126,-128, 132, 156, 162,+180,-188, 210,-218, 222, 240, 246, 252], len=22, valids=18
2309:20502399070486534394861: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222,+240, 246, 252], len=18, valids=18
2473:3412116100577417117079731: [   0,   6,  12,  30,  42, -56,  72,  90,  96, 120, 126, 132, 156, 162, 180,-182, 210, 222, 240,+246, 252], len=20, valids=18
2481:968766749918277333899411: [   0,   6,  12,  30,  42, +72,  90,  96, 120, 126, 132,-138, 156, 162, 180,-200, 210, 222, 240, 246, 252], len=20, valids=18
2497:666160125239223396621221: [   0,  +6,  12,  30,  42,  72,  90,  96, 120, 126, 132, 156,-158, 162, 180,-186, 210, 222, 240, 246, 252], len=20, valids=18
2609:6402272743467387750393797: [   0,   6,  12,  30,  42,  72,  90,  96,-110, 120, 126, 132, 156, 162, 180, 210,+222, 240, 246, 252], len=19, valids=18
2611:4953822155802889279661117: [   0,   6,  12,  30,  42, -56, +72,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=19, valids=18
2625:44653930668042100645607: [   0,  -2,   6,  12, -14,  30,  42, -56,  72,  90,  96, 120, 126, 132,+156, 162, 180, 210, 222,-224, 240, 246, 252], len=22, valids=18
2661:3669720649702250171752937: [   0,   6,  12,  30,  42, +72,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18
2724:6957401124837265212366077: [   0,   6,  12,  30,  42, -44, -54,  72,  90,  96, 120, 126, 132,+156, 162, 180, 210, 222, 240, 246, 252], len=20, valids=18
2894:785074138512940261184867: [   0,   6,  12, -24,  30,  42, -54, -56, -62,  72,  90,  96,-110, 120, 126, 132, 156, 162,-170, 180,+210, 222, 240, 246, 252], len=24, valids=18
2932:2227912418587748590989827: [   0,   6,  12,  30,  42,  72,  90,  96,-110, 120, 126, 132, 156, 162, 180,+210, 222, 240, 246, 252], len=19, valids=18
3057:2650138129422945820593301: [   0,   6,  12,  30,  42,  72,  90, +96,-118, 120, 126, 132,-142, 156, 162, 180, 210, 222, 240, 246, 252], len=20, valids=18
3151:4488936092235431710858351: [   0,   6,  12,  30, +42,  72,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18
3153:2100623594205104716462081: [   0,   6,  12,  30,  42, -52, -58,  72,  90,  96, 120, 126,+132,-138, 156, 162, 180,-208, 210, 222,-226, 240, 246, 252], len=23, valids=18
3155:4730411664855384278425021: [   0,   6,  12,  30,  42, -52,  72,  90,  96,+120, 126, 132,-138, 156, 162, 180, 210, 222, 240, 246, 252], len=20, valids=18
3161:1810734708081717960946771: [   0,   6,  12,  30,  42, -52,  72,  90,  96, 120, 126, 132, 156, 162,-178,+180, 210, 222, 240, 246, 252], len=20, valids=18
3241:549985695032025220987231: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132,-148, 156, 162, 180, 210,+222,-226, 240, 246,-250, 252], len=21, valids=18
3281:3680164862453314525238161: [   0,   6,  12,  30,  42, -70,  72,  90,  96, 120, 126, 132, 156, 162,-178, 180, 210, 222, 240,+246, 252], len=20, valids=18
3328:5813569481333939373498271: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126,+132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18
3344:2104340660598033525147301: [   0,   6, +12,  30,  42,  72,  90,  96,-112, 120, 126, 132, 156, 162,-178, 180, 210, 222,-238, 240, 246, 252], len=21, valids=18
3391:7482299531737199837271271: [  +0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162,-166, 180, 210, 222, 240, 246, 252], len=19, valids=18
3577:907965298458926233880281: [   0,  +6,  12, -22,  30,  42,  72,  90,  96,-100, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=20, valids=18
3578:2223084270586043302602091: [   0,   6,  12, -16,  30,  42,  72,  90,  96,-102, 120, 126,+132,-142, 156, 162, 180,-208, 210, 222, 240, 246, 252], len=22, valids=18
3688:3736936974631025158709251: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162,+180, 210, 222,-226, 240, 246, 252], len=19, valids=18
3787:6204362335757683638620461: [   0,   6,  12,  30,  42, -48,  72, +90,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=19, valids=18
4035:3411569525634419252889607: [   0,   6,  12,  30, -34,  42, -70,  72,  90,  96, 120,+126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=20, valids=18
4065:5884887653883891027621067: [   0,  +6,  12,  30,  42, -52,  72,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=19, valids=18
4070:4343039810997840950593417: [   0,   6,  12, -16, -22,  30,  42,  72,  90, -94,  96,-106,+120, 126, 132, 156, 162,-174, 180, 210, 222, 240, 246,-250, 252], len=24, valids=18
4084:2039581455220970769444157: [   0,   6,  12,  30,  42, -52,  72,  90,  96, 120, 126, 132, 156,-160,+162, 180, 210, 222, 240, 246, 252], len=20, valids=18
4106:2018443309024864551285277: [   0,   6,  12,  30,  42,  72,  90,  96,-106, 120, 126, 132, 156,+162, 180, 210, 222, 240, 246, 252], len=19, valids=18
4180:4177414906299160726015897: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162,-174, 180, 210, 222, 240,+246, 252], len=19, valids=18
4204:1909011316608103739297347: [   0,   6,  12,  30,  42,  72, -76,  90, +96, 120, 126, 132, 156, 162,-174, 180, 210, 222, 240, 246, 252], len=20, valids=18
4297:7356951985106076281498497: [   0,  -4,   6,  12,  30,  42,  72,  90,  96, 120,-124, 126, 132, 156,-160, 162, 180, 210, 222, 240, 246,+252], len=21, valids=18
4566:6640401095074051109610187: [   0,  +6,  12,  30,  42, -54,  72,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=19, valids=18
4663:1774153189542691261368431: [   0,   6,  12,  30,  42, +72, -80,  90,  96, 120, 126, 132,-138, 156, 162, 180, 210, 222, 240, 246, 252], len=20, valids=18
4707:2867883801359476276301291: [   0,   6,  12, +30,  42,  72,  90,  96,-108, 120, 126, 132, 156, 162,-176, 180, 210, 222, 240, 246, 252], len=20, valids=18
4834:1966372671143618621073011: [   0,   6,  12,  30, -38,  42,  72,  90,  96, 120, 126,+132, 156, 162, 180, 210, 222, 240, 246, 252], len=19, valids=18
4902:1398889038900223662271301: [   0,   6,  -8,  12,  30,  42, -66, -68,  72,  90,  96, 120, 126, 132,-150, 156, 162, 180, 210, 222,-230, 240, 246,+252], len=23, valids=18
4960:843642263703169621384361: [   0,   6,  12,  30,  42, -66,  72,  90,  96, -98, 120, 126, 132, 156,+162, 180, 210, 222,-230, 240, 246,-248, 252], len=22, valids=18
4981:2122778770695389799155831: [   0,   6,  12,  30,  42, -62,  72,  90,  96, -98,-108, 120, 126, 132, 156, 162, 180, 210, 222, 240,+246,-248, 252], len=22, valids=18
4994:1172742306005568482337821: [   0,   6,  12, -20,  30,  42,  72, -78,  90,  96, 120, 126, 132,+156, 162, 180, 210, 222, 240, 246, 252], len=20, valids=18
5010:6467591730640459555099631: [   0,   6,  12,  30,  42,  72,  90,  96,-108, 120, 126, 132,+156, 162, 180,-192, 210, 222, 240, 246, 252], len=20, valids=18
5027:497042258815657777926371: [   0,   6,  12,  30, -38, +42,  72,  90,  96, 120, 126, 132, 156, 162,-176, 180,-198, 210, 222, 240, 246, 252], len=21, valids=18
5035:2926645761699911007740651: [   0,   6,  12, -20,  30,  42,  72,  90,  96, 120, 126, 132,+156, 162, 180,-188, 210, 222, 240, 246,-248, 252], len=21, valids=18
5201:6385373412941591681666981: [   0,   6,  12, -20,  30,  42,  72,  90,  96,-116, 120, 126, 132, 156, 162, 180,-188,+210, 222, 240, 246, 252], len=21, valids=18
5268:271752951257156063690531: [   0,   6,  12,  30,  42,  72, -78,  90,  96, 120, 126,+132, 156, 162, 180,-188, 210, 222, 240, 246, 252], len=20, valids=18
5313:4185099203107073926173881: [   0,   6,  12,  30,  42,  72, -78,  90, +96, 120, 126, 132, 156, 162,-170, 180, 210, 222,-228, 240, 246, 252], len=21, valids=18
5317:7101482564684328765463901: [   0,   6,  12,  30,  42, +72,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18
5325:1834121233573816342034261: [   0,   6,  12,  30,  42,  72,  90,  96,-116,+120, 126, 132, 156,-158, 162, 180,-200, 210, 222, 240, 246, 252], len=21, valids=18
5333:4281077845277041902302591: [   0,   6,  12,  30,  42, -68,  72, +90,  96, 120, 126, 132, 156, 162, 180,-200, 210, 222, 240, 246, 252], len=20, valids=18
5369:2083127391859522549920761: [   0,   6,  12,  30,  42,  72, +90,  96, 120, 126, 132, 156, 162,-176, 180,-182,-186, 210, 222, 240, 246, 252], len=21, valids=18
5545:4726048856483336808760547: [   0,   6,  12, -24,  30,  42,  72,  90,  96,-104, 120,+126, 132, 156, 162,-176, 180, 210, 222,-224, 240, 246, 252], len=22, valids=18
5626:1484808934508775885935747: [   0,   6,  12,  30,  42,  72,  90,  96,+120, 126, 132,-134, 156, 162, 180,-194, 210, 222, 240, 246, 252], len=20, valids=18
5635:3277231725303136979393837: [   0,   6,  12,  30,  42, -54,  72,  90,  96, 120,+126, 132,-134, 156, 162,-164,-176, 180, 210, 222, 240, 246, 252], len=22, valids=18
5645:2483040707076449417713637: [   0,   6,  12,  30,  42,  72,  90,  96,+120, 126, 132,-152, 156, 162, 180,-206, 210, 222, 240, 246, 252], len=20, valids=18
5670:2322725912215815193633367: [   0,   6,  12, +30,  42, -66,  72,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222,-224, 240, 246, 252], len=20, valids=18
5706:1606703212669076938936187: [   0,   6, +12,  30,  42,  72,  90,  96, 120, 126, 132,-140, 156, 162, 180, 210, 222, 240, 246, 252], len=19, valids=18
5753:800215727408366873823887: [   0,   6,  12,  30,  42,  72,  90, -92,  96, 120, 126, 132,-134, 156, 162,-176, 180, 210,+222, 240, 246, 252], len=21, valids=18
5860:470598488344258287639707: [   0,   6,  12,  30, -32,  42,  72,  90,  96,-104,-110,+120, 126, 132, 156, 162,-176, 180, 210, 222, 240, 246, 252], len=22, valids=18
5895:1712743539641681963125637: [   0,   6,  12, -14,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246,+252], len=19, valids=18
5901:192355155974364654791447: [   0,   6,  12, -14,  30,  42,  72,  90,  96, 120, 126, 132, 156,+162,-170,-176, 180, 210, 222, 240, 246, 252], len=21, valids=18
6012:2898112612986567866260907: [   0,   6, +12,  30,  42,  72,  90,  96,-116, 120, 126, 132, 156, 162,-176, 180, 210, 222, 240, 246, 252], len=20, valids=18
6072:6414115655111238618289127: [   0,  -2,   6,  12,  30,  42, -50, -56,  72,  90, +96,-104, 120, 126, 132, 156, 162,-170, 180,-182, 210, 222, 240, 246, 252], len=24, valids=18
6134:832717612454498945739947: [   0,   6, +12,  30,  42, -50,  72,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=19, valids=18
6159:5103728465370969771232277: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126,+132,-152, 156, 162, 180,-182, 210, 222, 240, 246, 252], len=20, valids=18
6207:6857337605572154101185151: [   0,   6, +12,  30,  42,  72, -78,  90,  96,-108, 120, 126, 132,-142,-148, 156, 162, 180, 210, 222, 240, 246, 252], len=22, valids=18
6473:6470629811286663641799001: [   0,   6,  12, -28,  30,  42, -48,  72,  90,  96, 120, 126, 132, 156, 162, 180, 210,+222, 240, 246, 252], len=20, valids=18
6570:5935291654993958956138261: [  +0,   6,  12,  30,  42, -66,  72,  90,  96, 120, 126, 132,-138, 156, 162, 180,-196, 210, 222, 240, 246, 252], len=21, valids=18
6606:163238587802201963204821: [   0,  +6,  12,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18
6661:2529922139777649744811351: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132, 156,-160, 162,-166, 180,-198,-208, 210, 222, 240, 246,+252], len=22, valids=18
6771:101875249735692011228731: [   0,   6,  12,  30,  42, -60,  72,  90,  96,-100, 120, 126, 132, 156, 162, 180, 210, 222,+240, 246, 252], len=20, valids=18
6842:7145489405334212314375921: [   0,   6,  12,  30, +42,  72,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18
6860:1400576773409839417717861: [   0,   6, +12,  30,  42, -46,  72, -78, -82,  90,  96, 120, 126,-130, 132, 156, 162, 180,-208, 210, 222, 240, 246,-250, 252], len=24, valids=18
6937:6151318685633702001726841: [  +0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162, 180,-208, 210, 222,-232, 240, 246, 252], len=20, valids=18
6977:7263497247704907567874051: [   0,   6,  12, -28,  30,  42,  72,  90,  96, 120, 126, 132, 156,+162, 180,-202, 210, 222,-228, 240, 246, 252], len=21, valids=18
7319:1386030543048859581559507: [   0,   6,  12,  30,  42,  72, -82, +90,  96, 120, 126, 132,-142, 156, 162, 180, 210, 222, 240, 246, 252], len=20, valids=18
7409:76395829312633908146737: [   0,   6,  12,  30, +42,  72, -76,  90,  96, 120, 126, 132, 156, 162, 180,-192,-202, 210, 222, 240, 246, 252], len=21, valids=18
7428:1550935119704190330239797: [  +0,   6,  12,  30,  42,  72, -82,  90,  96, 120, 126, 132,-150, 156, 162, 180, 210, 222, 240, 246, 252], len=20, valids=18
7633:4182819744356086219666207: [   0,   6,  12,  30,  42,  72, -76, +90,  96, 120, 126,-130, 132, 156, 162, 180, 210, 222, 240, 246,-250, 252], len=21, valids=18
7696:5374663770582453828402457: [   0,   6,  12,  30,  42,  72, -76,  90,  96, 120, 126, 132, 156, 162, 180,+210,-214, 222, 240, 246, 252], len=20, valids=18
7963:7263781687703653370894017: [   0,   6,  12,  30,  42, +72,  90,  96, 120, 126, 132, 156, 162, 180,-196, 210, 222,-232, 240, 246, 252], len=20, valids=18
8218:3702307375871237545430231: [   0,   6,  12,  30,  42,  72,  90,  96, 120,-122, 126, 132, 156, 162, 180, 210, 222, 240, 246,+252], len=19, valids=18
8223:2251089135176990138648831: [   0,   6,  12,  30,  42,  72, -80,  90,  96, 120, 126, 132, 156, 162, 180, 210,+222, 240, 246, 252], len=19, valids=18
8253:602532966036934335050861: [   0,   6,  12,  30,  42,  72,  90,  96,+120, 126, 132, 156, 162,-176, 180, 210, 222, 240, 246, 252], len=19, valids=18
8306:154787380396512840656501: [  +0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18
8420:4120899846563847848404571: [   0,   6,  12,  30,  42,  72,  90,  96,-110, 120, 126, 132,+156, 162, 180, 210, 222,-236, 240, 246, 252], len=20, valids=18
8654:1088921507857260914460551: [   0,  -2,   6,  12,  30, -36,  42,  72,  90,  96, 120, 126, 132, 156, 162, 180,-182, 210, 222, 240, 246,+252], len=21, valids=18
8903:1515089379605206874789687: [   0,   6,  12, -14, -20,  30,  42,  72, -86,  90,  96, 120,-122, 126, 132,+156, 162, 180,-204, 210, 222, 240, 246, 252], len=23, valids=18
8986:1268413108262356151229347: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132,-140, 156, 162, 180, 210,+222, 240, 246, 252], len=19, valids=18
9043:44064208564700232102407: [   0,  -2,   6,  12,  30,  42,  72,  90,  96,+120, 126, 132, 156, 162, 180,-192, 210, 222, 240, 246, 252], len=20, valids=18
9145:7406588471310821413176377: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162, 180,-194,+210, 222,-224, 240, 246, 252], len=20, valids=18
9154:4652767205017771129556087: [   0,   6,  12,  30,  42,  72,  90,  96, 120,-122, 126, 132, 156,+162, 180, 210, 222,-224, 240, 246, 252], len=20, valids=18
9313:6765806347755721000190537: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222,-236, 240,+246, 252], len=19, valids=18
9363:6878066340603378943358417: [   0,   6,  12,  30,  42, +72,  90,  96,-110, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=19, valids=18
9371:1416234077059509015958577: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162,-174, 180, 210, 222,-224, 240,+246, 252], len=20, valids=18
9430:2789661999003625090955537: [   0,   6,  12, -20,  30, +42,  72,  90,  96,-104, 120, 126, 132, 156, 162,-170, 180,-182,-200, 210, 222,-224, 240, 246, 252], len=24, valids=18
9450:6146196262932121499343167: [   0,   6,  12,  30,  42,  72,  90, +96, 120, 126, 132, 156, 162,-170,-176, 180,-182, 210, 222, 240, 246, 252], len=21, valids=18
9558:327480747328610662288037: [   0,   6,  12,  30, +42,  72,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18
9587:546583688419679696947697: [   0,   6,  12,  30,  42, +72, -74, -86,  90,  96,-104, 120, 126, 132, 156, 162,-170, 180,-200, 210, 222, 240, 246, 252], len=23, valids=18
9612:4724701705132005322847657: [   0,   6,  12,  30,  42,  72, -86,  90,  96, 120, 126, 132,+156, 162, 180,-182, 210, 222, 240, 246, 252], len=20, valids=18
9626:3221138046617331923403857: [   0,   6,  12,  30,  42, -56,  72, +90,  96, 120, 126, 132, 156, 162,-176, 180, 210, 222, 240, 246, 252], len=20, valids=18
9797:3184415483356690006408351: [   0,   6,  12, -22,  30,  42, -52,  72,  90, +96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=20, valids=18
9940:1479153749485369912344211: [   0,   6,  12,  30,  42, -48, -52,  72,  90,  96,-100, 120, 126, 132, 156,+162, 180, 210, 222, 240, 246, 252], len=21, valids=18
9990:638458632087653556859501: [   0,   6,  12, +30,  42, -48, -52,  72,  90,  96,-108, 120, 126, 132, 156, 162, 180, 210, 222,-238, 240, 246,-250, 252], len=23, valids=18
10003:1405911076462668599983981: [   0,   6,  12,  30, -40,  42,  72,  90, +96, 120, 126, 132,-148, 156, 162, 180, 210, 222,-226, 240, 246, 252], len=21, valids=18
10022:4692323610424731364323061: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132,-142,-150, 156, 162, 180,+210, 222,-232, 240, 246, 252], len=21, valids=18
10084:3786421406148574000871731: [  +0,   6,  12,  30,  42,  72, -78,  90,  96, 120, 126, 132, 156, 162,-166, 180, 210, 222, 240, 246, 252], len=20, valids=18
10093:2836061748133818332091631: [   0,   6,  12,  30,  42,  72, +90,  96, 120, 126, 132, 156,-160, 162, 180, 210, 222,-232, 240, 246, 252], len=20, valids=18
10151:5798302018144616620043071: [   0,   6,  12, +30,  42,  72, -82,  90,  96, 120, 126, 132,-150, 156, 162, 180, 210, 222, 240, 246, 252], len=20, valids=18
10167:48082784229055165003081: [   0,   6,  12,  30,  42,  72, -76,  90,  96, 120, 126, 132,-150, 156, 162, 180, 210,+222, 240, 246,-250, 252], len=21, valids=18
10193:901985248981556228168761: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246,+252], len=18, valids=18
10194:6241613239187544370322251: [   0,   6,  12,  30,  42, +72,  90,  96, 120, 126, 132, 156, 162, 180,-196, 210, 222, 240, 246, 252], len=19, valids=18
10212:6491589403914744668118661: [   0,   6,  12,  30,  42,  72,  90,  96,-118, 120, 126, 132, 156, 162, 180,-208, 210,+222, 240, 246, 252], len=20, valids=18
10234:3498528556130175599146651: [  +0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162,-172, 180,-196, 210, 222, 240, 246, 252], len=20, valids=18
10249:1250060631165989297230111: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126,+132, 156, 162, 180, 210, 222, 240, 246, 252], len=18, valids=18
10354:730550179949747853405091: [   0,   6,  12, -28,  30,  42, -48,  72, -78,  90,  96, 120, 126, 132,-142, 156,-160, 162, 180, 210,+222,-238, 240, 246, 252], len=24, valids=18
10389:1273959117953596933918441: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162, 180, 210,+222,-226,-228, 240, 246, 252], len=20, valids=18
10410:5271428126634813438284371: [   0,   6,  12, -18,  30,  42, -70,  72,  90,  96,+120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=20, valids=18
10431:1095101831700899801368957: [   0,   6,  12,  30,  42,  72, -76,  90,  96, 120, 126, 132,-142, 156, 162, 180, 210, 222,-226,-234,+240, 246, 252], len=22, valids=18
10461:6068726343436897995118477: [   0,   6,  12,  30,  42,  72,  90,  96,+120, 126, 132, 156, 162, 180,-192, 210, 222, 240, 246, 252], len=19, valids=18
10503:6266283456219994873359907: [   0,   6, -10,  12,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240,+246, 252], len=19, valids=18
10629:64717688752988150779567: [   0,   6, +12,  30,  42,  72,  90, -94,  96, 120, 126, 132,-136, 156, 162,-166, 180,-184, 210, 222, 240, 246, 252], len=22, valids=18
10718:7318506830552174591390137: [   0,   6,  12,  30, -34,  42,  72, -82,  90,  96, 120, 126, 132, 156,+162, 180, 210, 222, 240, 246, 252], len=20, valids=18
10796:1815297851146668996098527: [   0,   6, +12,  30,  42, -64,  72,  90,  96, 120, 126, 132,-142, 156, 162, 180,-196, 210, 222, 240, 246, 252], len=21, valids=18
10904:5781884817408116670128257: [   0,   6,  12,  30,  42, +72,  90,  96, 120, 126, 132,-142, 156,-160, 162,-166, 180, 210, 222, 240, 246, 252], len=21, valids=18
10910:6368811909975302223761707: [   0,   6,  12,  30,  42,  72,  90,  96,-100,-106,+120, 126, 132, 156, 162, 180, 210,-214, 222, 240, 246, 252], len=21, valids=18
10995:1291775499320872325504111: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162, 180,+210, 222, 240, 246, 252], len=18, valids=18
11004:548934853673670454695071: [   0,   6,  12,  30,  42,  72, +90, -92,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=19, valids=18
11016:2721594021918180163619231: [   0,  -2,   6,  12,  30,  42, +72,  90,  96, 120, 126, 132, 156, 162,-176, 180,-206, 210, 222,-236, 240, 246, 252], len=22, valids=18
11117:5363974654614190051164941: [   0,   6,  12,  30,  42, -56, -68,  72,  90,  96,-110, 120,-122, 126, 132,-146, 156, 162, 180,-206, 210, 222,-236, 240, 246,+252], len=25, valids=18
11118:3381270682207712536360331: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132,-152, 156, 162,+180,-188,-192, 210, 222, 240, 246, 252], len=21, valids=18
11193:1563079166920375197533261: [   0,   6,  12,  30,  42, -68,  72,  90, -92,  96,+120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=20, valids=18
11195:1848528447381484645266311: [   0,   6,  12, -20,  30, -38,  42,  72, -86,  90,  96, 120, 126, 132, 156, 162,+180, 210, 222,-230, 240, 246, 252], len=22, valids=18
11207:4024673255237520840247961: [   0,   6,  12, -26,  30,  42,  72, -78,  90,  96, 120, 126, 132, 156, 162, 180,+210, 222, 240, 246, 252], len=20, valids=18
11268:1512184908590730741987701: [   0,   6, +12, -26,  30,  42,  72, -86,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=20, valids=18
11269:7350509340691767152122301: [   0,   6,  12,  30,  42, -48,  72,  90,  96,+120, 126, 132, 156, 162, 180, 210, 222,-228, 240, 246, 252], len=20, valids=18
11368:162160975828366985594051: [   0,   6,  12, +30, -36,  42,  72, -78,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222,-230, 240, 246, 252], len=21, valids=18
11396:3205062493388192670427121: [   0,   6,  12,  30,  42,  72,  90, -92,  96,-102, 120, 126,+132, 156, 162, 180, 210, 222, 240, 246, 252], len=20, valids=18
11477:1667250178166947612603901: [   0,  -2,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162, 180,+210, 222, 240, 246, 252], len=19, valids=18
11536:4326438444480896022029117: [   0,   6, +12, -26,  30,  42,  72,  90,  96,-110, 120, 126, 132, 156, 162, 180, 210, 222,-224, 240, 246, 252], len=21, valids=18
11656:5493008331231098363039567: [   0,   6,  12, -14, +30,  42,  72,  90,  96, 120, 126, 132, 156, 162, 180, 210,-212, 222, 240, 246, 252], len=20, valids=18
11694:7323231315025630527867557: [   0,   6,  12,  30, -36,  42, -56, +72,  90,  96, 120, 126, 132, 156, 162, 180,-206, 210,-212, 222, 240, 246, 252], len=22, valids=18
11759:4755412440157336104823757: [   0,   6,  12,  30,  42, -50, -54,  72,  90,  96,-102, 120, 126, 132,+156, 162, 180, 210, 222,-224, 240, 246, 252], len=22, valids=18
11834:4734195389999298956388737: [  +0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162,-176, 180,-182, 210, 222, 240, 246, 252], len=20, valids=18
11835:3366485323570782437991047: [   0,   6,  12,  30,  42, -56, +72, -74,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=20, valids=18
11968:3122302881947929975164797: [   0,   6,  12,  30, -36,  42, -56,  72,  90, -92,  96,-104, 120,+126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=22, valids=18
12003:53166202711423237425917: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162,+180, 210, 222,-230, 240, 246, 252], len=19, valids=18
12009:6185635126686596395424537: [   0,   6,  12,  30, +42,  72,  90,  96, 120, 126, 132, 156, 162, 180,-200, 210, 222,-224, 240, 246, 252], len=20, valids=18
12057:794210550313557859683737: [   0,  -2,   6,  12,  30,  42, -60,  72, -86,  90,  96,-110,-116, 120, 126, 132, 156, 162,+180,-194, 210, 222, 240, 246, 252], len=24, valids=18
12115:1904064213758467690524977: [   0,   6,  12, -20,  30,  42,  72,  90, +96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=19, valids=18
12130:3898145757385410206561267: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162,-176,+180, 210, 222, 240, 246, 252], len=19, valids=18
12193:4326048438511302506481691: [   0,   6,  12,  30,  42, -58,  72,  90,  96, 120, 126, 132, 156, 162, 180,-196, 210,+222,-226, 240, 246, 252], len=21, valids=18
12215:6315346165320628045367971: [   0,   6,  12,  30,  42,  72, -76,  90, +96, 120, 126, 132, 156,-160, 162, 180, 210, 222, 240, 246, 252], len=20, valids=18
12383:1291697122556630815561: [   0,   6,  12, -28,  30,  42,  72, -78,  90,  96,+120, 126, 132, 156,-160, 162, 180,-202, 210,-216, 222, 240, 246, 252], len=23, valids=18
12407:4468056448119669116016841: [   0,  +6,  12,  30,  42, -60,  72,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222,-232, 240, 246, 252], len=20, valids=18
12436:1749722081578564708874641: [  +0,   6,  12,  30,  42,  72,  90,  96, 120, 126, 132,-148, 156, 162, 180, 210, 222,-226, 240, 246, 252], len=20, valids=18
12550:1351214321683287385219717: [   0,   6,  12, -24,  30,  42, +72,  90, -94,  96,-106, 120, 126, 132, 156, 162,-174, 180,-184, 210, 222,-232, 240, 246, 252], len=24, valids=18
12623:1140128534181904487119567: [   0,  +6,  12,  30,  42,  72,  90,  96,-100, 120, 126, 132, 156,-160, 162, 180,-184, 210, 222, 240,-244, 246, 252], len=22, valids=18
12959:3503953829236329982082651: [   0,   6,  -8, +12,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162, 180,-182, 210, 222,-230, 240, 246, 252], len=21, valids=18
12994:397584513960218821500191: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126,+132, 156,-158, 162, 180, 210, 222,-236, 240, 246, 252], len=20, valids=18
13011:601127795212271382711191: [   0,  +6,  12,  30, -32,  42, -56,  72,  90,  96,-116, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=21, valids=18
13035:301830852532980289784801: [   0,   6,  12,  30,  42, -50,  72,  90,  96, 120, 126, 132, 156, 162,-170, 180, 210, 222, 240,+246, 252], len=20, valids=18
13044:1320533355371437380568931: [   0,   6,  12, -20,  30,  42, -48, -60,  72, +90,  96, -98, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=22, valids=18
13172:6887962633672761855714167: [  +0,   6,  12, -26,  30,  42,  72,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=19, valids=18
13261:1916183257030587884088677: [   0,   6,  12,  30,  42,  72,  90,  96, 120, 126,+132, 156, 162,-170, 180, 210, 222, 240, 246, 252], len=19, valids=18
13330:5462589727844901526956617: [   0,   6,  12, -20,  30,  42, -50, +72, -86,  90, -92,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=22, valids=18
13334:913564213916520563688827: [   0,   6,  12, -20,  30, +42,  72,  90,  96, 120, 126, 132,-152, 156, 162,-176, 180, 210, 222,-230, 240, 246, 252], len=22, valids=18
13338:5581775815349438215972997: [   0,   6,  12, -20,  30,  42, -60, +72,  90,  96,-104, 120, 126, 132, 156, 162, 180,-204, 210,-216, 222, 240, 246, 252], len=23, valids=18
13435:52065442694702929857901: [   0,   6,  12, -22,  30,  42, -46, -70,  72,  90,  96,-100, 120, 126,-130, 132, 156, 162, 180, 210, 222,-238,+240, 246, 252], len=24, valids=18
13516:4038183995323314884407027: [   0,   6,  12,  30, -40, +42, -70,  72,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=20, valids=18
13527:215667667631678786974117: [   0,   6,  12,  30,  42, -52, -70,  72,  90,  96, 120, 126, 132, 156, 162, 180, 210,+222, 240, 246,-250, 252], len=21, valids=18
13548:2499526962656241048906757: [   0,   6,  12,  30,  42,  72,  90,  96,+120, 126,-130, 132, 156,-160, 162, 180, 210, 222, 240,-244, 246, 252], len=21, valids=18
13557:651188480948872525162871: [   0,   6,  12,  30,  42,  72, +90,  96, 120,-122, 126, 132, 156, 162,-170, 180, 210, 222, 240, 246, 252], len=20, valids=18
13559:4611786334065802760683181: [   0,   6,  12,  30,  42,  72, +90,  96, 120, 126, 132,-152, 156, 162, 180, 210, 222, 240, 246, 252], len=19, valids=18
13611:1291266993961523165186681: [   0,   6,  12,  30,  42, -48, +72,  90,  96, 120, 126, 132, 156, 162,-176, 180, 210, 222, 240, 246, 252], len=20, valids=18
13688:6766002247704924927518897: [   0,   6,  12,  30, -32,  42,  72, -86,  90,  96,-116, 120, 126,+132,-134, 156, 162, 180, 210, 222,-236, 240, 246, 252], len=23, valids=18
13756:2907176631220099317018607: [   0,  +6,  12,  30,  42, -52,  72, -82,  90,  96, 120, 126, 132, 156, 162,-174, 180,-192,-204, 210, 222,-226, 240,-244, 246, 252], len=25, valids=18
13762:143519227570155189438067: [   0,   6,  12,  30,  42,  72, +90,  96, 120, 126, 132, 156,-160, 162, 180,-184, 210, 222, 240, 246, 252], len=20, valids=18
13823:2492836870083454588343317: [   0,  +6,  12,  30,  42, -52,  72, -82,  90,  96, 120, 126, 132, 156, 162, 180, 210, 222, 240, 246, 252], len=20, valids=18

[Dmitriy40]

Статистика найденных цепочек с valids не меньше 15 с делением по группам 29#/17:

Используется синтаксис Text

0*67#:
G21     len=17  len=18  len=19  len=20  len=21  len=22  len=23  len=24  len=25  len=26  len=27  len=28  average
v15:    17      19      1       3               1                                                       17.853658536585365853658536585365853659
v16:    2       3       4       1                                                                       18.400000000000000000000000000000000000
G22     len=17  len=18  len=19  len=20  len=21  len=22  len=23  len=24  len=25  len=26  len=27  len=28  average
v15:    287     228     115     41      9                                                               17.907352941176470588235294117647058824
v16:    46      55      29      12      3               2                                               18.176870748299319727891156462585034014
v17:    2       1       5       2       2       1                                                       19.307692307692307692307692307692307692
G23     len=17  len=18  len=19  len=20  len=21  len=22  len=23  len=24  len=25  len=26  len=27  len=28  average
v15:    1177    886     493     187     58      15      3                                               17.978361120964881163533167789996452643
v16:    159     205     137     63      39      11                                                      18.431596091205211726384364820846905538
v17:    4       25      17      18      10      4       3                                               19.358024691358024691358024691358024691
v18:                    3               3                                                               20.000000000000000000000000000000000000
G24     len=17  len=18  len=19  len=20  len=21  len=22  len=23  len=24  len=25  len=26  len=27  len=28  average
v15:    3423    2666    1545    572     222     54      11      1                                       18.024605603955733458912173298799152343
v16:    435     472     413     229     88      42      11      1                                       18.549379065641632170313424009461856889
v17:    17      50      54      46      27      12      3                                               19.306220095693779904306220095693779904
v18:                    3       5       2       1                                                       20.090909090909090909090909090909090909
G25     len=17  len=18  len=19  len=20  len=21  len=22  len=23  len=24  len=25  len=26  len=27  len=28  average
v15:    8415    6755    3815    1600    575     164     28      6       2                               18.054822097378277153558052434456928839
v16:    993     1255    993     555     241     73      16      3                                       18.538387018648583192056187938968273190
v17:    39      104     124     94      54      27      4       5                                       19.314855875831485587583148558758314856
v18:            5       6       7       6       3               1                                       20.000000000000000000000000000000000000
v19:                                    1                                                               21.000000000000000000000000000000000000
G26     len=17  len=18  len=19  len=20  len=21  len=22  len=23  len=24  len=25  len=26  len=27  len=28  average
v15:    13673   11455   6625    3022    1026    272     78      12      3                               18.100785267931206105181662334789581375
v16:    1563    2004    1654    965     429     186     45      13      2                               18.636787640285672642471942865471505611
v17:    62      170     209     185     104     46      16      3       1                               19.404522613065326633165829145728643216
v18:            3       11      19      11      6       2       2                                       20.370370370370370370370370370370370370
v19:                                    1                                                               21.000000000000000000000000000000000000
G27     len=17  len=18  len=19  len=20  len=21  len=22  len=23  len=24  len=25  len=26  len=27  len=28  average
v15:    15252   13208   8106    3730    1405    426     108     15      3       2                       18.163294284700035498757543485977990770
v16:    1731    2320    1964    1214    556     218     65      22      3       2                       18.703520691785052501544163063619518221
v17:    54      177     224     223     124     65      27      1                                       19.551955307262569832402234636871508380
v18:            4       6       14      6       2       2       2                                       20.277777777777777777777777777777777778
v19:                                            1                                                       22.000000000000000000000000000000000000
G28     len=17  len=18  len=19  len=20  len=21  len=22  len=23  len=24  len=25  len=26  len=27  len=28  average
v15:    10085   8896    5799    2799    1068    372     86      17      5                               18.225598242180794451883132488756136918
v16:    1064    1497    1350    890     396     161     39      3       3       1                       18.766099185788304959289415247964470762
v17:    31      113     144     125     89      50      16      11      1       1                       19.705679862306368330464716006884681584
v18:            3       8       18      10      7       1       2       1                               20.520000000000000000000000000000000000
v19:                                            1                                                       22.000000000000000000000000000000000000
G29     len=17  len=18  len=19  len=20  len=21  len=22  len=23  len=24  len=25  len=26  len=27  len=28  average
v15:    4826    4496    3085    1595    631     196     54      8       3                               18.299785148381898751174969786491204512
v16:    497     697     678     506     237     77      32      10      2                               18.894005847953216374269005847953216374
v17:    21      65      82      74      48      26      8       2       1       1               1       19.623100303951367781155015197568389058
v18:                    2       5       3       4       2       1                                       21.117647058823529411764705882352941177
G30     len=17  len=18  len=19  len=20  len=21  len=22  len=23  len=24  len=25  len=26  len=27  len=28  average
v15:    1360    1394    931     462     206     66      15      4                                       18.332582244254168544389364578639026589
v16:    130     193     199     155     70      34      15                                              19.005025125628140703517587939698492462
v17:    5       17      22      22      23      7       3                                               19.747474747474747474747474747474747475
v18:                    1       3       2               1       1                                       21.000000000000000000000000000000000000
G31     len=17  len=18  len=19  len=20  len=21  len=22  len=23  len=24  len=25  len=26  len=27  len=28  average
v15:    307     262     199     111     52      28      2               1                               18.414760914760914760914760914760914761
v16:    30      49      49      25      19      4       1       1                                       18.859550561797752808988764044943820225
v17:    1       3       4       2       1       3       2       1                                       20.235294117647058823529411764705882353
v18:                            1                                       1                               22.500000000000000000000000000000000000
G32     len=17  len=18  len=19  len=20  len=21  len=22  len=23  len=24  len=25  len=26  len=27  len=28  average
v15:    65      65      51      38      17      8       4                                               18.665322580645161290322580645161290323
v16:    10      12      20      7       5       3       1               1                               19.067796610169491525423728813559322034
v17:                            2       3               1                                               21.000000000000000000000000000000000000
G33     len=17  len=18  len=19  len=20  len=21  len=22  len=23  len=24  len=25  len=26  len=27  len=28  average
v15:    7       7       4       5       1                                                               18.416666666666666666666666666666666667
v16:    1                                                                                               17.000000000000000000000000000000000000
v18:                            1                                                                       20.000000000000000000000000000000000000

-- 26.11.2024, 17:26 --

Кто хочет сам поизучать собранные данные, выложил все логи в облако, архив на 136МБ с 13824 файлами на 950МБ текста: https://cloud.mail.ru/public/YRZZ/yKsgQX9DM

[Yadryara]

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

Не совсем понятно почему лишь в 1.5 раза больше чем счёт 0-1.7e24

Возможно как раз из-за того, что в новом счёте принцы другие. Раньше они были то до $2^{16}$, то до $10^{5}$, а теперь все до $2^{17}$.

[Yadryara]

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

Сколько всего дро найдено я пока не знаю, предполагаю, что 34-40. Ну и конечно для всех дро бывшие принцы не могут находится на различных 19-ти позициях. Посмотрим, все ли позиции уже встретились.

Да, 40 штук дро нашёл в отчёте Дмитрия.

                                           PosEP
     53166202711423237425917: [+180,-230]     14
    155165228183592778895411: [-188,+246]     18
    548934853673670454695071: [ +90, -92]      7
    602532966036934335050861: [+120,-176]      9
    832717612454498945739947: [ +12, -50]      3
   1202718678814807577403061: [ +12,-148]      3
   1268413108262356151229347: [-140,+222]     16
   1606703212669076938936187: [ +12,-140]      3
   1667250178166947612603901: [  -2,+210]     15
   1712743539641681963125637: [ -14,+252]     19
   1777440589720579757739587: [+120,-194]      9
   1862346271684276550138047: [ +96,-196]      8
   1904064213758467690524977: [ -20, +96]      8
   1916183257030587884088677: [+132,-170]     11
   1966372671143618621073011: [ -38,+132]     11
   2018443309024864551285277: [-106,+162]     13
   2227912418587748590989827: [-110,+210]     15
   2251089135176990138648831: [ -80,+222]     16
   2385306612529454375692297: [ -22,+180]     14
   3321558363716512589630041: [+180,-190]     14
   3702307375871237545430231: [-122,+252]     19
   3736936974631025158709251: [+180,-226]     14
   3898145757385410206561267: [-176,+180]     14
   4177414906299160726015897: [-174,+246]     18
   4611786334065802760683181: [ +90,-152]      7
   4953822155802889279661117: [ -56, +72]      6
   5884887653883891027621067: [  +6, -52]      2
   5973509333558988492247057: [-154,+222]     16
   6027315505507867667412397: [+156,-226]     12
   6068726343436897995118477: [+120,-192]      9
   6204362335757683638620461: [ -48, +90]      7
   6241613239187544370322251: [ +72,-196]      6
   6266283456219994873359907: [ -10,+246]     18
   6402272743467387750393797: [-110,+222]     16
   6640401095074051109610187: [  +6, -54]      2
   6765806347755721000190537: [-236,+246]     18
   6878066340603378943358417: [ +72,-110]      6
   6887962633672761855714167: [  +0, -26]      1
   7482299531737199837271271: [  +0,-166]      1
   7661765039161898964014797: [ +42,-190]      5

1 2  3  4  5  6  7  8   9  10  11  12  13  14  15  16  17  18  19      Sum
0,6,12,30,42,72,90,96,120,126,132,156,162,180,210,222,240,246,252

2 2  3     1  3  3  2   3       2   1   1   5   2   4       4   2       40

Как видим разброс от 0 до 5 для разных позиций. Вроде позиции паттерна (кроме симметричных) не должны быть равны между собой по этому показателю. Но 40 штук маловато, чтобы сделать какие-то выводы. Например, об изменении порядка проверки.

Dmitriy40, Вас хвалят за колоссальную работу, но помогать в дальнейшем счёте Ахиллесами вроде пока не спешат. Речь конечно идёт о счёте по программе Дмитрия, а вовсе не о той программе, которая в 800-900 тысяч раз медленнее.

[Dmitriy40]

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

Dmitriy40, Вас хвалят за колоссальную работу,

Спасибо, глянул, действительно. Даже несколько удивительно. Надеюсь не забудут похвалить и Вас с Демисом за помощь в счёте.
Но баланс похвал и насмешек с издёвками пока по прежнему сильно не в пользу первых, так что ...

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

Речь конечно идёт о счёте по программе Дмитрия, а вовсе не о той программе, которая в 800-900 тысяч раз медленнее.

Вот кстати хороший повод пересчитать оценку, как-то она слишком уж великовата, не должно бы такого быть, под миллион раз разница в скорости, в тысячи раз понятно, но не миллион же.
Возьму везде разрекламированную автором самую свежую программу, с якобы случайным перебором в диапазоне 101*37#. Почему "якобы" - пояснять не буду, об этом в курсе практически любой программист, и точно все использующие random().
Автором указана скорость 25ч30м12с. Её со своей сравнить не могу, автором мои программы не используются, потому сравнивать буду на своей аппаратуре. У меня одна из 10 программ намеревалась работать 10ч40м (ждать не стал, погрешность оценки лучше процента), другая в 1.5 раза дольше. За это время будет перебран диапазон 101*37#=7.5e14, при этом сделано 101*32112640=3.24e9 проверок кандидатов в цепочки. Для сравнения пересчитываем на час: 7.5e14/10ч40м=7e13/ч диапазон и 101*32112640/10ч40м=3e8/ч проверок.
Моя программа, которой пользуемся с начала августа, считает в тех же условиях 1.9e12 проверок/ч, перебирая при этом диапазон 67#/13824 за 11.2ч или 5.1e19/ч. И эта скорость подтверждена (и немного превышена) и Yadryara и DemISdx на сильно разных компах.
Разница в скорости по скорости проверки кандидатов (скорости попыток): 1.9e12/3e8=6.3 тысячи раз, похоже на правду (разницу между PARI и оптимизированным векторным асм с AVX2). Причём я выше (или в соседней теме про кортежи) показывал как ускорить проверку в PARI в 14 раз в данном случае (я разумеется проверил, с 10ч40м до 47м на весь 101*37#), разница в скорости упадёт до всего лишь 450 раз (что кстати подтверждалось прошлогодним поиском пентадекатлона, там такого порядка разница и была, вероятно потому что и PARI код там писал тоже я). Автора PARI программы скорость проверки видимо вообще не волнует (легко ускорить в 14 раз добавлением всего одной строчки кода!), ну, его дело.
Разница в скорости по скорости проверке диапазона: 5.1e19/7e13=730 тысяч раз. Всё равно под миллион, вах. Но теперь хоть с обоснованием в конкретных цифрах.
На полную проверку всего 0-67# у меня в 4 потока ушло бы 67#/5.1e19/4=38520ч или 4.4 года (потому кстати и не занимался поиском 19-252 с 2015г по 2023г). Вычислительный сервер примерно в 5.5 раз быстрее и только потому хватило бы 8.5 месяцев с конца августа 2024. Но благодаря добровольной помощи вместе справились за 3 месяца.
Проверка любого интервала длиной 67# программой НМ (даже забудем что она её рекламирует для проверки в 70 раз большего интервала 71#) у меня заняло бы 67#/37#/101*10ч40м/4потока=2.8e10ч (или 2.1e9ч после исправления кода) или 3.2 миллиона лет (или 235 тысяч исправив код). Причём без гарантии обнаружения кортежа даже если он там точно есть! ("Там" в смысле в любом интервале длиной 67#.) Потому что случайный поиск гарантии перебора всего списка кандидатов не даёт! Хорошо что я не собирался и не собираюсь искать 19-252 программами Натальи. И другим не советую - слишком невероятно наткнуться на кортеж 19-252 при таком поиске.
Проверка расчётов и выводов из них только приветствуется, мог где-то ошибиться.

[Yadryara]

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

213шт с valids=18 (из которых 15шт с len=18)

Ну вот они все 15 штук 18/18:

                                      PosEP
     20502399070486534394861: [+240]     17
    152280801556172495686561: [ +42]      5
    154787380396512840656501: [  +0]      1      17-240-1
    163238587802201963204821: [  +6]      2
    327480747328610662288037: [ +42]      5
    434510678411396023322707: [ +72]      6
    901985248981556228168761: [+252]     19      17-240-1
   1250060631165989297230111: [+132]     11
   1291775499320872325504111: [+210]     15
   3669720649702250171752937: [ +72]      6
   4488936092235431710858351: [ +42]      5
   5813569481333939373498271: [+132]     11
   5815439317026710896284581: [+126]     10
   7101482564684328765463901: [ +72]      6 
   7145489405334212314375921: [ +42]      5

1 2  3  4  5  6  7  8   9  10  11  12  13  14  15  16  17  18  19     Sum
0,6,12,30,42,72,90,96,120,126,132,156,162,180,210,222,240,246,252

1 1        4  3             1   2              1        1       1      15

Посмотрим на центральные 17-ки более внимательно.

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

$ 154787380396512840656501 + 0 = 699863 \cdot 221168114897505427 $

Да, $ 699863 > 2^{17} $

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

$ 901985248981556228168761 +252 = 3165468727 \cdot 284945240901619 $

Да, $ 3165468727 > 2^{17} $

Надеюсь теперь понятно почему из двух сотен центральных 17-к, которые ожидаемо находятся в интервале $0-67\#$ программа Дмитрия нашла лишь две.

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

$ 1006882292528806742267-6 = 8209 \cdot 339413 \cdot 361376556433$

И видим, что $ 8209 < 2^{17} $.

$ 1006882292528806742267+246 = 23 \cdot 3209 \cdot 4561 \cdot 2991032127119$

И видим, что $ 23 < 2^{17} $.

Скорей всего, для того чтобы убедиться в правильности не нахождения той или иной центральной 17-ки или, что то же самое, кортежа 17-240-1, нужно факторизовать только одно прилегающее число.

[Yadryara]

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

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

Ну допустим Вы ошиблись даже на порядок. Что вряд ли, я ведь и сам уже считал.

Вот спросят люди:

— А почему нам предлагают считать по программе, которая в 730 тысяч раз медленнее???
— Это ошибочная оценка, на самом деле она медленнее всего лишь в 620 тысяч раз.
— А-а-а... Ну тогда другое дело, будем считать.

[Dmitriy40]

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

$ 1006882292528806742267+246 = 23 \cdot 3209 \cdot 4561 \cdot 2991032127119$
И видим, что $ 23 < 2^{17} $.

Тут важнее что $23<71$, т.е. такая цепочка в принципе не входит в список кандидатов (у НМ добавок, формул) 19-252 по простым 2-67 и найдена быть не может. Любой программой, где используются допустимые остатки по модулю 23 (для этой цепочки остаток 7 входит в список недопустимых).

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

Вот спросят люди:
— А почему нам предлагают считать по программе, которая в 730 тысяч раз медленнее???

Что-то не припоминаю таких вопросов от кранчеров боинка или других добровольных помощников. ИМХО Вы переоцениваете их желание разбираться что именно они считают и насколько это быстро, считается, автор доволен, и ладно. Ну вот не помню я обсуждений ни скорости, ни потребного времени. Впрочем мог и пропустить, не изучал досконально.

[Yadryara]

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

Что-то не припоминаю таких вопросов от кранчеров боинка или других добровольных помощников. ИМХО Вы переоцениваете их желание разбираться что именно они считают и насколько это быстро, считается, автор доволен, и ладно.

Ну вот именно что обычно есть кредит доверия автору, надеются что автор адекватен, тогда да, зачем вникать в тонкости. Да, может это будет в 1.5-2-3 раза медленнее, но не страшно. Вот именно что никому даже и в голову не приходит, что кто-то может на полном серьёзе предлагать настолько медленный счёт. Когда тем же автором был организован другой счёт, в сотни раз медленнее, я назвал его чудовищным. А сейчас какой эпитет использовать??

А зачем вообще на компах считать. Может лучше костяшки на счётах перекидывать? Электричество зря не тратить.

[Dmitriy40]

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

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

Не совсем понятно почему лишь в 1.5 раза больше чем счёт 0-1.7e24

Возможно как раз из-за того, что в новом счёте принцы другие. Раньше они были то до $2^{16}$, то до $10^{5}$, а теперь все до $2^{17}$.

Да, дело именно в этом. Отфильтровал оба комплекта логов по совпадающим условиям (наименьший простой делитель больше 131072 для старых и значение меньше 1.7e24 для новых) и оба списка по 1.5млн цепочек совпали (с одной мелкой оговоркой). Т.е. в общей части (до 1.7e24) нет ни пропущенных цепочек, ни новых. Можно надеяться пропущенных нет и дальше.

[Yadryara]

Потихоньку вожусь со статистикой:

0 - 67#    Average Len

Units      278      800     1896     3140     3578     2400     1208      352
Group      G23      G24      G25      G26      G27      G28      G29      G30
Valids
15       17.98    18.02    18.05    18.10    18.16    18.23    18.30    18.33

16       18.43    18.55    18.54    18.64    18.70    18.77    18.89    19.01

17       19.36    19.31    19.31    19.40    19.55    19.71    19.62    19.75

18       20.00    20.09    20.00    20.37    20.28    20.52    21.12    21.00

19                         21.00    21.00    22.00    22.00

Читать лучше по строкам слева направо.
Хорошо видны все 4 грязные 19-ки, которые найдены аккурат по одной в каждой из центральных групп.
Стата по valids=15 и valids=16 неполная, но зато более гладкая.

Кстати, новое разбиение лучше, так что ожидаю для него больший шаг увеличения Average Len. То есть качество находки уже больше будет зависеть от группы.

[Yadryara]

Вот какая красавица нашлась. Это симметричная 17-252.

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

Ну и 15-240 и центральная 13-ка по совместительству.

А, ну да, выше вижу ещё две с тем же паттерном.