Факторизовала элементы 103-х непрерывных 10-ок, входящих в 15-ки; покажу несколько первых и последних

? \ra17.txt
   logfile = "results_factor.txt"
[3, 2; 5, 1; 1112081, 1; 93106339, 1; 449955247680433039, 1], 
[2, 1; 599, 1; 169843, 1; 281249, 1; 36635493724079734361, 1], 
[13, 2; 77899, 1; 159249808539521862571080137, 1], 
[2, 2; 3, 1; 174709395098834674478312716589629, 1], 
[7, 2; 307, 1; 139367994494849171956375230943, 1], 
[2, 1; 5, 2; 41930254823720321874795051981511, 1], 
[3, 1; 11, 2; 5775517193349906594324387325277, 1], 
[2, 5; 65516023162063002929367268721111, 1], 
[29, 2; 151, 1; 16509144279405753901770618383, 1], 
[2, 1; 3, 2; 116472930065889782985541811059753, 1], 
[5, 1; 37, 2; 306283819019140408143134053919, 1], 
[2, 2; 7, 1; 74875455042357717633562592824127, 1], 
[3, 1; 23, 2; 48809, 1; 27065787604998268506805679, 1], 
[2, 1; 17, 2; 12009247801, 1; 302032627974432765611, 1], 
[19, 2; 397, 1; 177189343229, 1; 82558577057007463, 1], 

[3, 2; 5, 1; 14051199915409, 1; 3205600618172503949, 1], 
[2, 1; 19, 2; 467127047, 1; 4540725923, 1; 1323542341553, 1], 
[13, 2; 20288523679, 1; 591150673847128961597, 1], 
[2, 2; 3, 1; 168909506755876970986344444188029, 1], 
[7, 2; 137, 1; 301938638622154573489666815173, 1], 
[2, 1; 5, 2; 40538281621410473036722666605127, 1], 
[3, 1; 11, 2; 5583785347301718049135353526877, 1], 
[2, 5; 63341065033453864119879166570511, 1], 
[17, 2; 389, 1; 18029674892329045746222977293, 1], 
[2, 1; 3, 2; 112606337837251313990896296125353, 1], 
[5, 1; 23, 2; 766319123278080775741449274199, 1], 
[2, 2; 7, 1; 72389788609661558994147618937727, 1], 
[3, 1; 29, 2; 18233, 1; 63079, 1; 171838529, 1; 4064944413553, 1], 
[2, 1; 31, 1; 41, 1; 79, 1; 227, 1; 349, 1; 127403517336379632736397, 1], 
[37, 2; 53, 1; 27935472539803515192691722787, 1], 

[3, 2; 5, 1; 4463, 1; 71941, 1; 248779, 1; 603248685395706853, 1], 
[2, 1; 23, 2; 3326392207, 1; 616122190320376785491, 1], 
[37, 2; 167, 1; 109331, 1; 133583, 1; 649398887971452793, 1], 
[2, 2; 3, 1; 180694413956923129880792458884829, 1], 
[7, 2; 21201347, 1; 2087211402838713895779983, 1], 
[2, 1; 5, 2; 43366659349661551171390190132359, 1], 
[3, 1; 11, 2; 5973369056427210905150163930077, 1], 
[2, 5; 67760405233846173705297172081811, 1], 
[17, 2; 22933228793521, 1; 327162054151989137, 1], 
[2, 1; 3, 2; 120462942637948753253861639256553, 1], 
[5, 1; 13, 2; 2566074517731452732034922493039, 1], 
[2, 2; 7, 1; 77440463124395627091768196664927, 1], 
[3, 1; 19, 2; 2002154171267846314468614502879, 1], 
[2, 1; 3552433, 1; 20497998799, 1; 14888763044182637, 1], 
[29, 2; 43, 1; 839, 1; 71466014097244757557285387, 1], 

