Я уже много писала об этой задаче.

Дублирую сообщение
https://boinc.multi-pool.info/latinsquares/forum_thread.php?id=109&postid=1017

О рекордном (на данный момент) по Д-трансверсалям ДЛК 13-го порядка рассказываю.
Этот ДЛК из полной системы MOLS, он циклический пандиагональный.
ДЛК легко строится вручную методом циклического сдвига.

0 1 2 3 4 5 6 7 8 9 10 11 12
2 3 4 5 6 7 8 9 10 11 12 0 1
4 5 6 7 8 9 10 11 12 0 1 2 3
6 7 8 9 10 11 12 0 1 2 3 4 5
8 9 10 11 12 0 1 2 3 4 5 6 7
10 11 12 0 1 2 3 4 5 6 7 8 9
12 0 1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 5 6 7 8 9 10 11 12 0
3 4 5 6 7 8 9 10 11 12 0 1 2
5 6 7 8 9 10 11 12 0 1 2 3 4
7 8 9 10 11 12 0 1 2 3 4 5 6
9 10 11 12 0 1 2 3 4 5 6 7 8
11 12 0 1 2 3 4 5 6 7 8 9 10

Утилита Harry White отмечает такие свойства в этом ДЛК

Order? 13

Enter the name of the squares file: inp
.. writing type information to file inpTypeDetail_5.txt

Counts
------
         1 diagonal Latin
         1 pandiagonal
         1 center symmetric
         1 nfr
         1 self-orthogonal

Запускала этот ДЛК в проверку на ОДЛК программой Белышева ortogon_u; программа посчитала Д-трансверсали и начала шустро щёлкать проверку на ОДЛК

Проверка ДЛК13 на марьяжность (ОДЛК)

Введено ДЛК:     1
Найдено ОДЛК:    0

Д-трансверсалей: 131106
Соквадратов:     8
Время в сек:     15

9114 4110 1569 486 163 19

Покрутила программу, нашла около 5000 ортогональных диагональных соквадратов и прервала.

Tomas Brada тоже исследовал этот ДЛК.
У него так получилось

EUELx2zmrdPHyTGkGJhedf1cuDmJzqhw6hUme293TPB (13, 131106, >>248703)

Количество Д-трансверсалей совпадает.
Ортогнальных ДЛК он много нашёл, но далеко не все, судя по этой записи >>248703.
___________________________________________
конец дублируемого сообщения

Далее покажу, как надо использовать программу Tomas Brada (поиск ОДЛК по частям) для решения данной задачи.

Цитирую сообщение
https://boinc.multi-pool.info/latinsquares/forum_thread.php?id=156&postid=3246

Это была попытка поиска ОДЛК к квадрозавру 13-го порядка программой Белышева ortogon_u.
Программа Белышева показывает в этом ДЛК 9114 частей.
Сейчас посмотрим, какое разбиение на части делает программа Tomas Brada.

Вот, код квадрата по системе Tomas Brada

EUELx2zmrdPHyTGkGJhedf1cuDmJzqhw6hUme293TPB

Запущен обсчёт первой части

C:\Users\Дом\Downloads\libr>ortogonbw  EUELx2zmrdPHyTGkGJhedf1cuDmJzqhw6hUme293TPB 1  1>output.txt
init_trans(13) used 575 nodes
num_dtrans: 131106
init_disjoint(13) used 170 heads and 1704548 nodes
L(0) c(85) 1 / 9114
L(1) c(44) X / 4110

Да, всё верно, у Tomas Brada тоже 9114 частей, совпадает с количеством частей у Белышева.

