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

Уже сгенерил паттерны для 12-ки: 504 основных и 74 с квадратами. То бишь 578. У Hugo вроде 614, то есть, видимо, 36 лишних. Я паттерны Hugo пока не видел, дотошно сравнить не могу.

Цитата

Here is a CSV file of the patterns: D12-12.csv.

отсюда
https://github.com/hvds/divrep/wiki/D(12,12)

Начало и конец списка паттернов для 12-ок

Batch Id,LCM,Primes,Squares,Pattern
0,6098400,7,0,"2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7 2^2.3 . 2 3^2.5"
1,6098400,6,0,"2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7 2^2.3 . 2 3^2.5"
2,8116970400,7,0,"2^2.7 5 2.3^2 11^5 2^5 3 2.5^2 7 2^2.3 . 2 3^2.5"
3,554400,6,0,"2^2.7 5 2.3^2 11 2^5 3 2.5^2 7 2^2.3 . 2 3^2.5"
4,6098400,7,0,"2^2.7 5 2.3^2 . 2^5 3.11^2 2.5^2 7 2^2.3 . 2 3^2.5"
5,6098400,7,0,"2^2.7 5 2.3^2 . 2^5 3 2.5^2 7.11^2 2^2.3 . 2 3^2.5"
6,6098400,6,0,"2^2.7 5 2.3^2 . 2^5 3 2.5^2 7 2^2.3 11^2 2 3^2.5"
7,8116970400,7,0,"2^2.7 5 2.3^2 . 2^5 3 2.5^2 7 2^2.3 11^5 2 3^2.5"
8,554400,6,0,"2^2.7 5 2.3^2 . 2^5 3 2.5^2 7 2^2.3 11 2 3^2.5"
9,6098400,7,0,"2^2.7 5 2.3^2 . 2^5 3 2.5^2 7 2^2.3 . 2.11^2 3^2.5"
10,42688800,7,0,"2^2 5.11^2 2.3^2 . 2^5 3.7^2 2.5^2 . 2^2.3 . 2 3^2.5"
11,42688800,6,0,"2^2 5 2.3^2 11^2 2^5 3.7^2 2.5^2 . 2^2.3 . 2 3^2.5"
12,56818792800,7,0,"2^2 5 2.3^2 11^5 2^5 3.7^2 2.5^2 . 2^2.3 . 2 3^2.5"
13,3880800,6,0,"2^2 5 2.3^2 11 2^5 3.7^2 2.5^2 . 2^2.3 . 2 3^2.5"
. . . . . . . 
1475,54789550200,4,2,". 2 3 2^2 5 2.3 7 2^3 3^5 2.5^2 11^5 2^2.3"
1476,3742200,3,2,". 2 3 2^2 5 2.3 7 2^3 3^5 2.5^2 11 2^2.3"
1477,452806200,3,3,". 2 3 2^2 5 2.3 7 2^3 3^5 2.5^2 11^3 2^2.3"
1478,2017045800,4,3,". 2.11^2 3 2^2 5 2.3 7^3 2^3 3^5 2.5^2 . 2^2.3"
1479,2017045800,3,3,". 2 3 2^2 5 2.3 7^3 2^3 3^5 2.5^2 11^2 2^2.3"
1480,2684687959800,4,3,". 2 3 2^2 5 2.3 7^3 2^3 3^5 2.5^2 11^5 2^2.3"
1481,183367800,3,3,". 2 3 2^2 5 2.3 7^3 2^3 3^5 2.5^2 11 2^2.3"
1482,22187503800,3,4,". 2 3 2^2 5 2.3 7^3 2^3 3^5 2.5^2 11^3 2^2.3"
1483,288149400,5,2,". 2.11^2 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^2 2^2.3"
1484,26195400,5,2,". 2 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^2.11 2^2.3"
1485,98835244200,6,2,". 2.11^2 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^5 2^2.3"

Всего 1486 паттернов.

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

И им всем считаться осталось день-два ... А он ещё так отбрыкивался от идей по ускорению счёта ... :))

Ах-ха-ха!
Какой же Hugo... э-э-э...
Слава Богу, что у господина Петухова хватило терпения объяснять Hugo.
Вот если бы на месте Hugo была я, ему бы точно не хватило терпения объяснять :))

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

Файл csv - это обычный текстовый файл и открыть его можно чем угодно. Даже блокнотом (но без деления на строки, дружно говорим спасибо Хуго за использование unix-style для текста) и PARI - прекрасно читаются в вектор строк командой readstr, из которого можно уже пересохранить в нормальный текстовый файл:

Hugo и в страшном сне не могло присниться, что у кого-то возникнут проблемы с открытием файла D12-12.csv
У меня Блокнотом открывается, причём вполне себе нормально - с разделением на строки.

1. Какой у Ядряра Блокнот, что он вообще не открывает этот файл?
А пробовал ли он его открыть?
Банально: двойной щелчок левой кнопки мыши.
Я, не задумываясь ни на секунду, открыла файл именно так.
2. Какой Блокнот у господина Петухова, если он открывает файл "без деления на строки"?

Да, и "пересохранить в нормальный текстовый файл", конечно же, надо с помощью PARI :))
Из пушек - по воробьям!
Элементарное переименование файла D12-12.csv в файл D12-12.txt пересохраняет файл в текстовый.
[Иногда на компьютере не отображаются расширения файлов, надо сделать так, чтобы они отображались; есть такая опция.]

Получила программой Hugo pcoul список паттернов для 13-ок.
Показываю начало и конец списка

