Ещё один паттерн отстрелялся - b628.
Показываю частично логи

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b628 *RT*
305 . 2 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: 308660228796468582678 / 6570205135049976349324858 (599.09s)
305 . 2 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: 1207730732155649499861 / 6570205135049976349324858 (1197.30s)
305 . 2 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: 2666432962931769768612 / 6570205135049976349324858 (1796.28s)
305 . 2 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: 4685814147899000640794 / 6570205135049976349324858 (2395.45s)
305 . 2 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: 7262909078948651570262 / 6570205135049976349324858 (2994.23s)
305 . 2 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: 10406273247804615390547 / 6570205135049976349324858 (3593.26s)
305 . 2 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: 14102171402548256713363 / 6570205135049976349324858 (4191.91s)
305 . 2 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: 18370482671776755135767 / 6570205135049976349324858 (4790.77s)
. . . . . . . . . . . 
305 . 2 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: 5846224189557709035881076 / 6570205135049976349324858 (82108.09s)
305 . 2 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: 5929492301751073780784072 / 6570205135049976349324858 (82706.78s)
305 . 2 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: 6013611775124310949124720 / 6570205135049976349324858 (83305.51s)
305 . 2 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: 6097387939526429209439886 / 6570205135049976349324858 (83903.26s)
305 . 2 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: 6182260591845066657836388 / 6570205135049976349324858 (84501.92s)
305 . 2 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: 6267689037613854692323836 / 6570205135049976349324858 (85100.64s)
305 . 2 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: 6353716349007539846481509 / 6570205135049976349324858 (85698.88s)
305 . 2 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: 6441227828438785516942334 / 6570205135049976349324858 (86297.45s)
305 . 2 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: 6528499596066561136742473 / 6570205135049976349324858 (86896.20s)
367 coul(12, 15): recurse 280, walk 3786, walkc 54164966206 (87176.39s)

Осталось 4 долгоиграющих паттерна: b248-b251.

Проверка паттернов с одним квадратом для D(12,15) завершается.
Не найдено ни одной цепочки!

Для 13-ок проверился паттерн b133 с LCM=7214407200.
Показываю частично логи

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b133 *RT*
305 3 2^2 5 2.3^2 . 2^5 3.7^2 2.5^2 11^2 2^2.3 13^2 2 3^2.5 W(19426133,2): 54 / 107 (587.23s)
305 3 2^2 5 2.3^2 . 2^5 3.7^2 2.5^2 11^2 2^2.3 13^2 2 3^2.5 W(8246993,2): 524 / 597 (1171.02s)
305 3 2^2 5 2.3^2 . 2^5 3.7^2 2.5^2 11^2 2^2.3 13^2 2 3^2.5 W(5238853,4): 495 / 1480 (1753.65s)
305 3 2^2 5 2.3^2 . 2^5 3.7^2 2.5^2 11^2 2^2.3 13^2 2 3^2.5 W(3851303,4): 1166 / 2741 (2336.38s)
. . . . . . . . . 
305 3 2^2 5 2.3^2 . 2^5 3.7^2 2.5^2 11^2 2^2.3 13^2 2 3^2.5 W(908503,0): 16807 / 49262 (9904.36s)
305 3 2^2 5 2.3^2 . 2^5 3.7^2 2.5^2 11^2 2^2.3 13^2 2 3^2.5 W(859823,4): 33398 / 54998 (10486.59s)
305 3 2^2 5 2.3^2 . 2^5 3.7^2 2.5^2 11^2 2^2.3 13^2 2 3^2.5 W(816163,4): 56777 / 61040 (11068.77s)
305 3.857^2 2^2 5.31^2 2.3^2 17^2 2^5 3.7^2 2.5^2 11^2 2^2.3 13^2 2.567533^2 3^2.5 (11650.95s)
305 3.467^2 2^2 5.101^2 2.3^2 17^2 2^5 3.7^2 2.5^2 11^2 2^2.3 13^2 2 3^2.5: 28819 / 63240 (12233.52s)
305 3.107^2 2^2 5.389^2 2.3^2 17^2 2^5 3.7^2 2.5^2 11^2 2^2.3 13^2 2.23^2 3^2.5: 133 / 153 (12815.36s)
305 3.504967^2 2^2 5.3001^2 2.3^2 17^2 2^5 3.7^2 2.5^2 11^2 2^2.3 13^2 2 3^2.5 (13397.55s)
305 3.678721^2 2^2 5.24373^2 2.3^2 17^2 2^5 3.7^2 2.5^2 11^2 2^2.3 13^2 2 3^2.5 (13979.84s)
305 3 2^2 5.424433^2 2.3^2 17^2 2^5 3.7^2 2.5^2 11^2 2^2.3 13^2 2 3^2.5: 355 / 780 (14561.87s)
305 3.499^2 2^2 5.53^2 2.3^2 19^2 2^5 3.7^2 2.5^2 11^2 2^2.3 13^2 2.418511^2 3^2.5 (15144.12s)
305 3.283^2 2^2 5.199^2 2.3^2 19^2 2^5 3.7^2 2.5^2 11^2 2^2.3 13^2 2 3^2.5: 1690 / 35512 (15726.54s)
305 3.37^2 2^2 5.1181^2 2.3^2 19^2 2^5 3.7^2 2.5^2 11^2 2^2.3 13^2 2 3^2.5: 31400 / 58986 (16308.61s)
. . . . . . . . . . 
305 3 2^2 5.61141^5 2.3^2 616243^2 2^5 3.7^2 2.5^2 11^2 2^2.3 13^2 2 3^2.5 (85837.02s)
305 3 2^2 5.306457^2 2.3^2 651863^2 2^5 3.7^2 2.5^2 11^2 2^2.3 13^2 2 3^2.5 (86432.96s)
305 3 2^2 5.246539^2 2.3^2 686437^2 2^5 3.7^2 2.5^2 11^2 2^2.3 13^2 2 3^2.5 (87018.43s)
305 3 2^2 5 2.3^2 745757^2 2^5 3.7^2 2.5^2 11^2 2^2.3 13^2 2 3^2.5: 14995 / 73109 (87610.94s)
367 coul(12, 13): recurse 16500939957, walk 20787965151, walkc 34985407061 (87938.93s)