[3, 2; 5, 1; 3447984222673, 1; 14151832842715171277, 1], 
[2, 1; 23, 2; 5756841369187, 1; 360512679346748351, 1], 
[17, 2; 255240725911, 1; 29767520405309036093, 1], 
[2, 2; 3, 1; 182982361363453131398515881612829, 1], 
[7, 2; 184448800936417, 1; 242950925335463053, 1], 
[2, 1; 5, 2; 43915766727228751535643811587079, 1], 
[3, 1; 37, 2; 534645321733975548279082196093, 1], 
[2, 5; 68618385511294924274443455604811, 1], 
[11, 2; 54895254907, 1; 330575221393049309099, 1], 
[2, 1; 3, 2; 121988240908968754265677254408553, 1], 
[5, 1; 13, 2; 2598566078534245652996675241839, 1], 
[2, 2; 7, 1; 78421012012908484885078234976927, 1], 
[3, 1; 195907, 1; 414019, 1; 2172118463, 1; 4154468647361, 1], 
[2, 1; 29, 2; 1305462744566847548621992021019, 1], 
[19, 2; 277, 1; 3555031, 1; 6176751235046325083237, 1], 

[3, 2; 5, 1; 21031, 1; 28817, 1; 3924938681, 1; 18690488864963, 1], 
[2, 1; 29, 2; 25219, 1; 5542828133, 1; 8509214569087339, 1], 
[17, 2; 31, 1; 2731, 1; 4466303, 1; 18308186218266371281, 1], 
[2, 2; 3, 1; 166722223888309757833250044888429, 1], 
[7, 2; 16033, 1; 2546618373405510692868153997, 1], 
[2, 1; 5, 2; 40013333733194341879980010773223, 1], 
[3, 1; 19, 2; 1847337660812296485686981106797, 1], 
[2, 5; 62520833958116159187468766833161, 1], 
[11, 2; 310434539, 1; 53262228746202144388987, 1], 
[2, 1; 3, 2; 111148149258873171888833363258953, 1], 
[5, 1; 13, 2; 2367652883620966975146746199599, 1], 
[2, 2; 7, 1; 71452381666418467642821447809327, 1], 
[3, 1; 23, 2; 1260659537907824255827977655111, 1], 
[2, 1; 131, 1; 7877, 1; 21739, 1; 5594293, 1; 7971275745165371, 1], 
[37, 2; 9645553104787, 1; 151510997039463653, 1], 

[3, 2; 5, 1; 16487, 1; 28523013641, 1; 103765666111085123, 1], 
[2, 1; 7, 2; 22406662051810936175010697251677, 1], 
[13, 2; 293, 1; 44345434519003003920896829991, 1], 
[2, 2; 3, 1; 182987740089789312095920694222029, 1], 
[11, 2; 283, 1; 64125598839981068982012333343, 1], 
[2, 1; 5, 2; 43917057621549434903020966613287, 1], 
[3, 1; 19, 2; 2027564987144479912420173897197, 1], 
[2, 5; 68620402533670992035970260333261, 1], 
[7, 1; 29, 2; 373000319530740911355707207519, 1], 
[2, 1; 3, 2; 121991826726526208063947129481353, 1], 
[5, 1; 23, 2; 830190125171066822363345304599, 1], 
[2, 2; 103, 1; 223, 1; 23900179383924765391952722481, 1], 
[3, 1; 37, 2; 6379, 1; 30803, 1; 7809173, 1; 348439895448451, 1], 
[2, 1; 2707, 1; 496763, 1; 451090583, 1; 1809972540876293, 1], 
[17, 2; 359, 1; 1163, 1; 2571721, 1; 7076318669815205483, 1], 

[3, 2; 5, 1; 48485235834140618352286292400221, 1], 
[2, 1; 7, 2; 22263628699350283937274317938877, 1], 
[13, 2; 23537, 1; 548509576269901078788170899, 1], 
[2, 2; 3, 1; 181819634378027318821073596500829, 1], 
[11, 2; 53, 1; 340220741078485549018070038673, 1], 
[2, 1; 5, 2; 43636712250726556517057663160199, 1], 
[3, 1; 23, 2; 1374817651251624338911709614373, 1], 
[2, 5; 68182362891760244557902598687811, 1], 
[7, 1; 17, 2; 1078514885089633131909482529911, 1], 
[2, 1; 3, 2; 121213089585351545880715731000553, 1], 
[5, 1; 436367122507265565170576631601991, 1], 
[2, 2; 5020644826963543, 1; 108643196627787023, 1], 
[3, 1; 29, 2; 3310577, 1; 261216786316833121192367, 1], 
[2, 1; 19, 2; 8819, 1; 35680609, 1; 9603581528756590009, 1], 
[37, 2; 59, 1; 27012611117063399312288855629, 1], 