001 pcoul(12 13) -f13 -x586683019466361719763403545 *RT*
203 b0: 3.13^2 2^2.7 5.11^2 2.3^2 . *2^5* 3 2.5^2 7 2^2.3 . 2 3^2.5
203 b1: 3 2^2.7 5.11^2 2.3^2 13^2 *2^5* 3 2.5^2 7 2^2.3 . 2 3^2.5
203 b2: 3 2^2.7 5.11^2 2.3^2 13^5 *2^5* 3 2.5^2 7 2^2.3 . 2 3^2.5
203 b3: 3 2^2.7 5.11^2 2.3^2 13 *2^5* 3 2.5^2 7 2^2.3 . 2 3^2.5
203 b4: 3 2^2.7 5.11^2 2.3^2 . *2^5* 3.13^2 2.5^2 7 2^2.3 . 2 3^2.5
203 b5: 3 2^2.7 5.11^2 2.3^2 . *2^5* 3 2.5^2 7.13^2 2^2.3 . 2 3^2.5
203 b6: 3 2^2.7 5.11^2 2.3^2 . *2^5* 3 2.5^2 7 2^2.3 13^2 2 3^2.5
203 b7: 3 2^2.7 5.11^2 2.3^2 . *2^5* 3 2.5^2 7 2^2.3 13^5 2 3^2.5
203 b8: 3 2^2.7 5.11^2 2.3^2 . *2^5* 3 2.5^2 7 2^2.3 13 2 3^2.5
203 b9: 3 2^2.7 5.11^2 2.3^2 . *2^5* 3 2.5^2 7 2^2.3 . 2.13^2 3^2.5
203 b10: 3.13^2 2^2.7 5 2.3^2 11^2 *2^5* 3 2.5^2 7 2^2.3 . 2 3^2.5
203 b11: 3 2^2.7 5.13^2 2.3^2 11^2 *2^5* 3 2.5^2 7 2^2.3 . 2 3^2.5
203 b12: 3 2^2.7 5 2.3^2 11^2.13 *2^5* 3 2.5^2 7 2^2.3 . 2 3^2.5
203 b13: 3 2^2.7 5 2.3^2 11^2 *2^5* 3.13^2 2.5^2 7 2^2.3 . 2 3^2.5
203 b14: 3 2^2.7 5 2.3^2 11^2 *2^5* 3 2.5^2 7.13^2 2^2.3 . 2 3^2.5
203 b15: 3 2^2.7 5 2.3^2 11^2 *2^5* 3 2.5^2 7 2^2.3 13^2 2 3^2.5
203 b16: 3 2^2.7 5 2.3^2 11^2 *2^5* 3 2.5^2 7 2^2.3 13^5 2 3^2.5
203 b17: 3 2^2.7 5 2.3^2 11^2 *2^5* 3 2.5^2 7 2^2.3 13 2 3^2.5
203 b18: 3 2^2.7 5 2.3^2 11^2 *2^5* 3 2.5^2 7 2^2.3 . 2.13^2 3^2.5
203 b19: 3.13^2 2^2.7 5 2.3^2 11^5 *2^5* 3 2.5^2 7 2^2.3 . 2 3^2.5
. . . . . . . 
203 b7137: . 2.11^2 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^2 2^2.3 11.13^2 [sq=2]
203 b7138: 13^2 2 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^2.11 2^2.3 . [sq=2]
203 b7139: 13^5 2 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^2.11 2^2.3 . [sq=2]
203 b7140: 13 2 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^2.11 2^2.3 . [sq=2]
203 b7141: . 2.13^2 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^2.11 2^2.3 . [sq=2]
203 b7142: . 2 3.13^2 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^2.11 2^2.3 . [sq=2]
203 b7143: . 2 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^2.11 2^2.3 13^2 [sq=2]
203 b7144: . 2 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^2.11 2^2.3 13^5 [sq=2]
203 b7145: . 2 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^2.11 2^2.3 13 [sq=2]
203 b7146: 13^2 2.11^2 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^5 2^2.3 11 [sq=2]
203 b7147: 13^5 2.11^2 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^5 2^2.3 11 [sq=2]
203 b7148: 13 2.11^2 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^5 2^2.3 11 [sq=2]
203 b7149: . 2.11^2 3.13^2 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^5 2^2.3 11 [sq=2]
203 b7150: . 2.11^2 3 2^2.7 5 2.3 . 2^3 3^5 2.5^2 7^5 2^2.3 11.13^2 [sq=2]
367 coul(12, 13): recurse 1180, walk 15003, walkc 23 (0.39s)

[Звёздочки я поставила, когда считала паттерны с 2^5.]
Всего 7151 паттерн, из них 3213 паттернов без 2^5.
Следовательно, обсчитывать надо всего 3938 паттернов.

Нашла паттерн, которому соответствует текущая минимальная 13-ка (586683019466361719763403545)

b4243: 3^2.5  2  .  2^2.3  7^2  2.5^2  3  *2^5*  11^2  2.3^2  5.13^2  2^2.7  3

Факторизация элементов текущей минимальной 13-ки

[3, 2; 5, 1; 13037400432585815994742301, 1],
[2, 1; 19, 2; 812580359371692132636293, 1],
[31, 2; 103, 1; 5927108892096235916909, 1],
[2, 2; 3, 1; 48890251622196809980283629, 1],
[7, 2; 44123202533, 1; 271356614182697, 1],
[2, 1; 5, 2; 11733660389327234395268071, 1],
[3, 1; 37, 2; 142849529940677311848893, 1],
[2, 5; 18333844358323803742606361, 1],
[11, 2; 9241, 1; 524685639604995809873, 1],
[2, 1; 3, 2; 32593501081464539986855753, 1],
[5, 1; 13, 2; 694299431321138129897519, 1],
[2, 2; 7, 1; 20952964980941489991550127, 1],
[3, 1; 17, 2; 676681683352204982426071, 1]