Запущен паттерн b167.

Состояние проверки паттернов этой группы

b98:,7214407200 - проверен
b101:,7214407200 - в проверке 
b129:,7214407200 - в проверке
b133:,7214407200 - проверен
b167:,7214407200 - в проверке

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

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

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b101 *RT*
305 3 2^2 5 2.3^2 11^2 2^5 3.7^2 2.5^2 . 2^2.3 13^2 2 3^2.5 W(45299671,11) (599.09s)
305 3 2^2 5 2.3^2 11^2 2^5 3.7^2 2.5^2 . 2^2.3 13^2 2 3^2.5 W(16428679,0): 115 / 150 (1198.20s)
305 3 2^2 5 2.3^2 11^2 2^5 3.7^2 2.5^2 . 2^2.3 13^2 2 3^2.5 W(9755573,8): 133 / 427 (1797.30s)
305 3 2^2 5 2.3^2 11^2 2^5 3.7^2 2.5^2 . 2^2.3 13^2 2 3^2.5 W(6921319,8): 118 / 848 (2396.09s)
. . . . . . . . . . 
305 3 2^2 5 2.3^2 11^2 2^5 3.7^2 2.5^2 . 2^2.3 13^2 2 3^2.5 W(868867,2): 24683 / 53859 (18574.45s)
305 3 2^2 5 2.3^2 11^2 2^5 3.7^2 2.5^2 . 2^2.3 13^2 2 3^2.5 W(843379,8): 54756 / 57163 (19173.41s)
305 3 2^2 5 2.3^2 11^2 2^5 3.7^2 2.5^2 . 2^2.3 13^2 2 3^2.5 W(819593,2): 16593 / 60530 (19772.38s)
305 3.347^2 2^2 5.19^2 2.3^2 11^2 2^5 3.7^2 2.5^2 17^2 2^2.3 13^2 2.145759^2 3^2.5 (20370.74s)
305 3.6379^2 2^2 5.31^2 2.3^2 11^2 2^5 3.7^2 2.5^2 17^2 2^2.3 13^2 2 3^2.5: 1687 / 3597 (20969.06s)
305 3.467^2 2^2 5.61^2 2.3^2 11^2 2^5 3.7^2 2.5^2 17^2 2^2.3 13^2 2.331883^2 3^2.5 (21567.92s)
305 3.109^2 2^2 5.127^2 2.3^2 11^2 2^5 3.7^2 2.5^2 17^2 2^2.3 13^2 2.632669^2 3^2.5 (22166.75s)
305 3.89^2 2^2 5.269^2 2.3^2 11^2 2^5 3.7^2 2.5^2 17^2 2^2.3 13^2 2.33461^5 3^2.5 (22765.44s)
. . . . . . . . . . . 
305 3 2^2 5.365933^2 2.3^2 11^2 2^5 3.7^2 2.5^2 675151^2 2^2.3 13^2 2 3^2.5 (157592.09s)
305 3 2^2 5.80747^2 2.3^2 11^2 2^5 3.7^2 2.5^2 694559^2 2^2.3 13^2 2 3^2.5 (158192.09s)
305 3 2^2 5 2.3^2 11^2 2^5 3.7^2 2.5^2 717449^2 2^2.3 13^2 2 3^2.5: 4346 / 78992 (158792.09s)
305 3.587417^2 2^2 5.41^2 2.3^2 11^2 2^5 3.7^2 2.5^2 17^5 2^2.3 13^2 2 3^2.5 (159392.09s)
367 coul(12, 13): recurse 16500939957, walk 20787965151, walkc 34985409047 (159588.91s)

Запущен паттерн b170.

Состояние проверки паттернов этой группы

b98:,7214407200 - проверен
b101:,7214407200 - проверен 
b129:,7214407200 - в проверке
b133:,7214407200 - проверен
b167:,7214407200 - в проверке
b170:,7214407200 - в проверке

Цитата

Осталось 4 долгоиграющих паттерна: b248-b251.

Завязли. Вряд ли и сегодня завершатся.
Это 15-ки с одним квадратом.

Что у нас в мыльной опере "Пентадекатлон мечты"?
Как всегда, два сапога умника бодаются :)
Кстати, автор темы и он же автор проекта не был в теме с незапамятных времён.
Он, похоже, как пел Высоцкий: "себе уже всё доказал" :)))

Интересный аргумент господина Петухова
https://dxdy.ru/post1577809.html#p1577809

В четвёртых, результаты работы моих программ Хуго так и не принимаются, так что никакого смысла их писать и нет.

На что господин Никонов ответил

А причём тут принимаются результаты Хьюго или нет?

https://dxdy.ru/post1577824.html#p1577824

В самом деле!
СлабО выполнить независимый эксперимент по доказательству минимальности 13-ки?
Без Hugo и без его программы pcoul.

Вот сделал господин Петухов супер-пупер-программу, начал проверку паттернов для 13-ок, лихо так начал.
Проверил паттерны с самыми большими шагами (кажется, 7 шагов) и ... дальше затык?
Супер-пупер-программа дальше не работает?
Так надо написать такую супер-пупер-программу, которая и дальше будет работать.
Ту самую - с Асм, которую так ждёт господин Никонов.
И нечего снова поворачиваться в сторону программы pcoul, потому что это уже не будет независимый эксперимент.

PS. А вот интересно: как правильно пишется имя Hugo по-русски?
Хуго (как у господина Петухова) или Хьюго (как у господина Никонова)?