. . . . . . . . 

[3, 2; 5, 1; 582684830248783, 1; 92504137112076947, 1], 
[2, 1; 19, 2; 4241, 1; 21042449, 1; 37644854990241967877, 1], 
[37, 2; 178916785404827, 1; 9902682321936169, 1], 
[2, 2; 3, 1; 202127840364227638322879434145629, 1], 
[7, 2; 1753602491, 1; 28228002556710947861111, 1], 
[2, 1; 5, 2; 48510681687414633197491064194951, 1], 
[3, 1; 29, 2; 961369038593234902843659615437, 1], 
[2, 5; 75797940136585364371079787804611, 1], 
[11, 2; 4733, 1; 4235312958898976694100597021, 1], 
[2, 1; 3, 2; 134751893576151758881919622763753, 1], 
[5, 1; 13, 2; 2870454537716842201034974212719, 1], 
[2, 2; 7, 1; 86626217298954702138376900348127, 1], 
[3, 1; 23, 2; 1872178337, 1; 816362861674253492903, 1], 
[2, 1; 101, 1; 127, 1; 1137001, 1; 3161851373, 1; 26299651479749, 1], 
[17, 2; 53, 1; 277, 1; 2357, 1; 2080261, 1; 116594077538685863, 1], 

[3, 2; 5, 1; 12892483, 1; 4420625848108915863967007, 1], 
[2, 1; 29, 2; 18593, 1; 24212291, 1; 516795847, 1; 6553940273, 1], 
[17, 2; 2081, 1; 4264448922155662945862337883, 1], 
[2, 2; 3, 1; 213723163485392924717343563656429, 1], 
[7, 2; 67641017, 1; 773796268732200293532053, 1], 
[2, 1; 5, 2; 51293559236494301932162455277543, 1], 
[3, 1; 19, 2; 2368123695129007476092449458797, 1], 
[2, 5; 80146186307022346769003836371161, 1], 
[11, 2; 10808781018229, 1; 1960969104579738917, 1], 
[2, 1; 3, 2; 142482108990261949811562375770953, 1], 
[5, 1; 37, 2; 374679030215444133909148687199, 1], 
[2, 2; 7, 1; 91595641493739824878861527281327, 1], 
[3, 1; 13, 2; 11789, 1; 2547239599, 1; 168452753905209941, 1], 
[2, 1; 23, 2; 1939097, 1; 1250108297502257234088283, 1], 
[71, 1; 78167, 1; 636645119977, 1; 725861283686831, 1], 

[3, 2; 5, 1; 55176551280496410800847977616221, 1], 
[2, 1; 23, 2; 103079, 1; 1919040559, 1; 11863888266128917, 1], 
[13, 2; 281, 1; 331, 1; 83029519, 1; 1902451200673894207, 1], 
[2, 2; 3, 1; 206912067301861540503179916060829, 1], 
[7, 2; 7014209, 1; 7224241965516109575484589, 1], 
[2, 1; 5, 2; 49658896152446769720763179854599, 1], 
[3, 1; 37, 2; 604564111911940220608268564093, 1], 
[2, 5; 77592025238198077688692468522811, 1], 
[29, 2; 384188513, 1; 7684696047203965480441, 1], 
[2, 1; 3, 2; 137941378201241027002119944040553, 1], 
[5, 1; 11, 2; 4104041004334443778575469409471, 1], 
[2, 2; 7, 1; 88676600272226374501362821168927, 1], 
[3, 1; 19, 2; 2292654485339186044356564166879, 1], 
[2, 1; 10181, 1; 121940124134286341520388910359, 1], 
[17, 2; 1063, 1; 8082318461566105219080811937, 1], 