У меня такой вопрос возник: может ли теоретически одному и тому же паттерну соответствовать два решения?
Другими словами: может ли паттерну b4243 соответствовать ещё одна 13-ка (меньше или больше текущей минимальной)?
Нас, разумеется, интересует меньшая.

Ядряра писал в сообщении
https://dxdy.ru/post1574005.html#p1574005

Паттернами для 13-к тоже уже занимался. Просьба к Hugo не публиковать пока никакой статы по ним и даже количество не сообщать.

Хи-хи-хи!
Ну, хотя бы сказал так: "Прошу не публиковать на форуме."

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

Ядряра писал в сообщении
https://dxdy.ru/post1574013.html#p1574013

А как я докажу что не смотрел?

Хи-хи-хи!
Детский сад :)

Да, да, как Ядряра докажет, что не смотрел сообщение
https://boinc.progger.info/odlk/forum_thread.php?id=196&postid=10485 ???

Ядряра всерьёз полагает, что нужно доказывать, что он не смотрел?
Кому-то это доказательство нужно?

Интересный момент: Гугл знает русский язык лучше меня :)

Цитата

Просьба к Hugo не публиковать пока никакой статы по ним и даже количество не сообщать.

Конечно, я догадалась, что "статы" - это "статистики".
Захотелось посмотреть, как поймёт это Гугл.
Перевожу цитату на английский:

Request to Hugo not to publish any stats on them yet and not even to report the number.

Перевожу полученный перевод на русский:

Просьба к Хьюго пока не публиковать по ним статистику и даже не сообщать количество.

Чудесным образом Гугл перевёл точно так, как и должно быть (по моей догадке).
Очень удивилась!
Ай-да Гугл, ай-да ... :)

Спросила у Яндекса, что такое "стата", вот ответ

Стата - это статистический программный пакет общего назначения, разработанный компанией StataCorp для обработки данных, визуализации, статистики и автоматизированной отчетности. Он используется исследователями во многих областях, включая биомедицину, эпидемиологию, социологию и науку.

Видимо, такое сокращение всё-таки чистой воды жаргон.

В современном виртуальном мире можно много подобных сокращений увидеть.
Например, пишут "чел" вместо "человек", "прога" вместо "программа", "комп" вместо "компьютер" и т. д.
Много, наверное, времени люди сэкономили на подобных сокращениях.
Что думаете, господа?

Цитата

Нашла паттерн, которому соответствует текущая минимальная 13-ка (586683019466361719763403545)

b4243: 3^2.5  2  .  2^2.3  7^2  2.5^2  3  *2^5*  11^2  2.3^2  5.13^2  2^2.7  3

Протестировала этот паттерн.
[Параметры взяла из самой трудной группы паттернов в задаче D(12,12).]

Показываю логи частично

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x120402988681658048433948:586683019466361719763403545 -b4243 *RT*
305 3^2.5 2 . 2^2.3 7^2 2.5^2 3 2^5 11^2 2.3^2 5.13^2 2^2.7 3 W(22693577,1): 8 / 78 (577.94s)
305 3^2.5 2 . 2^2.3 7^2 2.5^2 3 2^5 11^2 2.3^2 5.13^2 2^2.7 3 W(9239849,12): 434 / 475 (1157.96s)
305 3^2.5 2 . 2^2.3 7^2 2.5^2 3 2^5 11^2 2.3^2 5.13^2 2^2.7 3 W(5809357,1): 944 / 1204 (1738.99s)
305 3^2.5 2 . 2^2.3 7^2 2.5^2 3 2^5 11^2 2.3^2 5.13^2 2^2.7 3 W(4256141,12): 781 / 2243 (2319.13s)
305 3^2.5 2 . 2^2.3 7^2 2.5^2 3 2^5 11^2 2.3^2 5.13^2 2^2.7 3 W(3367909,6): 3464 / 3584 (2899.15s)
305 3^2.5 2 . 2^2.3 7^2 2.5^2 3 2^5 11^2 2.3^2 5.13^2 2^2.7 3 W(2794243,6): 3215 / 5207 (3478.56s)
305 3^2.5 2 . 2^2.3 7^2 2.5^2 3 2^5 11^2 2.3^2 5.13^2 2^2.7 3 W(2390653,12): 6710 / 7114 (4057.93s)
. . . . . . . . . 
305 3^2.5 2 23^2 2^2.3 7^2 2.5^2 3.14369^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.760939^2 (20380.47s)
305 3^2.5 2.591559^2 29^2 2^2.3 7^2 2.5^2 3.17^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.67^2 (20966.03s)
305 3^2.5 2.194027^5 29^2 2^2.3 7^2 2.5^2 3.107^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.179^2 (21551.72s)
305 3^2.5 2 29^2 2^2.3 7^2 2.5^2 3.2269^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.269723^2 (22137.28s)
305 3^2.5 2 29^2 2^2.3 7^2 2.5^2 3.24077^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.545843^2 (22722.64s)
202 Candidate 586683019466361719763403545 (23111.52s)
305 3^2.5 2.37649^5 31^2 2^2.3 7^2 2.5^2 3.67^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.229^2 (23307.75s)
305 3^2.5 2.74357^2 31^2 2^2.3 7^2 2.5^2 3.977^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.17^2 (23893.19s)
305 3^2.5 2 31^2 2^2.3 7^2 2.5^2 3.20047^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.147311^5 (24478.47s)
305 3^2.5 2.614569^2 37^2 2^2.3 7^2 2.5^2 3.71^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.79^2 (25064.38s)
305 3^2.5 2 37^2 2^2.3 7^2 2.5^2 3.3023^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.480409^2 (25649.97s)
305 3^2.5 2.39461^5 41^2 2^2.3 7^2 2.5^2 3.17^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.787^2 (26235.34s)
. . . . . . 
305 3^2.5 2 459829^2 2^2.3 7^2 2.5^2 3.469037^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3 (85095.68s)
305 3^2.5 2 491327^2 2^2.3 7^2 2.5^2 3.198839^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3 (85682.22s)
305 3^2.5 2 522787^2 2^2.3 7^2 2.5^2 3.101789^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3 (86268.13s)
305 3^2.5 2 554887^2 2^2.3 7^2 2.5^2 3.310481^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3 (86854.07s)
305 3^2.5 2 586939^2 2^2.3 7^2 2.5^2 3.459929^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3 (87439.75s)
305 3^2.5 2 619019^2 2^2.3 7^2 2.5^2 3.89891^5 2^5 11^2 2.3^2 5.13^2 2^2.7 3 (88025.34s)
305 3^2.5 2 652079^2 2^2.3 7^2 2.5^2 3.180307^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3 (88611.67s)
305 3^2.5 2 684547^2 2^2.3 7^2 2.5^2 3.98473^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3 (89197.46s)
305 3^2.5 2 728303^2 2^2.3 7^2 2.5^2 3 2^5 11^2 2.3^2 5.13^2 2^2.7 3: 6743 / 76655 (89782.82s)
367 coul(12, 13): recurse 16500939957, walk 19937703060, walkc 34978227750 (90205.35s)
200 f(12, 13) = 586683019466361719763403545 (90205.35s)