Чтобы не перевирать имя, я предпочитаю писать его так, как пишет носитель имени.
А уж если писать по-русски, то надо определиться, какой вариант перевода (транслитерации) правильный.
Иностранцы, к примеру, часто пишут моё имя не по-русски, но они при этом никогда его не перевирают.
Добавлю: в отличие от русских, которые часто пишут моё имя по-русски неправильно.
Есть такой персонаж на dxdy.ru, который знает меня ещё по форуму ПЕН (примерно 10 лет), но так и не усвоил правильное написание моего имени.

Цитата

Состояние проверки паттернов этой группы

b98:,7214407200 - проверен
b101:,7214407200 - проверен
b129:,7214407200 - в проверке
b133:,7214407200 - проверен
b167:,7214407200 - в проверке
b170:,7214407200 - в проверке

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

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b129 *RT*
305 3 2^2 5 2.3^2 13^2 2^5 3.7^2 2.5^2 11^2 2^2.3 . 2 3^2.5 W(50522141,11): 12 / 15 (598.69s)
305 3 2^2 5 2.3^2 13^2 2^5 3.7^2 2.5^2 11^2 2^2.3 . 2 3^2.5 W(18250559,11): 0 / 121 (1197.73s)
305 3 2^2 5 2.3^2 13^2 2^5 3.7^2 2.5^2 11^2 2^2.3 . 2 3^2.5 W(10703369,11): 120 / 354 (1796.47s)
305 3 2^2 5 2.3^2 13^2 2^5 3.7^2 2.5^2 11^2 2^2.3 . 2 3^2.5 W(7529801,0): 400 / 716 (2396.16s)
305 3 2^2 5 2.3^2 13^2 2^5 3.7^2 2.5^2 11^2 2^2.3 . 2 3^2.5 W(5823073,0): 870 / 1199 (2996.16s)
. . . . . . . . 
305 3 2^2 5 2.3^2 13^2 2^5 3.7^2 2.5^2 11^2 2^2.3 . 2 3^2.5 W(859933,2): 5519 / 54984 (19162.02s)
305 3 2^2 5 2.3^2 13^2 2^5 3.7^2 2.5^2 11^2 2^2.3 . 2 3^2.5 W(833453,0): 10436 / 58533 (19760.74s)
305 3 2^2 5 2.3^2 13^2 2^5 3.7^2 2.5^2 11^2 2^2.3 . 2 3^2.5 W(809383,11): 43358 / 62066 (20359.34s)
305 3.1459^2 2^2 5.23^2 2.3^2 13^2 2^5 3.7^2 2.5^2 11^2 2^2.3 17^2 2.89021^5 3^2.5 (20958.02s)
305 3.853^2 2^2 5.43^2 2.3^2 13^2 2^5 3.7^2 2.5^2 11^2 2^2.3 17^2 2.182579^2 3^2.5 (21556.72s)
305 3.41^2 2^2 5.89^2 2.3^2 13^2 2^5 3.7^2 2.5^2 11^2 2^2.3 17^2 2.133669^5 3^2.5 (22155.44s)
. . . . . . . . . 
305 3 2^2 5.650549^2 2.3^2 13^2 2^5 3.7^2 2.5^2 11^2 2^2.3 694549^2 2 3^2.5 (158176.50s)
305 3 2^2 5.74323^2 2.3^2 13^2 2^5 3.7^2 2.5^2 11^2 2^2.3 712603^2 2 3^2.5 (158776.14s)
305 3 2^2 5 2.3^2 13^2 2^5 3.7^2 2.5^2 11^2 2^2.3 787021^2 2 3^2.5: 15104 / 65644 (159375.36s)
367 coul(12, 13): recurse 16500939957, walk 20787965151, walkc 34985415333 (159693.14s)

Запустила паттерн b197.

Состояние проверки

b98:,7214407200 - проверен
b101:,7214407200 - проверен
b129:,7214407200 - проверен
b133:,7214407200 - проверен
b167:,7214407200 - в проверке
b170:,7214407200 - в проверке
b197:,7214407200 - в проверке

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

Сегодня сыграла на "отлично" :)
Игра продолжалась полминуты.
Начала со слова МЕЧТА, второй попыткой слово отгадано.
Куча удовольствия :)

Господин Никонов цитирует господина Петухова

И снова поднимать тему математичности "доказательства" всем надоело.

и пишет

Не знаю, кто Вас уполномочил говорить за всех.

https://dxdy.ru/post1577872.html#p1577872

А как же господин Никонов писал

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

https://dxdy.ru/post835084.html#p835084
[Я тогда возмутилась, что Мунин написал "Мы хотим...".]

Ну так вот, и у господина Петухова есть основания полагать, что так считает не только он, что всем надоело "поднимать тему математичности "доказательства".
И действительно: всем надоело, за исключением господина Никонова.

