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

То есть линейный перебор с ускорителями уже проигрывает. Хорошо, будем считать, что тут паритет по порядку величины.
Но дальше с уменьшением LCM и количества проверяемых чисел разница будет усугубляться и сильно.

Ой, щас господин Никонов будет громить EUgeneUS :)
Как можно утверждать, что программа господина Петухова проигрывает?! :)

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

Ещё один трудный паттерн проверился - b131

001 pcoul(12 11) -f11 -g3 -x9887353188984012120346 -b131 *RT*
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11^2: 442221744 / 2371109213 (586.55s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11^2: 807526578 / 2371109213 (1172.61s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11^2: 1151174388 / 2371109213 (1754.51s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11^2: 1497037276 / 2371109213 (2337.30s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11^2: 1846284913 / 2371109213 (2919.74s)
305 13^2 2.5^2 3 2^5 17^2 2.3^2 5.7^2 2^2 3 2 11^2: 2191789855 / 2371109213 (3502.67s)
305 13^2 2.5^2 3 2^5 19^2 2.3^2 5.7^2 2^2 3 2 11^2: 232388259 / 1898201004 (4085.42s)
. . . . . . . . . 
305 5153^2 2.5^2 3 2^5 . 2.3^2 5.7^2 2^2 3 2 11^2: 3202004 / 4361298 (235630.67s)
305 6131^2 2.5^2 3 2^5 . 2.3^2 5.7^2 2^2 3 2 11^2: 1373405 / 3080869 (236220.38s)
305 7723^2 2.5^2 3 2^5 . 2.3^2 5.7^2 2^2 3 2 11^2: 313392 / 1941618 (236810.47s)
305 10687^2 2.5^2 3 2^5 . 2.3^2 5.7^2 2^2 3 2 11^2: 769562 / 1013967 (237400.75s)
305 17827^2 2.5^2 3 2^5 . 2.3^2 5.7^2 2^2 3 2 11^2: 239975 / 364400 (237990.90s)
305 62207^2 2.5^2 3 2^5 . 2.3^2 5.7^2 2^2 3 2 11^2: 21879 / 29926 (238581.08s)
305 3587601607^2 2.5^2 3 2^5 . 2.3^2 5.7^2 2^2 3 2 11^2 (239176.24s)
305 13^5 2.5^2 3 2^5 . 2.3^2 5.7^2 2^2 3 2 11^2: 270258574 / 311902850 (239772.60s)
367 coul(12, 11): recurse 13885499262, walk 13885504131, walkc 129303978888 (239976.88s)

2,77 суток.

Теперь список трудных паттернов у меня в процессе такой

b109, LCM=6098400
b123, LCM=3880800
b127, LCM=3880800
b128, LCM=3880800
b133, LCM=3880800
b139, LCM=42688800

Пока не запускаю новые трудные паттерны, хочу поскорее закончить проверку лёгких паттернов.
Сегодня должна закончиться.
Смотрите сообщение
https://boinc.progger.info/odlk/forum_thread.php?id=196&postid=10228

gris выложил на dxdy.ru картину
https://dxdy.ru/post1569940.html#p1569940



Цитата

... долго стоял у загадочного переплетения живописи, поэзии и математики.

Мне эта картина ближе :)



Кстати, картину рисовал gris; конечно магические кубы в матрёшках созданы мной, идея картины тоже моя.

Это очень большая картина.
Если у вас есть большой цветной принтер, можете распечатать и повесить на стену.

Посмотрите на фрагмент этой картины



Здесь даже магические кубы можно прочитать.

PS. К сожалению, картина (и уменьшенная, и в полную величину) была выложена на Радикал, и теперь её там нет, потому что Радикал перестал существовать.
Посмотрю, что у меня на диске, уменьшенная точно должна быть, а вот в полную величину - не помню.
Уменьшенную можно отсюда скопировать
http://forumimage.ru/uploads/20170721/150066360404437742.png
Сейчас выложу её ещё в одно место - для надёжности.

Готово!
Загрузила сюда уменьшенный вариант
https://i.postimg.cc/cCnDW5t3/matr-small.jpg

На диске у себя нашла и в полную величину.
Сейчас попробую загрузить на хостинг.

Готово!



Ссылка
https://i.postimg.cc/3JLy7J7g/1.png
Попробуйте скопировать.
Буду рада, если вам приглянулась эта картина и вы её возьмёте к себе в кабинет или в комнату.

Всё, эта группа лёгких паттернов проверена полностью

b162, LCM=19488845930400 - проверен
b163, LCM=1331114400 - проверен
b165, LCM=8116970400 - проверен
b170, LCM=8116970400 - проверен
b175, LCM=8116970400 - проверен
b178, LCM=56818792800 - проверен
b182, LCM=56818792800 - проверен
b188, LCM=56818792800 - проверен
b190, LCM=14642258400 - проверен
b191, LCM=19488845930400 - проверен
b192, LCM=1331114400 - проверен
b193, LCM=14642258400 - проверен
b194, LCM=14642258400 - проверен
b195, LCM=19488845930400 - проверен
b196, LCM=1331114400 - проверен
b197, LCM=14642258400 - проверен
b198, LCM=14642258400 - проверен
b199, LCM=14642258400 - проверен

Итак, мы с corporaltermit полностью проверили 56 паттернов из 100.

Выходим на финишную прямую, содержащую 44 трудных паттерна, 17 из которых уже проверяются и 27 ожидают проверки

b109, LCM=6098400 – в процессе
b111, LCM=554400 – в процессе
b112, LCM=6098400 – в процессе
b113, LCM=6098400 – в процессе
b114, LCM=6098400 – в процессе
b115, LCM=554400 – в процессе
b116, LCM=6098400 – в процессе
b117, LCM=6098400 – в процессе
b118, LCM=6098400 – в процессе
b120, LCM=554400 – в процессе
b123, LCM=3880800 – в процессе
b127, LCM=3880800 – в процессе
b128, LCM=3880800 – в процессе
b133, LCM=3880800 – в процессе
b139, LCM=42688800 – в процессе
b141, LCM=3880800 – в процессе
b142, LCM=42688800 –  в процессе
b143, LCM=3880800
b144, LCM=42688800
b146, LCM=3880800
b147, LCM=42688800
b148, LCM=42688800
b149, LCM=42688800
b151, LCM=3880800
b164, LCM=6098400
b166, LCM=554400
b167, LCM=6098400
b168, LCM=6098400
b169, LCM=6098400
b171, LCM=554400
b172, LCM=6098400
b173, LCM=6098400
b174, LCM=6098400
b176, LCM=554400
b177, LCM=42688800
b179, LCM=3880800
b180, LCM=42688800
b181, LCM=42688800
b183, LCM=3880800
b184, LCM=3880800
b185, LCM=42688800
b186, LCM=42688800
b187, LCM=42688800
b189, LCM=3880800

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

Цитата из сообщения
https://boinc.progger.info/odlk/forum_thread.php?id=196&postid=10205

Ну как ещё объяснить господину Никонову, что в действующем эксперименте Hugo ни о каких предпочтениях каких бы то ни было программ речь не шла и не идёт?!
Этот эксперимент выполнялся и будет до конца выполняться программой Hugo.

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

Господин Никонов это так и не понял, ибо он написал в сообщении
https://dxdy.ru/post1570074.html#p1570074

Hugo, как я понял, Вы пока не учитываете счёт по программам Дмитрия. Собираетесь ли Вы это делать в дальнейшем?

На что Hugo ответил в сообщении
https://dxdy.ru/post1570086.html#p1570086

Currently my aim is to have all of the possibilities checked using my program "pcoul". I do not know how to verify results from other approaches, and as I understand it Dmitry has repeatedly said that his code is focused on finding smaller values rather than proving minimality.

Теперь господин Никонов понял, наконец?
Если опять не понял, "буду сожалеть" :)))