Проверялось чуть более суток.
Кандидат появился через 6,4 ч.
Текущая минимальная 13-ка в точном соответствии с паттерном b4243 найдена.
Время проверки паттерна вполне приемлемое.
Возможно, у меня параметры не совсем подходящие для данной проверки.

Получила программой Hugo pcoul паттерны для 14-ок.
Что-то у меня мало получилось паттернов - всего 2971, меньше, чем для 13-ок.
Впрочем, для 12-ок паттернов тоже меньше, чем для 11-ок.

Показываю начало и конец списка паттернов для 14-ок

001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 *RT*
203 b0: 2.11^2 3.13^2 2^2.7 5 2.3^2 . 2^5 3 2.5^2 7 2^2.3 11 2 3^2.5
203 b1: 2.11^2 3 2^2.7 5.13^2 2.3^2 . 2^5 3 2.5^2 7 2^2.3 11 2 3^2.5
203 b2: 2.11^2 3 2^2.7 5 2.3^2 13^2 2^5 3 2.5^2 7 2^2.3 11 2 3^2.5
203 b3: 2.11^2 3 2^2.7 5 2.3^2 13^5 2^5 3 2.5^2 7 2^2.3 11 2 3^2.5
203 b4: 2.11^2 3 2^2.7 5 2.3^2 13 2^5 3 2.5^2 7 2^2.3 11 2 3^2.5
203 b5: 2.11^2 3 2^2.7 5 2.3^2 . 2^5 3.13^2 2.5^2 7 2^2.3 11 2 3^2.5
203 b6: 2.11^2 3 2^2.7 5 2.3^2 . 2^5 3 2.5^2 7.13^2 2^2.3 11 2 3^2.5
203 b7: 2.11^2 3 2^2.7 5 2.3^2 . 2^5 3 2.5^2 7 2^2.3 11.13^2 2 3^2.5
203 b8: 2.11^2 3 2^2.7 5 2.3^2 . 2^5 3 2.5^2 7 2^2.3 11 2.13^2 3^2.5
203 b9: 2 3.13^2 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7 2^2.3 . 2 3^2.5
203 b10: 2 3 2^2.7 5.11^2 2.3^2 13^2 2^5 3 2.5^2 7 2^2.3 . 2 3^2.5
203 b11: 2 3 2^2.7 5.11^2 2.3^2 13^5 2^5 3 2.5^2 7 2^2.3 . 2 3^2.5
203 b12: 2 3 2^2.7 5.11^2 2.3^2 13 2^5 3 2.5^2 7 2^2.3 . 2 3^2.5
203 b13: 2 3 2^2.7 5.11^2 2.3^2 . 2^5 3.13^2 2.5^2 7 2^2.3 . 2 3^2.5
203 b14: 2 3 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7.13^2 2^2.3 . 2 3^2.5
203 b15: 2 3 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7 2^2.3 13^2 2 3^2.5
203 b16: 2 3 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7 2^2.3 13^5 2 3^2.5
203 b17: 2 3 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7 2^2.3 13 2 3^2.5
203 b18: 2 3 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7 2^2.3 . 2.13^2 3^2.5
203 b19: 2 3.13^2 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7 2^2.3 . 2 3^2.5
203 b20: 2 3 2^2.7 5.13^2 2.3^2 11^2 2^5 3 2.5^2 7 2^2.3 . 2 3^2.5
. . . . . . . . . . . . . . 
203 b2958: . 2 3 2^2 5 2.3 7 2^3 3^5 2.5^2 11^5 2^2.3 13^3 2.7^2 [sq=3]
203 b2959: . 2.13^2 3 2^2 5 2.3 7 2^3 3^5 2.5^2 11 2^2.3 . 2.7^2 [sq=2]
203 b2960: . 2 3.13^2 2^2 5 2.3 7 2^3 3^5 2.5^2 11 2^2.3 . 2.7^2 [sq=2]
203 b2961: . 2 3 2^2 5 2.3 7 2^3 3^5 2.5^2 11 2^2.3 13^2 2.7^2 [sq=2]
203 b2962: . 2 3 2^2 5 2.3 7 2^3 3^5 2.5^2 11 2^2.3 13^5 2.7^2 [sq=2]
203 b2963: . 2 3 2^2 5 2.3 7 2^3 3^5 2.5^2 11 2^2.3 13 2.7^2 [sq=2]
203 b2964: . 2 3 2^2 5 2.3 7 2^3 3^5 2.5^2 11 2^2.3 13^3 2.7^2 [sq=3]
203 b2965: . 2.13^2 3 2^2 5 2.3 7 2^3 3^5 2.5^2 11^3 2^2.3 . 2.7^2 [sq=3]
203 b2966: . 2 3.13^2 2^2 5 2.3 7 2^3 3^5 2.5^2 11^3 2^2.3 . 2.7^2 [sq=3]
203 b2967: . 2 3 2^2 5 2.3 7 2^3 3^5 2.5^2 11^3 2^2.3 13^2 2.7^2 [sq=3]
203 b2968: . 2 3 2^2 5 2.3 7 2^3 3^5 2.5^2 11^3 2^2.3 13^5 2.7^2 [sq=3]
203 b2969: . 2 3 2^2 5 2.3 7 2^3 3^5 2.5^2 11^3 2^2.3 13 2.7^2 [sq=3]
203 b2970: . 2 3 2^2 5 2.3 7 2^3 3^5 2.5^2 11^3 2^2.3 13^3 2.7^2 [sq=4]
367 coul(12, 14): recurse 632, walk 8228, walkc 17 (0.22s)