Мунин тоже не мог считать, что абсолютно все на форуме думают точно так, как он.
Однако господин Никонов оправдал "мы" от Мунина.
Кстати, я тоже спрашивала Мунина, кто его уполномочил говорить "мы".

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

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b167 *RT*
305 3 2^2 5 2.3^2 13^2 2^5 3.7^2 2.5^2 . 2^2.3 11^2 2 3^2.5 W(19015327,11): 80 / 111 (587.94s)
305 3 2^2 5 2.3^2 13^2 2^5 3.7^2 2.5^2 . 2^2.3 11^2 2 3^2.5 W(7820573,8): 575 / 664 (1176.09s)
305 3 2^2 5 2.3^2 13^2 2^5 3.7^2 2.5^2 . 2^2.3 11^2 2 3^2.5 W(4923461,11): 1403 / 1677 (1764.25s)
. . . . . . . . 
305 3 2^2 5 2.3^2 13^2 2^5 3.7^2 2.5^2 . 2^2.3 11^2 2 3^2.5 W(1018021,8): 4391 / 39233 (8199.47s)
305 3 2^2 5 2.3^2 13^2 2^5 3.7^2 2.5^2 . 2^2.3 11^2 2 3^2.5 W(951581,11): 25114 / 44902 (8783.85s)
305 3 2^2 5 2.3^2 13^2 2^5 3.7^2 2.5^2 . 2^2.3 11^2 2 3^2.5 W(893521,0): 45056 / 50928 (9367.97s)
305 3 2^2 5 2.3^2 13^2 2^5 3.7^2 2.5^2 . 2^2.3 11^2 2 3^2.5 W(842759,8): 50352 / 57248 (9952.54s)
305 3.149^2 2^2 5.19^2 2.3^2 13^2 2^5 3.7^2 2.5^2 17^2 2^2.3 11^2 2.795713^2 3^2.5 (10536.65s)
305 3.293^2 2^2 5.59^2 2.3^2 13^2 2^5 3.7^2 2.5^2 17^2 2^2.3 11^2 2.35869^5 3^2.5 (11120.76s)
305 3.43^2 2^2 5.227^2 2.3^2 13^2 2^5 3.7^2 2.5^2 17^2 2^2.3 11^2 2.347^5 3^2.5 (11704.85s)
. . . . . . 
305 3 2^2 5.239417^2 2.3^2 13^2 2^5 3.7^2 2.5^2 638819^2 2^2.3 11^2 2 3^2.5 (76896.37s)
305 3 2^2 5.571^5 2.3^2 13^2 2^5 3.7^2 2.5^2 673961^2 2^2.3 11^2 2 3^2.5 (77494.67s)
305 3 2^2 5.332263^2 2.3^2 13^2 2^5 3.7^2 2.5^2 708497^2 2^2.3 11^2 2 3^2.5 (78083.62s)
367 coul(12, 13): recurse 16500939957, walk 20787965151, walkc 34985421810 (78632.04s)

Запущен паттерн b202.

Состояние проверки

b98:,7214407200 - проверен
b101:,7214407200 - проверен
b129:,7214407200 - проверен
b133:,7214407200 - проверен
b167:,7214407200 - проверен
b170:,7214407200 - в проверке
b197:,7214407200 - в проверке
b202:,7214407200 - в проверке

Здесь радует стабильность времени проверки паттернов, более-менее.
Задействовано три потока на эту проверку.

Ахиллес осилил паттерн b202.
Показываю логи частично

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b202 *RT*
305 3 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7^2 2^2.3 13^2 2 3^2.5 W(20005483,11): 22 / 101 (584.10s)
305 3 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7^2 2^2.3 13^2 2 3^2.5 W(8290927,6): 143 / 591 (1168.13s)
305 3 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7^2 2^2.3 13^2 2 3^2.5 W(5238301,0): 1165 / 1481 (1752.02s)
305 3 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7^2 2^2.3 13^2 2 3^2.5 W(3841429,4): 1506 / 2755 (2335.86s)
. . . . . . . . . 
305 3 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7^2 2^2.3 13^2 2 3^2.5 W(900331,4): 45502 / 50160 (9923.55s)
305 3 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7^2 2^2.3 13^2 2 3^2.5 W(852031,4): 20311 / 56008 (10506.98s)
305 3 2^2.7 5.11^2 2.3^2 . 2^5 3 2.5^2 7^2 2^2.3 13^2 2 3^2.5 W(808751,4): 24154 / 62163 (11090.77s)
305 3.41^2 2^2.7 5.11^2 2.3^2 17^2 2^5 3.643^2 2.5^2 7^2 2^2.3 13^2 2.758101^2 3^2.5 (11674.30s)
305 3.139^2 2^2.7 5.11^2 2.3^2 17^2 2^5 3.257^2 2.5^2 7^2 2^2.3 13^2 2.100937^5 3^2.5 (12258.51s)
305 3.653^2 2^2.7 5.11^2 2.3^2 17^2 2^5 3.19^2 2.5^2 7^2 2^2.3 13^2 2.90073^2 3^2.5 (12842.50s)
. . . . . . . 
305 3.286789^2 2^2.7 5.11^2 2.3^2 636731^2 2^5 3 2.5^2 7^2 2^2.3 13^2 2 3^2.5 (81428.42s)
305 3.691333^2 2^2.7 5.11^2 2.3^2 673457^2 2^5 3 2.5^2 7^2 2^2.3 13^2 2 3^2.5 (82024.39s)
305 3.176327^5 2^2.7 5.11^2 2.3^2 709957^2 2^5 3 2.5^2 7^2 2^2.3 13^2 2 3^2.5 (82620.86s)
367 coul(12, 13): recurse 16500939957, walk 20871253024, walkc 34985413739 (83168.30s)

Запущен паттерн b206.

Состояние проверки

b98:,7214407200 - проверен
b101:,7214407200 - проверен
b129:,7214407200 - проверен
b133:,7214407200 - проверен
b167:,7214407200 - проверен
b170:,7214407200 - в проверке
b197:,7214407200 - в проверке
b202:,7214407200 - проверен
b206:,7214407200 - в проверке

Цитата

Осталось 4 долгоиграющих паттерна: b248-b251.

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

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b248 *RT*
305 3^2.5 2.13^2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 509576227270924882353 / 428074134568256151375242736 (598.55s)
305 3^2.5 2.13^2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 2032063592037781581724 / 428074134568256151375242736 (1197.81s)
305 3^2.5 2.13^2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 4569429536814164682329 / 428074134568256151375242736 (1796.97s)
305 3^2.5 2.13^2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 8096204998527467466501 / 428074134568256151375242736 (2395.28s)
305 3^2.5 2.13^2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 12622563686098689794388 / 428074134568256151375242736 (2993.50s)
305 3^2.5 2.13^2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 18162374650959748159726 / 428074134568256151375242736 (3591.67s)
305 3^2.5 2.13^2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 24692758453903093781981 / 428074134568256151375242736 (4190.66s)
. . . . . . . . . 
305 3^2.5 2.13^2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 423583389999275940101817694 / 428074134568256151375242736 (612827.56s)
305 3^2.5 2.13^2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 424376920524904261470562815 / 428074134568256151375242736 (613426.27s)
305 3^2.5 2.13^2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 425163230638954169992460298 / 428074134568256151375242736 (614024.83s)
305 3^2.5 2.13^2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 425953253810833160837551336 / 428074134568256151375242736 (614623.83s)
305 3^2.5 2.13^2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 426746945550165383986184126 / 428074134568256151375242736 (615223.73s)
305 3^2.5 2.13^2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 13: 427531278418240272386210260 / 428074134568256151375242736 (615823.69s)
367 coul(12, 15): recurse 280, walk 3786, walkc 453712607275 (616231.22s)