Следом за этим вопросом господина Никонова

Hugo, как я понял, Вы пока не учитываете счёт по программам Дмитрия. Собираетесь ли Вы это делать в дальнейшем?

господин Петухов написал в сообщении
https://dxdy.ru/post1570076.html#p1570076

Да-да, может мне их и делать-то не нужно? :)

Ну, я же говорила: два сапога пара :)

Разумеется, делать программы не нужно, коль скоро два сапога умника не собираются выполнить независимый эксперимент.

Кстати, на это сообщение Hugo

Currently my aim is to have all of the possibilities checked using my program "pcoul". I do not know how to verify results from other approaches, and as I understand it Dmitry has repeatedly said that his code is focused on finding smaller values rather than proving minimality.

господин Никонов должен воскликнуть:
"Но позвольте! Разве вы докажете проверкой своей программой минимальность 11-ки? Разве ваша программа имеет доказательную силу? Где это доказано, что она имеет доказательную силу?"

Самый подходящий момент так воскликнуть господину Никонову.
Что сказал бы на это Hugo?

Господин Никонов так ничего и не понял.
Читайте
https://dxdy.ru/post1570093.html#p1570093
Это поразительно!
Теперь он ещё решил выяснить, какие из 2471 паттернов Hugo надо вообще выбросить в топку.