[3, 2; 5, 1; 2385587, 1; 23676779463795985053513583, 1], 
[2, 1; 7, 2; 25936079368177961906260549558877, 1], 
[13, 2; 78997443459329, 1; 190384093667299747, 1], 
[2, 2; 3, 1; 211811314840120022234461154730829, 1], 
[11, 2; 31, 1; 677615510019045658974549148699, 1], 
[2, 1; 5, 2; 50834715561628805336270677135399, 1], 
[3, 1; 19, 2; 2346939776621828501212865980397, 1], 
[2, 5; 79429243065045008337922933024061, 1], 
[7, 1; 17, 2; 1256419069738724798227154649911, 1], 
[2, 1; 3, 2; 141207543226746681489640769820553, 1], 
[5, 1; 23, 2; 960958706268975526205494841879, 1], 
[2, 2; 113, 1; 157, 1; 619, 1; 57863095845394867825164391, 1], 
[3, 1; 37, 2; 79399, 1; 329660347, 1; 23644163575481467, 1], 
[2, 1; 48883, 1; 1730512673, 1; 15023384113201150081, 1], 
[29, 2; 36073, 1; 65413, 1; 1280819931436007391851, 1],

Да, центральный элемент каждой 15-ки, содержащей непрерывную 10-ку, всегда имеет вид 32p.
А как бы непрерывная 10-ка ни размещалась в 15-ке, центральный элемент 15-ки обязательно в неё попадёт.

Но... это 10-ки, содержащиеся в 15-ке.
А если искать 10-ку безотносительно к 15-ке?
Возможно ли получить 10-ку без элемента 32р?

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

Я попробую хотя бы в диалоге показать.

Hugo, Вы согласны, что на две позиции левее от 8p^2 всегда должно быть либо 6p^2 либо 18p?

Хе-х...
А не приходило ли господину Никонову в голову, что: задавать вопрос человеку и надеяться получить от него ответ следовало бы на языке, понятном этому человеку?
По-моему, это очень простая и очевидная истина.

Я не знаю никаких языков, кроме русского.
Много общаюсь с немцами, англичанами, американцами, французами, итальянцем; и не только на форумах, но и в личной переписке.
Разумеется, всё общение ведётся только на английском языке в личной переписке, и на языке форума - на форумах.
Меня понимают, я тоже всех прекрасно понимаю.

Hugo ответил господину Никонову
https://dxdy.ru/post1570297.html#p1570297
Цитирую

pcoul knows nothing specifically about the case of 12 divisors.

Это ключевая фраза!

Но до господина Никонова не дошло.
Он продолжает доказывать!
Даже по-английски заговорил :)

Hugo ответил на его доказательство

I'm not sure why I need to work through that, I already said "yes" to your previous question.

What is your point?

https://dxdy.ru/post1570310.html#p1570310

Не комментирую.
Ежу всё понятно.
Господину Никонову - нет.

Процитирую своё сообщение
https://boinc.progger.info/odlk/forum_thread.php?id=196&postid=10254

Итак, господин Никонов назвал 1260 паттернов Hugo, которые не содержат элемента вида 32p, "лишними".
Могу сказать следующее: у Hugo универсальная система построения паттернов.
Это некий довольно сложный алгоритм, который работает для любого k (количества делителей) и любой длины цепочки (в разумных пределах).
А поэтому никакие паттерны, получаемые алгоритмом Hugo, не являются "лишними"!
И наконец, универсальная программа pcoul написана в полной совместимости с системой построения паттернов; эта программа обрабатывает безошибочно все 2471 паттерна для D(12,11).

Ядряра не успокоился!
https://dxdy.ru/post1570316.html#p1570316

Huz

Do you agree that there are no chains of length 10 or more with numbers 8p^2? Do you agree that it is mathematically impossible?

Господин Никонов!
А не надо ли добавить в ваши вопрос: "...with 12 dividers..."?
Посмотрите внимательно, что вам Hugo ответил выше.

Захватывающее шоу продолжается!
На подходе 171-я серия.
Не пропустите, господа!

Попробую спрогнозировать, какая серия ожидает нас к Новому году :)
Думаю, что юбилейная 200-я.

Yadryara

Please try.

Huz

Please try first to explain why I should care. As discussed before, for the special case of 12 divisors, such chains have proven trivial to check - the total effort to check all of them for D(12,11) is less than 0.01% of the total time. Is there some more general truth to be found here that would apply for cases of other numbers of divisors? If not, I would rather spend my effort on something that might make general searches 0.1% faster, or even 1% or more.

https://dxdy.ru/post1570320.html#p1570320
Отличный ответ!

Доказательство от Ядряра продолжится и после этого ответа?
Не исключено.

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

К другому количеству делителей, пожалуй, применить нельзя. Но зато можно применить к D(12,12), D(12,13), D(12,14) и D(12,15).