Остались в проверке три паттерна: b249-b251; они тоже должны скоро завершиться.

PS. В освободившемся потоке запустила паттерн b207 для 13-ок.

Hugo появился опять на dxdy.ru.
Поразительно: где ж BOINC-проект?
Он, похоже, вообще в тему на форуме boinc.ru не заглядывает.
Иначе как понимать, что он даже не ответил на адресованный ему вопрос?
https://boinc.ru/forum/topic/proekt-hugo-van-der-sanden/?part=11#postid-7085

Вопрос висит уже 6 дней.
Это очень странно!
Ну хорошо, с запуском BOINC-проекта что-то не ладится.
Так на вопросы-то пользователей надо отвечать.
Игнорирование вопросов как-то не есть хорошо.

И мне совершенно непонятно, что же не ладится с запуском BOINC-проекта.
Для задачи D(12,13) всё понятно и прозрачно.
Даже у меня в несколько потоков всё прекрасно проверяется!
Проверены уже все паттерны с квадратами (с одним и с несколькими).
Проверены паттерны с самыми большими шагами (у меня для двух шагов, у господина Петухова для 7 шагов).
Проверено 50 паттернов с параметром -p1000.
Сейчас проверяются паттерны с LCM=7214407200.

Я не пишу Hugo письмо, потому что он отверг мою помощь в подготовке к запуску BOINC-проекта.
Ну, не надо так не надо.

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

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b249 *RT*
305 3^2.5 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 487557754116911556630 / 428074134568256151375242736 (598.20s)
305 3^2.5 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 1940187721407465766980 / 428074134568256151375242736 (1196.05s)
305 3^2.5 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 4331256077748053325852 / 428074134568256151375242736 (1793.78s)
305 3^2.5 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 7689658077104008291315 / 428074134568256151375242736 (2391.83s)
305 3^2.5 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 11988803442452291202519 / 428074134568256151375242736 (2990.42s)
305 3^2.5 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 17165756114447296047963 / 428074134568256151375242736 (3588.81s)
305 3^2.5 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 23340223083128450537414 / 428074134568256151375242736 (4186.83s)
. . . . . . . . 
305 3^2.5 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 421376606735811925703926362 / 428074134568256151375242736 (614032.53s)
305 3^2.5 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 422201555640194616405901366 / 428074134568256151375242736 (614632.44s)
305 3^2.5 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 423024955375005430253937891 / 428074134568256151375242736 (615232.42s)
305 3^2.5 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 423843300184368720987029341 / 428074134568256151375242736 (615832.34s)
305 3^2.5 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 424674920565172777775960848 / 428074134568256151375242736 (616432.30s)
305 3^2.5 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 425509551821214128832216189 / 428074134568256151375242736 (617032.20s)
305 3^2.5 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 426342645723939446381452527 / 428074134568256151375242736 (617632.09s)
305 3^2.5 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 427173057985973710466320677 / 428074134568256151375242736 (618232.08s)
305 3^2.5 2 11 2^2.3 7.13^2 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3 2.11 .: 428004026738698308135348157 / 428074134568256151375242736 (618832.00s)
367 coul(12, 15): recurse 280, walk 3786, walkc 453712607274 (618880.56s)

Остались в проверке два паттерна: b250, b251.

В освободившемся потоке запустила паттерн b209 для 13-ок.

Состояние проверки паттернов для D(12,13) с LCM=7214407200

b98:,7214407200 - проверен
b101:,7214407200 - проверен
b129:,7214407200 - проверен
b133:,7214407200 - проверен
b167:,7214407200 - проверен
b170:,7214407200 - в проверке
b197:,7214407200 - в проверке
b202:,7214407200 - проверен
b206:,7214407200 - в проверке
b207:,7214407200 - в проверке
b209:,7214407200 - в проверке

Два паттерна для 13-ок проверились: b170 и b197.
Показываю частично логи.

Паттерн b170

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b170 *RT*
305 3 2^2 5 2.3^2 . 2^5 3.7^2 2.5^2 13^2 2^2.3 11^2 2 3^2.5 W(46310617,2): 8 / 18 (599.16s)
305 3 2^2 5 2.3^2 . 2^5 3.7^2 2.5^2 13^2 2^2.3 11^2 2 3^2.5 W(16951523,0): 55 / 140 (1198.27s)
305 3 2^2 5 2.3^2 . 2^5 3.7^2 2.5^2 13^2 2^2.3 11^2 2 3^2.5 W(10014481,4): 395 / 404 (1797.66s)
. . . . . . . . . 
305 3 2^2 5 2.3^2 . 2^5 3.7^2 2.5^2 13^2 2^2.3 11^2 2 3^2.5 W(858161,11): 23693 / 55211 (18560.51s)
305 3 2^2 5 2.3^2 . 2^5 3.7^2 2.5^2 13^2 2^2.3 11^2 2 3^2.5 W(832211,2): 35793 / 58708 (19159.01s)
305 3 2^2 5 2.3^2 . 2^5 3.7^2 2.5^2 13^2 2^2.3 11^2 2 3^2.5 W(808351,4): 47504 / 62225 (19757.48s)
305 3.3023^2 2^2 5.23^2 2.3^2 17^2 2^5 3.7^2 2.5^2 13^2 2^2.3 11^2 2 3^2.5: 25981 / 29102 (20356.33s)
305 3.31^2 2^2 5.47^2 2.3^2 17^2 2^5 3.7^2 2.5^2 13^2 2^2.3 11^2 2.97^2 3^2.5: 2259 / 7042 (20954.98s)
305 3.461^2 2^2 5.89^2 2.3^2 17^2 2^5 3.7^2 2.5^2 13^2 2^2.3 11^2 2.423053^2 3^2.5 (21553.64s)
. . . . . . . . 
305 3 2^2 5.286073^2 2.3^2 687023^2 2^5 3.7^2 2.5^2 13^2 2^2.3 11^2 2 3^2.5 (157020.02s)
305 3 2^2 5.593903^2 2.3^2 706207^2 2^5 3.7^2 2.5^2 13^2 2^2.3 11^2 2 3^2.5 (157619.92s)
305 3 2^2 5 2.3^2 764059^2 2^5 3.7^2 2.5^2 13^2 2^2.3 11^2 2 3^2.5: 25828 / 69649 (158219.91s)
367 coul(12, 13): recurse 16500939957, walk 20787965151, walkc 34985419093 (158686.11s)