В общем, с Евгения почти ничего не получил (Евгений просто перестал отвечать), с Супермена тоже мало что получил, надо теперь ещё Hugo потроллить.

Впрочем, критика паттернов Hugo уже была от господина Петухова
https://dxdy.ru/post1569526.html#p1569526

Это что, в список паттернов для проверки у Hugo попали и цепочки с 2^3 вместо 2^5?! Но ведь таковых длиной 10+ точно нет, это доказали неоднократно несколько человек. А он их проверял что ли?! Они все у него в списке помечены "done", видимо и правда проверял ...

На что Hugo ответил

Yes, I check those too. I do this for completeness - they are very quick to check, it is faster to check them than to verify somebody else's code (or learn Russian). :)

В общем, задача перед господином Никоновым стоит не хилая: доказать, что большинство из 2471-1044=1427 паттернов можно выбросить в топку, потому что они заведомо неправильные, например, в них нет 32р.

А некоторая часть из этих паттернов уже исключена

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

https://dxdy.ru/post1569505.html#p1569505

Hugo ответил

The full list is available, I can email it to you if you wish.

В самом деле, полный список паттернов ведь есть.
Его можно получить командной строкой, которая приведена Hugo.

Так что же вопрошать, сколько паттернов не содержат 32p, или ещё чего-то там не содержат, или что-то недопустимое содержат?
Можно ведь посмотреть список всех паттернов самому.
Или действительно очень хочется потроллить?

Ой, ну прям кино! :))
Господин Петухов подсуетился (при этом в суете опечатался)
https://dxdy.ru/post1570099.html#p1570099

Господин Никонов удручён :)

Ok. Похоже придётся разбираться с полным списком.

Я же говорю: задача не хилая :)

Мыльная опера просто супер!
167-я серия идёт.
Смотрите, господа :)
Как вы думаете, 1000-я серия будет?
Я думаю, что будет, если Фантомас модератор не вмешается.

168-я серия мыльной оперы уже началась! :)

Как я и предположила: два умника сейчас все 1427 паттернов Hugo либо забракуют, либо исключат (или уже исключили!) квадратичным перебором.

Ой, ну слава Богу, разобрались.
Осталось проверить всего 1044 паттерна :)
Из них уже сколько-то проверил Demis.
Вперёд!
Супер-пупер-программа уже готова?
Или господин Петухов ещё не решил, стоит ли её делать?
Надо сходить к медведям, у них спросить :))

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

Оказалось что паттернов без 32p аж 1260.

Правильно ли я понимаю: в 1260 паттернах Hugo нарушено необходимое условие наличия в цепочке элемента вида 32p?
И следовательно, эти паттерны проверять совсем не нужно.

[Вопрос к Hugo.]

То есть, например, паттерн

203 b302: . 2 3 2^5 5 2.3^2 7 2^2 3 2.5^2 11

правильный
а паттерн

203 b303: 5 2.3^2 7^2 2^3 3.11^2 2.5 . 2^2.3 . 2.7 3^2.5 [sq=3]

неправильный??

Поэтому в биекции господина Петухова за паттерном b302 следует паттерн b511?

/*              554400,              170937, b302*/ v=[     9,     2,     1,  4620,     1,     2,     3,    32,     5,    18,     7,     4,     3,    50,    11]; z=[0,0,0,0,1,2,2,6,2,6,2,3,2,6,2]; n=3; pp=Mod(170937,554400);\\@LCM554400-170937-4
/*             6098400,             3950041, b511*/ v=[     1,     2,     3,    28,   605,    18,     1,    32,     3,    50,     7,    12,     1,     2,    45]; z=[0,0,0,6,6,6,1,6,2,6,2,6,1,2,0]; n=6; pp=Mod(3950041,6098400);\\@LCM6098400-3950041-5

Замечу, что я абсолютно не разбиралась ни в нотации господина Петухова, ни в нотации Hugo.

И ещё замечу: паттерн b303 проверяется доли секунды

001 pcoul(12 11) -f11 -g16 -x9887353188984012120346 -b303 *RT*
367 coul(12, 11): recurse 414, walk 4448, walkc 40 (0.09s)

Предположу, что и все паттерны, которые находятся в биекции господина Петухова между паттернами b302 и b511, тоже проверяются доли секунды.

