Завершилась группа паттернов
(6098400, 7): 0, 4, 5, 9, 1174, 1178, 1179, 1183

Сейчас соберу и отправлю результаты.

Запустила проверку паттернов
• (3880800, 7): 27, 1159

Эти, наверное, подольше будут проверяться.
Ну, их всего два.
Для этих паттернов Hugo написал

Parameters should be similar to those for (6098400, 7).

Отправила Hugo результаты для паттернов
(6098400, 7): 0, 4, 5, 9, 1174, 1178, 1179, 1183

Заказала паттерны
• (3880800, 4): 79, 427, 850, 1267

Никому не выданные паттерны

•	(1331114400, 6): 63, 91, 120, 124, 383, 387, 412, 439, 468, 472, 812, 816, 854, 889, 922, 926, 1229, 1233, 1271, 1306
•	
o	-p3e8 -W9e4 -g6
•	(1331114400, 5): 88, 436, 859, 1276
•	
o	-p3e8 -W1e5 -g6
•	(3880800, 6): 13, 16, 20, 25, 30, 46, 50, 51, 112, 359, 376, 388, 400, 460, 803, 883, 910, 914, 947, 1148, 1151, 1158, 1163, 1187, 1190, 1193, 1220, 1300
•	(3880800, 5): 55, 81, 83, 110, 115, 363, 366, 370, 374, 379, 394, 398, 404, 429, 431, 458, 463, 802, 807, 844, 846, 881, 903, 906, 913, 918, 939, 942, 945, 1219, 1224, 1261, 1263, 1298
•	(3880800, 4): 79, 427, 850, 1267
•	(554400, 6): 3, 8, 1177, 1182
•	(554400, 5): 482, 821, 826, 839, 863, 930, 935, 1238, 1243, 1256, 1280

https://github.com/hvds/divrep/wiki/D(12,12)

Ну, паттерны с шагом LCM=1331114400 проверяются очень быстро.
Теперь всё зависит от того, как будут проверяться самые трудные паттерны с шагами LCM=3880800 и LCM=554400.
Несколько часов? Несколько суток?
У меня уже находятся в проверке два паттерна с шагом LCM=3880800, со вчерашнего вечера.
Жду результата проверки.

Кстати, о птичках...
Меньшая 12-ка, как понимаю, до сих пор не найдена.

PS. Почему-то перестал считать Demis.
Очень жаль.

Игра "Угадай слово"

Сегодня опять всю голову сломала :)
Имея конструкцию П***А и букву И не на своём месте, ввожу 4-й попыткой слово ПИЖМА.
Мимо! Априори мимо, так как буква Ж исключена выше.
Зато буква И встала на своё место.
Теперь имею конструкцию ПИ**А.
Ну, и 5-й попыткой слово отгадано.
Этого слова нет в моём орфографическом словаре!
Конечно, слово в настоящее время часто употребляется в речи.

Слово ПИХТА невозможно, так как буква Т исключена.

Интересно:
CorporalTermit LCM=42688800, p=6: all 54
В этой группе находится паттерн b58, который даёт текущую минимальную 12-ку.
Вот как он проверялся (логи прислал corporaltermit)

