Hugo писал в сообщении
https://dxdy.ru/post1569353.html#p1569353

I have also pushed a change in the infrastructure code which speeds things up by about 20% for me. A zip file with a 64-bit Windows build of this code prepared by CorporalTermit is now available at release v20221107.

Есть ускоренная программа!
Отлично!
Теперь надо дождаться, когда 7 текущих паттернов проверятся.
Тогда можно перейти на новую программу, которая будет работать быстрее на 20%.

Я писала в сообщении
https://boinc.progger.info/odlk/forum_thread.php?id=196&postid=10137

PS. Меня, например, смущает, что минимальная 9-ка меньше минимальной 8-ки.
У меня нет альтернативной программы для проверки.
Я не подвергаю результат сомнению, потому что ничего не могу предложить для подтверждения или опровержения результата.
Просто интересно: почему так?

Неожиданно получила ответ на свой вопрос от Hugo.
Цитирую

From Message 10137 in your blog:
:PS. For example, it confuses me that the minimum 9 is less than the minimum 8.
:Just wondering: why is that?

The first chain of *at least* 8 is D(12,9) = 15724736975643. But by
coincidence, the ninth number also has 12 divisors, so it is actually
a chain of length 9.

A292580() is defined to be the first chain of *exactly* a given length
(which is silly, in my opinion, but that's how it is). So to find the
first chain of *exactly* length 8, we need to keep searching until we
find 8 numbers [n_0, n_0 + 1, ... n_0 + 7] all with 12 divisors, but
with n_0 - 1 and n_0 + 8 having any number of divisors that is _not_ 12.

The coincidence of D(12,9) is very rare for long chains, but more common
for short chains. For example the first two numbers in A292580 say that
D(2,1) = 5 and D(2,2) = 2, because (2, 3) are consecutive prime numbers,
but 5 is the first prime number that has non-primes before and after.

Note that my program searches for chains of *at least* a given length.
I have a separate verification program that checks it is *exact*.

Спасибо, Hugo!

Брутфорс по поиску симметричных кортежей из последовательных простых чисел работает на Ахиллесе

Найдена первая 20-ка!
Вот она - красавица

5000589586721884369: 0 30 54 58 64 100 120 162 168 172 180 184 190 232 252 288 294 298 322 352

Такое распределение найденных кортежей:

12-ки - очень много;
13-ки - 42;
14-ки - очень много;
15-ка - 1;
16-ки - много;
17-ка - 0;
18-ки - 51;
19-ка - 0;
20-ка - 1;
21-ка - 0.

Поиск продолжается!

Решила попробовать запустить новую программу Hugo - ускоренную.

Увидела в файле start.bat следующее

start pcoul.exe -rresults119.txt -x9887353188984012120346 -f11 -g3 -b119 12 11
pause

Удивилась, почему здесь start, а раньше его не было.
Спросила у corporaltermit.
Он ответил

start в bat файле используется, чтобы запускать программы параллельно. Например вы сразу можете несколько программ запустить с разными параметрами. я так по 10 копий запускаю.
например
start pcoul.exe -rresults119.txt -x9887353188984012120346 -f11 -g3 -b119 12 11
start pcoul.exe -rresults120.txt -x9887353188984012120346 -f11 -g3 -b120 12 11
запустят сразу 2 окна
Но для 1 копии программы согласен, это не нужно.

Дальше запустила новую программу для паттерна b133

C:\Users\Дом\Downloads\pcoul_08112022>pcoul.exe -rb133.txt -x9887353188984012120
346 -f11 -g3 -b133 12 11
path b133.txt
001 pcoul(12 11) -f11 -g3 -x9887353188984012120346 -b133 *RT*
13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11.23^2: 35141798 / 49304728

Всё, как было раньше, кроме значка *RT*.
Опять спросила у corporaltermit, что означает этот значок.
Ответ:

Думаю это только у Хьюго узнать можно.
Подозреваю, что сделано чтобы отличить от старой версии. Что-то типа "переделанные таймеры" (rebuilded timers)

Напомню: новая версия программы pcoul.exe здесь
https://github.com/hvds/divrep/releases/tag/20221107
Программа работает в Windows 64-bit.
Скомпилировал новую версию тоже corporaltermit.
За это ему огромное спасибо!

А, ну вот и объяснение про значок *RT*, Hugo написал

Note that if the initial "100" line shows *RT* at the end, the timers will be relying on the system clock. In this case if the system clock is changed to an earlier time, no progress will be displayed until the clock catches up to where it was before.

Перевод в Google

Обратите внимание, что если начальная строка «100» показывает *RT* в конце, таймеры будут полагаться на системные часы. В этом случае, если системные часы будут изменены на более раннее время, прогресс не будет отображаться до тех пор, пока часы не вернутся к тому состоянию, в котором они были раньше.

И как это понимать?
К тому же, начальная строка у меня имеет код "001", а не "100".
У Hugo опечатка?

Ещё цитата из письма Hugo

You don't have to wait, you can stop the current run and continue
with the new program.

I recommend doing just one first, make sure that the first line it
prints shows "recover" before doing the others.

Я не рискнула :)
Пусть досчитываются старой программой.
Следующие паттерны запущу по новой программе.
Один уже запустила - попробовать, (см. выше).