1272 паттерна содержат 2^5.
Следовательно, 1699 паттернов обсчитывать не надо.

Сейчас попробую найти паттерн, которому соответствует текущая минимальная 14-ка

T(6,14) <= 1966089440441196672524986345512345 Dmitry Petukhov 2022-09-30

У меня это не быстро получается, опыта общения с паттернами маловато.
Ну, сначала надо факторизовать элементы этой 14-ки.
Это просто, программка имеется.

Готово!

[3, 2; 5, 1; 43690876454248814944999696566941, 1],
[2, 1; 23, 2; 1858307599660866420155941725437, 1],
[13, 2; 43, 1; 270550356466381818153981883241, 1],
[2, 2; 3, 1; 163840786703433056043748862126029, 1],
[7, 2; 1521991, 1; 26363016794920797454968811, 1],
[2, 1; 5, 2; 39321788808823933450499726910247, 1],
[3, 1; 11, 2; 5416224353832497720454507838877, 1],
[2, 5; 61440295013787396016405823297261, 1],
[19, 2; 31, 1; 175684875385684628051558068583, 1],
[2, 1; 3, 2; 109227191135622037362499241417353, 1],
[5, 1; 41, 2; 233919029201808051460438589591, 1],
[2, 2; 7, 1; 70217480015757024018749512339727, 1],
[3, 1; 47, 2; 296678654057823551007241035991, 1],
[2, 1; 17, 2; 3401538824292727807136654577011, 1]

Кажется, этот паттерн

b1371: 3^2.5  2  13^2  2^2.3  7^2  2.5^2  3.11^2  2^5  .  2.3^2  5  2^2.7  3  2

А вот и паттерны для 15-ок - самая мечта :)
Получены тоже программой Hugo pcoul.

Показываю начало и конец списка паттернов для 15-ок

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 *RT*
203 b0: 3^2 2.5 11.13^2 2^2.3 . 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 2.11 . [sq=5]
203 b1: 3^2 2.5 11 2^2.3 13^2 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 2.11 . [sq=5]
203 b2: 3^2 2.5 11 2^2.3 13^5 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 2.11 . [sq=5]
203 b3: 3^2 2.5 11 2^2.3 13 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 2.11 . [sq=5]
203 b4: 3^2 2.5 11 2^2.3 13^3 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 2.11 . [sq=6]
203 b5: 3^2 2.5 11 2^2.3 . 2.7 3.5 2^5 . 2.3^2 13^2 2^2.5 3.7 2.11 . [sq=5]
203 b6: 3^2 2.5 11 2^2.3 . 2.7 3.5 2^5 . 2.3^2 13^5 2^2.5 3.7 2.11 . [sq=5]
203 b7: 3^2 2.5 11 2^2.3 . 2.7 3.5 2^5 . 2.3^2 13 2^2.5 3.7 2.11 . [sq=5]
203 b8: 3^2 2.5 13^2 2^2.3 11^2 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 2 . [sq=4]
203 b9: 3^2 2.5 13^5 2^2.3 11^2 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 2 . [sq=4]
203 b10: 3^2 2.5 13 2^2.3 11^2 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 2 . [sq=4]
203 b11: 3^2 2.5 . 2^2.3 11^2.13 2.7 3.5 2^5 . 2.3^2 . 2^2.5 3.7 2 . [sq=4]
. . . . . . . . 
203 b1238: . 2 3 2^2 5 2.3 7 2^3 3^5 2.5 11^5 2^2.3 13^5 2.7^2 3.5 [sq=4]
203 b1239: . 2 3 2^2 5 2.3 7 2^3 3^5 2.5 11^5 2^2.3 13 2.7^2 3.5 [sq=4]
203 b1240: . 2 3 2^2 5 2.3 7 2^3 3^5 2.5 11^5 2^2.3 13^3 2.7^2 3.5 [sq=5]
203 b1241: . 2 3.13^2 2^2 5 2.3 7 2^3 3^5 2.5 11 2^2.3 . 2.7^2 3.5 [sq=4]
203 b1242: . 2 3 2^2 5 2.3 7 2^3 3^5 2.5 11 2^2.3 13^2 2.7^2 3.5 [sq=4]
203 b1243: . 2 3 2^2 5 2.3 7 2^3 3^5 2.5 11 2^2.3 13^5 2.7^2 3.5 [sq=4]
203 b1244: . 2 3 2^2 5 2.3 7 2^3 3^5 2.5 11 2^2.3 13 2.7^2 3.5 [sq=4]
203 b1245: . 2 3 2^2 5 2.3 7 2^3 3^5 2.5 11 2^2.3 13^3 2.7^2 3.5 [sq=5]
203 b1246: . 2 3.13^2 2^2 5 2.3 7 2^3 3^5 2.5 11^3 2^2.3 . 2.7^2 3.5 [sq=5]
203 b1247: . 2 3 2^2 5 2.3 7 2^3 3^5 2.5 11^3 2^2.3 13^2 2.7^2 3.5 [sq=5]
203 b1248: . 2 3 2^2 5 2.3 7 2^3 3^5 2.5 11^3 2^2.3 13^5 2.7^2 3.5 [sq=5]
203 b1249: . 2 3 2^2 5 2.3 7 2^3 3^5 2.5 11^3 2^2.3 13 2.7^2 3.5 [sq=5]
203 b1250: . 2 3 2^2 5 2.3 7 2^3 3^5 2.5 11^3 2^2.3 13^3 2.7^2 3.5 [sq=6]
367 coul(12, 15): recurse 279, walk 3785, walkc 12 (0.11s)