001 pcoul(12 12) -p700000000 -W200000 -f11 -g12 -x120402988681658048433948 -b58 *RT*
305 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11^2 . W(2459741,9): 73 / 232 (600.00s)
305 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11^2 . W(703331,7): 2175 / 2850 (1199.97s)
305 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11^2 . W(418391,9): 3887 / 8055 (1799.95s)
305 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11^2 . W(300319,3): 2069 / 15635 (2399.95s)
305 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11^2 . W(234769,7): 19605 / 25586 (2999.95s)
305 2^2.3 7^2 2.5^2 3 2^5 13^2 2.3^2 5.383^2 2^2.7 3 2.11^2 61^2: 11069 / 15287 (3599.99s)
305 2^2.3 7^2 2.5^2 3 2^5 17^2 2.3^2 5.81371^2 2^2.7 3 2.11^2 11731^2 (4199.92s)
305 2^2.3 7^2 2.5^2 3 2^5 23^2 2.3^2 5 2^2.7 3 2.11^2 28433^2: 434 / 3297 (4799.92s)
305 2^2.3 7^2 2.5^2 3 2^5 41^2 2.3^2 5.107^2 2^2.7 3 2.11^2 101^2: 475 / 7183 (5399.86s)
202 Candidate 120402988681658048433948 (5857.52s)
305 2^2.3 7^2 2.5^2 3 2^5 61^2 2.3^2 5.3203^2 2^2.7 3 2.11^2 1303^2 (5999.86s)
305 2^2.3 7^2 2.5^2 3 2^5 103^2 2.3^2 5.67^2 2^2.7 3 2.11^2 157^2: 37 / 1200 (6599.88s)
305 2^2.3 7^2 2.5^2 3.101347^2 2^5 191^2 2.3^2 5.41^2 2^2.7 3 2.11^2 29^2 (7199.86s)
305 2^2.3 7^2 2.5^2 3 2^5 379^2 2.3^2 5.197423^2 2^2.7 3 2.11^2 607^2 (7799.84s)
305 2^2.3 7^2 2.5^2 3 2^5 947^2 2.3^2 5.105167^2 2^2.7 3 2.11^2 163^2 (8399.84s)
305 2^2.3 7^2 2.5^2 3 2^5 2927^2 2.3^2 5.193751^2 2^2.7 3 2.11^2 47^2 (8999.84s)
305 2^2.3 7^2 2.5^2 3 2^5 11119^2 2.3^2 5 2^2.7 3 2.11^2 139^2: 73 / 589 (9599.83s)
305 2^2.3 7^2 2.5^2 3 2^5 83417^2 2.3^2 5 2^2.7 3 2.11^2 124721^2 (10199.83s)
367 coul(12, 12): recurse 1981842013, walk 2462702148, walkc 4552726294 (10663.75s)
200 f(12, 12) = 120402988681658048433948 (10663.75s)

Получила группу паттернов
Natalia (3880800, 4): 79, 427, 850, 1267

Запустила пока один паттерн - b79.

Для данной группы паттернов Hugo рекомендовал следующие параметры:
-p3e8 -W4e5 -g6.

Ахиллес загружен на 100%.
Жду, когда освободятся потоки.

Завершились паттерны
• (3880800, 7): 27, 1159

Показываю логи паттерна b27

001 pcoul(12 12) -p400000000 -W400000 -f11 -g6 -x120402988681658048433948 -b27 *RT*
305 2^2.7 5 2.3^2 . 2^5 3 2.5^2 7^2.11 2^2.3 . 2 3^2.5 W(16020877,9): 23 / 60 (588.59s)
305 2^2.7 5 2.3^2 . 2^5 3 2.5^2 7^2.11 2^2.3 . 2 3^2.5 W(4879481,1): 408 / 651 (1177.36s)
305 2^2.7 5 2.3^2 . 2^5 3 2.5^2 7^2.11 2^2.3 . 2 3^2.5 W(2892259,1): 53 / 1853 (1766.24s)
305 2^2.7 5 2.3^2 . 2^5 3 2.5^2 7^2.11 2^2.3 . 2 3^2.5 W(2065937,9): 1276 / 3634 (2354.60s)
305 2^2.7 5 2.3^2 . 2^5 3 2.5^2 7^2.11 2^2.3 . 2 3^2.5 W(1615049,3): 3857 / 5946 (2942.99s)
305 2^2.7 5 2.3^2 . 2^5 3 2.5^2 7^2.11 2^2.3 . 2 3^2.5 W(1328473,9): 7054 / 8789 (3530.33s)
305 2^2.7 5 2.3^2 . 2^5 3 2.5^2 7^2.11 2^2.3 . 2 3^2.5 W(1131451,3): 623 / 12117 (4113.98s)
305 2^2.7 5 2.3^2 . 2^5 3 2.5^2 7^2.11 2^2.3 . 2 3^2.5 W(986813,10): 1205 / 15929 (4697.88s)
305 2^2.7 5 2.3^2 . 2^5 3 2.5^2 7^2.11 2^2.3 . 2 3^2.5 W(874987,1): 19994 / 20261 (5281.98s)
. . . . . . . . . . 
305 2^2.7 5 2.3^2 19541^2 2^5 3 2.5^2 7^2.11 2^2.3 43^2 2 3^2.5: 1973 / 21970 (38151.31s)
305 2^2.7 5.297911^2 2.3^2 27799^2 2^5 3 2.5^2 7^2.11 2^2.3 17^2 2 3^2.5 (38732.77s)
305 2^2.7 5 2.3^2 43331^2 2^5 3 2.5^2 7^2.11 2^2.3 41^2 2 3^2.5: 347 / 4914 (39314.48s)
305 2^2.7 5 2.3^2 73999^2 2^5 3 2.5^2 7^2.11 2^2.3 18947^2 2 3^2.5 (39896.12s)
305 2^2.7 5 2.3^2 119321^2 2^5 3 2.5^2 7^2.11 2^2.3 265193^2 2 3^2.5 (40478.00s)
305 2^2.7 5 2.3^2 173981^2 2^5 3 2.5^2 7^2.11 2^2.3 273193^2 2 3^2.5 (41059.57s)
305 2^2.7 5 2.3^2 232987^2 2^5 3 2.5^2 7^2.11 2^2.3 85027^2 2 3^2.5 (41641.30s)
305 2^2.7 5 2.3^2 295271^2 2^5 3 2.5^2 7^2.11 2^2.3 221719^2 2 3^2.5 (42223.65s)
305 2^2.7 5 2.3^2 360257^2 2^5 3 2.5^2 7^2.11 2^2.3 267791^2 2 3^2.5 (42808.45s)
367 coul(12, 12): recurse 6623244685, walk 7265106427, walkc 27241757867 (43213.38s)