Состояние вычислений в эксперименте Hugo

1133 of 2471 still to do.

• b0-b99: nobody
• b100-b199: Natalia, CorporalTermit
o b100-b108, b119: done
• b200-b302: nobody
• b303-b510: done
• b511-b599: DemIS
o b530-b531, b540-b541, b550-b552, b560-b562, b570, b576, b578-b580, b590-b591: done
• b600-b649: nobody
• b650-b962: done
• b963-b1204: nobody
• b1205-b1473: done
• b1473-b1599: nobody
• b1600-b1637: Hugo
o b1626-1628: done
• b1638-b1835: done
• b1836-b2166: Eugene
o b1937, b1979, b1982-b1983, b1986, b1988-b1989, b2003, b2006-b2008, b2011-b2012, b2041, b2113, b2157: done
• b2167-b2470: done

Смотрите
https://github.com/hvds/divrep/wiki/D(12,11)

Это непонятно

1133 of 2471 still to do.

На форуме dxdy.ru написано, что паттернов всего 1044, просто они пронумерованы не по порядку.
Поэтому надо выводить фактическое количество проверенных паттернов и тех, которые осталось проверить.

Написала Hugo

Can you here
https://github.com/hvds/divrep/wiki/D(12,11)
provide information?

All – 1044
Done – …
In process – …
In waiting – …

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

Например, эти паттерны ожидают проверки

• b0-b99: nobody
• b200-b302: nobody
• b600-b649: nobody
• b963-b1204: nobody
• b1473-b1599: nobody

Сколько тут фактически паттернов?
Есть ли пропуски в нумерации паттернов?
Если пропусков нет в этих порциях, то ожидают проверки 622 паттерна.
Следовательно, 422 паттерна {проверены и в процессе}.
Можно отдельно посчитать, сколько проверено и сколько в процессе.

У нас с corporaltermit

All – 100
Done – 18
In process – 17
In waiting – 65

Могу ещё подробнее расписать

All – b100-b199 (100 штук)
Done – b100-b108,b110, b119, b122, b126, b134-b138 (18 штук)
In process – b109, b111-b118, b120, b121, b123-b125, b127, b128, b133 (17 штук)
In waiting – b129-b132, b139-b199 (65 штук)

Всё наглядно и понятно.

EUgeneUS писал в сообщении
https://dxdy.ru/post1569380.html#p1569380

б) время счета для данного LCM заметно больше, чем по логам Демиса, который считал программами Dmitriy40