Вроде не сильно много частей.
В последнем квадрозавре 12-го порядка 2180 частей (для сравнения).
Но! Неизвестно, сколько будет считаться одна часть у квадрозавра 13-го порядка.
Даже если это будет всего лишь сутки, то... 9114 частей... представили, да?
Однако, боюсь, что здесь за сутки одна часть не обсчитается.
Ну, BOINC-проект, возможно, потянет эту задачу.
Кластер, суперкомпьютер...
Где бы их взять? :(

Итак, думаю, что цель эксперимента всем понятна.
Мы хотим найти все ОДЛК к заданному ДЛК 13-го порядка, имеющему на данный момент максимальное количество Д-трансверсалей: 131106.

Господа!
Каждый может принять участие в эксперименте.
Для этого надо иметь ОС Windows.

В эксперименте 9114 задач - это своего рода WU.
Вы выбираете одну из задач и начинаете вычисления.
Конечно, задачи лучше всего выбирать по порядку.
Я пока не знаю, сколько времени будет выполняться одна задача, потому что не тестировала это на своём ПК.
Может быть, потребуется неделя или несколько недель.
Кому удастся полностью просчитать одну задачу, расскажет нам, сколько времени на это потребовалось.

Задачу вы запускаете с помощью следующего скрипта

ortogonbw EUELx2zmrdPHyTGkGJhedf1cuDmJzqhw6hUme293TPB N >output.txt
pause

Здесь N - номер задачи.
Например, для запуска задачи 15 вы запускаете следующий скрипт

ortogonbw EUELx2zmrdPHyTGkGJhedf1cuDmJzqhw6hUme293TPB 15 >output.txt
pause

Скрипт - это пакетный файл (тип .bat).
В архив я включила скрипт для запуска первой задачи (N=1).
Результаты вычислений будут записаны в файл output.txt, который вы пришлёте мне.

Программа поиска ОДЛК по частям (автор Tomas Brada) выполняется в один поток.
Если вы имеете многоядерный процессор, можете запустить несколько задач одновременно - каждую задачу в отдельной папке.

Далее я выложу программное обеспечение эксперимента, которое содержит три библиотечных программы и программу Tomas Brada ortogonbw.exe.

Выложила архив с ПО на Яндекс.Диск
https://disk.yandex.ru/d/N8GFmG760RayFQ
648 КБ.

Господа!
Пожалуйста, задавайте ваши вопросы здесь или пишите мне ЛС.

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

Если вы выбрали задачу и запустили вычисления, пожалуйста, сообщите об этом здесь или мне в ЛС.

И ещё важное замечание: вы можете в любой момент прервать вычисления в задаче (или это произойдёт по независящим от вас обстоятельствам); в этом случае все найденные ОДЛК сохранятся в выходном файле.
Но понятно, что, прервав программу, вы не найдёте все ОДЛК в данной задаче, и задачу придётся считать заново, продолжение вычислений с прерванного места невозможно.

Господа!
Сообщаю, что XAVER согласился поэкспериментировать.
Он запустил в обсчёт задачи 1 и 2.

Таким образом, для вас на очереди свободные задачи 3, 4, ..., 9114.

Присоединяйтесь, пожалуйста!
Мы пока ничего не знаем об ОДЛК 13-го порядка: сколько их может быть у одного ДЛК.
Я взяла для эксперимента ДЛК, который может дать много ОДЛК, так как он имеет много Д-трансверсалей (максимальное количество, известное на данный момент).

Мы уже кое-что знаем о количестве ОДЛК 12-го порядка от одного ДЛК.
Полностью обсчитаны на ОДЛК два ДЛК 12-го порядка, имеющие самые большие количества Д-трансверсалей, известные на данный момент.

Покажу вам рекордный ДЛК 12-го порядка, который был обсчитан совсем недавно моим помощником CoolAtchOk.
Цитирую

Итак, ДЛК 12-го порядка с 30192 Д-трансверсалями (новый квадрозавр) обсчитан на ОДЛК



Этот ДЛК имеет 3 855 983 322 ОДЛК.
Таким образом, мы имеем новый рекорд по количеству ОДЛК от ДЛК 12-го порядка.

Этот результат внесён в OEIS
https://oeis.org/A287695
Цитирую

a(12) >= 3855983322. The result belongs to DLS, which has 30192 diagonal transversals. Calculations performed by a volunteer. - Natalia Makarova, Tomáš Brada, Nov 11 2021

Данный эксперимент CoolAtchOk выполнял с 1 октября по 11 ноября т. г.
Он использовал тоже программу Tomas Brada (поиск ОДЛК по частям).
При этом он запускал одновременно несколько частей на многоядерном процессоре.

Понятно, что для порядка 13 всё намного сложнее.
Главное - время.
Нам важно узнать, сколько времени потребуется на обсчёт одной задачи (части).
Тогда можно будет сказать, насколько реально обсчитать ДЛК полностью.

Кстати, мне помнится, что Tomas Brada писал: каждую часть можно разделить ещё на части.
Но я пока это не применяла.
Такое разделение нам может помочь, если одна часть будет обрабатываться слишком долго.

Репост
https://boinc.progger.info/odlk/forum_thread.php?id=205&postid=7759

Получила ЛС от пользователя.
Цитирую

I just wanted to inform you that I compiled ortogonbw for Linux and I'm currently running task 10 of EUELx2zmrdPHyTGkGJhedf1cuDmJzqhw6hUme293TPB on my Ryzen 5900X. But because you couldn't give any estimation about the runtime and the fact that there is no support for checkpoints yet (maybe Tomas Brada can implement it?), I do not guarantee anything. The simulation is already running for about 45 hours and has written ~237.000 entries/lines to the output file.

Замечательно!
В эксперименте тестируется ещё одна задача - №10.

Интересен также этот момент

I just wanted to inform you that I compiled ortogonbw for Linux ...

Я давно читала (не вспомню сейчас - где), что имея исполняемую программу для Windows, можно как-то получить программу для Linux.
Кажется, это было на форуме команды из Германии.
Это так называемая симуляция, да?
Сейчас напишу автору ЛС и попрошу его рассказать об этом подробнее.

Отлично, что получено уже примерно 237000 ОДЛК. Это почти вдвое увеличивает известное количество ОДЛК, которое получил Tomas Brada от данного ДЛК.

Напоминаю, что задачи №1 и №2 тестирует XAVER.
Он работает в Windows.

Господа!
Пожалуйста, присоединяйтесь к эксперименту.
Участие каждого важно.

Repost
https://boinc.tbrada.eu/forum_thread.php?id=3144&postid=4709

Tomáš Brada
I quote the letter from XAVER

The problem in running for (several) weeks without interruption is
Windows 10 which updates itself irregularly and therefore also restarts
itself unanounced. As your program can't be suspended it will then
restart from the beginning and all previous results will be lost. Could
you ask Thomas if he could make his program supporting suspension (like
some other programs i did for you)? Or is it possible to reduce the size
of the parts?

I really need your help with this experiment!
Please tell me how to split the parts in the ortogonbw program into more parts.

Can you make support for continuing computation when the program is interrupted?
It seems to me that this is impossible due to the specifics of the algorithm. Maybe I'm wrong.

See
https://boinc.progger.info/odlk/forum_thread.php?id=205&postid=7775

Я предложила XAVER остановить экспериментирование.
Напомню, что он экспериментировал с частями №1 и №2.
Эксперимент был начат им 20 декабря 2021 г.
Таким образом, он выполнял эксперимент три недели.

Остановив эксперимент, XAVER прислал мне полученные результаты.
Понятно, что это далеко не все ОДЛК в частях №1 и №2.
Однако то, что получено, тоже ценно.
Мы теперь можем изменить существующую оценку для максимального количества ОДЛК от одного ДЛК 13-го порядка.
Напомню, что раньше Tomas Brada получил следующую оценку для данного исходного ДЛК
a(13) >> 248703.

Итак, рассказываю о результатах, полученных XAVER в данном эксперименте.
Часть №1
Найдено 1172281 ОДЛК.
Показываю несколько первых и последних ОДЛК в этой части

# in: EUELx2zmrdPHyTGkGJhedf1cuDmJzqhw6hUme293TPB 1
# num_dtrans: 131106
EzTFi45JMxj5AhpZRdXMqYNAEp1XWkFkLaCKma
EnJL3MetLM59Qnbz41wcwdVeQfwcJV8wLjwvA2
Ehfc1uRDMvrGB8hJnLwPvPUFksyrfgsDzaaozY
EqQ2Vj2gr3NUQA5cTg5YhhjJ2uLyVKptE6r4eG
ErM4aMzApRYdUnQYUz3VqDcotDTLcLk9ZuZY8BB
Eh6j7iMp3msqH7k5LVxp8Q5NWDERwEKxkwzjh5
EiT7KAcmeFLwPeNRCBf8D1cECboRHURUWAKf5c
EZUwEdd6LrSLuxA1dDbVCekUwttukQG6nNc1bV7
Eko6BeMhapDmsigRpzCXZ9tP51XYBCuiSbrr1D
EA8kxPQdEf6xQGmqUFuaKsBjNPZbR2pmeoWUC2
EpL4TnG2541n6G4cUxewAwhRYrbW3CFdvFbu2hD
ECCbeSmrDm3nJn1EBUrKzjHfN9Ks76KpPXyN8Z
ExwfB9Vwva35sPceU5xcNaNs5ZfCLkrmsQbutQA
EYUnAhn2cXuND6KwvoBZonKtpaiGw1nsyvFFpC
EcSdnvHuCq2mne7eYTm9MMLWwM3TJcsyaQntgq
EaMnzvFbhFgvJzerfZoYqDn6tMiVK5y2GNCUZn2
EDakBee9yt5KjRKqbFX4dykWHn2jCxNxtWqokQ
ESuAXcvjdVSP4FrQHWKRhTTVpeKuFeZFC9VgwF
. . . . . . . 
EygbyWJYaSQXsiCMmQXm8ZRFYHwcBkiRDW9R7
EJgNZ1ZL4KX8UEd6mcfzxJVNDQWdwpDTSttAH2
ETA374djrh2EPkRbqLwH54tbeLFDBNCvzuCZ1F
ETi6VxNhpBQ1fGdQyLyi6akx5tQqEhveZrbjM
EGhRAnMxB3YWNtQArxwM7HRK1tqw44tEn5ioD2
EGKEda2v7aLBVr9gPAwtREiJD6dEcx4xLqWTM2
EAJkNj3UxHYrf3VpXghiPmaa4Tr9HG6qRCyQX
EzcYePTTRiWDGvUaCfekgUVgHts3KjPrLJMd4
EtwsmiigBRfugN3tinKnEbqGaWJ1EsdTe3LETh
EymgJC6PM8GULtT7WajfXXnkJYxaE658usjx9
ExaKrkbmyeXVWrfsvZq5JwxcLzZcGUsKyXLj55
EL9dcEvrF9oGGbLntjWBLAmUMfVrBnkUsLPcw
EW2ybEMFYr7QBi75HVMEGSXuPhbeBK1tuvWwSF
EepaTYWSMPEe5VthJNguPszjykHqfvCLVw1WsD
EWHpi6ofJyHLiubox9h2fbNXtNEq8pi5CQWu8e
EAe2TUVUiVjvhU7aey1FWpcsjj1ECg4xqNtrP3
EnHNLhAFu9V7ucdnL9NHnJ5vUETC3f1U4DDDC4
ES8s2MsUmtvnsGEmcKqpMf2AfPZQSaLJf8Yxw

Часть №2
Найдено 1193419 ОДЛК.
Показываю несколько первых и последних ОДЛК в этой части

# in: EUELx2zmrdPHyTGkGJhedf1cuDmJzqhw6hUme293TPB 2
# num_dtrans: 131106
EQobswMD1EhcRZUvX1kCBeCjdDJCCAuZq9YgsE
ESpt88TJmcvrMgNiZZXrxRh4o4CYY5Wx7fAZa42
ESJTPq5FnEffvb6Ny474YQhHpU7sep48xaGrj7
EzB2dhSb7PgXt7NuvinhjRN7SpGxMaqL1jbSBbB
EpBz3sMB7NK915eFtu5VdwkMkbbBYdBwSkoZj2
EDx5LtFvuLBLzJ98YEYMWgtMap3JJKBjaV8TLS
EHcURTME9C1zhfhcU1YffpEbUks5GFBgtSMaccC
EhSxUZ2JtQx9DrEbMnpebmoiMQNmoz2VVofQefG
EiwvQ8FScgpaqQeK42RytW43NGbvvcJFrZE162
EnvxNUySkfYSX6akYhz2oS7j97PxEGufQnXkx8
EFVvAcGbqjxgcfCioRPbyG2PpXp52SfbyMwySc
EGVppyCwX6wFDHPqzorn8E42S3nuTeip93Rx6w7
EvY3hAgkemz5gKKBfbbKL4ddruag9cbpXmEp6SR8
EzyNqDRPHG6kJs21nBJJiWotrFaTeZHHQPCWdv
EdA6PXB2BqSBMmvBxMn3EPdBbXj1m3xa9AinC9G
EAzDePkzB6dXcfenTcVt4FVCsAM7mgcGPxDMoF9
ELoLnGeAwEWfvK5DfJKG5zMwN16G2mixcSKWZF6
E9Vnzm41Rq1d1292kLTCwrYzzzfGeV8cWiXWbxc
. . . . . . . . 
E6URQqttFFUNrYZQToEs8co555vsTg3TWp7xBr5
EW6BCWCq1wWFuS76qJ4nXEe3FM8sUSELGhy1QU
EGdk76cNHngeutm9YE3pVYPqpn2dZ5pJWnbY2u3
EHbePJbNDJGhuzFtTYugUrJ5SegdXrArsDByNe5
Ecofe3RggPQn2vU4pFrFKFPeK6egLHdHrUo6542
EK2Q47u7sCHZXXCbD5YsVPVddqCUcUizq36ibUV
EE97USTTuBozFbZ2ywwcL686vUK1FBjXdGkaHX2
EBUCzn1EP4cnoYVna4V4FC8TZsoFwZrQKP5cMV
ENr7FbP37333eLEZu7E6efxkasn8JvmauCytNW
EjuKBYDppmWDz4wxbRNNmw3xWgrXh4kbGBW3NA
Ew2jBjMA8Xvg8QLD38nLF91kTiV9djuUvG5tHq
EHNhJJARnndmUPKF7z122ErU2HKqNoadDtXaKQ
Ecuh2nEPFpPQDVg1CAxxxDjtg2EpYQvHeE4tdG
ESfmqS71DL1MMRYk2Es7ADGuqaZRcihetCnzJiH3
ENKN2aR7pHa8DXZFGxowJUxANYmyiMy9ev5y2u7

Таким образом, оценка, полученная Tomas Brada, увеличена на 2365700 ОДЛК.
И это только из двух частей, которые проверены не полностью.

Пока делаем вывод из выполненного эксперимента: для ДЛК порядка 13 поиск ОДЛК к заданному ДЛК очень сложен для выполнения на одном компьютере.
Возможно, с этим справится BOINC-проект.
Но запустить эксперимент в BOINC-проекте я не имею возможности.

Выражаю большую благодарность XAVER за участие в эксперименте.

Напомню, что есть ещё один участник эксперимента, он тестирует часть №10.
Сейчас напишу ему и тоже предложу остановить эксперимент.

PS. Замечание по поводу увеличения оценки количества ОДЛК.
Если Tomas Brada проверял первую часть, то надо соответственно учесть найденные им ОДЛК, то есть не считать их дважды.

Господа!
Может быть, ещё кто-нибудь экспериментировал в данном эксперименте.
Сообщите, пожалуйста.

Предлагаю подумать, как нам выполнить этот эксперимент.
Опять у меня мысль о платформе yoyo@home.
Но, как я уже писала ранее, им нужен готовый BOINC-проект, который они смогут запустить на своей платформе.
К сожалению, я не умею "готовить" BOINC-проект.
Кто умеет?

У меня отличная новость!
Второй экспериментатор (walli) прислал результаты из части №10.
Большое спасибо!

$ time ../ortogonbw EUELx2zmrdPHyTGkGJhedf1cuDmJzqhw6hUme293TPB 10 >output_10.txt
init_trans(13) used 575 nodes
num_dtrans: 131106
init_disjoint(13) used 170 heads and 1704548 nodes
L(0) c(85) 10 / 9114
L(1) c(6) X / 4102
^C
real    29591m12,554s
user    29584m21,893s
sys     0m53,944s

----------------------------------------

So ortogonbw ran ~29591 minutes (~493 hours, ~20,5 days)
and 3034128-2 ODLKs were found.

Замечательно!
Найдено 3034126 ОДЛК в части №10. Это за три недели вычислений.

Показываю несколько первых и последних ОДЛК из выходного файла

# in: EUELx2zmrdPHyTGkGJhedf1cuDmJzqhw6hUme293TPB 10
# num_dtrans: 131106
EWRFgPdNBcjjt7Peys51UT6ZeKDmrdm4CMaMS6
EdUXE4gjaG6cRybpgidp6MuW5tT43WJa6w9Wa9
EHRQRDVy9Fk6vVkpMR1vngqnobKoR392VCh6Kg2
EzTVDngDeR1w5ryyfcqiWg8cCD3rLMSZAZP3JDA
ELk34tsQJCLhYUXhryvoZfXLDNQEHn9S2JYAj7
EQ3GqX9Mqaev8TULLisZXXkuRy7ipcw82x3LFeD
EGguLRSSxkbEH6s7k7nC1qUvbArfZWuuMZuUPV5
EWiM3Hp8ogFFyh7ATdBNMeFS8qUTX7iPDduZCU2
EvQPShGN274TkSVTU65zRkWRXtMFwxCA7x35B9E
Ep2q8GbcCFdikteoQZskn5E2wyfpkc9wmDGTDd
ExPXZWzCbFjsQTYg6wGgfntWgtRHvCNxvqHfcB3
E3dcvQDesKbgL1V4uUUyAGimx9xF7fRR1Zju152
EDev7giqKQwJe6j9QSPFnJh162KTTk3kG83MPh
EJ7UMRPR5U6qHmRoeKNGtBRe4NwURpo7bKejsKV
EfZRNRF5KQYtpygki4nXG6yKAMiJ4nrQTzveTX
EZt8d4idVpKzjJSagJotHvXdT5hCrqQsaQBDTT2
E5Ujbfz7kbLN3KMw7zgkEKzMsApGd2uwhEj1PXF
EFgfeBZRc7EP98VbFGfMokJqnJr3CodNb5Tx2
E4TL8JiJ2MQVUrQPpokLNVthN445iJmDsx7BBL3
EBXJeRwXXuaj6dvf1DYzJMKuQMsx7AsLE7PCnE
. . . . . . . . 
EoM21aoUfQssj7v8h3w93bzxg1Xnhio9whUU1i6
Euzb4C2GyaSBFur2xNtxuyZLpoaT7NgTU1Dd3X
EzGH5c1eRt2HzTzb88xVToVSDGeb9jcd7FJadK
EvL9BDspRneJ2SgbcMaaZJeMpyGQL4XhvV7mU7
Enu2HZWNJ6SUiwtoFLXc7KqLnVDaoFEVWP4VvMK
E37Bfzjf5knqaGLHPcazWeHQveEhyoZpjhhZM9
E3ydrvofmNQs2epi6NGcbBfSNdQJi7dn81YM7pR3
EPQdPVdq6LaVaAsqKaSN5WaApZBfwkudEC7TN
EDa2sBavJ8sYCNxfeZwSVncxDt5N8EvdzDrbnc8
EKVVuVFXb4AuwjcJjDyU5z18i2Xi8FEqks1TXMf2
E3XCHxpZX3vR3WBg4CrdaDi6pzGLb2cy6VFhd12
ENoXoH91dcRkN6VD1j4pSXfbwyPGeysssoum2H
EgwAguKd5mKKzBKJy4jJLbh9SD4pB3a4uq8jC
EceGjVTdi6Qcbdfif7PDPPG16QW7tvAmXVqFoA
EcwkFMZ3MSMQbpzijaLPTwNCerUM4hDSa4HAkG
EGBv9Aaz4NYyKNEZ6qBLfo95VmoMtNJsbHj4X6
E18dTwjRzmT68JrCs411nvRrvXYXJECc2QT1wC

Теперь надо проверить, являются ли решения, найденные Tomas Brada, решениями из части №1.
Если являются, то не считать их дважды в общем результате.

Напомню: Tomas Brada нашёл 248703 ОДЛК к данному ДЛК

EUELx2zmrdPHyTGkGJhedf1cuDmJzqhw6hUme293TPB (13, 131106, >>248703)

PS. Больше результаты никто не прислал, значит, никто не экспериментировал.
Хотя, может быть, и не значит...

Итак, я канонизировала ОДЛК, полученные XAVER в части №1.
От 1172281 ОДЛК получено столько же КФ ОДЛК.
Это очень хорошо.

Далее я нашла на своём диске 248704 КФ ОДЛК, полученные от результатов Tomas Brada.
(Кстати, ранее я выложила эти результаты на Яндекс.Диск, они вошли в ядро БД КФ ОДЛК 13-го порядка).
У меня на один квадрат больше, это я добавила к результатам исходный ДЛК.
Он нам не помешает в дальнейших операциях.

Затем выполнила для этих двух множеств КФ ОДЛК программой Алексея Белышева sos_operate следующие операции.

Разность

Введите порядок квадрата            : 13
Введите имя первого файла           :
 имя файла input_1.txt
Введите имя второго файла           :
 имя файла input_2.txt
Возможные действия                  :
 [1] - пересечение
 [2] - объединение
 [3] - разность
 [4] - симметричная разность
Сделайте ваш выбор                  : 3

В первом множестве элементов        : 1172281
Во втором множестве элементов       : 248704
В результирующем множестве элементов: 1156673

Объединение

Введите порядок квадрата            : 13
Введите имя первого файла           :
 имя файла input_1.txt
Введите имя второго файла           :
 имя файла input_2.txt
Возможные действия                  :
 [1] - пересечение
 [2] - объединение
 [3] - разность
 [4] - симметричная разность
Сделайте ваш выбор                  : 2

В первом множестве элементов        : 1172281
Во втором множестве элементов       : 248704
В результирующем множестве элементов: 1405377

Пересечение

Введите порядок квадрата            : 13
Введите имя первого файла           :
 имя файла input_1.txt
Введите имя второго файла           :
 имя файла input_2.txt
Возможные действия                  :
 [1] - пересечение
 [2] - объединение
 [3] - разность
 [4] - симметричная разность
Сделайте ваш выбор                  : 1

В первом множестве элементов        : 1172281
Во втором множестве элементов       : 248704
В результирующем множестве элементов: 15608

По результатам этих операций очевидно, что в порции КФ ОДЛК, полученной XAVER, содержится только 15608 КФ ОДЛК, полученных Tomas Brada.
Мне неизвестно, из каких частей Tomas Brada нашёл остальные КФ ОДЛК.
Это трудно установить.
Может быть, все его результаты из части №1, а может быть, они из разных частей.

Поэтому я приняла такое решение: опубликую результаты, полученные экспериментаторами в частях №№ 1, 2, 10.
Все эти ОДЛК точно различные.
Их количество: 1172281 + 1193419 + 3034126 = 5399826.
Таким образом, мы имеем новую оценку для максимального количества ОДЛК к одному ДЛК 13-го порядка
a(13) > 5399826.

Господа!
Я опубликовала результаты эксперимента
https://disk.yandex.ru/d/AIZCHkIjFzV5ag
Яндекс.Диск, архив 153 МБ.

Как отмечено выше, опубликованы результаты данного эксперимента без учёта ОДЛК, найденных ранее Tomas Brada.
Читайте пояснения в файле readme.doc.

Пожалуйста, задавайте ваши вопросы, если таковые возникнут.

Ещё раз подчеркну: в эксперименте выполнена маленькая часть.
Эксперимент можно продолжить, например, на суперкомпьютере или на кластере, если кто-нибудь имеет такую возможность.
Наверное, можно и в BOINC-проекте выполнить этот эксперимент.
Напомню о платформе yoyo@home.
ПО эксперимента надо адаптировать для BOINC и попробовать передать готовое Приложение на yoyo@home.

Мои помощники хором говорят, что этот эксперимент идеально подходит для BOINC-проекта.
Да я и сама понимаю, что подходит.
Только BOINC-проекта у меня, увы, нет.