Проверялся 12 часов.
Ну, это не сильно долго.

Группа паттернов
• (3880800, 4): 79, 427, 850, 1267
в процессе.
Думаю, завтра завершатся все четыре; три первых должны сегодня завершиться.

Отправила Hugo результаты для паттернов
• (3880800, 7): 27, 1159

Заказала паттерны
• (1331114400, 5): 88, 436, 859, 1276

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

Сделала ещё один заказ - на паттерны
• (554400, 6): 3, 8, 1177, 1182
Попробую самые трудные.

Группа паттернов
• (1331114400, 5): 88, 436, 859, 1276
завершается.

В группе
• (3880800, 4): 79, 427, 850, 1267
два паттерна в процессе.

Можно уже запускать самые трудные паттерны, которые заказала, с шагом LCM=554400, но я не знаю для них параметры.
А Hugo всё ещё спит :)

PS. Группа паттернов с шагом LCM=1331114400 завершилась.
Осталось отправить результаты.

Есть три свободных потока, опять приходится ждать, когда Hugo пришлёт параметры для группы паттернов с шагом LCM=554400.

В общем, задача D(12,12) у меня - сплошное ожидание.
Очень надеюсь, что задача D(12,13) будет запущена в BOINC-проекте.

Отправила Hugo результаты для паттернов
• (1331114400, 5): 88, 436, 859, 1276

Ура!
Задания закреплены, параметры указаны.
• (554400, 6): 3, 8, 1177, 1182

Цитата из письма Hugo

Recommended parameters for (554400, 6) are -p2e8 -W8e5 -g10.
I think they will take about 4 days each.

Начинаю запускать.
Прогноз Hugo - 4 суток на каждый паттерн.
Ну, я сейчас сразу два запущу, потом (как освободятся потоки) ещё два.

Группа паттернов
• (1331114400, 5): 88, 436, 859, 1276
завершена.

В группе
• (554400, 6): 3, 8, 1177, 1182
все паттерны в процессе.
Финал близко.

Никому не выданные паттерны на данный момент:

(3880800, 6): 13, 16, 20, 25, 30, 46, 50, 51, 112, 359, 376, 388, 400, 460, 803, 883, 910, 914, 947, 1148, 1151, 1158, 1163, 1187, 1190, 1193, 1220, 1300
(3880800, 5): 463, 802, 807, 844, 846, 881, 903, 906, 913, 918, 939, 942, 945, 1219, 1224, 1261, 1263, 1298

https://github.com/hvds/divrep/wiki/D(12,12)
Здесь тоже финал близко. Эти паттерны не самые трудные.

И что же меньшая 12-ка? Нет её?

Отправила Hugo результаты для паттернов

• (3880800, 4): 79, 427, 850, 1267

В процессе 4 самых трудных паттерна
• (554400, 6): 3, 8, 1177, 1182
Похоже, это будет у меня последняя группа паттернов, потому что она будет проверяться несколько суток - по прогнозу Hugo.
Опять остаётся только ждать.