И ещё замечу, что все эти паттерны имеют в нотации Hugo приписочку [sq=...].
Что означает сия приписочка, я без понятия.

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

Вот

203 b134: 11^2 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2 . [sq=2]
203 b135: 11^5 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2 . [sq=2]
203 b136: 11 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2 . [sq=2]
203 b137: . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2.11^2 . [sq=2]
203 b138: . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2.11 . [sq=3]

Эти паттерны тоже, насколько понимаю, из числа 1427 паттернов.

Умники, которые на паттернах уже собаку съели, должны знать ответы на все эти вопросы, в том числе, что за паттерны у Hugo, которые 2471-1044=1427.

В общем, 168-я серия в самом разгаре :)
Спать пора, однако. Я пойду спать, завтра досмотрю эту серию.

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

b134: 11^2 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2 .       [sq=14, 21]
b135: 11^5 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2 .       [sq=14, 21]
b136: 11   2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2 .       [sq=14, 21]
b137:    . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2.11^2 .  [sq=14, 21]
b616: 2^2.3 11^2 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2   [sq=14, 21]
b617: 2^2.3 11^5 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2   [sq=14, 21]
b618: 2^2.3 11 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2     [sq=14, 21]
b619: 2^2.3 . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2.11^2 [sq=14, 21]
b1160: 11^2 2^2.3 . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7  [sq=14, 21]
b1161: 11^5 2^2.3 . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7  [sq=14, 21]
b1162: 11 2^2.3 . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7    [sq=14, 21]
b1164: . 2^2.3 11^2 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7  [sq=14, 21]
b1165: . 2^2.3 11^5 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7  [sq=14, 21]
b1166: . 2^2.3 11 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7    [sq=14, 21]

Ничего не сообщено: по какому критерию эта группа выделена, что тут запрещено или уже проврено.

А я выделила все 1427 паттернов (2471-1044).
У меня критерий один - приписочка [sq=...].

Всего 10 групп.
Группы, в которых паттерны следуют не по порядку, показаны полностью; группы, в которых паттерны следуют по порядку, представлены указанием номеров паттернов.

1) 18 штук

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 b47: 5 2.3^2 7 2^5 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
203 b59: 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 . [sq=1]
203 b70: 7^5 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 . [sq=1]
203 b82: 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 . [sq=1]
203 b134: 11^2 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2 . [sq=2]
203 b135: 11^5 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2 . [sq=2]
203 b136: 11 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2 . [sq=2]
203 b137: . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2.11^2 . [sq=2]
203 b138: . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2.11 . [sq=3]
203 b215: . 2.7 3.5 2^5 11^2 2.3^2 . 2^2.5 3.7 2 . [sq=3]
203 b216: . 2.7 3.5 2^5 11^5 2.3^2 . 2^2.5 3.7 2 . [sq=3]
203 b217: . 2.7 3.5 2^5 11 2.3^2 . 2^2.5 3.7 2 . [sq=3]
203 b218: . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 2.11^2 . [sq=3]
203 b219: . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 2.11 . [sq=4]
203 b220: . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 2 11^2 [sq=3]
203 b221: . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 2 11^5 [sq=3]
203 b222: . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 2 11 [sq=3]

2) 208 штук
b303-b510

3) 10 штук

203 b529: 2^2 5 2.3^2 . 2^5 3.7^2 2.5^2 11^3 2^2.3 . 2 [sq=1]
203 b560: 2^2 5 2.3^2 7 2^5 3 2.5^2 11^3 2^2.3 . 2.7^2 [sq=1]
203 b572: 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 [sq=1]
203 b580: 2^2.3 7^5 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 [sq=1]
203 b589: 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 [sq=1]
203 b616: 2^2.3 11^2 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2 [sq=2]
203 b617: 2^2.3 11^5 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2 [sq=2]
203 b618: 2^2.3 11 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2 [sq=2]
203 b619: 2^2.3 . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2.11^2 [sq=2]
203 b620: 2^2.3 . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2.11 [sq=3]

4) 313 штук
b650-b962

5) 26 штук