Ну так и применяйте! Кто или что мешает?

И далее цитирую то же сообщение

Больше половины паттернов(1260 из 2471) можно исключить из рассмотрения. Гораздо удобнее рассматривать меньшее количество паттернов, делать биекцию, группировать, вести статистику, что обсчитано и докуда. С меньшим количеством гораздо удобнее работать. Обратите внимание, даже краткая биекция для одной тысячи паттернов не поместилась у меня в одном посте.

Hugo не давал обязательства работать для удобства господина Никонова.
Он работает для своего удобства.
Ему гораздо удобнее использовать универсальную систему построения паттернов.

И кстати, да, Hugo спросил

Please try first to explain why I should care.

Google переводит

Пожалуйста, попробуйте сначала объяснить, почему меня это должно волновать.

Вполне нормальный вопрос - и на английском, и на русском языке.
Абсолютно глупая придирка господина Никонова к слову "должно".

И вообще всё это - махровый троллинг.
Не понимаю, куда смотрят модераторы!

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

Это проверка многострадального паттерна b1850 с шагом 42688800, который у меня проверялся в прошлый раз 100465.27s, а теперь вот 2209.33s, не в шесть раз быстрее, а в 45 раз быстрее! Той же программой pcoul. Вот вам и ха-ха.
Посмотрим заинтересует ли такое ускорение проверки паттернов с шагом 42688800 кого-нибудь ... А для паттернов с меньшим шагом ускорение возможно будет и ещё выше, только мне сравнить не с чем.

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

Во-вторых, сравнить есть с чем.
Насколько могу понимать, паттерн b118 с меньшим шагом LCM=6098400, чем шаг LCM=42688800

/*             6098400,             2090745, b118*/ v=[    45,    14,     1,   132,     1,    50,     3,    32,     7,    18,     5,     4,     3,     2,   121]; z=[0,0,0,0,1,6,2,6,2,6,2,3,2,2,3]; n=3; pp=Mod(2090745,6098400);\\@LCM6098400-2090745-4

Здесь выложены частичные логи проверки этого паттерна
https://boinc.progger.info/odlk/forum_thread.php?id=196&postid=10267

Ещё один паттерн с таким же шагом - b112

/*             6098400,             1334745, b112*/ v=[    45,    14,     1,    12,     1,    50,   363,    32,     7,    18,     5,     4,     3,     2,     1]; z=[0,0,0,0,1,6,6,6,2,6,2,3,2,2,1]; n=4; pp=Mod(1334745,6098400);\\@LCM6098400-1334745-4

001 pcoul(12 11) -f11 -g3 -x9887353188984012120346 -b112
. . . . . . . . . . . . 
367 coul(12, 11): recurse 568817209, walk 568821149, walkc 58074879805 (746374.52s)

Судя по анонсированному ускорению в 45 раз, этот паттерн должен провериться у господина Петухова за 4,6 ч. (без учёта разницы в производительности компьютеров - его и corporaltermit).
Это, конечно, круто.

Однако... повторюсь: необходимо заключение Hugo.
И если заключение будет положительным, новая версия программы тоже от Hugo.

Появились паттерны, проверенные corporaltermit

• b100-b199: Natalia, CorporalTermit
o b100-b108, b110, b112-b114, b116-b119, b121-b122, b124-b126, b129-b132, b134-b138, b140, b145, b150, b152-b163, b165, b170, b175, b178, b182, b188, b190-b199: done

https://github.com/hvds/divrep/wiki/D%2812%2C11%29

Итак, мы полностью проверили 62 паттерна (уже есть в отчёте) плюс ещё один (b139), который у меня завершился вчера.
Осталось проверить 37 паттернов, 21 из них уже в проверке.
Все оставшиеся паттерны трудные с шагом LCM <= 42688800.
Среди них шесть паттернов с самым маленьким шагом LCM=554400; все эти паттерны в проверке, причём три из них проверяются с самого начала нашего участия в эксперименте, можно ожидать, что скоро завершатся.

Никак не уговорю французов поучаствовать в проекте Hugo :)

Вот ещё одно сообщение запостила
https://forum.boinc-af.org/index.php/topic,8691.msg532646.html#msg532646

И ещё один пост
https://formula-boinc.org/forum/viewtopic.php?t=367