Кстати, на форуме dxdy.ru, в теме "Пентадекатлон мечты" совсем не освещается поиск минимальной 12-ки.
Понятно, что в этой теме данная подзадача - оффтоп, как, впрочем, и подзадача D(12,11), которая очень подробно освещалась.
Даже излишне подробно - с объединёнными таблицами проверок от Ядряра, абсолютно никому не нужными.
А в данный момент - с потугами Ядряра построить полную систему паттернов для 11-ок, тоже никому не нужную, кроме самого Ядряра.

@Hugo
рекомендую вам открыть на форуме dxdy.ru тему, например, с названием "Минимизация цепочек с 12 делителями" ("Minimizing chains with 12 divisors").
Это совершенно отдельная проблема, которая не должна обсуждаться в теме "Пентадекатлон мечты".
Автор темы "Пентадекатлон мечты" господин Лецко не ставил задачу поиска минимальных цепочек с 12 делителями.
Более того, он не хочет решать эту задачу, считая, что решить её нереально.
Поэтому все обсуждения проблемы минимизации цепочек с 12 делителями в теме "Пентадекатлон мечты" являются оффтопом.
Следовательно, нужна отдельная тема о минимизации цепочек с 12 делителями.
Вы как автор проекта по данной проблеме можете открыть такую тему.

Господин Никонов (Ядряра) тоже в своё время инициировал поиск минимальных цепочек с 12 делителями.
Он также предлагал отдельную тему, но модератор почему-то был против этого.
В результате всё сваливается в кучу в одной теме, что привело к абсолютному хаосу в этой теме (и к её безобразным размерам).
К сожалению, я не могу высказать своё мнение на форуме dxdy.ru по причине вечного бана.

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

T(6,13) <= 586683019466361719763403545 Dmitry Petukhov 2022-08-19
T(6,14) <= 1966089440441196672524986345512345 Dmitry Petukhov 2022-09-30
T(6,15) <= 80215613469168729088982885848674841 Natalia Makarova 2022-09-18

https://oeis.org/A292580/a292580_9.txt

Эти цепочки ещё предстоит минимизировать по алгоритму Hugo.
И это, разумеется, очень интересная и сложная задача, которая должна подробно освещаться в отдельной теме о минимизации цепочек с 12 делителями.

А вот полностью проверенные паттерны

Natalia LCM=19488845930400: all 24
Natalia LCM=56818792800: all 44
Natalia LCM=14642258400: all 78
Hugo LCM=8116970400: all 24
Natalia LCM=1331114400, p=7: all 4
Natalia LCM=1331114400, p=5: all 4
Hugo LCM=42688800, p=7: all 16
CorporalTermit LCM=42688800, p=6: all 54
Hugo LCM=42688800, p=5: all 42
Eugene LCM=42688800, p=4: all 4
Natalia LCM=6098400, p=7: all 8
CorporalTermit LCM=6098400, p=6: all 46
CorporalTermit LCM=6098400, p=5: all 36
Natalia LCM=6098400, p=4: all 4
Natalia LCM=3880800, p=7: all 2
Natalia LCM=3880800, p=4: all 4
Eugene LCM=554400, p=4: all 4

https://github.com/hvds/divrep/wiki/D(12,12)
Хорошо потрудились!

Паттерны в проверке

Eugene (1331114400, 6): 63, 91, 120, 124, 383, 387, 412, 439, 468, 472, 812, 816, 854, 889, 922, 926, 1229, 1233, 1271, 1306
CorporalTermit (3880800, 6): 13, 16, 20, 25, 30, 46, 50, 51, 112, 359, 376, 388, 400, 460, 803, 883
Hugo (3880800, 5): 55, 81, 83, 110, 115, 363, 366, 370, 374, 379, 394, 398, 404, 429, 431, 458
Natalia (554400, 6): 3, 8, 1177, 1182
Eugene (554400, 5): 72, 100, 129, 134, 353, 358, 421, 448, 477, 482, 821, 826, 839, 863, 930, 935, 1238, 1243, 1256, 1280

Ну, паттерны с шагом LCM=1331114400 проверяются быстро.
Как уже известно, проблематичны паттерны с шагом LCM=554400.
Значит, самая трудная работа у Eugene.
У меня всего 4 паттерна с таким шагом, все они уже в процессе.

Никому не выданные паттерны

(3880800, 6): 910, 914, 947, 1148, 1151, 1158, 1163, 1187, 1190, 1193, 1220, 1300
(3880800, 5): 463, 802, 807, 844, 846, 881, 903, 906, 913, 918, 939, 942, 945, 1219, 1224, 1261, 1263, 1298