203 b998: 3 2^2.5 11^2 2.3^2 7^3 2^5 3.5^2 2 . 2^2.3 . [sq=1]
203 b999: 3 2^2.5 11^5 2.3^2 7^3 2^5 3.5^2 2 . 2^2.3 . [sq=1]
203 b1000: 3 2^2.5 11 2.3^2 7^3 2^5 3.5^2 2 . 2^2.3 . [sq=1]
203 b1001: 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2.11^2 . 2^2.3 . [sq=1]
203 b1002: 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2 11^2 2^2.3 . [sq=1]
203 b1003: 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2 11^5 2^2.3 . [sq=1]
203 b1004: 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2 11 2^2.3 . [sq=1]
203 b1023: 3 2^2 5 2.3^2 7^2 2^5 3 2.5^2 11^3 2^2.3 . [sq=1]
203 b1034: 3 2^2 5 2.3^2 7^5 2^5 3 2.5^2 11^3 2^2.3 . [sq=1]
203 b1046: 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^3 2^2.3 . [sq=1]
203 b1050: 3 2^2 5.11^2 2.3^2 7^3 2^5 3 2.5^2 . 2^2.3 . [sq=1]
203 b1051: 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11^2 2^2.3 . [sq=1]
203 b1052: 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11^5 2^2.3 . [sq=1]
203 b1053: 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11 2^2.3 . [sq=1]
203 b1054: 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11^3 2^2.3 . [sq=2]
203 b1064: 3 2^2 5 2.3^2 . 2^5 3.7^2 2.5^2 11^3 2^2.3 . [sq=1]
203 b1160: 11^2 2^2.3 . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 [sq=2]
203 b1161: 11^5 2^2.3 . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 [sq=2]
203 b1162: 11 2^2.3 . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 [sq=2]
203 b1163: 11^3 2^2.3 . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 [sq=3]
203 b1164: . 2^2.3 11^2 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 [sq=2]
203 b1165: . 2^2.3 11^5 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 [sq=2]
203 b1166: . 2^2.3 11 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 [sq=2]
203 b1170: 11^3 2^2.3 . 2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 [sq=1]
203 b1183: 11^3 2^2.3 . 2 3.5^2 2^5 7^5 2.3^2 . 2^2.5 3 [sq=1]
203 b1195: 11^3 2^2.3 . 2 3.5^2 2^5 7 2.3^2 . 2^2.5 3 [sq=1]

6) 269 штук
b1205-b1473

7) 35 штук

203 b1503: 2 3 2^2.5 11^2 2.3^2 7^3 2^5 3.5^2 2 . 2^2.3 [sq=1]
203 b1504: 2 3 2^2.5 11^5 2.3^2 7^3 2^5 3.5^2 2 . 2^2.3 [sq=1]
203 b1505: 2 3 2^2.5 11 2.3^2 7^3 2^5 3.5^2 2 . 2^2.3 [sq=1]
203 b1506: 2 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2.11^2 . 2^2.3 [sq=1]
203 b1507: 2 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2 11^2 2^2.3 [sq=1]
203 b1508: 2 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2 11^5 2^2.3 [sq=1]
203 b1509: 2 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2 11 2^2.3 [sq=1]
203 b1527: 2 3 2^2 5 2.3^2 7^2 2^5 3 2.5^2 11^3 2^2.3 [sq=1]
203 b1536: 2 3 2^2 5 2.3^2 7^5 2^5 3 2.5^2 11^3 2^2.3 [sq=1]
203 b1546: 2 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^3 2^2.3 [sq=1]
203 b1547: 2 3 2^2 5.11^2 2.3^2 7^3 2^5 3 2.5^2 . 2^2.3 [sq=1]
203 b1548: 2 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11^2 2^2.3 [sq=1]
203 b1549: 2 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11^5 2^2.3 [sq=1]
203 b1550: 2 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11 2^2.3 [sq=1]
203 b1551: 2 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11^3 2^2.3 [sq=2]
203 b1567: 2.5 11^2 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=2]
203 b1568: 2.5 11^5 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=2]
203 b1569: 2.5 11 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=2]
203 b1570: 2.5 11^3 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
203 b1571: 2.5 . 2^2.3 11^2 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=2]
203 b1572: 2.5 . 2^2.3 11^5 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=2]
203 b1573: 2.5 . 2^2.3 11 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=2]
203 b1574: 2.5 . 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 11^2 2^2.5 [sq=2]
203 b1575: 2.5 . 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 11^5 2^2.5 [sq=2]
203 b1576: 2.5 . 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 11 2^2.5 [sq=2]
203 b1577: 2.5 11^2 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
203 b1578: 2.5 11^5 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
203 b1579: 2.5 11 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
203 b1580: 2.5 11^3 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=4]
203 b1581: 2.5 . 2^2.3 11^2 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
203 b1582: 2.5 . 2^2.3 11^5 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
203 b1583: 2.5 . 2^2.3 11 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
203 b1584: 2.5 . 2^2.3 . 2.7 3.5 2^5 . 2.3^2 11^2 2^2.5 [sq=3]
203 b1585: 2.5 . 2^2.3 . 2.7 3.5 2^5 . 2.3^2 11^5 2^2.5 [sq=3]
203 b1586: 2.5 . 2^2.3 . 2.7 3.5 2^5 . 2.3^2 11 2^2.5 [sq=3]