Это на форуме FB (Формула BOINC).

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

Вы вроде бы недавно писали про удобство идентификатора b. Цитату пока не смог найти. А, вот нашёл.

Right, the b-number is intended only as a convenient handle to allow a human or a computer to find the actual pattern.

Я так понимаю речь шла об удобстве для Вас. Правда, идея взять заведомо неподходящие паттерны, разбить их на 5 групп и раскидать эти группы по всему комплекту, не представляется мне подходящей. И удобства я пока в этом не вижу. Уж извините.

Я офигеваю!
[Извините за жаргонное словцо; кстати, совсем недавно я узнала синоним этого словца, не озвучиваю :) ].

На месте Hugo я ответила бы кратко в стиле господина Никонова: "Извиняю".
А лучше не отвечать вовсе на этот бесконечный флуд всё об одном и том же.

В том же сообщении господин Никонов отвечает господину Петухову

Меня интересует. Я вот ждал Вашу новую программу для 32x SSE. Но если pcoul теперь работает быстрее Вашей новой и не менее надёжно чем раньше, готов протестировать подходящую для меня версию ежели таковая имеется.

Непоследовательно!
Ведь по мнению господина Никонова программа Hugo pcoul не имеет доказательной силы!
От того, что господин Петухов её оптимизирует с целью убыстрения проверки паттернов, программа вряд ли обретёт доказательную силу.
Ведь господин Петухов оптимизирует программу не в направлении усиления её доказательной силы, а просто с целью ускорить выполнение программы.
Так я понимаю. Могу ошибаться.
Но если правильно понимаю, тогда работать программой pcoul - это же только время зря терять, ибо, в соответствии с утверждением господина Никонова, программа эта минимальность 11-ки (как и всех других цепочек) не доказывает.

Была неплохая идея выполнить независимый эксперимент.
Однако... начинать надо с доказательства минимальности 8-ки.
Спрошу в стиле господина Никонова: "Чегой-то сразу взялись минимальность 11-ки доказывать?"
Ведь господин Никонов пока не увидел доказательства минимальности 8-ки, 9-ки и 10-ки с 12 делителями.
Или я что-то пропустила и он уже это увидел?
Если же не увидел, так и надо заняться этим доказательством.
Для этого:
а) составить все паттерны для 8-ок;
б) доказать полноту полученного набора паттернов;
в) проверить эти паттерны своей (независимой от программы pcoul) программой, для которой доказать, что она имеет доказательную силу.
Усё...

Затем то же самое проделать для доказательства минимальности 9-ки, и наконец - для доказательства минимальности 10-ки.
И только тогда браться за доказательство минимальности 11-ки.
А то чегой-то взяли и перепрыгнули :)
Непорядок.
Господин Никонов - большой любитель и блюститель порядка - сам порядок нарушает.
Да-с.

Ура!
Ахиллес разделался ещё с одним паттерном - b142

001 pcoul(12 11) -f11 -g3 -x9887353188984012120346 -b142 *RT*
305 13^2 2.11^2 3.5^2 2^5 7^2 2.3^2 17^2 2^2.5 3 2 3553925561^2 (574.94s)
305 13^2 2.11^2 3.5^2 2^5 7^2 2.3^2 19^2 2^2.5 3 2 2413041221^2 (1148.21s)
305 13^2 2.11^2 3.5^2 2^5 7^2 2.3^2 23^2 2^2.5 3 2 .: 183103524 / 1295369683 (1723.22s)
305 13^2 2.11^2 3.5^2 2^5 7^2 2.3^2 23^2 2^2.5 3 2 .: 656513457 / 1295369683 (2299.27s)
305 13^2 2.11^2 3.5^2 2^5 7^2 2.3^2 23^2 2^2.5 3 2 .: 1015042890 / 1295369683 (2875.30s)
305 13^2 2.11^2 3.5^2 2^5 7^2 2.3^2 29^2 2^2.5 3 2 .: 103295116 / 814804473 (3451.94s)
305 13^2 2.11^2 3.5^2 2^5 7^2 2.3^2 29^2 2^2.5 3 2 .: 540689123 / 814804473 (4028.38s)
305 13^2 2.11^2 3.5^2 2^5 7^2 2.3^2 31^2 2^2.5 3 2 .: 113618079 / 713059898 (4604.46s)
305 13^2 2.11^2 3.5^2 2^5 7^2 2.3^2 31^2 2^2.5 3 2 .: 533062189 / 713059898 (5180.31s)
305 13^2 2.11^2 3.5^2 2^5 7^2 2.3^2 37^2 2^2.5 3 2 .: 241371904 / 500548255 (5756.34s)
305 13^2 2.11^2 3.5^2 2^5 7^2 2.3^2 41^2 2^2.5 3 2 .: 134864121 / 407644593 (6331.72s)