Не понимаю, как можно сравнивать время работы разных программ на разных компьютерах!

EUgeneUS считал на своём компьютере программой Hugo.
Демис считал на своём компьютере программой господина Петухова.
При этом делается вывод:

время счета для данного LCM заметно больше ...

Раньше EUgeneUS писал

Мне не очень понятно, что с чем Вы сравнивали :(

Вы не могли бы привести время счета для одного и того же компьютера, но для разных программ?

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

Скачала отсюда
https://dxdy.ru/post1569288.html#p1569288
биекцию паттернов b100-b199 от господина Петухова.
Обрезала для лучшей читабельности.

/*          1331114400,           582849945, b100
/*         14642258400,          2398005945, b101
/*         14642258400,          7359432345, b102
/*          1331114400,           945881145, b103
/*         14642258400,          2519016345, b104
/*         14642258400,            98808345, b105
/*         14642258400,         12320858745, b106
/*      19488845930400,       2442935753145, b107
/*          1331114400,           340829145, b108
/*             6098400,             5719545, b109
/*          8116970400,          3768432345, b110
/*              554400,              175545, b111
/*             6098400,             1334745, b112
/*             6098400,             3048345, b113
/*             6098400,             4761945, b114
/*              554400,               74745, b115
/*             6098400,              377145, b116
/*             6098400,             1233945, b117
/*             6098400,             2090745, b118
/*          8116970400,          7844633145, b119
/*              554400,              427545, b120
/*            42688800,            28370745, b121
/*         56818792800,         42034149945, b122
/*             3880800,             1205145, b123
/*            42688800,            11789145, b124
/*            42688800,            37896345, b125
/*         56818792800,         45288024345, b126
/*             3880800,             2969145, b127
/*             3880800,             3321945, b128
/*            42688800,             4733145, b129
/*            42688800,            17786745, b130
/*            42688800,            30840345, b131
/*         56818792800,         21759439545, b132
/*             3880800,             3674745, b133
/*            42688800,             1816569, b139
/*         56818792800,         24547876569, b140
/*             3880800,             1816569, b141
/*            42688800,            14870169, b142
/*             3880800,             3580569, b143
/*            42688800,            37449369, b144
/*         56818792800,          1019291769, b145
/*             3880800,             2522169, b146
/*            42688800,            20867769, b147
/*            42688800,            33921369, b148
/*            42688800,             4286169, b149
/*         56818792800,          4273166169, b150
/*             3880800,              405369, b151
/*         14642258400,         12509634969, b152
/*      19488845930400,       7070078183769, b153
/*          1331114400,           529605369, b154
/*         14642258400,         10089426969, b155
/*         14642258400,         12630645369, b156
/*      19488845930400,      18637583330169, b157
/*          1331114400,           650615769, b158
/*         14642258400,          7790229369, b159
/*         14642258400,          5370021369, b160
/*         14642258400,          2949813369, b161
/*      19488845930400,      13356689474169, b162
/*          1331114400,           287584569, b163
/*             6098400,             1816569, b164
/*          8116970400,           196965369, b165
/*              554400,              153369, b166
/*             6098400,             2673369, b167
/*             6098400,             5243769, b168
/*             6098400,              858969, b169
/*          8116970400,          1019291769, b170
/*              554400,              304569, b171
/*             6098400,             2572569, b172
/*             6098400,             3429369, b173
/*             6098400,             4286169, b174
/*          8116970400,          4273166169, b175
/*              554400,              405369, b176
/*            42688800,             6172569, b177
/*         56818792800,         46579653369, b178
/*             3880800,             2291769, b179
/*            42688800,            19226169, b180
/*            42688800,            15698169, b181
/*         56818792800,         49833527769, b182
/*             3880800,              174969, b183
/*             3880800,             2997369, b184
/*            42688800,            25223769, b185
/*            42688800,            38277369, b186
/*            42688800,             8642169, b187
/*         56818792800,         26304942969, b188
/*             3880800,              880569, b189
/*         14642258400,          7519401369, b190
/*      19488845930400,      11296700627769, b191
/*          1331114400,           863829369, b192
/*         14642258400,          5099193369, b193
/*         14642258400,         12480827769, b194
/*      19488845930400,       6015806771769, b195
/*          1331114400,           500798169, b196
/*         14642258400,          2799995769, b197
/*         14642258400,           379787769, b198
/*         14642258400,         12601838169, b199

Интересно: паттернов b134-138 здесь нет.
Включаются ли они в 1044 паттерна?
Или Hugo вообще эти паттерны выбросил, так как они очень быстро проверяются?
Ну, я их уже проверила.
Смотрите сообщение
https://boinc.progger.info/odlk/forum_thread.php?id=196&postid=10079

PS. В общем списке господина Петухова 1044 паттерна.
Следовательно, указанные паттерны просто не включены Hugo в общий список паттернов.

В биекции, выложенной господином Никоновым здесь
https://dxdy.ru/post1569458.html#p1569458
паттернов b134-b138 тоже нет.
Однако в этом списке не все паттерны, а всего 680 штук (если правильно скопировалось с форума).

Вот эти паттерны у меня последние в списке

. . . . . . 
LCM1331114400-945881145-6   b1147
LCM1331114400-990285241-8   b2115
LCM1331114400-1003495545-4   b73
LCM1331114400-1043529817-8   b2043
LCM1331114400-1082017849-8   b1931
LCM1331114400-1232306041-6   b1037
LCM1331114400-1285550617-6   b985

All – b100-b199 (100 штук)

Я ведь спрашивала у Hugo, все ли номера паттернов следуют подряд?
Он ответил, что все.
Однако, получается, что не все: 5 номеров выпадают.
А если эти паттерны считать, то общее количество паттернов будет 1049, а не 1044.

Так как же: считать паттерны b134-b138 или не считать?
Математика - наука точная :)

Цитирую из письма Hugo

You wrote:
:Do all patterns b100-b199 follow in order, no gaps?

Yes.

The 5 patterns b134-b138 will run very fast (less than a second),
the others are normal.

Цитата из только что полученного письма Hugo

On the dxdy forum, they were not interested in the full list of patterns,
only in the patterns that do not fix a square. So they only look at
a shorter list of 1044 patterns.

Я пока ничего не понимаю.

На этой странице
https://github.com/hvds/divrep/wiki/D(12,11)
есть команда для получения всех паттернов

pcoul -x:9887353188984012120346 -f11 -a 12 11

Выполнила эту команду, получила список всех паттернов в количестве 2471.

Что такое 1044 паттерна, биекцию которых делали на dxdy.ru, абсолютно не понимаю.
Ну и ладно, и не надо мне это понимать.

Я понимаю так, что фактическое количество паттернов, которые необходимо проверить - 2471.
Нумерация паттернов по порядку.
Следовательно, паттерны, о которых спрашивала выше (b134-b138), включаются в общий список паттернов.

Покажу начало и конец списка всех 2471 паттернов

203 b0: 5.11^2 2.3^2 . 2^5 3.7^2 2.5^2 . 2^2.3 . 2 3^2.5
203 b1: 5 2.3^2 11^2 2^5 3.7^2 2.5^2 . 2^2.3 . 2 3^2.5
203 b2: 5 2.3^2 11^5 2^5 3.7^2 2.5^2 . 2^2.3 . 2 3^2.5
203 b3: 5 2.3^2 11 2^5 3.7^2 2.5^2 . 2^2.3 . 2 3^2.5
203 b4: 5 2.3^2 . 2^5 3.7^2 2.5^2 11^2 2^2.3 . 2 3^2.5
203 b5: 5 2.3^2 . 2^5 3.7^2 2.5^2 11^5 2^2.3 . 2 3^2.5
203 b6: 5 2.3^2 . 2^5 3.7^2 2.5^2 11 2^2.3 . 2 3^2.5
203 b7: 5 2.3^2 . 2^5 3.7^2 2.5^2 11^3 2^2.3 . 2 3^2.5 [sq=1]
203 b8: 5 2.3^2 . 2^5 3.7^2 2.5^2 . 2^2.3 11^2 2 3^2.5
203 b9: 5 2.3^2 . 2^5 3.7^2 2.5^2 . 2^2.3 11^5 2 3^2.5
203 b10: 5 2.3^2 . 2^5 3.7^2 2.5^2 . 2^2.3 11 2 3^2.5
203 b11: 5 2.3^2 . 2^5 3.7^2 2.5^2 . 2^2.3 . 2.11^2 3^2.5
203 b12: 5.11^2 2.3^2 . 2^5 3 2.5^2 7^2 2^2.3 . 2 3^2.5
203 b13: 5 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 . 2 3^2.5
203 b14: 5 2.3^2 11^5 2^5 3 2.5^2 7^2 2^2.3 . 2 3^2.5
203 b15: 5 2.3^2 11 2^5 3 2.5^2 7^2 2^2.3 . 2 3^2.5
203 b16: 5 2.3^2 . 2^5 3.11^2 2.5^2 7^2 2^2.3 . 2 3^2.5
203 b17: 5 2.3^2 . 2^5 3 2.5^2 7^2.11 2^2.3 . 2 3^2.5
203 b18: 5 2.3^2 . 2^5 3 2.5^2 7^2 2^2.3 11^2 2 3^2.5
203 b19: 5 2.3^2 . 2^5 3 2.5^2 7^2 2^2.3 11^5 2 3^2.5
203 b20: 5 2.3^2 . 2^5 3 2.5^2 7^2 2^2.3 11 2 3^2.5
203 b21: 5 2.3^2 . 2^5 3 2.5^2 7^2 2^2.3 . 2.11^2 3^2.5
203 b22: 5.11^2 2.3^2 . 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5
203 b23: 5 2.3^2 11^2 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5
203 b24: 5 2.3^2 11^5 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5
203 b25: 5 2.3^2 11 2^5 3 2.5^2 7^5 2^2.3 . 2 3^2.5
203 b26: 5 2.3^2 . 2^5 3.11^2 2.5^2 7^5 2^2.3 . 2 3^2.5
203 b27: 5 2.3^2 . 2^5 3 2.5^2 7^5 2^2.3 11^2 2 3^2.5
203 b28: 5 2.3^2 . 2^5 3 2.5^2 7^5 2^2.3 11^5 2 3^2.5
203 b29: 5 2.3^2 . 2^5 3 2.5^2 7^5 2^2.3 11 2 3^2.5
203 b30: 5 2.3^2 . 2^5 3 2.5^2 7^5 2^2.3 . 2.11^2 3^2.5
. . . . . . . . . . . 
203 b2449: . 2.11^2 3 2^2 5 2.3 7 2^3 3^5 2.5^2 . [sq=2]
203 b2450: . 2 3 2^2 5 2.3 7 2^3 3^5 2.5^2 11^2 [sq=2]
203 b2451: . 2 3 2^2 5 2.3 7 2^3 3^5 2.5^2 11^5 [sq=2]
203 b2452: . 2 3 2^2 5 2.3 7 2^3 3^5 2.5^2 11 [sq=2]
203 b2453: . 2 3 2^2 5 2.3 7 2^3 3^5 2.5^2 11^3 [sq=3]
203 b2454: 11^2 2 3 2^2 5 2.3 7^3 2^3 3^5 2.5^2 . [sq=3]
203 b2455: 11^5 2 3 2^2 5 2.3 7^3 2^3 3^5 2.5^2 . [sq=3]
203 b2456: 11 2 3 2^2 5 2.3 7^3 2^3 3^5 2.5^2 . [sq=3]
203 b2457: . 2.11^2 3 2^2 5 2.3 7^3 2^3 3^5 2.5^2 . [sq=3]
203 b2458: . 2 3 2^2 5 2.3 7^3 2^3 3^5 2.5^2 11^2 [sq=3]
203 b2459: . 2 3 2^2 5 2.3 7^3 2^3 3^5 2.5^2 11^5 [sq=3]
203 b2460: . 2 3 2^2 5 2.3 7^3 2^3 3^5 2.5^2 11 [sq=3]
203 b2461: . 2 3 2^2 5 2.3 7^3 2^3 3^5 2.5^2 11^3 [sq=4]
203 b2462: 11^2 2 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^2 [sq=2]
203 b2463: 11^5 2 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^2 [sq=2]
203 b2464: 11 2 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^2 [sq=2]
203 b2465: . 2.11^2 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^2 [sq=2]
203 b2466: . 2 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^2.11 [sq=2]
203 b2467: 11^2 2 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^5 [sq=2]
203 b2468: 11^5 2 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^5 [sq=2]
203 b2469: 11 2 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^5 [sq=2]
203 b2470: . 2.11^2 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^5 [sq=2]

Последней вывелась такая строка

367 coul(12, 11): recurse 413, walk 4447, walkc 40 (0.12s)

Теперь и это стало понятно

1133 of 2471 still to do.

Проверено больше половины паттернов.
Уже хорошо!

Отправила Hugo результаты проверки паттернов b134-b138.

Эти паттерны мгновенно проверились; пусть Hugo внесёт их в список проверенных.

Из биекции господина Петухова

/*          1331114400,           582849945, b100
/*         14642258400,          2398005945, b101
/*         14642258400,          7359432345, b102
/*          1331114400,           945881145, b103
/*         14642258400,          2519016345, b104
/*         14642258400,            98808345, b105
/*         14642258400,         12320858745, b106
/*      19488845930400,       2442935753145, b107
/*          1331114400,           340829145, b108
/*             6098400,             5719545, b109
/*          8116970400,          3768432345, b110

В этой группе паттернов у меня капитально завяз паттерн b109.
Понятно, маленький шаг.
Остальные паттерны этой группы проверены.

У corporaltermit почти вся группа тяжёлая, только один паттерн лёгкий - b119, он уже проверен

/*              554400,              175545, b111
/*             6098400,             1334745, b112
/*             6098400,             3048345, b113
/*             6098400,             4761945, b114
/*              554400,               74745, b115
/*             6098400,              377145, b116
/*             6098400,             1233945, b117
/*             6098400,             2090745, b118
/*          8116970400,          7844633145, b119
/*              554400,              427545, b120

9 паттернов группы проверяются.

Дальше моя группа

/*            42688800,            28370745, b121
/*         56818792800,         42034149945, b122
/*             3880800,             1205145, b123
/*            42688800,            11789145, b124
/*            42688800,            37896345, b125
/*         56818792800,         45288024345, b126
/*             3880800,             2969145, b127
/*             3880800,             3321945, b128
/*            42688800,             4733145, b129
/*            42688800,            17786745, b130
/*            42688800,            30840345, b131
/*         56818792800,         21759439545, b132
/*             3880800,             3674745, b133
/*            42688800,             1816569, b139
/*         56818792800,         24547876569, b140

В этой группе находятся ещё паттерны b134-b138, самые лёгкие, проверены.
Лёгкие паттерны b122, b126 тоже проверены.
7 паттернов в работе, остальные - в ожидании.

Вот так

/* 42688800, 28370745, b121 - в процессе
/* 56818792800, 42034149945, b122 - проверен
/* 3880800, 1205145, b123 - в процессе
/* 42688800, 11789145, b124 - в процессе
/* 42688800, 37896345, b125 - в процессе
/* 56818792800, 45288024345, b126 - проверен
/* 3880800, 2969145, b127 - в процессе
/* 3880800, 3321945, b128 - в процессе
/* 42688800, 4733145, b129 - в ожидании
/* 42688800, 17786745, b130 - в ожидании
/* 42688800, 30840345, b131 - в ожидании
/* 56818792800, 21759439545, b132 - в ожидании
/* 3880800, 3674745, b133 - в процессе
b134-b138 - проверены
/* 42688800, 1816569, b139 - в ожидании
/* 56818792800, 24547876569, b140 - в ожидании

Господин Никонов писал в сообщении
https://dxdy.ru/post1569505.html#p1569505

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

Во-первых, мой вопрос относился к Hugo, он читает мой блог и на вопросы, которые видит здесь, отвечает в письмах.
Во-вторых, в десятый раз повторяю: я не в теме.
Мне недосуг разбираться, какие в теме форума dxdy.ru паттерны «сознательно рассматривают», а какие сознательно НЕ РАССМАТРИВАЮТ - пока.
И мне абсолютно всё равно, как будут проверяться те и другие паттерны в теме форума dxdy.ru.
Я в этой теме не участвую и в процессе проверки программами господина Петухова тоже не участвую (уточню: в поиске минимальной 11-ки).

Цитирую своё сообщение
https://boinc.progger.info/odlk/forum_thread.php?id=196&postid=10149

Что такое 1044 паттерна, биекцию которых делали на dxdy.ru, абсолютно не понимаю.
Ну и ладно, и не надо мне это понимать.

Я понимаю так, что фактическое количество паттернов, которые необходимо проверить - 2471.
Нумерация паттернов по порядку.
Следовательно, паттерны, о которых спрашивала выше (b134-b138), включаются в общий список паттернов.

Кажется, всё предельно ясно написано.
Мне надо было разобраться, каково фактическое количество паттернов, подлежащих проверке.
Я в этом разобралась с помощью Hugo.
И это

1133 of 2471 still to do.

мне теперь тоже понятно.

Выписала отсюда статистику проверенных паттернов
https://github.com/hvds/divrep/wiki/D(12,11)

b100-b108, b119, b134-b138: done – 15
b303-b510: done – 208
b530-b531, b540-b541, b550-b552, b560-b562, b570, b576, b578-b580, b590-b591: done – 17
b650-b962: done – 313
b1205-b1473: done – 269
b1626-1628: done – 3
b1638-b1835: done – 198
b1937, b1979, b1982-b1983, b1986, b1988-b1989, b2003, b2006-b2008, b2011-b2012, b2041, b2113, b2157: done – 16
b2167-b2470: done – 304

Проверено: 1343 паттерна,
осталось проверить: 1128 паттернов.

Всё правильно, совпадает с результатом Hugo.
От его последнего результата

1133 of 2471 still to do.

надо вычесть только что добавленные проверенные 5 паттернов (b134-b138).

Проверять ещё много, но всё же больше половины уже проверено.

О!
У Hugo новая версия программы - ещё ускоренная.
Цитирую

Latest code should give further speed improvements, especially on
the slowest patterns.

Please see https://github.com/hvds/divrep/releases/tag/20221109

Пока по новой программе запустила только один паттерн - b133

C:\Users\Дом\Downloads\pcoul_09112022>pcoul.exe -rb133.txt -x9887353188984012120
346 -f11 -g3 -b133 12 11
path b133.txt
001 recover pcoul(12 11) -f11 -g3 -x9887353188984012120346 -b133 *RT*
13^2 2.5^2 3 2^5 31^2 2.3^2 5.7^2 2^2 3 2 11.3236437621^2

Надеюсь, это правильно работает.

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

Ну, пусть поработает с этим значком.
Посмотрим.

Предыдущие 7 паттернов проверяются первой версией программы.
Проверенных полностью паттернов не появилось.