8) 198 штук
b1638-b1835

9) 46 штук

203 b1885: 3^5 2.5 11^2 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 . [sq=2]
203 b1886: 3^5 2.5 11^5 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 . [sq=2]
203 b1887: 3^5 2.5 11 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 . [sq=2]
203 b1888: 3^5 2.5 11^3 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 . [sq=3]
203 b1889: 3^5 2.5 . 2^2.3 11^2 2.7^2 3.5 2^5 . 2.3^2 . [sq=2]
203 b1890: 3^5 2.5 . 2^2.3 11^5 2.7^2 3.5 2^5 . 2.3^2 . [sq=2]
203 b1891: 3^5 2.5 . 2^2.3 11 2.7^2 3.5 2^5 . 2.3^2 . [sq=2]
203 b1892: 3^5 2.5 . 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 11^2 [sq=2]
203 b1893: 3^5 2.5 . 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 11^5 [sq=2]
203 b1894: 3^5 2.5 . 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 11 [sq=2]
203 b1895: 3^5 2.5 11^2 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . [sq=3]
203 b1896: 3^5 2.5 11^5 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . [sq=3]
203 b1897: 3^5 2.5 11 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . [sq=3]
203 b1898: 3^5 2.5 11^3 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . [sq=4]
203 b1899: 3^5 2.5 . 2^2.3 11^2 2.7 3.5 2^5 . 2.3^2 . [sq=3]
203 b1900: 3^5 2.5 . 2^2.3 11^5 2.7 3.5 2^5 . 2.3^2 . [sq=3]
203 b1901: 3^5 2.5 . 2^2.3 11 2.7 3.5 2^5 . 2.3^2 . [sq=3]
203 b1902: 3^5 2.5 . 2^2.3 . 2.7 3.5 2^5 . 2.3^2 11^2 [sq=3]
203 b1903: 3^5 2.5 . 2^2.3 . 2.7 3.5 2^5 . 2.3^2 11^5 [sq=3]
203 b1904: 3^5 2.5 . 2^2.3 . 2.7 3.5 2^5 . 2.3^2 11 [sq=3]
203 b1913: . 2.5^2 3 2^2.7 . 2.3^2 5.11 2^5 3 2 7 [sq=1]
203 b1946: . 2.5^2 3 2^2 7.11 2.3^2 5 2^5 3 2 . [sq=1]
203 b1966: . 2.5^2 3 2^2 . 2.3^2 5.7^2 2^5 3 2 11^3 [sq=1]
203 b1975: . 2.5^2 3 2^2.7 . 2.3^2 5.11 2^5 3 2 7^2 [sq=1]
203 b1987: . 2.5^2 3 2^2.7 . 2.3^2 5.11 2^5 3 2 7^5 [sq=1]
203 b2066: 11^2 2 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2 . [sq=1]
203 b2067: 11^5 2 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2 . [sq=1]
203 b2068: 11 2 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2 . [sq=1]
203 b2069: . 2 3 2^2.5 11^2 2.3^2 7^3 2^5 3.5^2 2 . [sq=1]
203 b2070: . 2 3 2^2.5 11^5 2.3^2 7^3 2^5 3.5^2 2 . [sq=1]
203 b2071: . 2 3 2^2.5 11 2.3^2 7^3 2^5 3.5^2 2 . [sq=1]
203 b2072: . 2 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2.11^2 . [sq=1]
203 b2073: . 2 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2 11^2 [sq=1]
203 b2074: . 2 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2 11^5 [sq=1]
203 b2075: . 2 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2 11 [sq=1]
203 b2112: . 2 3 2^2 5 2.3^2 7^2 2^5 3 2.5^2 11^3 [sq=1]
203 b2124: . 2 3 2^2 5 2.3^2 7^5 2^5 3 2.5^2 11^3 [sq=1]
203 b2137: . 2 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^3 [sq=1]
203 b2138: 11^2 2 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 . [sq=1]
203 b2139: 11^5 2 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 . [sq=1]
203 b2140: 11 2 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 . [sq=1]
203 b2141: . 2 3 2^2 5.11^2 2.3^2 7^3 2^5 3 2.5^2 . [sq=1]
203 b2142: . 2 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11^2 [sq=1]
203 b2143: . 2 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11^5 [sq=1]
203 b2144: . 2 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11 [sq=1]
203 b2145: . 2 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11^3 [sq=2]

