Меня больше вот это интересует:
Однако ж Демис не нашёл сейчас в 356-м то, что надо было там найти...
Признак это глюка или нет, возможно просто плохо понимаем что должно находиться, а что нет.
К тому же имея точную величину что надо найти и имея скомпилённые ускорители запустить проверку малого интервала не проблема, дело нескольких минут.
Да даже и не имея ускорителей, скомпилить ровно один его по известному номеру паттерна (хотя я бы оставил в M12mods1.patterns всю группу куда он входит и его же номер в остальных группах, 720+63=783 паттерна) тоже дело пары минут. Я правильно понимаю что вот эта не нашлась у него?
S2-34-310254:1029516202565343275260753721596441: 48, 12, 24, 12, 12, 12, 48, 12, 12, 12, 24, 12, 12, 12, 12, valids=11, ALL
Ну так она и не могла найтись в 356 комплекте: место с
там будет проверяемым, но оно не даёт 12 делителей, и не на краях цепочки, соответственно большой if в PARI эту цепочку отбросит.
Аналогично и с этой цепочкой в 268 комплекте, снова место с
не даёт 12 делителей и не на краях и цепочка будет отброшена if-ом в PARI:
S9-45-534102:1245151777292926996388280702383641: 48, 12, 12, 12, 12, 12, 96, 12, 12, 12, 6, 12, 12, 12, 24, valids=11
А эти будут отброшены по той же причине из указанных комплектов:
S9-34-310524:205919479636607036022754238500441: 48, 12, 48, 24, 12, 12, 12, 12, 12, 12,192, 12, 6, 12, 48, valids=9 - из 61-го
N9-51-102534:280087580533323744527451660096345: 24, 12, 6, 12, 24, 12, 96, 12, 12, 12, 12, 24, 12, 12, 12, valids=10 - из 23-го
S9-54-301254:618488966801017017440801761842841: 12, 24, 12, 48, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 24, valids=12 - из 26109-го
N9-46-210354:716855987915051788375953441705945: 96, 12, 48, 12, 12, 12, 96, 12, 12, 12, 12, 24, 12, 12, 96, valids=10 - из 172-го
N2-51-132045:821319260108587524224637982569945: 48, 12, 24, 12, 6, 12, 12, 12, 96, 12, 12, 12, 48, 12,192, valids=9 - из 23-го
N9-42-150432:1014353014337257590188030170593945: 12, 12, 12, 12, 24, 12, 12, 12, 12, 12, 24, 24, 12, 12, 96, valids=11, ALL - из 23-го
S9-35-210345:1272532768223798874836634878826841: 48, 12, 96, 48, 12, 12, 12, 12, 12, 12,144, 12, 96, 12, 96, valids=9 - из 61-го
Эта могла бы найтись в 172 комплекте если закомментирована проверка 14-го места, но ускоритель обнаружит делитель 2707 на этом месте и отбросит её:
N9-34-125304:16191487852135495242312275131545: 12, 12, 48, 12, 48, 12, 12, 12, 12, 12, 12, 12, 12, 48, 24, valids=11, ALL
Эта отброшена из 00 комплекта так как место с
ещё делится на 83 и 1747, т.е. соответствующий ускоритель это обнаружит и отбросит:
N2-54-134502:445928933180960552827874582635545: 24, 12,192, 12, 96, 12, 12, 12, 48, 12, 12, 12, 12, 48, 48, valids=9
Осталась одна цепочка, которая и была найдена и там и там (если закомментирована проверка 14-го места в PARI):
S2-31-123540:900215492993142117353585859647641:192, 12, 12, 12, 12, 12, 48, 12, 12, 12, 12, 12, 24, 48, 12, valids=11, ALL
Т.е. всё правильно ищется.