Паттерн b197

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b197 *RT*
305 3 2^2.7 5.11^2 2.3^2 13^2 2^5 3 2.5^2 7^2 2^2.3 . 2 3^2.5 W(48923857,0): 9 / 16 (598.44s)
305 3 2^2.7 5.11^2 2.3^2 13^2 2^5 3 2.5^2 7^2 2^2.3 . 2 3^2.5 W(18057293,10): 28 / 124 (1196.97s)
305 3 2^2.7 5.11^2 2.3^2 13^2 2^5 3 2.5^2 7^2 2^2.3 . 2 3^2.5 W(10713083,6): 47 / 353 (1795.55s)
305 3 2^2.7 5.11^2 2.3^2 13^2 2^5 3 2.5^2 7^2 2^2.3 . 2 3^2.5 W(7609871,0): 494 / 701 (2394.42s)
. . . . . . . . . 
305 3 2^2.7 5.11^2 2.3^2 13^2 2^5 3 2.5^2 7^2 2^2.3 . 2 3^2.5 W(848173,6): 32022 / 56520 (20348.94s)
305 3 2^2.7 5.11^2 2.3^2 13^2 2^5 3 2.5^2 7^2 2^2.3 . 2 3^2.5 W(823651,11): 9802 / 59935 (20947.49s)
305 3 2^2.7 5.11^2 2.3^2 13^2 2^5 3 2.5^2 7^2 2^2.3 . 2 3^2.5 W(800741,10): 22038 / 63414 (21545.97s)
305 3.31^2 2^2.7 5.11^2 2.3^2 13^2 2^5 3.131^2 2.5^2 7^2 2^2.3 17^2 2.536279^2 3^2.5 (22144.83s)
305 3.59^2 2^2.7 5.11^2 2.3^2 13^2 2^5 3.431^2 2.5^2 7^2 2^2.3 17^2 2.61^2 3^2.5: 14 / 57 (22743.34s)
305 3.109^2 2^2.7 5.11^2 2.3^2 13^2 2^5 3.3931^2 2.5^2 7^2 2^2.3 17^2 2 3^2.5: 726 / 765 (23342.16s)
. . . . . . . . . .
305 3.504989^2 2^2.7 5.11^2 2.3^2 13^2 2^5 3 2.5^2 7^2 2^2.3 694831^2 2 3^2.5 (159434.34s)
305 3 2^2.7 5.11^2 2.3^2 13^2 2^5 3 2.5^2 7^2 2^2.3 720931^2 2 3^2.5: 9955 / 78232 (160034.31s)
305 3.97^2 2^2.7 5.11^2 2.3^2 13^2 2^5 3.23^2 2.5^2 7^2 2^2.3 17^5 2 3^2.5: 4427 / 5753 (160634.27s)
367 coul(12, 13): recurse 16500939957, walk 20871253024, walkc 34985417134 (160829.92s)

Запущены паттерны b211 и b214.

Состояние проверки паттернов для D(12,13) с LCM=7214407200

b98:,7214407200 - проверен
b101:,7214407200 - проверен
b129:,7214407200 - проверен
b133:,7214407200 - проверен
b167:,7214407200 - проверен
b170:,7214407200 - проверен
b197:,7214407200 - проверен
b202:,7214407200 - проверен
b206:,7214407200 - в проверке
b207:,7214407200 - в проверке
b209:,7214407200 - в проверке
b211:,7214407200 - в проверке
b214:,7214407200 - в проверке

Вырулил ещё один паттерн для 15-ок - b250.
Показываю логи частично

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b250 *RT*
305 3^2.5 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 504912166581143204476 / 428074134568256151375242736 (598.06s)
305 3^2.5 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 2023203860310143995245 / 428074134568256151375242736 (1195.80s)
305 3^2.5 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 4548843122967495351793 / 428074134568256151375242736 (1793.92s)
305 3^2.5 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 8145606264044065853947 / 428074134568256151375242736 (2392.48s)
305 3^2.5 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 12674507445578516939778 / 428074134568256151375242736 (2991.31s)
305 3^2.5 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 18149844096026982446022 / 428074134568256151375242736 (3589.61s)
. . . . . . . . . . 
305 3^2.5 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 423904830036630879311729100 / 428074134568256151375242736 (617084.59s)
305 3^2.5 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 424698422883587255898227619 / 428074134568256151375242736 (617682.98s)
305 3^2.5 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 425495888168106981427391753 / 428074134568256151375242736 (618281.69s)
305 3^2.5 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 426294924820830652466231559 / 428074134568256151375242736 (618880.53s)
305 3^2.5 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 427090694963185827432132655 / 428074134568256151375242736 (619479.17s)
305 3^2.5 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5.13^2 2^2.7 3 2.11 .: 427885697052725250204856818 / 428074134568256151375242736 (620077.64s)
367 coul(12, 15): recurse 280, walk 3786, walkc 453712607273 (620219.73s)