Совсем мало паттернов, всего 1251.
А если выбросить те паттерны, которые не содержат 2^5, останется и того меньше.

Самое интересное: найденный мной пентадекатлон какому паттерну соответствует?

T(6,15) <= 80215613469168729088982885848674841 Natalia Makarova 2022-09-18

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

Поддастся ли этот пентадекатлон минимизации?
Господин Лецко считает, что решить эту задачу нереально.
А вдруг решим :)

PS. Только 630 паттернов для 15-ок содержат 2^5.
Остальные выбрасываем.

Факторизовала элементы текущего минимального пентадекатлона

[23, 2; 9649, 1; 15715236849165389302315212121, 1],
[2, 1; 101, 2; 3931752449228934863688995483221, 1],
[3, 1; 29, 2; 31793742952504450689252035611841, 1],
[2, 2; 200396929, 1; 100070911602104352967633159, 1],
[5, 1; 19, 2; 44440783085412038276444812104529, 1],
[2, 1; 3, 2; 4456422970509373838276826991593047, 1],
[7, 1; 31, 2; 11924425965388543048756189363561, 1],
[2, 5; 2506737920911522784030715182771089, 1],
[3, 1; 11, 2; 220979651430216884542652578095523, 1],
[2, 1; 5, 2; 1604312269383374581779657716973497, 1],
[13, 2; 224814373570921, 1; 2111291163772264499, 1],
[2, 2; 3, 1; 6684634455764060757415240487389571, 1],
[17, 2; 10073981, 1; 27552431989290592962811817, 1],
[2, 1; 7, 2; 818526668052742133561049855598723, 1],
[3, 2; 5, 1; 1782569188203749535310730796637219, 1]

Паттерн попробую найти, который этому пентадекатлону соответствует.

Кажется, этот паттерн

b587: .  2  3  2^2  5  2.3^2  7  2^5  3.11^2  2.5^2  13^2  2^2.3  .  2.7^2  3^2.5

Кортежи (цепочки) с 24 делителями

# L(12) in range 18..31
T(12,1) 360
T(12,2) 5984
T(12,3) 72224
T(12,4) 2919123 Duentsch & Eggleton 1989
T(12,5) 15537948 Duentsch & Eggleton 1989
T(12,6) 973277147 Jon E. Schoenfield 2017-09-24
T(12,7) 33815574876 Jon E. Schoenfield 2017-10-12
T(12,8) 1043710445721 Jud McCranie 2002-01-20
T(12,9) 2197379769820 Jud McCranie 2006-01-14
T(12,10) 2642166652554075 Jud McCranie 2018-11-27
T(12,11) <= 17707503256664346 David Wasserman 2008-02-22
T(12,12) <= 3842083249515874843 Hugo van der Sanden 2022-09-20
T(12,13) <= 55846237281184443947793819 Hugo van der Sanden 2022-04-13
T(12,14) <= 25335305376270095455498383578391968 Vladimir Letsko 2015-06-13
T(12,15) <= 1956636199634182220409498715768827417 Vladimir Letsko 2017-03-01
T(12,16) <= 37981337212463143311694743672867136611416 Vladimir Letsko 2017-03-17
T(12,17) <= 768369049267672356024049141254832375543516 Vladimir Letsko 2017-09-12
T(12,18) <= 488900003598703704335810037459507226590256411 Vladimir Letsko 2022-06-03
T(12,19) unknown

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

А будем решать задачу минимизации цепочек с 24 делителями?
Тут даже не всех длин цепочки найдены.
18-ка найдена господином Лецко недавно.
Не найдены цепочки длин 19-31.
Вот где работы-то непочатый край!
11-ка не минимальная, возможно, хотя найдена аж в 2008 году.

Попробовала найти паттерны для 11-ки с 24 делителями.
О! Паттернов получилось 3065153 шт.
Не хочет ли Ядряра проверить систему паттернов Hugo для этого случая?
Всё ли у Hugo на месте? :)

Покажу начало и конец списка паттернов для 11-ок с 24 делителями

