Последняя порция паттренов, с b5286 по b5580 (не по порядку), 17 штук

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -x5866830194663617197634035
45 -f13 -b5286 12 13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b5286 *RT*
367 coul(12, 13): recurse 1181, walk 15004, walkc 23 (0.27s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -x5866830194663617197634035
45 -f13 -b5397 12 13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b5397 *RT*
367 coul(12, 13): recurse 1181, walk 15004, walkc 23 (0.27s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -x5866830194663617197634035
45 -f13 -b5531 12 13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b5531 *RT*
367 coul(12, 13): recurse 1181, walk 15004, walkc 23 (0.30s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -x5866830194663617197634035
45 -f13 -b5540 12 13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b5540 *RT*
367 coul(12, 13): recurse 1181, walk 15004, walkc 23 (0.27s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -x5866830194663617197634035
45 -f13 -b5550 12 13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b5550 *RT*
367 coul(12, 13): recurse 1181, walk 15004, walkc 23 (0.28s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -x5866830194663617197634035
45 -f13 -b5560 12 13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b5560 *RT*
367 coul(12, 13): recurse 1181, walk 15004, walkc 23 (0.30s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -x5866830194663617197634035
45 -f13 -b5570 12 13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b5570 *RT*
367 coul(12, 13): recurse 1181, walk 15004, walkc 23 (0.28s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -x5866830194663617197634035
45 -f13 -b5571 12 13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b5571 *RT*
367 coul(12, 13): recurse 1181, walk 15004, walkc 23 (0.25s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -x5866830194663617197634035
45 -f13 -b5572 12 13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b5572 *RT*
367 coul(12, 13): recurse 1181, walk 15004, walkc 23 (0.27s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -x5866830194663617197634035
45 -f13 -b5573 12 13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b5573 *RT*
367 coul(12, 13): recurse 1181, walk 15004, walkc 23 (0.30s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -x5866830194663617197634035
45 -f13 -b5574 12 13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b5574 *RT*
367 coul(12, 13): recurse 1181, walk 15004, walkc 23 (0.25s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -x5866830194663617197634035
45 -f13 -b5575 12 13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b5575 *RT*
367 coul(12, 13): recurse 1181, walk 15004, walkc 23 (0.28s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -x5866830194663617197634035
45 -f13 -b5576 12 13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b5576 *RT*
367 coul(12, 13): recurse 1181, walk 15004, walkc 23 (0.30s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -x5866830194663617197634035
45 -f13 -b5577 12 13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b5577 *RT*
367 coul(12, 13): recurse 1181, walk 15004, walkc 23 (0.31s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -x5866830194663617197634035
45 -f13 -b5578 12 13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b5578 *RT*
367 coul(12, 13): recurse 1181, walk 15004, walkc 23 (0.27s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -x5866830194663617197634035
45 -f13 -b5579 12 13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b5579 *RT*
367 coul(12, 13): recurse 1181, walk 15004, walkc 23 (0.28s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -x5866830194663617197634035
45 -f13 -b5580 12 13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b5580 *RT*
367 coul(12, 13): recurse 1181, walk 15004, walkc 23 (0.28s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pause
Для продолжения нажмите любую клавишу . . .

Всё!
Проверены все 328 мультиквадратных паттернов для D(12,13).
Никаких решений они не дали.

Теперь можно попробовать проверить паттерны с одним квадратом.
Сейчас выберу эти паттерны, их не очень много.

Хех...
у меня выбралось 202 паттерна с одним квадратом.
Показываю начало списка

*b158: 3.13^2 2^2 5 2.3^2 . *2^5* 3.7^2 2.5^2 11^3 2^2.3 . 2 3^2.5 [sq=1]
*b159: 3 2^2.13 5 2.3^2 . *2^5* 3.7^2 2.5^2 11^3 2^2.3 . 2 3^2.5 [sq=1]
*b160: 3 2^2 5.13^2 2.3^2 . *2^5* 3.7^2 2.5^2 11^3 2^2.3 . 2 3^2.5 [sq=1]
*b161: 3 2^2 5 2.3^2 . *2^5* 3.7^2 2.5^2 11^3 2^2.3 13^2 2 3^2.5 [sq=1]
*b162: 3 2^2 5 2.3^2 . *2^5* 3.7^2 2.5^2 11^3 2^2.3 13^5 2 3^2.5 [sq=1]
*b163: 3 2^2 5 2.3^2 . *2^5* 3.7^2 2.5^2 11^3 2^2.3 13 2 3^2.5 [sq=1]
*b352: 3 2^2 5.11^2 2.3^2 7 *2^5* 3 2.5^2 . 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
*b363: 3 2^2 5 2.3^2 7.11^2 *2^5* 3 2.5^2 . 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
*b383: 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^2 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
*b392: 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^5 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
 b402: 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11 2^2.3 13^3 2.7^2 3^2.5 [sq=1]
 b403: 3.13^2 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
 b404: 3 2^2.13 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
 b405: 3 2^2 5.13^2 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
 b406: 3 2^2 5 2.3^2 7 *2^5* 3.13^2 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5 [sq=1]
 b407: 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 13^2 2.7^2 3^2.5 [sq=1]
 b408: 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 13^5 2.7^2 3^2.5 [sq=1]
 b409: 3 2^2 5 2.3^2 7 *2^5* 3 2.5^2 11^3 2^2.3 13 2.7^2 3^2.5 [sq=1]
 b437: 11 2^2.3 7^2.13 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 . [sq=1]
 b438: 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5.13^2 2^2.7 3 2.11 . [sq=1]
 b439: 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3.13^2 2.11 . [sq=1]
 b440: 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13^2 [sq=1]
 b441: 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13^5 [sq=1]
 b442: 11 2^2.3 7^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13 [sq=1]
 b541: 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5.13^2 2^2.7 3 2.11 . [sq=1]
 b542: 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3.13^2 2.11 . [sq=1]
 b543: 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13^2 [sq=1]
 b544: 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13^5 [sq=1]
 b545: 11 2^2.3 7^5 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13 [sq=1]
 b624: 11 2^2.3 7.13^2 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 . [sq=1]
. . . . . . . 

При этом выбирала вручную (поиском), могла и пропустить.

Помеченные звёздочкой паттерны я уже проверила раньше (выше об этом сообщалось).
Сейчас запущу в проверку небольшой пакет - 8 паттернов: b402-b409.
Проверять буду, как спец господин Петухов проверял паттерн b127 с одним квадратом для 15-ок, то есть без параметров g и p.
Если они действительно не нужны в этих проверках, то и ладненько, а если нужны, то всё равно я не знаю, какие значения для них задавать.
Ну, будем считать, что не нужны, как спец показал пример.

Сейчас, кстати, два пакета паттернов с одним квадратом для 14-ок проверяются (см. выше), что-то резко застряла проверка; сценарий такой же: без параметров g и p.
Посмотрим, как для 13-ок будут проверяться.

Итак, запуск первого пакета паттернов с одним квадратом для 13-ок

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -rlog_402_13 -x586683019466
361719763403545 -f13 -b402 12 13
path log_402_13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b402 *RT*
3 2^2 5 2.3^2 7 2^5 3 2.5^2 11 2^2.3 13^3 2.7^2 3^2.5: 2247373840683058 / 344050
3 2^2 5 2.3^2 7 2^5 3 2.5^2 11 2^2.3 13^3 2.7^2 3^2.5: 8960430011857619 / 344050
3 2^2 5 2.3^2 7 2^5 3 2.5^2 11 2^2.3 13^3 2.7^2 3^2.5: 19504460768235144 / 34405
3 2^2 5 2.3^2 7 2^5 3 2.5^2 11 2^2.3 13^3 2.7^2 3^2.5: 33728586645473365 / 34405
050867839408
367 coul(12, 13): recurse 1181, walk 15004, walkc 4261062 (4.13s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -rlog_403_13 -x586683019466
361719763403545 -f13 -b403 12 13
path log_403_13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b403 *RT*
367 coul(12, 13): recurse 1181, walk 15004, walkc 356346 (0.53s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -rlog_404_13 -x586683019466
361719763403545 -f13 -b404 12 13
path log_404_13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b404 *RT*
3 2^2.13 5 2.3^2 7 2^5 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5: 3611120552029980 / 4805
3 2^2.13 5 2.3^2 7 2^5 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5: 12960904112660233 / 480
3 2^2.13 5 2.3^2 7 2^5 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5: 27264650209590974 / 480
3 2^2.13 5 2.3^2 7 2^5 3 2.5^2 11^3 2^2.3 . 2.7^2 3^2.5: 47346399698527609 / 480
53335509626943
367 coul(12, 13): recurse 1181, walk 15004, walkc 4632261 (4.17s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -rlog_405_13 -x586683019466
361719763403545 -f13 -b405 12 13
path log_405_13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b405 *RT*
367 coul(12, 13): recurse 1181, walk 15004, walkc 356349 (0.55s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -rlog_406_13 -x586683019466
361719763403545 -f13 -b406 12 13
path log_406_13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b406 *RT*
367 coul(12, 13): recurse 1181, walk 15004, walkc 356350 (0.61s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -rlog_407_13 -x586683019466
361719763403545 -f13 -b407 12 13
path log_407_13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b407 *RT*
367 coul(12, 13): recurse 1181, walk 15004, walkc 356347 (0.61s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -rlog_408_13 -x586683019466
361719763403545 -f13 -b408 12 13
path log_408_13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b408 *RT*
367 coul(12, 13): recurse 1181, walk 15004, walkc 185 (0.30s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pcoul -rlog_409_13 -x586683019466
361719763403545 -f13 -b409 12 13
path log_409_13
001 pcoul(12 13) -f13 -x586683019466361719763403545 -b409 *RT*
3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^3 2^2.3 13 2.7^2 3^2.5: 2978293348246578 / 480533
3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^3 2^2.3 13 2.7^2 3^2.5: 11576842819385326 / 48053
3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^3 2^2.3 13 2.7^2 3^2.5: 25952309113219882 / 48053
3 2^2 5 2.3^2 7 2^5 3 2.5^2 11^3 2^2.3 13 2.7^2 3^2.5: 43702151616416204 / 48053
335509626942
367 coul(12, 13): recurse 1181, walk 15004, walkc 4632260 (4.43s)

C:\Users\boinc\Documents\pcoul_20221202\CHECK5>pause
Для продолжения нажмите любую клавишу . . .

Замечательно!
Пока повезло, всё очень быстро проверилось.

Сейчас запущу следующую порцию, побольше.

Готово!
Запустила порцию из 17 паттернов.
Проверяются.
Здесь подольше идёт проверка, но всё-таки довольно быстро, уже последний паттерн в порции проверяется.

Остаются ещё 167 паттернов с одним квадратом.
На ночь запущу порцию побольше, паттернов 30.

Проверилась порция.
Логи не показываю, много.
Файлы с логами есть.
Решений не найдено.

Запустила порцию из 40 паттернов (с одним квадратом, для 13-ок).
Началось шустро, но потом может затормозиться.
Ну, будет проверяться ночью.
К утру, надеюсь, проверится.

Двух умников прошу не нервничать, не расстраиваться, если я что-то проверяю не так, не понимаю смыслов.
Экспериментирую для себя, результаты экспериментов пусть анализируют те, кому это интересно, и кто при этом не расстраивается из-за того, что эта глупая шестиклассница делает.
Я не мешаю умникам делать всё по-умному, с полным пониманием всех смыслов.
А чтобы не расстраиваться, лучше вообще блог не читать.
Когда меня раздражали сообщения господина Никонова, я тему "Пентадекатлон мечты" не читала.
Никто ведь насильно не заставляет читать.

Опа!
Уже проверились 40 паттернов!
Решений нет.

Ещё надо порцию запускать.

Готово!
Запустила порцию из 54 паттернов: b5001-b5054 (все подряд, без пропусков).
Побежала шустро.
Если до отбоя не проверится, ночью проверится.

Фантастика!
Уже проверились 54 паттерна.
Завтра посмотрю файлы с логами, уже устала.
И запущу потом следующую порцию паттернов с одним квадратом.
Уже проверено 129 паттернов, осталось 202-129=73 паттерна.
Всего-то!
Две порции будет.

Все квадратные паттерны у меня: 328+202=530.
То есть полтысячи паттернов проверяются легко.
И дальше, конечно же, запускать надо не все паттерны, как это сделал господин Петухов, а только те, которые остались после проверки квадратных паттернов, а их осталось где-то в районе 3000 (не помню точно, сколько всего паттернов для 13-ок).
Если Hugo так и не родит, наконец, BOINC-проект, займусь тогда проверкой этих бесквадратных паттернов, и не всех сразу, а какими-то разумными порциями.

PS. Кажется, такой же расклад у господина Никонова: 296 квадратных паттернов легитимные (допустимые), 234 квадратных паттерна "лишние" (то есть вроде как исключённые математически); итого 530 паттернов, как и у меня.

Все вчерашние файлы логов просмотрела, никаких решений там нет.

Запустила порцию из 38 паттернов, от b5179 до b5530 не подряд.

Уже проверилось!
Сейчас посмотрю файлы логов.

Посмотрела, решений нет.
Осталось проверить 35 паттернов.
Сейчас запущу.

Всё!
Проверились все 202 паттерна с одним квадратом для D(12,13).
Решений не найдено.

Теперь надо выбросить все квадратные паттерны и сформировать список бесквадратных паттернов.

Сформировала список паттернов для D(12,13), которые не содержат квадратов, их получилось 3408 штук.
Покажу начало и конец списка

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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
*b20: 3 2^2.7 5.13^2 2.3^2 11^5 *2^5* 3 2.5^2 7 2^2.3 . 2 3^2.5
b21: 3 2^2.7 5 2.3^2 11^5 *2^5* 3.13^2 2.5^2 7 2^2.3 . 2 3^2.5
b22: 3 2^2.7 5 2.3^2 11^5 *2^5* 3 2.5^2 7.13^2 2^2.3 . 2 3^2.5
b23: 3 2^2.7 5 2.3^2 11^5 *2^5* 3 2.5^2 7 2^2.3 13^2 2 3^2.5
b24: 3 2^2.7 5 2.3^2 11^5 *2^5* 3 2.5^2 7 2^2.3 13^5 2 3^2.5
b25: 3 2^2.7 5 2.3^2 11^5 *2^5* 3 2.5^2 7 2^2.3 13 2 3^2.5
b26: 3 2^2.7 5 2.3^2 11^5 *2^5* 3 2.5^2 7 2^2.3 . 2.13^2 3^2.5
b27: 3.13^2 2^2.7 5 2.3^2 11 *2^5* 3 2.5^2 7 2^2.3 . 2 3^2.5
b28: 3 2^2.7 5.13^2 2.3^2 11 *2^5* 3 2.5^2 7 2^2.3 . 2 3^2.5
b29: 3 2^2.7 5 2.3^2 11.13^2 *2^5* 3 2.5^2 7 2^2.3 . 2 3^2.5
b30: 3 2^2.7 5 2.3^2 11 *2^5* 3.13^2 2.5^2 7 2^2.3 . 2 3^2.5
. . . . . . . 
b5734: 13^2 2 3 2^2.7 5 2.3^2 11 *2^5* 3 2.5^2 7^5 2^2.3 .
b5735: 13^5 2 3 2^2.7 5 2.3^2 11 *2^5* 3 2.5^2 7^5 2^2.3 .
b5736: 13 2 3 2^2.7 5 2.3^2 11 *2^5* 3 2.5^2 7^5 2^2.3 .
b5737: . 2.13^2 3 2^2.7 5 2.3^2 11 *2^5* 3 2.5^2 7^5 2^2.3 .
b5738: . 2 3.13^2 2^2.7 5 2.3^2 11 *2^5* 3 2.5^2 7^5 2^2.3 .
b5739: . 2 3 2^2.7 5.13^2 2.3^2 11 *2^5* 3 2.5^2 7^5 2^2.3 .
b5740: . 2 3 2^2.7 5 2.3^2 11.13^2 *2^5* 3 2.5^2 7^5 2^2.3 .
b5741: . 2 3 2^2.7 5 2.3^2 11 *2^5* 3.13^2 2.5^2 7^5 2^2.3 .
b5742: . 2 3 2^2.7 5 2.3^2 11 *2^5* 3 2.5^2 7^5 2^2.3 13^2
b5743: . 2 3 2^2.7 5 2.3^2 11 *2^5* 3 2.5^2 7^5 2^2.3 13^5
b5744: . 2 3 2^2.7 5 2.3^2 11 *2^5* 3 2.5^2 7^5 2^2.3 13
b5745: 13^2 2 3 2^2.7 5 2.3^2 . *2^5* 3.11^2 2.5^2 7^5 2^2.3 .
b5746: 13^5 2 3 2^2.7 5 2.3^2 . *2^5* 3.11^2 2.5^2 7^5 2^2.3 .
b5747: 13 2 3 2^2.7 5 2.3^2 . *2^5* 3.11^2 2.5^2 7^5 2^2.3 .
b5748: . 2.13^2 3 2^2.7 5 2.3^2 . *2^5* 3.11^2 2.5^2 7^5 2^2.3 .
b5749: . 2 3.13^2 2^2.7 5 2.3^2 . *2^5* 3.11^2 2.5^2 7^5 2^2.3 .
b5750: . 2 3 2^2.7 5.13^2 2.3^2 . *2^5* 3.11^2 2.5^2 7^5 2^2.3 .
b5751: . 2 3 2^2.7 5 2.3^2 13^2 *2^5* 3.11^2 2.5^2 7^5 2^2.3 .
b5752: . 2 3 2^2.7 5 2.3^2 13^5 *2^5* 3.11^2 2.5^2 7^5 2^2.3 .
b5753: . 2 3 2^2.7 5 2.3^2 13 *2^5* 3.11^2 2.5^2 7^5 2^2.3 .
b5754: . 2 3 2^2.7 5 2.3^2 . *2^5* 3.11^2 2.5^2 7^5 2^2.3 13^2
b5755: . 2 3 2^2.7 5 2.3^2 . *2^5* 3.11^2 2.5^2 7^5 2^2.3 13^5
b5756: . 2 3 2^2.7 5 2.3^2 . *2^5* 3.11^2 2.5^2 7^5 2^2.3 13

Ранее я проверила паттерн b20, поэтому он помечен звёздочкой. Этот паттерн быстро проверился, возможно, у него самый большой LCM.

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

Проверку всех паттернов для D(12,13) остановила.
Покажу логи частично

001 pcoul(12 13) -p30000000 -f13 -g10 -x586683019466361719763403545 *RT*
305 3.13^2 2^2.7 5.11^2 2.3^2 17^2 2^5 3.16017481^2 2.5^2 7.367^2 2^2.3 19^2 2 3^2.5 (580.35s)
305 3.13^2 2^2.7 5.11^2 2.3^2 17^2 2^5 3 2.5^2 7.1213^2 2^2.3 19^2 2 3^2.5: 653256 / 1854147 (1160.85s)
305 3.13^2 2^2.7 5.11^2 2.3^2 17^2 2^5 3.5574853^2 2.5^2 7.191^2 2^2.3 23^2 2 3^2.5 (1741.66s)
305 3.13^2 2^2.7 5.11^2 2.3^2 17^2 2^5 3 2.5^2 7.859^2 2^2.3 23^2 2 3^2.5: 1858776 / 2523079 (2323.15s)
305 3.13^2 2^2.7 5.11^2 2.3^2 17^2 2^5 3.29426251^2 2.5^2 7.233^2 2^2.3 29^2 2 3^2.5 (2903.13s)
305 3.13^2 2^2.7 5.11^2 2.3^2 17^2 2^5 3.97^2 2.5^2 7.19^2 2^2.3 31^2 2 3^2.5: 197902 / 301716 (3483.42s)
305 3.13^2 2^2.7 5.11^2 2.3^2 17^2 2^5 3.28312853^2 2.5^2 7.491^2 2^2.3 31^2 2 3^2.5 (4063.61s)
305 3.13^2 2^2.7 5.11^2 2.3^2 17^2 2^5 3.12999799^2 2.5^2 7.233^2 2^2.3 37^2 2 3^2.5 (4644.46s)
305 3.13^2 2^2.7 5.11^2 2.3^2 17^2 2^5 3.22726303^2 2.5^2 7.107^2 2^2.3 41^2 2 3^2.5 (5224.96s)
305 3.13^2 2^2.7 5.11^2 2.3^2 17^2 2^5 3.15298187^2 2.5^2 7.61^2 2^2.3 43^2 2 3^2.5 (5805.78s)
. . . . . . . . 
305 3.13^2 2^2.7 5.11^2 2.3^2 151^2 2^5 3.15762839^2 2.5^2 7.37^2 2^2.3 23^2 2 3^2.5 (321629.94s)
305 3.13^2 2^2.7 5.11^2 2.3^2 151^2 2^5 3.26899177^2 2.5^2 7.19^2 2^2.3 53^2 2 3^2.5 (322222.12s)
305 3.13^2 2^2.7 5.11^2 2.3^2 151^2 2^5 3 2.5^2 7.29^2 2^2.3 173^2 2 3^2.5: 394508 / 495938 (322813.57s)
305 3.13^2 2^2.7 5.11^2 2.3^2 151^2 2^5 3 2.5^2 7.1457999^2 2^2.3 709^2 2 3^2.5 (323405.78s)
305 3.13^2 2^2.7 5.11^2 2.3^2 151^2 2^5 3 2.5^2 7.25156561^2 2^2.3 1451^2 2 3^2.5 (323992.08s)
305 3.13^2 2^2.7 5.11^2 2.3^2 151^2 2^5 3 2.5^2 7 2^2.3 2777^2 2 3^2.5: 979600 / 1618695 (324578.66s)
305 3.13^2 2^2.7 5.11^2 2.3^2 157^2 2^5 3.5601641^2 2.5^2 7.43^2 2^2.3 19^2 2 3^2.5 (325165.60s)
305 3.13^2 2^2.7 5.11^2 2.3^2 157^2 2^5 3 2.5^2 7.107^2 2^2.3 41^2 2 3^2.5: 232743 / 599979 (325751.91s)
305 3.13^2 2^2.7 5.11^2 2.3^2 157^2 2^5 3.20008127^2 2.5^2 7.17^2 2^2.3 109^2 2 3^2.5 (326341.44s)
305 3.13^2 2^2.7 5.11^2 2.3^2 157^2 2^5 3 2.5^2 7.24906151^2 2^2.3 563^2 2 3^2.5 (326928.35s)
305 3.13^2 2^2.7 5.11^2 2.3^2 157^2 2^5 3 2.5^2 7.24957689^2 2^2.3 1249^2 2 3^2.5 (327513.51s)
305 3.13^2 2^2.7 5.11^2 2.3^2 157^2 2^5 3 2.5^2 7 2^2.3 2239^2 2 3^2.5: 2188303 / 2303368 (328099.90s)
305 3.13^2 2^2.7 5.11^2 2.3^2 163^2 2^5 3 2.5^2 7.233^2 2^2.3 17^2 2 3^2.5: 265690 / 682787 (328686.66s)
305 3.13^2 2^2.7 5.11^2 2.3^2 163^2 2^5 3 2.5^2 7.53^2 2^2.3 41^2 2 3^2.5: 279444 / 2268695 (329273.39s)
305 3.13^2 2^2.7 5.11^2 2.3^2 163^2 2^5 3 2.5^2 7.2584229^2 2^2.3 113^2 2 3^2.5 (329859.61s)

Почти 92 часа проверялось.
Кандидат не появился.
Видимо, порог для простых у меня слишком большой.

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

Напоминаю, как проверял господин Петухов

Полтора месяца назад запускал pcoul -p100 -x6e26 -g9 -f13 12 13, заняло два дня, нашлась известная 13-ка, и больше ничего. Паттерны при этом проверялись вообще все, не только перспективные.

У него порог для простых -p100.
Какой бы мне взять порог? Возьму -р1000.
Параметр g возьму, как у господина Петухова: -g9.

Итак, сейчас запущу порцию из 50 первых паттернов (b20 не буду выбрасывать, пусть ещё раз проверится).

Запустила.
Жду, что из этого получится.

Проверку паттерна b127 для 15-ок на черепашке остановила.
Черепашка очень этому обрадовалась :)
Показываю логи частично

001 pcoul(12 15) -p90000000 -f13 -g10 -x80215613469168729088982885848674841 -b127 *RT*
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.29^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.11185693^2 2.11 13.19^2 (584.72s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.29^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.25397353^2 2.11 13.19^2 (1176.23s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.29^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.39434207^2 2.11 13.19^2 (1743.40s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.29^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.54076003^2 2.11 13.19^2 (2320.42s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.29^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.69339857^2 2.11 13.19^2 (2910.56s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.29^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.84554801^2 2.11 13.19^2 (3495.12s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.41^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.6785279^2 2.11 13.19^2 (4082.19s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.41^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.20382029^2 2.11 13.19^2 (4667.13s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.41^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.34627979^2 2.11 13.19^2 (5251.99s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.41^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.49372907^2 2.11 13.19^2 (5834.23s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.41^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.62570843^2 2.11 13.19^2 (6356.04s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.41^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.75066209^2 2.11 13.19^2 (6855.18s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.41^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.87083453^2 2.11 13.19^2 (7331.14s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.43^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.8716853^2 2.11 13.19^2 (7910.70s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.43^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.21776891^2 2.11 13.19^2 (8480.23s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.43^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.35115499^2 2.11 13.19^2 (9041.21s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.43^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.49586249^2 2.11 13.19^2 (9624.70s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.43^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.63116659^2 2.11 13.19^2 (10169.38s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.43^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.77293471^2 2.11 13.19^2 (10730.64s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.59^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.1214459^2 2.11 13.19^2 (11324.80s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.59^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.14427599^2 2.11 13.19^2 (11918.87s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.59^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.28842701^2 2.11 13.19^2 (12513.95s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.59^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.43205741^2 2.11 13.19^2 (13092.63s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.59^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.58024567^2 2.11 13.19^2 (13683.75s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.59^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.73053091^2 2.11 13.19^2 (14275.59s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.59^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.86995627^2 2.11 13.19^2 (14827.05s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.71^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.8716061^2 2.11 13.19^2 (15402.90s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.71^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.20891993^2 2.11 13.19^2 (15926.66s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.71^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.32564671^2 2.11 13.19^2 (16413.57s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.71^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.45350191^2 2.11 13.19^2 (16936.81s)
. . . . . . . 
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.769^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.464021^2 2.11 13.19^2 (212517.45s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.769^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.12995551^2 2.11 13.19^2 (213078.04s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.769^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.26924857^2 2.11 13.19^2 (213638.52s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.769^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.41979277^2 2.11 13.19^2 (214212.20s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.769^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.57234857^2 2.11 13.19^2 (214778.98s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.769^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.72849941^2 2.11 13.19^2 (215345.00s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.769^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.88334027^2 2.11 13.19^2 (215909.90s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.773^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.11474767^2 2.11 13.19^2 (216494.93s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.773^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.25963723^2 2.11 13.19^2 (217081.53s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.773^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.41133077^2 2.11 13.19^2 (217657.73s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.773^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.56433763^2 2.11 13.19^2 (218224.08s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.773^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.72259703^2 2.11 13.19^2 (218797.10s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.773^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.88345337^2 2.11 13.19^2 (219368.88s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.797^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.11034571^2 2.11 13.19^2 (219935.75s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.797^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.25509871^2 2.11 13.19^2 (220514.17s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.797^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.40713017^2 2.11 13.19^2 (221090.38s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.797^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.56941277^2 2.11 13.19^2 (221680.03s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.797^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.73651639^2 2.11 13.19^2 (222272.55s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.821^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.138239^2 2.11 13.19^2 (222862.10s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.821^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.13894429^2 2.11 13.19^2 (223454.23s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.821^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.29050709^2 2.11 13.19^2 (224046.72s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.821^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.44989619^2 2.11 13.19^2 (224638.20s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.821^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.61140637^2 2.11 13.19^2 (225223.06s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.821^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.77641933^2 2.11 13.19^2 (225809.25s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.823^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.2927747^2 2.11 13.19^2 (226393.94s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.823^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.17036633^2 2.11 13.19^2 (226982.54s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.823^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.31939343^2 2.11 13.19^2 (227561.30s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.823^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.47658889^2 2.11 13.19^2 (228142.00s)
305 3^2.5 2.13^2 11.23^2 2^2.3 7^2 2.5^2 3.823^2 2^5 17^2 2.3^2 5.31^2 2^2.7 3.63492137^2 2.11 13.19^2 (228720.04s)

В этой проверке я пользовалась перезапуском, так как ночью черепашка не работает.
Надеюсь, что перезапуск работал корректно.
63,5 часа проверялось - до прерывания.
Похоже, господин Никонов прав: здесь и за 100 часов не проверилось бы.

Напомню: этот паттерн проверен на Ахиллесе без параметров g и p примерно за 14 часов.

Обнаружила, что раньше проверила паттерн b0 для 13-ок, проверяла с параметрами g, p и W.
Проверка выполнялась 82,5 ч.
Покажу логи частично

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b0 *RT*
305 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 W(82343029,6) (580.09s)
305 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 W(48888947,10): 105 / 118 (1154.64s)
305 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 W(34279079,11): 0 / 242 (1729.12s)
305 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 W(26339587,6): 252 / 409 (2304.73s)
305 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 W(21392659,4): 544 / 620 (2879.08s)
305 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 W(18022231,8): 326 / 875 (3452.75s)
305 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 W(15589241,8): 616 / 1170 (4026.14s)
305 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 W(13738093,11): 499 / 1507 (4600.30s)
305 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 W(12293027,11): 63 / 1882 (5173.27s)
. . . . . . . 
305 3.13^2 2^2.7 5.11^2 2.3^2 432539^2 2^5 3 2.5^2 7 2^2.3 551233^2 2 3^2.5 (289745.88s)
305 3.13^2 2^2.7 5.11^2 2.3^2 461603^2 2^5 3 2.5^2 7 2^2.3 255973^2 2 3^2.5 (290324.94s)
305 3.13^2 2^2.7 5.11^2 2.3^2 490537^2 2^5 3 2.5^2 7 2^2.3 39659^2 2 3^2.5 (290903.74s)
305 3.13^2 2^2.7 5.11^2 2.3^2 519917^2 2^5 3 2.5^2 7 2^2.3 795299^2 2 3^2.5 (291483.56s)
305 3.13^2 2^2.7 5.11^2 2.3^2 549817^2 2^5 3 2.5^2 7 2^2.3 636563^2 2 3^2.5 (292063.14s)
305 3.13^2 2^2.7 5.11^2 2.3^2 579721^2 2^5 3 2.5^2 7 2^2.3 145267^2 2 3^2.5 (292641.56s)
305 3.13^2 2^2.7 5.11^2 2.3^2 609779^2 2^5 3 2.5^2 7 2^2.3 431663^2 2 3^2.5 (293221.07s)
305 3.13^2 2^2.7 5.11^2 2.3^2 640793^2 2^5 3 2.5^2 7 2^2.3 22111^5 2 3^2.5 (293800.41s)
305 3.13^2 2^2.7 5.11^2 2.3^2 671581^2 2^5 3 2.5^2 7 2^2.3 53759^5 2 3^2.5 (294380.34s)
305 3.13^2 2^2.7 5.11^2 2.3^2 702523^2 2^5 3 2.5^2 7 2^2.3 53^2 2 3^2.5: 101 / 204 (294958.64s)
305 3.13^2 2^2.7 5.11^2 2.3^2 733559^2 2^5 3 2.5^2 7 2^2.3 159199^2 2 3^2.5 (295537.97s)
305 3.13^2 2^2.7 5.11^2 2.3^2 765587^2 2^5 3 2.5^2 7 2^2.3 410173^2 2 3^2.5 (296121.25s)
305 3.13^2 2^2.7 5.11^2 2.3^2 799873^2 2^5 3 2.5^2 7 2^2.3 379723^2 2 3^2.5 (296713.65s)
367 coul(12, 13): recurse 43626221527, walk 52849324320, walkc 181410441672 (297042.02s)

Ещё и паттерн b10 был проверен.
Показываю логи частично

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b10 *RT*
305 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 W(85771547,11): 28 / 38 (578.05s)
305 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 W(50156657,10): 5 / 112 (1153.33s)
305 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 W(34893151,11): 212 / 233 (1727.93s)
305 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 W(26696023,8): 335 / 398 (2302.40s)
305 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 W(21623419,2): 204 / 607 (2877.58s)
305 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 W(18176159,2): 529 / 861 (3451.44s)
305 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 W(15692507,2): 539 / 1155 (4026.29s)
305 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 W(13810837,8): 969 / 1491 (4601.55s)
305 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 W(12315383,6): 444 / 1876 (5177.02s)
. . . . . . 
305 3.13^2 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7.426541^2 2^2.3 552241^2 2 3^2.5 (290843.08s)
305 3.13^2 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7.43717^2 2^2.3 582247^2 2 3^2.5 (291420.87s)
305 3.13^2 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7.499391^2 2^2.3 612317^2 2 3^2.5 (291998.79s)
305 3.13^2 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7.150431^2 2^2.3 643457^2 2 3^2.5 (292576.27s)
305 3.13^2 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7.355039^2 2^2.3 673979^2 2 3^2.5 (293154.49s)
305 3.13^2 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7.213613^2 2^2.3 704761^2 2 3^2.5 (293731.16s)
305 3.13^2 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7.257281^2 2^2.3 735533^2 2 3^2.5 (294309.71s)
305 3.13^2 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7.20477^5 2^2.3 766937^2 2 3^2.5 (294886.66s)
305 3.13^2 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7.123979^2 2^2.3 798139^2 2 3^2.5 (295464.77s)
367 coul(12, 13): recurse 42792633411, walk 53206387018, walkc 181310239675 (295845.74s)

А теперь вспомним проверку паттерна b4243 для 13-ок

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 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)

Проверка выполнялась 25 часов.
Текущая минимальная 13-ка найдена.

ВНИМАНИЕ !
Экспериментик.
Сейчас сделаю эту же проверку, но с порогом для простых -p1000 и параметром -g9. Параметр W не задействован.

Результат эксперимента

001 pcoul(12 13) -p1000 -f13 -g9 -x586683019466361719763403545 -b4243 *RT*
305 3^2.5 2.127^2 23^2 2^2.3 7^2 2.5^2 3.109^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.151^2: 10 / 17 (578.75s)
202 Candidate 586683019466361719763403545 (801.70s)
305 3^2.5 2.43^2 47^2 2^2.3 7^2 2.5^2 3.37^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.53^2: 604 / 2588 (1157.46s)
305 3^2.5 2.37^2 131^2 2^2.3 7^2 2.5^2 3.19^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.97^2: 204 / 508 (1736.85s)
305 3^2.5 2.797^2 461^2 2^2.3 7^2 2.5^2 3.19^2 2^5 11^2 2.3^2 5.13^2 2^2.7 3.761^2 (2316.76s)
367 coul(12, 13): recurse 204194774, walk 407117867, walkc 1615283175 (2662.89s)
200 f(12, 13) = 586683019466361719763403545 (2662.89s)

Замечательно!

Репост

Паттерны второго пакета с одним квадратом для D(12,14)

b477 - проверен
b478 - проверен
b533 - проверен
b534 - в процессе
b535 
b536 
b1356 
b1357 
b1358 
b1359 
b1425 
b1426
b1427 
b1477
b1478 

____________________________________________
конец репоста

Проверился паттерн b534.
Показываю логи частично

001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b534 *RT*
305 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 488235105884483028331 / 10492122409861488258136021 (578.59s)
305 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 1940961365030176725700 / 10492122409861488258136021 (1156.26s)
305 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 4365825483789035225283 / 10492122409861488258136021 (1734.70s)
305 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 7778897462309361607437 / 10492122409861488258136021 (2314.62s)
305 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 12137934039747895785072 / 10492122409861488258136021 (2893.91s)
305 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 17492824625134056353251 / 10492122409861488258136021 (3476.75s)
305 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 23867023877463675430890 / 10492122409861488258136021 (4059.33s)
305 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 31234807116256943876186 / 10492122409861488258136021 (4641.93s)
. . . . . . 
305 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 9647672644127011663530517 / 10492122409861488258136021 (80468.17s)
305 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 9787041201039252789366235 / 10492122409861488258136021 (81049.24s)
305 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 9927518386675886394206058 / 10492122409861488258136021 (81630.02s)
305 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 10069181630683589644534113 / 10492122409861488258136021 (82212.35s)
305 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 10211643368097702925276665 / 10492122409861488258136021 (82794.38s)
305 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 10346165689792652787289414 / 10492122409861488258136021 (83369.21s)
305 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 10478548179050967922159702 / 10492122409861488258136021 (83941.88s)
367 coul(12, 14): recurse 633, walk 8229, walkc 71031833986 (84000.75s)

Теперь состояние проверки

b477 - проверен
b478 - проверен
b533 - проверен
b534 - проверен
b535 - в процессе 
b536 
b1356 
b1357 
b1358 
b1359 
b1425 
b1426
b1427 
b1477
b1478 

В порции из 50 паттернов для D(12,13) проверился один паттерн - b0

001 pcoul(12 13) -p1000 -f13 -g9 -x586683019466361719763403545 -b0 *RT*
305 3.13^2 2^2.7 5.11^2 2.3^2 23^2 2^5 3.241^2 2.5^2 7.113^2 2^2.3 59^2 2.661^2 3^2.5 (584.07s)
305 3.13^2 2^2.7 5.11^2 2.3^2 37^2 2^5 3.59^2 2.5^2 7.73^2 2^2.3 181^2 2.379^2 3^2.5 (1167.09s)
305 3.13^2 2^2.7 5.11^2 2.3^2 59^2 2^5 3.43^2 2.5^2 7.257^2 2^2.3 71^2 2.967^5 3^2.5 (1749.91s)
305 3.13^2 2^2.7 5.11^2 2.3^2 89^2 2^5 3.401^2 2.5^2 7.23^2 2^2.3 43^2 2.457^2 3^2.5 (2333.04s)
305 3.13^2 2^2.7 5.11^2 2.3^2 139^2 2^5 3.593^2 2.5^2 7.17^2 2^2.3 193^2 2 3^2.5 (2919.76s)
305 3.13^2 2^2.7 5.11^2 2.3^2 229^2 2^5 3.523^2 2.5^2 7.521^2 2^2.3 331^2 2 3^2.5 (3506.79s)
305 3.13^2 2^2.7 5.11^2 2.3^2 373^2 2^5 3.19^2 2.5^2 7.17^2 2^2.3 131^2 2.719^2 3^2.5 (4087.35s)
305 3.13^2 2^2.7 5.11^2 2.3^2 601^2 2^5 3.83^2 2.5^2 7.71^2 2^2.3 107^2 2 3^2.5: 0 / 0 (4664.73s)
305 3.13^2 2^2.7 5.11^2 2.3^2 983^2 2^5 3.227^2 2.5^2 7.233^2 2^2.3 19^2 2 3^2.5 (5244.07s)
367 coul(12, 13): recurse 846429775, walk 1687441501, walkc 574057383 (5292.41s)

Ну вот, с порогом -р1000 вполне приемлемое время проверки.
Однако проверка не полная.
Надежда на то, что повезёт и найдётся меньшая цепочка.
Пусть проверяется эта порция.

PS. Сравните с моей давней проверкой паттерна b0

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b0 *RT*
. . . . . . 
367 coul(12, 13): recurse 43626221527, walk 52849324320, walkc 181410441672 (297042.02s)

Небо и земля!
Видимо, параметры я тогда задала совсем неправильно.

И ещё два паттерна проверились из 50 паттернов для 13-ок

001 pcoul(12 13) -p1000 -f13 -g9 -x586683019466361719763403545 -b1 *RT*
305 3.199^2 2^2.7 5.11^2 2.3^2 13^2 2^5 3.79^2 2.5^2 7.29^2 2^2.3 23^2 2.103^5 3^2.5 (577.97s)
305 3.607^2 2^2.7 5.11^2 2.3^2 13^2 2^5 3.19^2 2.5^2 7.23^2 2^2.3 37^2 2.787^2 3^2.5 (1155.62s)
305 3.397^2 2^2.7 5.11^2 2.3^2 13^2 2^5 3.823^5 2.5^2 7.401^2 2^2.3 53^2 2 3^2.5 (1741.33s)
305 3.17^2 2^2.7 5.11^2 2.3^2 13^2 2^5 3.47^2 2.5^2 7.139^2 2^2.3 83^2 2.31^5 3^2.5 (2327.10s)
305 3.991^2 2^2.7 5.11^2 2.3^2 13^2 2^5 3.383^2 2.5^2 7.167^2 2^2.3 137^2 2 3^2.5 (2912.79s)
305 3.887^2 2^2.7 5.11^2 2.3^2 13^2 2^5 3.863^5 2.5^2 7.47^2 2^2.3 227^2 2 3^2.5 (3498.43s)
305 3.19^2 2^2.7 5.11^2 2.3^2 13^2 2^5 3.929^2 2.5^2 7.41^2 2^2.3 373^2 2 3^2.5: 0 / 3 (4084.65s)
305 3.947^2 2^2.7 5.11^2 2.3^2 13^2 2^5 3.953^2 2.5^2 7.43^2 2^2.3 619^2 2 3^2.5 (4671.32s)
367 coul(12, 13): recurse 842866149, walk 1680423897, walkc 571892219 (5208.14s)

001 pcoul(12 13) -p1000 -f13 -g9 -x586683019466361719763403545 -b2 *RT*
367 coul(12, 13): recurse 22089174, walk 44051936, walkc 13816888 (137.06s)

Очевидно, что время сильно разное у этих паттернов.
Наверное, сильно разные у них LCM.

Проверяется паттерн b3.

А вот и он

001 pcoul(12 13) -p1000 -f13 -g9 -x586683019466361719763403545 -b3 *RT*
305 3.523^2 2^2.7 5.11^2 2.3^2 13.179^2 2^5 3.251^5 2.5^2 7.41^2 2^2.3 17^2 2 3^2.5 (582.18s)
305 3.317^2 2^2.7 5.11^2 2.3^2 13.41^2 2^5 3.109^2 2.5^2 7.53^2 2^2.3 19^2 2 3^2.5: 0 / 1 (1166.70s)
305 3.17^2 2^2.7 5.11^2 2.3^2 13.491^2 2^5 3.31^2 2.5^2 7.23^2 2^2.3 19^2 2.61^2 3^2.5 (1750.89s)
305 3.809^2 2^2.7 5.11^2 2.3^2 13.157^2 2^5 3.199^5 2.5^2 7.53^2 2^2.3 23^2 2 3^2.5 (2335.34s)
305 3.293^2 2^2.7 5.11^2 2.3^2 13.73^2 2^5 3.431^2 2.5^2 7.43^2 2^2.3 29^2 2 3^2.5 (2919.78s)
305 3.53^2 2^2.7 5.11^2 2.3^2 13.59^2 2^5 3.419^2 2.5^2 7.17^2 2^2.3 31^2 2 3^2.5: 0 / 7 (3504.39s)
305 3.197^2 2^2.7 5.11^2 2.3^2 13.53^2 2^5 3.911^2 2.5^2 7.457^2 2^2.3 37^2 2 3^2.5 (4089.39s)
. . . . . . . . . . . .
305 3.461^5 2^2.7 5.11^2 2.3^2 13.449^2 2^5 3 2.5^2 7.197^2 2^2.3 463^2 2 3^2.5 (15190.71s)
305 3.227^2 2^2.7 5.11^2 2.3^2 13.47^2 2^5 3.733^2 2.5^2 7.17^2 2^2.3 563^2 2 3^2.5 (15773.26s)
305 3.149^5 2^2.7 5.11^2 2.3^2 13.953^2 2^5 3 2.5^2 7.61^2 2^2.3 643^2 2 3^2.5 (16356.10s)
305 3.107^5 2^2.7 5.11^2 2.3^2 13.659^2 2^5 3 2.5^2 7.73^2 2^2.3 757^2 2 3^2.5 (16939.04s)
305 3 2^2.7 5.11^2 2.3^2 13.509^2 2^5 3 2.5^2 7.647^2 2^2.3 887^2 2 3^2.5 (17521.74s)
367 coul(12, 13): recurse 2907928865, walk 5797477478, walkc 1809299421 (17954.19s)

Пока не везёт :)
Цепочек нет.

Господа!
Хотите пощекотать госпожу Удачу? :)
Запускайте следующие 50 паттернов по моему сценарию.
А можно и поднять порог для простых, у меня он -р1000.
Но тогда увеличится и время проверки.
Зато могут увеличиться и шансы на новую минимальную 13-ку.

Ой, а мыльная опера "Пентадекатлон мечты" что-то совсем заглохла :)
Наверное, новогодние каникулы.

Паттерн b4 готов!

001 pcoul(12 13) -p1000 -f13 -g9 -x586683019466361719763403545 -b4 *RT*
305 3.41^2 2^2.7 5.11^2 2.3^2 23^2 2^5 3.13^2 2.5^2 7.647^2 2^2.3 61^2 2.307^5 3^2.5 (586.69s)
305 3.53^2 2^2.7 5.11^2 2.3^2 37^2 2^5 3.13^2 2.5^2 7.61^2 2^2.3 311^2 2.223^5 3^2.5 (1173.03s)
305 3.197^5 2^2.7 5.11^2 2.3^2 59^2 2^5 3.13^2 2.5^2 7.173^2 2^2.3 277^2 2 3^2.5 (1759.71s)
305 3.937^2 2^2.7 5.11^2 2.3^2 89^2 2^5 3.13^2 2.5^2 7.263^2 2^2.3 863^2 2 3^2.5 (2346.24s)
305 3.17^2 2^2.7 5.11^2 2.3^2 149^2 2^5 3.13^2 2.5^2 7.19^2 2^2.3 983^2 2.631^5 3^2.5 (2932.94s)
305 3.79^2 2^2.7 5.11^2 2.3^2 241^2 2^5 3.13^2 2.5^2 7.97^2 2^2.3 157^2 2 3^2.5: 2 / 2 (3519.40s)
305 3.239^2 2^2.7 5.11^2 2.3^2 421^2 2^5 3.13^2 2.5^2 7.19^2 2^2.3 17^2 2.431^2 3^2.5 (4106.40s)
305 3.883^5 2^2.7 5.11^2 2.3^2 727^2 2^5 3.13^2 2.5^2 7.449^2 2^2.3 79^2 2 3^2.5 (4702.56s)
367 coul(12, 13): recurse 846429775, walk 1687441501, walkc 574050722 (5060.39s)

Ещё три паттерна проверены!

001 pcoul(12 13) -p1000 -f13 -g9 -x586683019466361719763403545 -b5 *RT*
305 3.197^2 2^2.7 5.11^2 2.3^2 23^2 2^5 3.41^2 2.5^2 7.13^2 2^2.3 61^2 2.43^2 3^2.5: 0 / 0 (586.61s)
305 3.23^2 2^2.7 5.11^2 2.3^2 37^2 2^5 3.41^2 2.5^2 7.13^2 2^2.3 269^2 2.47^2 3^2.5: 0 / 0 (1173.10s)
305 3.37^2 2^2.7 5.11^2 2.3^2 61^2 2^5 3.479^2 2.5^2 7.13^2 2^2.3 17^2 2.809^2 3^2.5 (1760.32s)
305 3.127^2 2^2.7 5.11^2 2.3^2 101^2 2^5 3.199^2 2.5^2 7.13^2 2^2.3 17^2 2.991^5 3^2.5 (2348.25s)
305 3.53^2 2^2.7 5.11^2 2.3^2 163^2 2^5 3.31^2 2.5^2 7.13^2 2^2.3 127^2 2.509^5 3^2.5 (2936.09s)
305 3.53^2 2^2.7 5.11^2 2.3^2 269^2 2^5 3.19^2 2.5^2 7.13^2 2^2.3 43^2 2.929^2 3^2.5 (3522.52s)
305 3.43^2 2^2.7 5.11^2 2.3^2 443^2 2^5 3.283^5 2.5^2 7.13^2 2^2.3 617^2 2 3^2.5 (4109.46s)
305 3.127^2 2^2.7 5.11^2 2.3^2 757^2 2^5 3.569^5 2.5^2 7.13^2 2^2.3 53^2 2 3^2.5 (4696.07s)
367 coul(12, 13): recurse 846429775, walk 1687441501, walkc 574034700 (5018.86s)

001 pcoul(12 13) -p1000 -f13 -g9 -x586683019466361719763403545 -b6 *RT*
305 3.107^2 2^2.7 5.11^2 2.3^2 23^2 2^5 3.61^2 2.5^2 7.59^2 2^2.3 13^2 2.503^5 3^2.5 (586.63s)
305 3.29^2 2^2.7 5.11^2 2.3^2 37^2 2^5 3.233^2 2.5^2 7.239^2 2^2.3 13^2 2 3^2.5: 75 / 79 (1173.20s)
305 3.379^2 2^2.7 5.11^2 2.3^2 59^2 2^5 3.643^2 2.5^2 7.163^2 2^2.3 13^2 2 3^2.5 (1759.96s)
305 3.587^2 2^2.7 5.11^2 2.3^2 89^2 2^5 3.311^2 2.5^2 7.241^2 2^2.3 13^2 2 3^2.5 (2345.72s)
305 3.19^2 2^2.7 5.11^2 2.3^2 149^2 2^5 3.269^2 2.5^2 7.53^2 2^2.3 13^2 2.571^2 3^2.5 (2931.20s)
305 3.181^2 2^2.7 5.11^2 2.3^2 239^2 2^5 3.43^2 2.5^2 7.17^2 2^2.3 13^2 2.419^2 3^2.5 (3516.54s)
305 3.107^2 2^2.7 5.11^2 2.3^2 397^2 2^5 3.971^5 2.5^2 7.109^2 2^2.3 13^2 2 3^2.5 (4102.03s)
305 3.31^2 2^2.7 5.11^2 2.3^2 659^2 2^5 3.283^5 2.5^2 7.613^2 2^2.3 13^2 2 3^2.5 (4687.38s)
367 coul(12, 13): recurse 842866149, walk 1680423897, walkc 571895861 (5148.86s)

001 pcoul(12 13) -p1000 -f13 -g9 -x586683019466361719763403545 -b7 *RT*
367 coul(12, 13): recurse 22089174, walk 44051936, walkc 13816921 (136.28s)

Хорошо идёт проверка.
Только... минимизация цепочки пока совсем не идёт :)

Интересно, сколько паттернов Ахиллес за ночь нащёлкает?

Репост

Паттерны первого пакета с одним квадратом для D(12,14)

b229 - проверен
b238 - проверен
b248 - проверен
b249 - проверен
b250 - проверен
b251 - проверен
b252 - проверен
b253 - проверен
b254 - проверен
b255 - проверен
b401 - проверен
b402 - в процессе
b403
b404
b476  

____________________________________
конец репоста

Наконец-то, проверился паттерн b402.
Показываю логи частично

001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b402 *RT*
305 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 198985702258501454329 / 19485370189742763907966897 (581.15s)
305 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 792392509660402280949 / 19485370189742763907966897 (1162.64s)
305 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 1780842524937385151002 / 19485370189742763907966897 (1743.39s)
305 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 3168626728971501023058 / 19485370189742763907966897 (2324.49s)
305 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 4954415697645698470564 / 19485370189742763907966897 (2905.22s)
305 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 7128286973469273284972 / 19485370189742763907966897 (3485.90s)
305 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 9709467400495178510939 / 19485370189742763907966897 (4066.85s)
. . . . . . . . 
305 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 18467185130818826838405677 / 19485370189742763907966897 (174534.29s)
305 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 18589849558325889575119050 / 19485370189742763907966897 (175112.70s)
305 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 18712901512377351347318084 / 19485370189742763907966897 (175691.06s)
305 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 18836427165557637606643666 / 19485370189742763907966897 (176269.62s)
305 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 18960088904154972384450461 / 19485370189742763907966897 (176848.29s)
305 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 19084031823082610408362764 / 19485370189742763907966897 (177427.19s)
305 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 19208653290996201384268613 / 19485370189742763907966897 (178006.28s)
305 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 19334093114575771908066229 / 19485370189742763907966897 (178587.76s)
305 2 11 2^2.3 7^2.13 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 19459637952938233349648943 / 19485370189742763907966897 (179167.74s)
367 coul(12, 14): recurse 633, walk 8229, walkc 131916263099 (179286.82s)

Почти 50 часов проверялся!

Теперь состояние проверки в этом пакете

b229 - проверен
b238 - проверен
b248 - проверен
b249 - проверен
b250 - проверен
b251 - проверен
b252 - проверен
b253 - проверен
b254 - проверен
b255 - проверен
b401 - проверен
b402 - проверен
b403 - в процессе
b404
b476  

Осталось всего три паттерна.

Последнее сообщение в теме "Tomáš Brada Experimental Grid" я сделала 29 декабря прошлого года
https://www.rechenkraft.net/forum/viewtopic.php?p=193206#p193206

Неделя прошла.
Вебер ничего не пишет.
Для чего я столько времени потратила, отвечая на кучу его вопросов?
Пока неясно.
Мог бы уже хоть что-то написать: будет работать над запуском BOINC-проекта или не будет.
В общем, жду.
Авось, проснётся и что-то скажет.
Но уже давно предположила, что скажет он примерно следующее: "Надо написать готовое Приложение для BOINC, тогда мы его разместим на платформе yoyo@home".
Уже проходила это :)

Цитата

b229 - проверен
b238 - проверен
b248 - проверен
b249 - проверен
b250 - проверен
b251 - проверен
b252 - проверен
b253 - проверен
b254 - проверен
b255 - проверен
b401 - проверен
b402 - проверен
b403 - в процессе
b404
b476  

Ура!
Первый пакет завершён.
Покажу логи последних трёх паттернов.

001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b403 *RT*
305 2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 2605577326404439311493 / 1498874629980212608305144 (581.29s)
305 2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 10453382662825599660560 / 1498874629980212608305144 (1162.58s)
305 2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 23570825128698423552755 / 1498874629980212608305144 (1743.11s)
. . . . . . . 
305 2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 1186820509347400444690197 / 1498874629980212608305144 (12249.10s)
305 2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 1305070207043656169563664 / 1498874629980212608305144 (12836.84s)
305 2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 1429100454128509986275847 / 1498874629980212608305144 (13424.45s)
367 coul(12, 14): recurse 633, walk 8229, walkc 10147404869 (13745.81s)

001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b404 *RT*
305 2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3.13^2 2.11 .: 2730160261282874649162 / 1498874629980212608305145 (587.64s)
305 2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3.13^2 2.11 .: 10943117695898678752329 / 1498874629980212608305145 (1175.20s)
305 2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3.13^2 2.11 .: 24715646781477813979150 / 1498874629980212608305145 (1762.92s)
305 2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3.13^2 2.11 .: 44034768554799893918453 / 1498874629980212608305145 (2350.47s)
305 2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3.13^2 2.11 .: 69036427890317077087215 / 1498874629980212608305145 (2938.09s)
. . . . . . . 
305 2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3.13^2 2.11 .: 1121893044962937986628869 / 1498874629980212608305145 (11751.17s)
305 2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3.13^2 2.11 .: 1237624886549092120636644 / 1498874629980212608305145 (12338.46s)
305 2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3.13^2 2.11 .: 1359297693635541818271332 / 1498874629980212608305145 (12925.93s)
305 2 11 2^2.3 7^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3.13^2 2.11 .: 1485946224953185240576793 / 1498874629980212608305145 (13513.63s)
367 coul(12, 14): recurse 633, walk 8229, walkc 10147404869 (13571.96s)

001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b476 *RT*
367 coul(12, 14): recurse 633, walk 8229, walkc 29584287 (39.70s)

Можно запускать третий (и последний в этой парадигме) пакет.

Цитата

Теперь состояние проверки

b477 - проверен
b478 - проверен
b533 - проверен
b534 - проверен
b535 - в процессе 
b536 
b1356 
b1357 
b1358 
b1359 
b1425 
b1426
b1427 
b1477
b1478 

Это второй пакет паттернов с одним квадратом для D(12,14).

Проверен паттерн b535

001 pcoul(12 14) -f13 -x1966089440441196672524986345512345 -b535 *RT*
305 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 413216383007069432633 / 10492122409861488258136020 (572.90s)
305 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 1649040053811734165550 / 10492122409861488258136020 (1143.49s)
305 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 3761978675764504240520 / 10492122409861488258136020 (1716.21s)
305 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 6962574260013802663686 / 10492122409861488258136020 (2293.82s)
305 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 11145419404564981347912 / 10492122409861488258136020 (2871.45s)
305 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 16274220966743246439976 / 10492122409861488258136020 (3448.45s)
. . . . . . . . . 
305 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 9815035523282379188866651 / 10492122409861488258136020 (79938.86s)
305 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 9974700154218637219786087 / 10492122409861488258136020 (80528.45s)
305 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 10134562390509775489910855 / 10492122409861488258136020 (81116.34s)
305 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 10296166377072790085729266 / 10492122409861488258136020 (81704.07s)
305 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 10459343930972601198649954 / 10492122409861488258136020 (82291.63s)
367 coul(12, 14): recurse 633, walk 8229, walkc 71031833985 (82409.02s)

Теперь состояние проверки

b477 - проверен
b478 - проверен
b533 - проверен
b534 - проверен
b535 - проверен 
b536 - в процессе
b1356 
b1357 
b1358 
b1359 
b1425 
b1426
b1427 
b1477
b1478