Остался один паттерн - b251.

В освободившемся потоке запустила паттерн b234 для 13-ок.

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

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b206 *RT*
305 3.13^2 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 . 2 3^2.5 W(20365157,10): 2 / 97 (583.85s)
305 3.13^2 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 . 2 3^2.5 W(8546689,11): 469 / 555 (1167.67s)
305 3.13^2 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 . 2 3^2.5 W(5423771,2): 261 / 1381 (1751.30s)
305 3.13^2 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 . 2 3^2.5 W(3991649,11): 911 / 2551 (2334.71s)
. . . . . . . . . . 
305 3.13^2 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 . 2 3^2.5 W(894277,6): 22956 / 50842 (10499.38s)
305 3.13^2 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 . 2 3^2.5 W(849223,2): 3659 / 56380 (11083.01s)
305 3.13^2 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 . 2 3^2.5 W(808597,6): 49643 / 62187 (11666.44s)
305 3.13^2 2^2.7 5.41^2 2.3^2 11^2 2^5 3.709^2 2.5^2 7^2 2^2.3 17^2 2.272887^2 3^2.5 (12257.36s)
305 3.13^2 2^2.7 5.139^2 2.3^2 11^2 2^5 3.251^2 2.5^2 7^2 2^2.3 17^2 2.402053^2 3^2.5 (12842.41s)
305 3.13^2 2^2.7 5.647^2 2.3^2 11^2 2^5 3.43^2 2.5^2 7^2 2^2.3 17^2 2.107999^5 3^2.5 (13426.30s)
. . . . . . . . 
305 3.13^2 2^2.7 5.477293^2 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 625369^2 2 3^2.5 (83196.77s)
305 3.13^2 2^2.7 5.788677^2 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 655111^2 2 3^2.5 (83776.84s)
305 3.13^2 2^2.7 5.792227^2 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 682751^2 2 3^2.5 (84360.08s)
305 3.13^2 2^2.7 5 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 714113^2 2 3^2.5: 76846 / 79732 (84940.36s)
367 coul(12, 13): recurse 16500939957, walk 20787965151, walkc 34985417579 (85484.98s)

Запущен паттерн b238.

Состояние проверки паттернов для D(12,13) с LCM=7214407200

b98:,7214407200 - проверен
b101:,7214407200 - проверен
b129:,7214407200 - проверен
b133:,7214407200 - проверен
b167:,7214407200 - проверен
b170:,7214407200 - проверен
b197:,7214407200 - проверен
b202:,7214407200 - проверен
b206:,7214407200 - проверен
b207:,7214407200 - в проверке
b209:,7214407200 - в проверке
b211:,7214407200 - в проверке
b214:,7214407200 - в проверке
b234:,7214407200 - в проверке
b238:,7214407200 - в проверке

Интересно, что паттерны завершаются в том порядке, в котором были запущены.
Это значит, что время проверки у паттернов группы примерно одинаково.
При этом проверка идёт и на Ахиллесе, и на Ахиллесе-3.
В данный момент в 6 потоков.
Скоро ещё один поток освободится на Ахиллесе-3, запущу седьмой поток в этой группе паттернов.

Состояние проверки паттернов с одним квадратом для D(12,15)

b127: 3^2.5 2.13^2 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] - проверен
b128: 3^2.5 2 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] - проверен
b129: 3^2.5 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 . [sq=1] - проверен
b130: 3^2.5 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 . [sq=1] - проверен
b196: 3^2.5 2.13^2 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] - проверен
b197: 3^2.5 2 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] - проверен
b198: 3^2.5 2 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] - проверен
b248: 3^2.5 2.13^2 11 2^2.3 7 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3 2.11 13 [sq=1] - проверен
b249: 3^2.5 2 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] - проверен
b250: 3^2.5 2 11 2^2.3 7 2.5^2 3 *2^5* . 2.3^2 5.13^2 2^2.7 3 2.11 . [sq=1] - проверен
b251: 3^2.5 2 11 2^2.3 7 2.5^2 3 *2^5* . 2.3^2 5 2^2.7 3.13^2 2.11 . [sq=1] - проверен
b571: . 2 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] - проверен
b582: . 2 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] - проверен
b602: . 2 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] - проверен
b611: . 2 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] - проверен
b621: . 2 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] - проверен
b622: . 2 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] - проверен
b623: . 2 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] - проверен
b624: . 2 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] - проверен
b625: . 2 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] - проверен
b626: . 2 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] - проверен
b627: . 2 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] - проверен
b628: . 2 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] - проверен

Показываю логи последнего проверенного паттерна - b251

001 pcoul(12 15) -f13 -x80215613469168729088982885848674841 -b251 *RT*
305 3^2.5 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3.13^2 2.11 .: 449411676708033621385 / 428074134568256151375242737 (598.26s)
305 3^2.5 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3.13^2 2.11 .: 1745898340592911190287 / 428074134568256151375242737 (1197.00s)
305 3^2.5 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3.13^2 2.11 .: 3904952845882996141126 / 428074134568256151375242737 (1795.94s)
305 3^2.5 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3.13^2 2.11 .: 6886432603123263010073 / 428074134568256151375242737 (2394.31s)
305 3^2.5 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3.13^2 2.11 .: 10747896370098264875452 / 428074134568256151375242737 (2992.55s)
. . . . . . . . . 
305 3^2.5 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3.13^2 2.11 .: 424537401955543364709232936 / 428074134568256151375242737 (621825.23s)
305 3^2.5 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3.13^2 2.11 .: 425332666545797265194014295 / 428074134568256151375242737 (622423.78s)
305 3^2.5 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3.13^2 2.11 .: 426126863378956866455498827 / 428074134568256151375242737 (623022.06s)
305 3^2.5 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3.13^2 2.11 .: 426924750494136228220163277 / 428074134568256151375242737 (623619.55s)
305 3^2.5 2 11 2^2.3 7 2.5^2 3 2^5 . 2.3^2 5 2^2.7 3.13^2 2.11 .: 427728060045293223494100238 / 428074134568256151375242737 (624218.17s)
367 coul(12, 15): recurse 280, walk 3786, walkc 453712607274 (624479.19s)