001 pcoul(24 11) -f11 -x17707503256664346 *RT*
203 b0: 2^5.5 3^2.11 2.7^2 . 2^2.3 5 2 3 2^3 7 2.3^2.5
203 b1: 2^5.5 3^2.11^3 2.7^2 . 2^2.3 5 2 3 2^3 7 2.3^2.5
203 b2: 2^5.5 3^2 2.7^2.11 . 2^2.3 5 2 3 2^3 7 2.3^2.5
203 b3: 2^5.5 3^2 2.7^2 11^2 2^2.3 5 2 3 2^3 7 2.3^2.5
203 b4: 2^5.5 3^2 2.7^2 11^5 2^2.3 5 2 3 2^3 7 2.3^2.5
203 b5: 2^5.5 3^2 2.7^2 11 2^2.3 5 2 3 2^3 7 2.3^2.5
203 b6: 2^5.5 3^2 2.7^2 11^3 2^2.3 5 2 3 2^3 7 2.3^2.5
203 b7: 2^5.5 3^2 2.7^2 . 2^2.3.11 5 2 3 2^3 7 2.3^2.5
203 b8: 2^5.5 3^2 2.7^2 . 2^2.3 5.11^2 2 3 2^3 7 2.3^2.5
203 b9: 2^5.5 3^2 2.7^2 . 2^2.3 5.11^5 2 3 2^3 7 2.3^2.5
203 b10: 2^5.5 3^2 2.7^2 . 2^2.3 5.11 2 3 2^3 7 2.3^2.5
203 b11: 2^5.5 3^2 2.7^2 . 2^2.3 5 2.11^2 3 2^3 7 2.3^2.5
203 b12: 2^5.5 3^2 2.7^2 . 2^2.3 5 2.11^5 3 2^3 7 2.3^2.5
203 b13: 2^5.5 3^2 2.7^2 . 2^2.3 5 2.11 3 2^3 7 2.3^2.5
203 b14: 2^5.5 3^2 2.7^2 . 2^2.3 5 2 3.11^2 2^3 7 2.3^2.5
203 b15: 2^5.5 3^2 2.7^2 . 2^2.3 5 2 3.11^5 2^3 7 2.3^2.5
203 b16: 2^5.5 3^2 2.7^2 . 2^2.3 5 2 3.11 2^3 7 2.3^2.5
203 b17: 2^5.5 3^2 2.7^2 . 2^2.3 5 2 3 2^3.11^2 7 2.3^2.5
203 b18: 2^5.5 3^2 2.7^2 . 2^2.3 5 2 3 2^3 7.11^2 2.3^2.5
203 b19: 2^5.5 3^2 2.7^2 . 2^2.3 5 2 3 2^3 7.11^5 2.3^2.5
203 b20: 2^5.5 3^2 2.7^2 . 2^2.3 5 2 3 2^3 7.11 2.3^2.5
. . . . . . . . . 
203 b3065136: 2.11^3 . 2^3.3^2 5 2 3 2^2.7 . 2.3.5^2 . 2^7 [sq=2]
203 b3065137: 2 . 2^3.3^2 5.11^2 2 3 2^2.7 . 2.3.5^2 . 2^7 [sq=1]
203 b3065138: 2 . 2^3.3^2 5.11^5 2 3 2^2.7 . 2.3.5^2 . 2^7 [sq=1]
203 b3065139: 2 . 2^3.3^2 5.11 2 3 2^2.7 . 2.3.5^2 . 2^7 [sq=1]
203 b3065140: 2 . 2^3.3^2 5 2.11^2 3 2^2.7 . 2.3.5^2 . 2^7 [sq=1]
203 b3065141: 2 . 2^3.3^2 5 2.11^5 3 2^2.7 . 2.3.5^2 . 2^7 [sq=1]
203 b3065142: 2 . 2^3.3^2 5 2.11 3 2^2.7 . 2.3.5^2 . 2^7 [sq=1]
203 b3065143: 2.11^2 . 2^3.3^2 5 2 3 2^2.7^3 . 2.3.5^2 . 2^7 [sq=1]
203 b3065144: 2.11^5 . 2^3.3^2 5 2 3 2^2.7^3 . 2.3.5^2 . 2^7 [sq=1]
203 b3065145: 2.11 . 2^3.3^2 5 2 3 2^2.7^3 . 2.3.5^2 . 2^7 [sq=1]
203 b3065146: 2.11^3 . 2^3.3^2 5 2 3 2^2.7^3 . 2.3.5^2 . 2^7 [sq=2]
203 b3065147: 2 . 2^3.3^2 5.11^2 2 3 2^2.7^3 . 2.3.5^2 . 2^7 [sq=1]
203 b3065148: 2 . 2^3.3^2 5.11^5 2 3 2^2.7^3 . 2.3.5^2 . 2^7 [sq=1]
203 b3065149: 2 . 2^3.3^2 5.11 2 3 2^2.7^3 . 2.3.5^2 . 2^7 [sq=1]
203 b3065150: 2 . 2^3.3^2 5 2.11^2 3 2^2.7^3 . 2.3.5^2 . 2^7 [sq=1]
203 b3065151: 2 . 2^3.3^2 5 2.11^5 3 2^2.7^3 . 2.3.5^2 . 2^7 [sq=1]
203 b3065152: 2 . 2^3.3^2 5 2.11 3 2^2.7^3 . 2.3.5^2 . 2^7 [sq=1]
367 coul(24, 11): recurse 178248, walk 1017983, walkc 513 (69.08s)

Система паттернов строилась чуть более минуты.
Супер!

Пентадекатлон с 24 делителями найден господином Лецко

T(12,15) <= 1956636199634182220409498715768827417 Vladimir Letsko 2017-03-01

Конечно, не минимизирован.

А вот пентадекатлон с 36 делителями вообще не найден