10) 304 штуки
b2167-b2470

Во всех 10 группах в сумме ровно 1427 паттернов.
Этот критерий я определила анализом первых выделенных господином Никоновым групп паттернов.
Как уже сказано выше, я не знаю, что означает приписочка [sq=...], но этот критерий дал ровно 1427 паттернов.
Наверное, неспроста.

Если все эти паттерны проверяются доли секунды (что следует подтвердить!), то они могут быть проверены менее чем за 1427 секунд (23,78 мин.)

Как уже отмечено выше, у меня есть 5 таких паттернов: b134-b138.
Да, эти паттерны проверяются доли секунды.

Выше есть цитата из письма 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.

Может быть, это объясняет приписочку [sq=...]?

Это группы паттернов, которые ещё никому не выданы в проверку

b0-b99: nobody – 100
b600-b649: nobody – 50
b963-b1204: nobody – 242
b1473-b1599: nobody – 127

Со страницы
https://github.com/hvds/divrep/wiki/D%2812%2C11%29

В первой группе 5 паттернов из выделенных мной 1427 паттернов

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 b47: 5 2.3^2 7 2^5 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
203 b59: 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 . [sq=1]
203 b70: 7^5 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 . [sq=1]
203 b82: 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 . [sq=1]

Во второй группе тоже 5 таких паттернов

203 b616: 2^2.3 11^2 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2 [sq=2]
203 b617: 2^2.3 11^5 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2 [sq=2]
203 b618: 2^2.3 11 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2 [sq=2]
203 b619: 2^2.3 . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2.11^2 [sq=2]
203 b620: 2^2.3 . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 2.11 [sq=3]

В третьей группе таких паттернов 26 штук

203 b998: 3 2^2.5 11^2 2.3^2 7^3 2^5 3.5^2 2 . 2^2.3 . [sq=1]
203 b999: 3 2^2.5 11^5 2.3^2 7^3 2^5 3.5^2 2 . 2^2.3 . [sq=1]
203 b1000: 3 2^2.5 11 2.3^2 7^3 2^5 3.5^2 2 . 2^2.3 . [sq=1]
203 b1001: 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2.11^2 . 2^2.3 . [sq=1]
203 b1002: 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2 11^2 2^2.3 . [sq=1]
203 b1003: 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2 11^5 2^2.3 . [sq=1]
203 b1004: 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2 11 2^2.3 . [sq=1]
203 b1023: 3 2^2 5 2.3^2 7^2 2^5 3 2.5^2 11^3 2^2.3 . [sq=1]
203 b1034: 3 2^2 5 2.3^2 7^5 2^5 3 2.5^2 11^3 2^2.3 . [sq=1]
203 b1046: 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^3 2^2.3 . [sq=1]
203 b1050: 3 2^2 5.11^2 2.3^2 7^3 2^5 3 2.5^2 . 2^2.3 . [sq=1]
203 b1051: 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11^2 2^2.3 . [sq=1]
203 b1052: 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11^5 2^2.3 . [sq=1]
203 b1053: 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11 2^2.3 . [sq=1]
203 b1054: 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11^3 2^2.3 . [sq=2]
203 b1064: 3 2^2 5 2.3^2 . 2^5 3.7^2 2.5^2 11^3 2^2.3 . [sq=1]
203 b1160: 11^2 2^2.3 . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 [sq=2]
203 b1161: 11^5 2^2.3 . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 [sq=2]
203 b1162: 11 2^2.3 . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 [sq=2]
203 b1163: 11^3 2^2.3 . 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 [sq=3]
203 b1164: . 2^2.3 11^2 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 [sq=2]
203 b1165: . 2^2.3 11^5 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 [sq=2]
203 b1166: . 2^2.3 11 2.7 3.5^2 2^5 . 2.3^2 . 2^2.5 3.7 [sq=2]
203 b1170: 11^3 2^2.3 . 2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 [sq=1]
203 b1183: 11^3 2^2.3 . 2 3.5^2 2^5 7^5 2.3^2 . 2^2.5 3 [sq=1]
203 b1195: 11^3 2^2.3 . 2 3.5^2 2^5 7 2.3^2 . 2^2.5 3 [sq=1]

В четвёртой группе таких паттернов 36 штук