. . . . . . . . 
305 5209^2 2.11^2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 .: 3454149 / 4268028 (208213.16s)
305 6217^2 2.11^2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 .: 2715782 / 2996224 (208789.73s)
305 7727^2 2.11^2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 .: 636213 / 1939609 (209366.13s)
305 10313^2 2.11^2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 .: 642386 / 1088844 (209942.37s)
305 15859^2 2.11^2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 .: 254026 / 460451 (210519.50s)
305 36709^2 2.11^2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 .: 40114 / 85938 (211095.78s)
305 1350503893^2 2.11^2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 . (211672.55s)
305 6089199643^2 2.11^2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 . (212249.77s)
305 17^5 2.11^2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 .: 49778193 / 81562682 (212825.55s)
367 coul(12, 11): recurse 14806075918, walk 14806080855, walkc 120879724894 (212956.78s)

Теперь финишная прямая имеет такой вид

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

21 паттерн в проверке и 15 паттернов ожидают проверки.

Итак, 64 паттерна полностью проверены, 36 паттернов либо проверяются, либо ожидают проверки.

И ещё один пост
https://boinc.tbrada.eu/forum_thread.php?id=3155&postid=4768

Это на форуме BOINC-проекта TBEG.

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

Впечатлившись 45-кратным ускорением запустил посчитаться один из самых трудных паттернов (LCM=554400, n=3) (скрин с сокращениями):
<…>
Полученное ускорение неизвестно, его и аналогичные паттерны вроде ещё никто не просчитал до конца.

Опять не с чем сравнить :)
Зря я старалась в сообщении
https://boinc.progger.info/odlk/forum_thread.php?id=196&postid=10278
выкладывать паттерны для сравнения.
Эти паттерны господина Петухова не впечатлили, его впечатлил самый трудный паттерн, который пока никто не просчитал.

Мой совет обратиться за проверкой "сверхбыстрого счёта" к Hugo, похоже, проигнорирован.
Господин Петухов обратился за проверкой обоснования его ускорения к господину Никонову.
Ну, два сапога умника, конечно, справятся с обоснованием.
И даже доказательную силу ускоренной программы докажут :))

Только я, к примеру, без заключения Hugo (и соответственно - его нового кода) ускорителями считать не буду.

Хотя мои советы господину Петухову не нужны, я всё-таки дам ещё один совет.

Каждому программисту известно: главный способ верификации кода - тестирование и ещё раз тестирование.
При этом тестировать надо не только для сравнения времени, чтобы впечатляло: в 45 раз, в 50 раз, в 100 раз...
Тестировать надо на получение всех известных результатов.

В частности, для ускоренной программы господина Петухова надо тестировать на получение минимальной 8-ки, минимальной 9-ки, минимальной 10-ки, текущей минимальной 12-ки и т. д.
Кстати, это будет и подтверждение минимальности 8-ки, 9-ки и 10-ки, о чём так печётся господин Никонов.
Во-первых, программа Hugo pcoul будет запущена на другом компьютере (на чём настаивал господин Петухов).
Во-вторых, будет запущена модифицированная программа.

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

EUgeneUS

в README написано:

Dmitriy40
Но не написано что это реально проверено и работает.

https://dxdy.ru/post1570376.html#p1570376

Так проверьте!

Выше я писала, что надо проверить, будет ли работать программа в ОС 32-bit.
Если не будет, то: corporaltermit ответил мне, что можно скомпилировать программу и под 32-bit.

Ни о проверке работы программы в ОС 32-bit, ни о нужности кому-то такой программы я на форуме dxdy.ru ничего не видела.

Можно написать Hugo и попросить его сделать программу для ОС Windows 32-bit.
Он попросит corporaltermit это сделать.