# L(18) in range 13..15
T(18,1) 1260
T(18,2) 223244
T(18,3) 46681074 Don Reble 2015-01-22
T(18,4) 290718655073 Hugo van der Sanden 2022-04-13
T(18,5) 95457996726524 Hugo van der Sanden 2022-04-13
T(18,6) <= 2595541876334839548 Hugo van der Sanden 2022-05-13
T(18,7) <= 2721520387718026439368444 Hugo van der Sanden 2022-08-20
T(18,8) <= 6076414465895627819030278435079836921 Hugo van der Sanden 2022-10-21
T(18,9) <= 34539304294531441404929677888682672667707738424571 Vladimir Letsko 2022-04-16
T(18,10) <= 1900972918490124351092372591926102077438470983256299771 Vladimir Letsko 2022-04-15
T(18,11) <= 12821655678011960184516598560606241547734025340946441558430971 Vladimir Letsko 2018-11-14
T(18,12) <= 7472486235320208974406418076964688737817897278084328007277230419379287292 Dmitry Petukhov 2022-04-23
T(18,13) <= 1041358820322424595598704771003665679363657167077976401029442221233039097 Eugene Zhilitsky 2022-04-26
T(18,14) unknown

Даже 14-ка пока не найдена.
Не минимизирована 6-ка!
И не очень уж она большая, хотя по сравнению с минимальной 5-ой чрезвычайно большая.

Вот где BOINC будет весьма полезен!

Задача D(12,12) заканчивается, осталось немножко

• Eugene (554400, 5): 863, 930, 935, 1280
• Hugo (554400, 5): 1256

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

Итак, осталось минимизировать цепочки трёх длин с 12 делителями: 13, 14 и 15.
Мне задача не кажется нереальной, тем более если удастся запустить BOINC-проект.
Hugo написал мне, что собирается решать задачу D(12,13) в BOINC.
Это было бы здорово!

Мне вчера фильм предложили посмотреть
http://mathhelpplanet.com/viewtopic.php?p=455518#p455518

Ссылка, приведённая в сообщении, у меня привела на заблокированный сайт.
Нашла фильм в другом месте и посмотрела.
Очень понравился!

Фильм искала по названию "Любовь со второго взгляда".
Яндекс выдал несколько ссылок.

Отличная новость!

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

D(12,12) = 120402988681658048433948

Thank you again to everyone that contributed. Total CPU time reported in the collected log files was 19681323.72s (227.8 days), quite a bit faster than the last one (in large part thanks to the -W option inspired by Dmitriy's suggestions).

Before attempting D(12,13), I plan to take some time to improve automation for distributed processing (probably with BOINC). I also want to make other improvements, such as extending support for -W to other cases and (hopefully) automating the selection of the -W and -g options, as well as improving documentation and testing.

Итак, минимальность 12-ки с 12 делителями подтверждена в эксперименте с распределёнными вычислениями.
Суммарно команда эксперимента затратила на решение задачи 19681323.72s (227.8 days).

Поздравляю Hugo с его новым результатом!

Планы Hugo очень радуют.
Сильно надеюсь, что они будут реализованы.
Будут минимизированы оставшиеся цепочки с 12 делителями (13-ка, 14-ка и 15-ка), а затем работа продолжится для цепочек с другим количеством делителей.
Успехов Hugo!

PS. С поздравлением выступил господин Никонов.
Интересно отметить, что автор проекта господин Лецко вообще игнорирует подпроект минимизации цепочек с 12 делителями.
С минимальной 11-ой он тоже не поздравил.
Ну, ему эта подзадача не нравится, поэтому и не считаются достижения в задаче "высшими достижениями", достойными его поздравления.
Он писал в теме "Пентадекатлон мечты", что если вдруг задача минимизации цепочек с 12-делителями будет решена в результате некоего прорыва, тогда он поздравит с её решением.
Что ж, подождём :)

Кстати, о птичках...
Господину Лецко надо бы выделить подпроект минимизации цепочек из темы "Пентадекатлон мечты".
Ему модератор не будет препятствовать.
К тому же, модератор, который этому препятствовал, уже не модератор (добровольно ушёл в отставку).
А действующий сейчас модератор, может быть, и раньше не препятствовал бы.
Другое дело, что сам господин Лецко, как ни странно, выступил против создания новой темы.
Неужели он не понимает, что в тему "Пентадекатлон мечты" сваливают всё, и это привело к безобразным размерам темы?

Ядряра писал в сообщении
https://dxdy.ru/post1574340.html#p1574340

В нижней строчке — кэф Hugo.

Ну, наверное, все понимают, что речь идёт о коэффициенте.

Спросила у Яндекса, что такое кэф.
Ответ

Кэф — сокращенное название букмекерского коэффициента или котировки. По величине букмекерского коэффициента беттор может определить вероятность исхода спортивного события и возможную сумму выигрыша.
В разговорной речи бетторов вместо длинного названия прижилось это сокращение.

Пора составлять словарь сокращений Ядряра :)
впс - ваш покорный слуга
кэф - коэффициент
прога - программа
стата - статистика

Это только то, что я помню.
Как мне кажется, было ещё кмк :)

В том же сообщении Ядряра писал

По состоянию на 18 декабря 2022 года по сравнению с таблицей от 11-го апреля того же года

10-ка уменьшена в 238 раз;
11-ка уменьшена в 1055 раз;
12-ка уменьшена в 1564 разa;
__________________________
13-ка уменьшена в 3294 раза;
14-ка уменьшена в 2489 раз;
15-ка уменьшена в 827 раз.

До сего момента текущие результаты по цепочкам длин 13, 14 и 15 получены в эксперименте по минимизации цепочек с 12 делителями, организованном Ядряра (ПО господина Петухова).
Как было отмечено выше, получение текущих наименьших значений - важнейший момент в процессе минимизации цепочек.
Теперь предстоит последний этап минимизации этих цепочек алгоритмом Hugo.
Для этого этапа имеем неплохие стартовые значения

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

Музыкальная пауза

Полонез Огинского "Прощание с Родиной"