Ни одной цепочки не найдено в этих паттернах с одним квадратом.

В освободившемся потоке запущен паттерн b252 для 13-ок.

Отстрелялся паттерн b207.

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

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b207 *RT*
305 3 2^2.7 5.13^2 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 . 2 3^2.5 W(48458413,6): 17 / 17 (598.56s)
305 3 2^2.7 5.13^2 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 . 2 3^2.5 W(18151949,0): 25 / 123 (1197.20s)
305 3 2^2.7 5.13^2 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 . 2 3^2.5 W(10795219,6) (1796.17s)
. . . . . . . . . . 
305 3 2^2.7 5.13^2 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 . 2 3^2.5 W(871147,10): 17204 / 53578 (19184.34s)
305 3 2^2.7 5.13^2 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 . 2 3^2.5 W(846359,10): 768 / 56762 (19784.11s)
305 3 2^2.7 5.13^2 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 . 2 3^2.5 W(822667,6): 51113 / 60078 (20384.11s)
305 3.19^2 2^2.7 5.13^2 2.3^2 11^2 2^5 3.29^2 2.5^2 7^2 2^2.3 17^2 2.41^2 3^2.5: 239851 / 275678 (20984.05s)
305 3.31^2 2^2.7 5.13^2 2.3^2 11^2 2^5 3.769^2 2.5^2 7^2 2^2.3 17^2 2.88819^5 3^2.5 (21583.81s)
305 3.61^2 2^2.7 5.13^2 2.3^2 11^2 2^5 3.211^2 2.5^2 7^2 2^2.3 17^2 2.450473^2 3^2.5 (22183.42s)
. . . . . . . . . . 
305 3.133559^5 2^2.7 5.13^2 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 690589^2 2 3^2.5 (157623.27s)
305 3.87719^2 2^2.7 5.13^2 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 709279^2 2 3^2.5 (158221.61s)
305 3 2^2.7 5.13^2 2.3^2 11^2 2^5 3 2.5^2 7^2 2^2.3 768199^2 2 3^2.5: 65053 / 68900 (158820.41s)
367 coul(12, 13): recurse 16500939957, walk 20871253024, walkc 34985413736 (159286.97s)

Запущен паттерн b253.

Состояние проверки паттернов для D(12,13) с LCM=7214407200

b98:,7214407200 - проверен
b101:,7214407200 - проверен
b129:,7214407200 - проверен
b133:,7214407200 - проверен
b167:,7214407200 - проверен
b170:,7214407200 - проверен
b197:,7214407200 - проверен
b202:,7214407200 - проверен
b206:,7214407200 - проверен
b207:,7214407200 - проверен
b209:,7214407200 - в проверке
b211:,7214407200 - в проверке
b214:,7214407200 - в проверке
b234:,7214407200 - в проверке
b238:,7214407200 - в проверке
b252:,7214407200 - в проверке
b253:,7214407200 - в проверке

Ахиллес вырвался вперёд :)
Проверен паттерн b238.
Показываю частично логи

001 pcoul(12 13) -p200000000 -W800000 -f13 -g10 -x586683019466361719763403545 -b238 *RT*
305 3 2^2.7 5 2.3^2 . 2^5 3.11^2 2.5^2 7^2 2^2.3 13^2 2 3^2.5 W(22464511,2): 16 / 79 (582.66s)
305 3 2^2.7 5 2.3^2 . 2^5 3.11^2 2.5^2 7^2 2^2.3 13^2 2 3^2.5 W(9101293,4): 86 / 490 (1166.11s)
305 3 2^2.7 5 2.3^2 . 2^5 3.11^2 2.5^2 7^2 2^2.3 13^2 2 3^2.5 W(5705867,11): 481 / 1248 (1749.99s)
. . . . . . . . . 
305 3 2^2.7 5 2.3^2 . 2^5 3.11^2 2.5^2 7^2 2^2.3 13^2 2 3^2.5 W(914467,2): 28257 / 48622 (10499.62s)
305 3 2^2.7 5 2.3^2 . 2^5 3.11^2 2.5^2 7^2 2^2.3 13^2 2 3^2.5 W(868033,2): 45598 / 53963 (11082.98s)
305 3 2^2.7 5 2.3^2 . 2^5 3.11^2 2.5^2 7^2 2^2.3 13^2 2 3^2.5 W(825791,11): 19576 / 59625 (11666.08s)
305 3.1129^2 2^2.7 5.23^2 2.3^2 17^2 2^5 3.11^2 2.5^2 7^2 2^2.3 13^2 2.7789^5 3^2.5 (12249.48s)
305 3.233^2 2^2.7 5.71^2 2.3^2 17^2 2^5 3.11^2 2.5^2 7^2 2^2.3 13^2 2.242927^2 3^2.5 (12833.05s)
305 3.131^2 2^2.7 5.257^2 2.3^2 17^2 2^5 3.11^2 2.5^2 7^2 2^2.3 13^2 2.295879^2 3^2.5 (13417.35s)
. . . . . . . . 
305 3 2^2.7 5.24821^2 2.3^2 649217^2 2^5 3.11^2 2.5^2 7^2 2^2.3 13^2 2 3^2.5 (87484.92s)
305 3 2^2.7 5.796303^2 2.3^2 683821^2 2^5 3.11^2 2.5^2 7^2 2^2.3 13^2 2 3^2.5 (88074.33s)
305 3 2^2.7 5 2.3^2 733409^2 2^5 3.11^2 2.5^2 7^2 2^2.3 13^2 2 3^2.5: 55489 / 75592 (88668.30s)
367 coul(12, 13): recurse 16500939957, walk 20787965151, walkc 34985403873 (89064.39s)

Запущен паттерн b254.