Тоже сложные паттерны, но всё же в несколько раз меньше требуют времени, нежели паттерны с шагом LCM=554400.

Кстати, полное отсутствие освещения этого проекта на форуме dxdy.ru ещё и потому плохо, что никто из форумчан (кроме тех, кто участвует в теме "Пентадекатлон мечты") не привлекается к участию в ручном проекте с распределёнными вычислениями.
А ведь кто-то мог бы и заинтересоваться - и помочь в вычислениях.
Кстати, участники темы "Пентадекатлон мечты" тоже что-то не очень привлекаются.
Один Eugene участвует.
Ну, господин Никонов отговаривается тем, что у него нет 64-bit.
А господин Петухов почему не привлекается?

От Ядряра
https://dxdy.ru/post1573628.html#p1573628
https://dxdy.ru/post1573640.html#p1573640
https://dxdy.ru/post1573656.html#p1573656
Три поста подряд.

"Тихо сам с собою, тихо сам с собою
я веду беседу."
(С)

Интересно, не правда ли? :)
Ещё немного, ещё чуть-чуть - и Ядряра найдёт все паттерны, какие есть у Hugo.

Что нового на утро?
Паттерны проверяются, весь экран в цифирях, кандидатов не видно :)

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

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

https://dxdy.ru/post1573656.html#p1573656

Ну, "вроде" - это ещё совсем не значит, что нашёлся. Ага.

Всё-таки ждём-с новую минимальную 11-ку :)
Не зря же Ядряра так упорно ищет пропущенные у Hugo паттерны.
Но пока находит только "лишние".

Вроде как и задача у Ядряра расширилась

На всякий случай. Прога, разумеется, делалась не только для 11-к, но и с прицелом на более длинные цепочки вплоть до 15-к.

https://dxdy.ru/post1573640.html#p1573640

Или это мне спросонья показалось :)
В таком случае, наверное, прога Ядряра найдёт такие паттерны, которых нет в полной системе паттернов Hugo для 11-ок.
У Hugo ведь паттерны только для 11-ок!
А для 12-ок, например, у него совсем другая система паттернов.
И что особенно интересно: для цепочек любой длины система паттернов строится одной и той же программой pcoul.

А, может быть, у Ядряра тоже такая универсальная программа, как у Hugo?
Только должны быть рычаги управления этой универсальностью.
У Hugo такими рычагами являются параметры в командной строке запуска программы pcoul.
А у Ядряра как программа будет управляться для разных длин цепочек?
Например, надо построить полную систему паттернов для 13-ок, введёт Ядряра в свою прогу какой-то параметр - и всё готово!
Так, наверное, задумано?

Ура-а-а!
Ахиллес отстрелялся.
Все 4 паттерна из этой группы
• (554400, 6): 3, 8, 1177, 1182
полностью проверены.
Проверялись не четверо суток, а всего двое.
Показываю частично логи для паттерна b3

