Неужто 46080 экзешных прог-32, которые сейчас в облаке, несмотря на номера паттернов не заточены именно под подквадратные 17-37 ?
Заточены конечно. Но не
кодом программы, а подключаемым внешним файликом с таблицами, который формирует программа на PARI (а первые два я руками с калькулятором писал). И в процессе компиляции асм исходника эти таблицы интегрируются в .exe. И думать как подправить код под каждый паттерн не нужно, он одинаков, а таблицы генерятся тоже программой автоматически прямо по паттерну (в ней есть несколько настроечных параметров, но для паттернов одного множества типа КМК37-11 они одинаковы).
Из-да глубокой оптимизации это лишь в первом приближении, на самом деле не совсем так, ради скорости применяются пара хитрых трюков и при глобальной смене паттернов приходится внимательно проверять остаются ли они в силе. Некоторые коэффициенты (не из паттерна, например количество проверяемых простых) ради упрощения кода "зашиты" в программу (в смысле тоже берутся из внешнего файла, но должны быть известны на момент
компиляции, а не запуска).
Так что на имя .exe/.v всем конечно наплевать, оно нужно только для различения паттернов между собой и для соответствия им правильного вектора
уже потом в PARI, можете их переназвать как угодно, но просто переписать файлы .v недостаточно, требуется изменить таблицы для каждой программы и перекомпилить.
Неужто достаточно самостоятельно переделать джипишный файл?
Да: переделать, запустить для каждого паттерна и результат работы скомпилить в .exe. Только не тот .gp что потом цепочки проверяет и выложен, а тот что генерит таблицы для асм исходника, те самые начальные остатки
(
это коэффициенты в паттерне) по каждому простому
и таблицу
приращений этих остатков при увеличении
на единицу. Программе же нужно знать как меняются остатки каждого из 11-ти чисел по каждому простому при увеличении
. Собственно только это ей и надо знать ...
В принципе когда цифра в 45Г на все программы пугала я даже думал сделать эти таблицы во внешнем файле и читать их оттуда в своей программе (передав ей номер паттерна в каком-нибудь удобном формате), но прочитать файл на асме не тривиально, да и скорость чуть упадёт (второй доступ к диску, хотя конечно закэшируется). Но скорее просто стало лень. Зато можно было бы обойтись всего двумя файлами: маленьким .exe и большим с таблицами (не текстовыми).
-- 08.04.2022, 22:02 --Досчитал все пропуски и в 6e37, и в 9e37, новых пятнашек не нашёл.
Интервал 0-7e37 есть полностью, сам 7e37 фрагментами, 8e37 нет вообще, 9e37 есть полностью. Все полные выложил в облако, при этом заменил и ранее выложенные для единообразия (укоротил название файла/паттерна). Приступил к досчёту 7e37 и 8e37, должно хватить 3-3.5 суток, примерно к утру 12.04.