203 b1473: 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^5 2^2.3 11 [sq=2]
203 b1503: 2 3 2^2.5 11^2 2.3^2 7^3 2^5 3.5^2 2 . 2^2.3 [sq=1]
203 b1504: 2 3 2^2.5 11^5 2.3^2 7^3 2^5 3.5^2 2 . 2^2.3 [sq=1]
203 b1505: 2 3 2^2.5 11 2.3^2 7^3 2^5 3.5^2 2 . 2^2.3 [sq=1]
203 b1506: 2 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2.11^2 . 2^2.3 [sq=1]
203 b1507: 2 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2 11^2 2^2.3 [sq=1]
203 b1508: 2 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2 11^5 2^2.3 [sq=1]
203 b1509: 2 3 2^2.5 . 2.3^2 7^3 2^5 3.5^2 2 11 2^2.3 [sq=1]
203 b1527: 2 3 2^2 5 2.3^2 7^2 2^5 3 2.5^2 11^3 2^2.3 [sq=1]
203 b1536: 2 3 2^2 5 2.3^2 7^5 2^5 3 2.5^2 11^3 2^2.3 [sq=1]
203 b1546: 2 3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^3 2^2.3 [sq=1]
203 b1547: 2 3 2^2 5.11^2 2.3^2 7^3 2^5 3 2.5^2 . 2^2.3 [sq=1]
203 b1548: 2 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11^2 2^2.3 [sq=1]
203 b1549: 2 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11^5 2^2.3 [sq=1]
203 b1550: 2 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11 2^2.3 [sq=1]
203 b1551: 2 3 2^2 5 2.3^2 7^3 2^5 3 2.5^2 11^3 2^2.3 [sq=2]
203 b1567: 2.5 11^2 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=2]
203 b1568: 2.5 11^5 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=2]
203 b1569: 2.5 11 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=2]
203 b1570: 2.5 11^3 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
203 b1571: 2.5 . 2^2.3 11^2 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=2]
203 b1572: 2.5 . 2^2.3 11^5 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=2]
203 b1573: 2.5 . 2^2.3 11 2.7^2 3.5 2^5 . 2.3^2 . 2^2.5 [sq=2]
203 b1574: 2.5 . 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 11^2 2^2.5 [sq=2]
203 b1575: 2.5 . 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 11^5 2^2.5 [sq=2]
203 b1576: 2.5 . 2^2.3 . 2.7^2 3.5 2^5 . 2.3^2 11 2^2.5 [sq=2]
203 b1577: 2.5 11^2 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
203 b1578: 2.5 11^5 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
203 b1579: 2.5 11 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
203 b1580: 2.5 11^3 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=4]
203 b1581: 2.5 . 2^2.3 11^2 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
203 b1582: 2.5 . 2^2.3 11^5 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
203 b1583: 2.5 . 2^2.3 11 2.7 3.5 2^5 . 2.3^2 . 2^2.5 [sq=3]
203 b1584: 2.5 . 2^2.3 . 2.7 3.5 2^5 . 2.3^2 11^2 2^2.5 [sq=3]
203 b1585: 2.5 . 2^2.3 . 2.7 3.5 2^5 . 2.3^2 11^5 2^2.5 [sq=3]
203 b1586: 2.5 . 2^2.3 . 2.7 3.5 2^5 . 2.3^2 11 2^2.5 [sq=3]

Предположительно: все эти паттерны должны проверяться доли секунды.

Нет, предположение неверное.
Проверила первые 5 паттернов.

001 pcoul(12 11) -f11 -g3 -x9887353188984012120346 -b7 *RT*
367 coul(12, 11): recurse 414, walk 4448, walkc 123647 (0.25s)

001 pcoul(12 11) -f11 -g3 -x9887353188984012120346 -b47 *RT*
367 coul(12, 11): recurse 414, walk 4448, walkc 123647 (0.25s)

001 pcoul(12 11) -f11 -g3 -x9887353188984012120346 -b59 *RT*
367 coul(12, 11): recurse 414, walk 4448, walkc 1922910 (4.07s)

001 pcoul(12 11) -f11 -g3 -x9887353188984012120346 -b70 *RT*
367 coul(12, 11): recurse 414, walk 4448, walkc 5648 (0.11s)

А паттерн b82 считается долго (не несколько секунд!), ждать не стала, прервала.
Проверяла на черепашке.

Отправила Hugo результаты для следующих паттернов:

b129-b131, b163, b165, b170, b175, b192-b194, b196-b199.