001 pcoul(12 12) -p200000000 -W800000 -f11 -g10 -x120402988681658048433948 -b3 *RT*
305 2^2.7 5 2.3^2 11 2^5 3 2.5^2 7 2^2.3 . 2 3^2.5 W(61019503,5): 23 / 28 (578.48s)
305 2^2.7 5 2.3^2 11 2^5 3 2.5^2 7 2^2.3 . 2 3^2.5 W(29030987,7): 56 / 128 (1156.28s)
305 2^2.7 5 2.3^2 11 2^5 3 2.5^2 7 2^2.3 . 2 3^2.5 W(18644963,10): 0 / 311 (1733.95s)
305 2^2.7 5 2.3^2 11 2^5 3 2.5^2 7 2^2.3 . 2 3^2.5 W(13729399,9): 421 / 575 (2309.66s)
305 2^2.7 5 2.3^2 11 2^5 3 2.5^2 7 2^2.3 . 2 3^2.5 W(10872079,1): 177 / 918 (2886.94s)
305 2^2.7 5 2.3^2 11 2^5 3 2.5^2 7 2^2.3 . 2 3^2.5 W(9006653,9): 304 / 1338 (3463.27s)
305 2^2.7 5 2.3^2 11 2^5 3 2.5^2 7 2^2.3 . 2 3^2.5 W(7696201,7): 1564 / 1832 (4039.63s)
305 2^2.7 5 2.3^2 11 2^5 3 2.5^2 7 2^2.3 . 2 3^2.5 W(6726547,1): 1654 / 2399 (4617.29s)
305 2^2.7 5 2.3^2 11 2^5 3 2.5^2 7 2^2.3 . 2 3^2.5 W(5975267,3): 0 / 3040 (5194.91s)
305 2^2.7 5 2.3^2 11 2^5 3 2.5^2 7 2^2.3 . 2 3^2.5 W(5376713,5): 443 / 3755 (5773.61s)
305 2^2.7 5 2.3^2 11 2^5 3 2.5^2 7 2^2.3 . 2 3^2.5 W(4891171,10): 2226 / 4538 (6351.75s)
. . . . . . . 
305 2^2.7 5 2.3^2 11.223331^2 2^5 3 2.5^2 7 2^2.3 505367^2 2 3^2.5 (169399.16s)
305 2^2.7 5 2.3^2 11.574181^2 2^5 3 2.5^2 7 2^2.3 540961^2 2 3^2.5 (169981.64s)
305 2^2.7 5 2.3^2 11.484927^2 2^5 3 2.5^2 7 2^2.3 576977^2 2 3^2.5 (170563.13s)
305 2^2.7 5 2.3^2 11.101741^2 2^5 3 2.5^2 7 2^2.3 613163^2 2 3^2.5 (171149.05s)
305 2^2.7 5 2.3^2 11.407437^2 2^5 3 2.5^2 7 2^2.3 650449^2 2 3^2.5 (171739.49s)
305 2^2.7 5 2.3^2 11.108649^2 2^5 3 2.5^2 7 2^2.3 687473^2 2 3^2.5 (172330.65s)
305 2^2.7 5 2.3^2 11.797701^2 2^5 3 2.5^2 7 2^2.3 724747^2 2 3^2.5 (172921.66s)
305 2^2.7 5 2.3^2 11.157177^2 2^5 3 2.5^2 7 2^2.3 762779^2 2 3^2.5 (173513.14s)
305 2^2.7 5.649981^2 2.3^2 11.17^2 2^5 3 2.5^2 7.73^2 2^2.3 13^5 2 3^2.5 (174104.06s)
367 coul(12, 12): recurse 31569962122, walk 33167589880, walkc 98289455179 (174418.59s)

Наименьшая 12-ка у меня не найдена.
Сейчас отправлю результаты Hugo.

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

Да, у Hugo нашлись все мои паттерны до единого. Ничего у Hugo не пропущено, ну а про лишние уже говорил.

Congrats, Hugo!

Браво, браво, браво!

Эх! Погибла надежда на новую минимальную 11-ку :(

Ну, а теперь вводит господин Никонов в свою прогу некий параметр и мгновенно получает полную систему паттернов для 12-ок.
Затем делает биекцию с паттернами Hugo и убеждается, что его полная система паттернов для 12-ок совпадает с таковой у Hugo.
А паттерны для 12-ок, кстати, уже не актуальны, они уже почти все проверены.
Надо уже составлять полную систему паттернов для 13-ок; Hugo её, конечно, уже составил.

Отправила Hugo результаты для паттернов
• (554400, 6): 3, 8, 1177, 1182

С нетерпением жду, когда Hugo запустит задачу D(12,13) в BOINC-проекте.
Надеюсь, у него всё получится.
Ему помогает крупный спец по BOINC.

PS. Текущая минимальная 12-ка Hugo, наверное, станет настоящей минимальной.
Интересно, как будет с текущей минимальной 13-ой, которая найдена господином Петуховым

T(6,13) <= 586683019466361719763403545 Dmitry Petukhov 2022-08-19

Побьётся?

Команда проекта Hugo [подзадача D(12,12)] на финишной прямой

CorporalTermit (3880800, 6): 910, 914, 947, 1148, 1151, 1158, 1163, 1187, 1190, 1193, 1220, 1300
Hugo (3880800, 5): 55, 81, 83, 110, 115, 363, 366, 370, 374, 379, 394, 398, 404, 429, 431, 458
CorporalTermit (3880800, 5): 463, 802, 807, 844, 846, 881, 903, 906, 913, 918, 939, 942
Eugene (3880800, 5): 945, 1219, 1224, 1261, 1263, 1298
Eugene (554400, 5): 482, 821, 826, 839, 863, 930, 935, 1238, 1243, 1256, 1280

https://github.com/hvds/divrep/wiki/D(12,12)

Отлично! Молодцы!
Финиш близко.