Возвращаюсь к цепочкам.
21-й штатный прогон 37-го комплекта что-то очень медленно финиширует; надеялась, что он завершится к утру, но, похоже, только к позднему вечеру сегодня.

16 параллельных потоков работают замечательно.
Вот она - многопоточность!
Уже второй круг завершается в 10 потоках, и небольшое отставание в остальных 6 потоках.
И останется 6 кругов из 8.

Первый круг экспериментального прогона 37-го комплекта тоже пока считается; надеюсь, что к завтрашнему утру завершится.

Как мне кажется, здесь уже нечего ловить.
15-ка вряд ли найдётся, надежда на её появление стремительно тает.
Ну, дырявых 14-ок много; непрерывные изредка попадаются, но меньше известной на данный момент минимальной уже не будет.
Руководитель эксперимента говорит, что всё равно надо досчитать до конца эти 6 комплектов.
Считаем...

Какой ужасный мир!

Сейчас занялась БД BOINC-проекта ODLK1.
Решила проверить полную БД, которую мы с Demis посчитали и он по моей просьбе выложил на Яндекс.Диск.
Файл огромный, в сжатом виде 218 МБ.

Захожу сюда
https://boinc.multi-pool.info/latinsquares/forum_thread.php?id=163&postid=3495
Цитата

The complete database of the BOINC project ODLK1 for 2017-2021 has been published.
©2022 Progger & Stefano Tognon (ice00)
https://disk.yandex.ru/d/LnQpL9B4UGIP8w?uid=13714123
Yandex.Disk, archive 218 MB.

Иду по ссылке...
Там нету файла!
Написано, что владелец либо удалил файл, либо закрыл к нему доступ.
ШОК !!!
Так можно поступать?
Хорошо, допустим было нужно место на Яндекс.Диске или по какой-то другой причине не хотелось хранить файл с чужими данными.
Наверное, надо было предупредить, прежде чем удалять.
Или по современным моральным правилам это совсем не обязательно?
Можно удалить втихую?
Такой вот удар в спину, молча...

Я в полной растерянности :(
Пропала огромная БД, это за 4 года работы проекта, с хвостиком (проект работает с ноября 2017 г.).
И что теперь делать?
Конечно, все сырые (не обработанные) результаты в проекте хранятся (я надеюсь).
Но обработка сырых результатов занимает очень много времени.

Написала уже администратору проекта Стефано.
Может быть, он скачал эту БД.
Такая робкая надежда...
Если он ответит, что не скачал БД, тогда не знаю, что делать.

Хм-м-м...
Ситуация странная.

Внесу ясность.

Хотя есть предпосылки.
Летом стали сваливаться предупреждения от яндекса, про яндекс диск.
Что-то вроде "если Вы не зайдете или никто не будет скачивать, то файл удалится".
Речь шла именно про файл, пишу на память, я зашел посмотрел, вышел.
Через некоторое пришло уведомление, что удалено (не обращал внимания какой именно файл).
Потом посыпалась целая куча таких-же фокусов от яндекса по другим файлам.
Эффект тот-же.
Потом яндекс продали (это уже в сентябре случилось).

По работе люди не смогли выложить данные на я-диск.
Требовалась оплата.
Потом выяснилось (буквально вчера), что у одного человека есть оплаченный экаунт на 100Гб от яндекса.
И он тоже не смог выложить файлы.
Что уже является бредом, со стороны VK (VK новый владелец яндекса, если я правильно понял).

Я посмотрю файл размером 218Мб и если он сохранился, то попробую снова выложить.
Есть какая-то более подробная информация по этому файлу (поточнее размер, дата, имя файла, еще что-то)?

Есть какая-то более подробная информация по этому файлу (поточнее размер, дата, имя файла, еще что-то)?

Дата в сообщении о выложенной БД
15 Jan 2022, 13:46:19 UTC

Вставила в список дырявых 14-ок (найденных мной), опубликованный в сообщении
https://boinc.progger.info/odlk/forum_thread.php?id=196&postid=9687
новые добавления (опубликованы в том же сообщении).
Получился такой список, 63 штуки

1644045397000202097257384783236441:M12-S9-41-M12-S9-41-503214: 12, 32, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
2523070846505196118004730922674841:M12-S9-51-M12-S9-51-345102: 12, 12, 12, 12, 12, 12, 12, 12, 16, 12, 12, 12, 12, 12, 12, valids=14
2596570872606845562606814561185945:M12-N9-42-M12-N9-42-210436: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  4, 12, 12, 12, 12, valids=14
3622442787032728972968170496168345:M12-N2-46-M12-N2-46-062134: 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
5647219565443862443036265765544345:M12-N9-46-M12-N9-46-062134: 12, 12,  4, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14, ALL
5675649020130167140192706236675545:M12-N9-41-M12-N9-41-601432: 12, 12, 12, 12, 12, 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
6107879360323054060768953285196441:M12-S2-36-M12-S2-36-203164: 12, 24, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
6523980598256304645405510380073945:M12-N9-42-M12-N9-42-104523: 12, 12, 12, 12, 12, 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
7366533154797877735424335147176345:M12-N2-35-M12-N2-35-521043: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  8, 12, 12, valids=14
8527821822518768120123764664174041:M12-S9-53-M12-S9-53-532401: 12, 12, 12, 12, 12, 12, 12, 12,  8, 12, 12, 12, 12, 12, 12, valids=14
9922985334352780337966587369910041:M12-S9-51-M12-S9-51-532041: 12, 12, 12, 12, 12, 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
10450183440390298033961001751872345:M12-N9-26-M12-N9-26-624013: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  4, 12, 12, 12, 12, valids=14
10811479606888915408182631166097945:M12-N9-53-M12-N9-53-361204: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 64, 12, valids=14
11590620189478148425607728011724441:M12-S9-56-M12-S9-56-530412: 12, 12,128, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
11802394069079756844950115237998041:M12-S9-21-M12-S9-21-231054: 12, 12, 12, 12, 12, 12, 12, 12,  8, 12, 12, 12, 12, 12, 12, valids=14
13525803452264068006389357653466841:M12-S2-24-M12-S2-24-305142: 12, 32, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
14128103842834262705098540251398041:M12-S9-25-M12-S9-25-206134: 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
15214478487016103814314590531002841:M12-S9-45-M12-S9-45-403215: 12, 64, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
15827288908604089755802588633890841:M12-S9-41-M12-S9-41-120346: 12, 12, 12, 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
17273405686929167369087359819051545:M12-N9-24-M12-N9-24-023145: 12, 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14, ALL
18115721284075070458231413462365145:M12-N9-31-M12-N9-31-406321: 12, 12, 12, 12, 12, 12, 12, 12,  8, 12, 12, 12, 12, 12, 12, valids=14
19115492025391110287135400145598041:M12-S9-52-M12-S9-52-201453: 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
22639404769038504212839481992468441:M12-S2-21-M12-S2-21-631042: 12, 12, 12, 12, 12, 12, 12, 12, 16, 12, 12, 12, 12, 12, 12, valids=14
23451817958126627130648126938285145:M12-N9-31-M12-N9-31-520134: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 64, 12, 12, 12, 12, valids=14
24612744891177844933057109568456345:M12-N9-35-M12-N9-35-312604: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  8, 12, valids=14
29307515688242733145024246509643545:M12-N9-21-M12-N9-21-534201: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 32, 12, valids=14
29366706182785568150531818305604441:M12-S9-35-M12-S9-35-123504: 12, 12, 12, 12, 12, 12, 12, 12, 32, 12, 12, 12, 12, 12, 12, valids=14
29740364716145101435430005000257945:M12-N2-43-M12-N2-43-412036: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 32, 12, 12, valids=14
31342108021505226374002133978097945:M12-N9-54-M12-N9-54-423601: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  8, 12, valids=14
31348994116263327836833189452043545:M12-N9-54-M12-N9-54-201345: 12, 12, 12, 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14, ALL
31387968731788947157966500586963545:M12-N9-26-M12-N9-26-413052: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  8, 12, 12, 12, 12, valids=14
31551217388751057245754072415109145:M12-N2-36-M12-N2-36-461203: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  4, 12, valids=14
32006042893647490514859284206958041:M12-S2-24-M12-S2-24-304512: 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
33149049753864092551489361980003545:M12-N9-45-M12-N9-45-123045: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 32, 12, 12, valids=14
33575880677574753349595441537807641:M12-S9-54-M12-S9-54-143205: 12, 12, 12, 12, 12, 12,  4, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
33914550696487888012034476929830041:M12-S9-42-M12-S9-42-340251: 12, 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
37002251269206749823935165367354841:M12-S2-26-M12-S2-26-215304: 12, 12, 12, 12, 12, 12, 12, 12, 64, 12, 12, 12, 12, 12, 12, valids=14
38113441521565521641371963107714841:M12-S9-42-M12-S9-42-403162: 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
38221271922268769712570217587820441:M12-S9-26-M12-S9-26-241306: 12, 12, 12, 12, 12, 12, 12, 12, 32, 12, 12, 12, 12, 12, 12, valids=14
38814906326494711211924000080085145:M12-N9-54-M12-N9-54-640312: 12, 12, 12, 12, 12, 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
38825359850598196184885003260920345:M12-N9-31-M12-N9-31-431062: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 16, 12, 12, valids=14
41019433849870477033977740843635545:M12-N9-52-M12-N9-52-140362: 12, 12, 12, 12, 12, 12, 12, 12, 16, 12, 12, 12, 12, 12, 12, valids=14
41039441940036657764952226327972441:M12-S9-24-M12-S9-24-432061: 12, 12, 12, 12, 12, 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
42552724715567737018176481102680345:M12-N2-31-M12-N2-31-420513: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 32, 12, 12, 12, 12, valids=14
42988847838188234069361768369705945:M12-N2-31-M12-N2-31-026431: 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
43031350741193472157755007155758041:M12-S9-31-M12-S9-31-503412: 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
43685467897772066218256054948044441:M12-S9-54-M12-S9-54-415302: 12, 12, 12, 12, 12, 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
44273434157702496067152444148286041:M12-S2-34-M12-S2-34-420163: 12, 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
45314081399109064458242476046357145:M12-N9-42-M12-N9-42-643012: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 16, 12, 12, valids=14
51322750844692191384510458114899545:M12-N9-23-M12-N9-23-031624: 12, 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14, ALL
52148963174740060649663428788114841:M12-S9-46-M12-S9-46-310642: 12, 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
52274690176738812892555644179981145:M12-N9-45-M12-N9-45-364102: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 32, 12, valids=14
57717172535330096213152393643568345:M12-N9-26-M12-N9-26-105243: 12, 12, 12, 12, 12, 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
57870315297981182033914906677287641:M12-S9-56-M12-S9-56-520314: 12, 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
58206256759590989414857597313831641:M12-S2-24-M12-S2-24-463120: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  8, 12, valids=14
58599844650078547835719846935211545:M12-N2-54-M12-N2-54-043152: 12,  4, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
58884130082906583713392772790413145:M12-N2-36-M12-N2-36-035214: 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
59245399997544920043830762418317145:M12-N2-56-M12-N2-56-253014: 12, 12, 12, 12, 12, 12, 12, 12, 16, 12, 12, 12, 12, 12, 12, valids=14, ALL
59282181293061629648666356275091545:M12-N9-23-M12-N9-23-314025: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 32, 12, 12, valids=14
59546676893129365080409950328031641:M12-S2-42-M12-S2-42-530214: 12, 12, 64, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
59744288833315152307796379103397145:M12-N9-36-M12-N9-36-452103: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 16, 12, valids=14
61192446769843989519506886057143641:M12-S2-42-M12-S2-42-203145: 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
61989094910806099212411438619776345:M12-N9-21-M12-N9-21-012634: 12, 12, 12, 12, 12, 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, valids=14

Пока ещё считаются некоторые прогоны 37-го комплекта, будут ещё добавления.

В том же сообщении опубликованы найденные мной непрерывные 14-ки - 5 штук.

Новые добавление дырявых 14-ок

48106323723364528255034486912946841:M12-S9-23-M12-S9-23-345210: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  8, 12, 12, valids=14, ALL
47956921000741320449613347939678041:M12-S9-31-M12-S9-31-240513: 12, 12, 12, 12, 64, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
48232952967057916824798569376023641:M12-S9-36-M12-S9-36-450123: 12, 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
49424499549665046463993791009835545:M12-N9-54-M12-N9-54-015432: 12, 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14, ALL

55802998069115859746248115497344345:M12-N9-24-M12-N9-24-512034: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 32, 12, 12, valids=14
57717172535330096213152393643568345:M12-N9-26-M12-N9-26-105243: 12, 12, 12, 12, 12, 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
49424499549665046463993791009835545:M12-N9-54-M12-N9-54-015432: 12, 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14, ALL
57058089313563173398041093516273945:M12-N9-56-M12-N9-56-531042: 12, 12, 12, 12, 12, 12, 12, 12,  8, 12, 12, 12, 12, 12, 12, valids=14
56917552581606513914196753954892441:M12-S2-31-M12-S2-31-512034: 12, 12, 12, 12, 12, 12, 12, 12,  8, 12, 12, 12, 12, 12, 12, valids=14
50769563515647150785667433618122841:M12-S9-41-M12-S9-41-253104: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  8, 12, 12, 12, 12, valids=14, ALL

57870315297981182033914906677287641:M12-S9-56-M12-S9-56-520314: 12, 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14

66109623443799327102678144337421145:M12-N2-36-M12-N2-36-103542: 12, 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14, ALL
89741020193712819254228630642347545:M12-N2-31-M12-N2-31-145032: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 16, 12, 12, valids=14
88640929686550697507963400256536345:M12-N2-34-M12-N2-34-015342: 12, 32, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
88658386412826823932631237672387545:M12-N2-36-M12-N2-36-041532: 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14

83347038366448058939565885875136345:M12-N9-36-M12-N9-36-503142: 12, 12, 12, 12, 32, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14, ALL
81208614941517230882469765804509145:M12-N2-56-M12-N2-56-354120: 12, 12, 12, 12, 12, 12, 12, 12, 24, 12, 12, 12, 12, 12, 12, valids=14, ALL
73568689604518051495429645021253145:M12-N9-45-M12-N9-45-534201: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 32, 12, valids=14
69240630398126514268822982339136345:M12-N9-24-M12-N9-24-425301: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  8, 12, valids=14

В теме сейчас дебил citerra прогулялся, постов 20 подряд запостил. Устала удалять.
Пришлось тему опять закрыть для комментариев.

Progger
а не пора ли всё-таки заблокировать этого дебила?!
Участие его в проекте уже давно нулевое
11) citerra 167,678 0.10 Russia

Сколько ещё он будет темы замусоривать???
Вам-то это, наверное, не мешает, потому что вы на форуме ничего не пишете, а возможно, и не читаете.
Однако на мои многочисленные просьбы о его блокировке, может, всё-таки отреагируете?
Или вам и на форум плевать, и на мои просьбы плевать?

Антон писал 31 августа т. г.

В многопоточности я не смыслю ровным счётом ничего. Даже то, что два(а не 4) потока у Ахиллеса работают -- это здорово.

https://dxdy.ru/post1563851.html#p1563851

И сегодня

Разделение 64 групп на части(например 8 потоков по 8 групп) является стандартным и для компиляции и для обсчёта.

https://dxdy.ru/post1564766.html#p1564766

Вот всего две недели прошло, и теперь Антон уже всё понимает в многопоточности :)

Да, да, именно разделение 64 групп на части и есть многопоточность!

Раньше я считала, например, на Ахиллесе-2 в 9 потоков, но! я делила на потоки не 64 группы данных для обработки, а диапазон!!
И мне никто не сказал, что я не то делю на потоки.

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

Потом продолжала считать на Ахиллесе-2 тем же самым способом - разделение диапазонов на потоки.
Наконец, в какой-то момент осенило!
Это тот случай, когда мозг, получив много информации по задаче, уже работает сам по себе и в какой-то момент выдаёт решение.
Счастливое озарение!
Всё было ну очень просто.
Но... повторюсь... ни Антон, ни Demis не сказали мне: "Вы не то делите на потоки, делить надо группы, а не диапазон."

И сейчас у меня работают 16 параллельных потоков.
Без всяких добавлений в переборную программу команд, обеспечивающих многопоточность.
Да, эта многопоточность тоже искусственно созданная.
Но она гораздо эффективнее той многопоточности, когда на потоки делится диапазон.

Кстати, 16 параллельных потоков уже идут по третьему кругу.
Пошли вторые сутки, как я их запустила.
Всего задано в переборной программе 8 кругов.
А диапазон огромный - это весь хвост.

А хвост у меня был запущен и в самом начале этого эксперимента, но запущен он в один поток!
В один, а не в 16! Разницу чувствуете?
И вот в этом экспериментальном прогоне (5 кругов) до сих пор считается первый круг для 37-го комплекта!
Этот экспериментальный прогон

start=48825*10^30;\\ Откуда начать
stop=97650*10^30;\\ Где закончить (не включая)
step= 9765*10^30;\\ Сколько отвести на каждый круг перебора

А между тем, сегодня ровно две недели, как у меня гостит Ахиллес-2.
Похоже, ему у меня понравилось :)
Ну, ещё бы недельку...
Думаю, что 16 параллельных потоков за неделю посчитаются.

Завершился 21-й прогон 37-го комплекта (Ахиллес).

Окончание выходного файла

. . . . . . . . . . 
50582188456629115944425122232918041:M12-S9-56-M12-S9-56-510243:  6, 48, 32, 12, 12, 12, 12, 12, 12, 12, 48, 12, 12, 24, 12, valids=10
50558273790112308104017569490094041:M12-S9-56-M12-S9-56-512304: 12, 24, 12, 12, 12, 12,  8, 12, 12, 12, 48, 12,192, 24, 12, valids=10
50517938515436190496971784163092441:M12-S9-56-M12-S9-56-513024: 48, 48, 24, 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, 24, 12, valids=10
49781496786163031413340355613914841:M12-S9-56-M12-S9-56-513240: 12, 12, 24, 24, 12, 12, 12, 12, 16, 12, 24, 12, 12, 12, 96, valids=10
50356357198498115699114835411196441:M12-S9-56-M12-S9-56-521034: 48, 12, 12, 24, 16, 12, 12, 12, 12, 12, 12, 12, 12, 24, 12, valids=11
50391377724181445413685242593614041:M12-S9-56-M12-S9-56-521340: 12, 12, 24, 24, 12, 12, 12, 12, 64, 12, 48, 12, 12, 12, 24, valids=10
49845685651128801119102417098938841:M12-S9-56-M12-S9-56-523401: 12, 12, 12, 96, 12, 12, 32, 12, 12, 12, 48, 12, 24, 48, 12, valids=10
50248630055312238817315360154682841:M12-S9-56-M12-S9-56-524013: 12, 12, 48, 12, 32, 12, 12, 12, 12, 12, 12, 12, 24, 48, 24, valids=10
50282895511672542014982163418380441:M12-S9-56-M12-S9-56-524301: 12, 24, 12, 12, 12, 12,  8, 12, 12, 12, 48, 12, 12, 12, 12, valids=12
50406515655436799799359872180367641:M12-S9-56-M12-S9-56-530421: 96, 96, 32, 12, 12, 12, 12, 12, 12, 12, 24, 12, 12, 12, 12, valids=11
50438648688661310594206362136103641:M12-S9-56-M12-S9-56-532014: 12, 12, 12, 12,  4, 12, 12, 12, 12, 12, 24, 12, 96, 24, 24, valids=10
50483833311834429110583519539639641:M12-S9-56-M12-S9-56-540123: 12, 12,128, 96, 12, 12, 12, 12, 12, 12,192, 12,  6, 96, 12, valids=10
49865939066700807446923447143863641:M12-S9-56-M12-S9-56-540312: 12, 48, 32, 12, 12, 12, 12, 12, 12, 12, 48, 12, 48, 12, 24, valids=10
49860341491389516134948018650972441:M12-S9-56-M12-S9-56-541203: 24,192, 12,  6, 12, 12, 64, 12, 12, 12, 12, 12, 48, 12, 12, valids=10
49838037311926817676042660153854041:M12-S9-56-M12-S9-56-541230: 12, 12, 12, 12, 12, 12, 12, 12, 16, 12, 48, 12, 24, 12, 96, valids=11
50580537288035481866145653014007641:M12-S9-56-M12-S9-56-541302: 12, 48, 12, 48, 12, 12,  8, 12, 12, 12, 12, 12, 24, 48, 12, valids=10
49657084207538580677685815730335641:M12-S9-56-M12-S9-56-542013: 48, 12, 24, 24,  8, 12, 12, 12, 12, 12, 12, 12, 12, 48, 12, valids=10
49703018953228938037724302629350041:M12-S9-56-M12-S9-56-543012: 12, 24, 24, 48,  4, 12, 12, 12, 12, 12,384, 12, 12, 12, 12, valids=10
TIME = 359155 seconds
kolshag = 3107593038

Всего 15154 цепочки.

Найдены четыре дырявые 14-ки

48106323723364528255034486912946841:M12-S9-23-M12-S9-23-345210: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  8, 12, 12, valids=14, ALL
47956921000741320449613347939678041:M12-S9-31-M12-S9-31-240513: 12, 12, 12, 12, 64, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
48232952967057916824798569376023641:M12-S9-36-M12-S9-36-450123: 12, 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
49424499549665046463993791009835545:M12-N9-54-M12-N9-54-015432: 12, 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14, ALL

Результаты отправлены.

Напомню диапазон этого последнего штатного прогона

start=47600*10^30;\\ Откуда начать
stop=50600*10^30;\\ Где закончить (не включая)
step= 1000*10^30;\\ Сколько отвести на каждый круг перебора

PS. Если Маруся и прочие богатыри, а также компьютер руководителя, жаждут работы, пусть досчитывают хвост 37-го комплекта
50600е30 - 97560е30.
В 25 потоков они это мигом досчитают :) ибо ведь надо быстро.
Мои эксперименты в этом комплекте останутся моими.
Пусть они никого не волнуют.
Эксперименты выполняются на Ахиллесе-2, который у меня временно, его могут забрать в любой момент.
Выше я писала, что не гарантирую полный обсчёт 37-го комплекта

Я же продолжу заниматься 37-ым комплектом, пока работает Ахиллес-2.
Не гарантирую, что смогу посчитать этот комплект полностью тем более именно в сентябре.
Как посчитается, так и посчитается.
А если надо очень быстро, могу и 37-й комплект отдать.
Только досчитаю 20-й и 21-й штатные прогоны.

Demis нашёл у себя пропавшую с Яндекс.Диска БД и снова выложил её на Яндекс.Диск.
Смотрите сообщение
https://boinc.multi-pool.info/latinsquares/forum_thread.php?id=114&postid=3596

Спасибо!

Первый круг экспериментального прогона 37-го комплекта завершается; надеюсь, что сегодня завершится, осталось немного.
Посмотрела в этом прогоне найденные дырявые 14-ки

55802998069115859746248115497344345:M12-N9-24-M12-N9-24-512034: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 32, 12, 12, valids=14
57717172535330096213152393643568345:M12-N9-26-M12-N9-26-105243: 12, 12, 12, 12, 12, 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
49424499549665046463993791009835545:M12-N9-54-M12-N9-54-015432: 12, 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14, ALL
57058089313563173398041093516273945:M12-N9-56-M12-N9-56-531042: 12, 12, 12, 12, 12, 12, 12, 12,  8, 12, 12, 12, 12, 12, 12, valids=14
56917552581606513914196753954892441:M12-S2-31-M12-S2-31-512034: 12, 12, 12, 12, 12, 12, 12, 12,  8, 12, 12, 12, 12, 12, 12, valids=14
50769563515647150785667433618122841:M12-S9-41-M12-S9-41-253104: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  8, 12, 12, 12, 12, valids=14, ALL

16 параллельных потоков очень хорошо работают!
В 9 потоках пошёл четвёртый круг, в остальных досчитывается третий круг.
4 круга - это уже половина! (всего 8 кругов)
Посмотрела в этом поиске найденные дырявые 14-ки (включаются показанные раньше)

58884130082906583713392772790413145:M12-N2-36-M12-N2-36-035214: 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
66109623443799327102678144337421145:M12-N2-36-M12-N2-36-103542: 12, 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14, ALL
58599844650078547835719846935211545:M12-N2-54-M12-N2-54-043152: 12,  4, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
59245399997544920043830762418317145:M12-N2-56-M12-N2-56-253014: 12, 12, 12, 12, 12, 12, 12, 12, 16, 12, 12, 12, 12, 12, 12, valids=14, ALL
59282181293061629648666356275091545:M12-N9-23-M12-N9-23-314025: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 32, 12, 12, valids=14
69240630398126514268822982339136345:M12-N9-24-M12-N9-24-425301: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  8, 12, valids=14
65549115685652972325585642096110041:M12-S2-24-M12-S2-24-532410: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  8, 12, valids=14
61192446769843989519506886057143641:M12-S2-42-M12-S2-42-203145: 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
59546676893129365080409950328031641:M12-S2-42-M12-S2-42-530214: 12, 12, 64, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
64019213813785118265655363450084441:M12-S9-23-M12-S9-23-243051: 12, 12, 12, 12, 12, 12, 12, 12, 16, 12, 12, 12, 12, 12, 12, valids=14
57717172535330096213152393643568345:M12-N9-26-M12-N9-26-105243: 12, 12, 12, 12, 12, 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
59744288833315152307796379103397145:M12-N9-36-M12-N9-36-452103: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 16, 12, valids=14
57870315297981182033914906677287641:M12-S9-56-M12-S9-56-520314: 12, 12,  8, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, valids=14
66186167598056101568385121644575641:M12-S9-56-M12-S9-56-351204: 12, 12, 12, 12, 12, 12, 16, 12, 12, 12, 12, 12, 12, 12, 12, valids=14

Ну, что сказать...
Подвигаемся к финишу.
Непрерывная 14-ка, может, ещё и выскочит (большущая); 15-ка не ожидается, ИМХО.

Готова ли у стратегов новая парадигма?
Считать больше не буду (выше писала причину), буду наблюдать за поиском.

Ой, а черепашка теперь управляет :)
Как это сейчас модно говорить - менеджер.
Черепашке новый статус нравится :)
Сейчас последний алгоритм по штурму 19-ки, который выполняла черепашка, отправила на Ахиллес, так как он полностью освободился от поиска цепочек с 12 делителями.

Теперь мы с черепашкой занимаемся обработкой результатов с BOINC-проекта ODLK1.
Уже обработали за январь и февраль т. г.

Нам нужна помощь по забору результатов с проекта.
Там результаты размещены по дням, то есть надо вручную скопировать результаты за 30/31 день.
Очень муторно!
Кто может помочь?
У меня раньше был скрипт, Demis присылал (он был из Интернета), но в один прекрасный момент скрипт почему-то перестал работать.
Теперь я собираю результаты вручную, и не только на ODLK1, но и на ОДЛК, где обрабатываю результаты каждый месяц.

Цитата

Let me remind you that the results of the ODLK project are open to all
https://boinc.progger.info/odlk_results/odlk3/
https://boinc.progger.info/odlk_results/odlkmax/
https://boinc.progger.info/odlk_results/odlkmin/

В проекте ОДЛК результаты открыты для всех.
В проекте ODLK1 это не так, там доступ к результатам по паролю.
В ODLK1 два Приложения.

Вы можете прямо сейчас посмотреть на результаты в проекте ОДЛК по указанным ссылкам.
За август т. г. результаты обработаны.

Антон писал в сообщении
https://dxdy.ru/post1564696.html#p1564696

Dmitriy40, Круто! Круто!! Круто!!!

Снова приходит Супермен и снова превращает карету в ракету.

Я конечно и сам уже улучшил этот свой код, но что эти 35% ускорения по сравнению с Вашим, 2000-кратным.

Интригующе, захватывающе, фантастично!
В 2000 раз ускорение?
Да, это, конечно, круто.
То есть: что по программе Антона выполнялось 2000 секунд, по программе Супермена выполняется одну секунду!
Я правильно понимаю?

А что, может ли Супермен ускорить в 2000 раз мои программы на PARI по поиску вписанных 19-ок?
Мои познания в PARI мизерные, поэтому программы самые примитивные и работают о-ч-е-н-ь медленно.

Вот работающая программа (одна из нескольких) по поиску вписанных 19-ок

\l res13.txt
{a=[73,7213,9853,10139,13163,19169,22459,23173,25813,32183,32953,34163,41269,44173,50123,52489,53203,57263,59539,62213,72629,75589,83849,85313,99613,106663,106949,109589,117883,129049,130973,140269,140983,143623,149299,149993,151939,156713,158309,159023,159079,167933,168319,170243,170299,175039,180023,181409,183389,186259,187393,192343,192629,193399,195983,199349,211439,215443,216653,217423,222659,226663,233383,239719,239753,245473,256693,267109,269749,269783,276119,276833,292079,292849,294059,299219,304069,310153,310439,317159,319469,322109,323243,326113,328093,329249,333253,334463,339203,341569,344473,345209,350423,351193,352789,356143,357563,360203,362513,363283,365879,369233,375889,378529,379243,380453,387593,399913,402839,403553,405919,409889,425653,436873,439919,443923,452239,457013,459379,468233,470599,473953,475339,477319,480323,483689,486559,487043,493699,496283,496339,498263,499649,505369,509429,510583,511739,516589,517723,520649,521363,522959,529679,533683,542693,543463,545773,548699,554683,563713,567773,570049,570083,572723,582733,586099,593149,594359,595823,604369,607043,617173,617459,620099,622409,623179,628393,629549,645509,647489,651493,654133,656443,659809,660503,669533,678829,680753,680809,681523,687893,690533,691919,696769,703139,703853,703909,706493,708859,713633,721949,724853,725953,731959,733169,737173,740219,755983,756269,767203,774253,777619,780293,787343,790303,796639,798563,803359,805669,809729,814579,816889,820663,820949,824303,826669,829979,832619,836623,839759,842629,843763,848999,850979,854983,855719,861703,863299,864013,866653,866939,868073,873023,873793,874079,885013,886399,889753,890963,896123,898103,900973,907343,914063,916429,920399,923479,926153,947789,950429,954433,969889,973529,978743,981109,981823,984463,984749,985849,990833,997069,997553,1004209,1006793,1006849,1007563,1008773,1009159,1013933,1015879,1018783,1022249,1027099,1031873,1033469,1034239,1036823,1040189,1050199,1056283,1056569,1059209,1065193,1067503,1074223,1080593,1090603,1093243,1103659,1106333,1114879,1117553,1124603,1126969,1127969,1132919,1133689,1140059,1142929,1144909,1151279,1154633,1156019,1157999,1162003,1166953,1167239,1168009,1174093,1177019,1185313,1186049,1189339,1190053,1191263,1192033,1197269,1198403,1201043,1201273,1211053,1214363,1214419,1216729,1217003,1219369,1220083,1224143,1226453,1235363,1242469,1243679,1244393,1250729,1253689,1266779,1273829,1277713,1284763,1285049,1297853,1300813,1303859,1307149,1307863,1309073,1316179,1327399,1331459,1332173,1334539,1334813,1337123,1337179,1340489,1350269,1350499,1353139,1359509,1360279,1361489,1362203,1365493,1366229,1371499,1374523,1377449,1384303,1384589,1389539,1393543,1395523,1400263,1406633,1411483,1417853,1418623,1423573,1426939,1433989,1436663,1445209,1447883,1458299,1470949,1470983,1477319,1484039,1486349,1492333,1494973,1495259,1501343,1507349,1511353,1514719,1517303,1518073,1519669,1520383,1523309,1524443,1529293,1535663,1537609,1542383,1542769,1543979,1544693,1544749,1547333,1553989,1554473,1560709,1565693,1566793,1567079,1569719,1570433,1572799,1578013,1581653,1597109,1601113,1603753,1625389,1631143,1635113,1637479,1644199,1650569,1653439,1655419,1660579,1661789,1662503,1665143,1666529,1677749,1678519,1683469,1684603,1684889,1687529,1688243,1689839,1695823,1696559,1700563,1707779,1708913,1711783,1714919,1718923,1721563,1723873,1724873,1727239,1730593,1730879,1736963,1741813,1745873,1748183,1748953,1752979,1754903,1761239,1764199,1764913,1771249,1773923,1784339,1795273,1795559,1801279,1811323,1814369,1818373,1825589,1829593,1837909,1842683,1845049,1847633,1847689,1848403,1854773,1859623,1861009,1863649,1865993,1870019,1870733,1870789,1872713,1873099,1881953,1882009,1891039,1891733,1895099,1897409,1900049,1900763,1904053,1923149,1928363,1929133,1931443,1934083,1934369,1944499,1947173,1955719,1957183,1958393,1965443,1968403,1978819,1981459,1981493,1983769,1987829,1988543,1996859,2002843,2005769,2008079,2008849,2015219,2017859,2021863,2030893,2031179,2033819,2034953,2039803,2040959,2042113,2046173,2051893,2053279,2055203,2064499,2064983,2067853,2074223,2074993,2076203,2077589,2080943,2083309,2092163,2094529,2099303,2104253,2107619,2111623,2114669,2117629,2125889,2141653,2147989,2148703,2151629,2159923,2163949,2171089,2173013,2175653,2182309,2185663,2189029,2191339,2192033,2193979,2195399,2198753,2200349,2201119,2206333,2209973,2212339,2217079,2218289,2222293,2223449,2225429,2228299,2229433,2234383,2234669,2241103,2241389,2247473,2252323,2253479,2257483,2258693,2259463,2275423,2281759,2281793,2284433,2306069,2309149,2311789,2311823,2318159,2324879,2328883,2334119,2334889,2336099,2340103,2341259,2352193,2355559,2358143,2358913,2359199,2364149,2365283,2368153,2370133,2371519,2376503,2381243,2383223,2383609,2392463,2392519,2393233,2394829,2398183,2399603,2401549,2402243,2407919,2411273,2420569,2422493,2433659,2441953,2444593,2444879,2451929,2467693,2475953,2478913,2485963,2489329,2492003,2494279,2499053,2501419,2507369,2510273,2512639,2517379,2518589,2519359,2525729,2528369,2528599,2529083,2532373,2538379,2540303,2541403,2541689,2544329,2547409,2551469,2552623,2559763,2562403,2562689,2571719,2575009,2575723,2578363,2584733,2585503,2586713,2593819,2596723,2602673,2605039,2605753,2609813,2612089,2612123,2614763,2625179,2628139,2635189,2636399,2637863,2659213,2659499,2662139,2664449,2670433,2681599,2683523,2689529,2692819,2693533,2696173,2701849,2702543,2709263,2710859,2711573,2711629,2720483,2720869,2722793,2722849,2727589,2732573,2733959,2735939,2738809,2744893,2745179,2745949,2748533,2750899,2751899,2763989,2767993,2769973,2775209,2779213,2785933,2792303,2798023,2809243,2819659,2822299,2822333,2828669,2829383,2838679,2844629,2845399,2851769,2856619,2862703,2862989,2866343,2869709,2872019,2874659,2878663,2880643,2881799,2885803,2887013,2893019,2894119,2897023,2897759,2902973,2903743,2905339,2906053,2908693,2908979,2910113,2912753,2915063,2915833,2921783,2928439,2931079,2931793,2933003,2938163,2940143,2952463,2955389,2956103,2958469,2962439,2989423,2992469,2996473,3004789,3009563,3011929,3015569,3020783,3023149,3026503,3027889,3029869,3032873,3036239,3039109,3039593,3046249,3048833,3048889,3050813,3052199,3057919,3061979,3064289,3069139,3070273,3073199,3073913,3075509,3082229,3086233,3096013,3098323,3101249,3107233,3109543,3116263,3122599,3122633,3125273,3135283,3138649,3145699,3146909,3148373,3156919,3159593,3170009,3174959,3175729,3180943,3182099,3186949,3198059,3200039,3204043,3206683,3208993,3213053,3216133,3219059,3222083,3231379,3232093,3233303,3233359,3234073,3240443,3243083,3249319,3255689,3256403,3256459,3258769,3259043,3261409,3266183,3274499,3277403,3278503,3284509,3285719,3286433,3289723,3292769,3308533,3308819,3319753,3326803,3330169,3332843,3339893,3342853,3349189,3351113,3355909,3358219,3362279,3367129,3369439,3373499,3374213,3376853,3379219,3382529,3385169,3392309,3395179,3396313,3401549,3403529,3407533,3408269,3416563,3419203,3419489,3420623,3425573,3426343,3426629,3435583,3437563,3438949,3442303,3448673,3450653,3453523,3459893,3460663,3466613,3468979,3472949,3476029,3478703,3489923,3500339,3502979,3506983,3512989,3526079,3533659,3534373,3537013,3537299,3543383,3549619,3556759,3559343,3559399,3560113,3561323,3561709,3566483,3568429,3571333,3574799,3577703,3579649,3584423,3584809,3586019,3586789,3589373,3596513,3602749,3608833,3609119,3611759,3612473,3620053,3626773,3633143,3639149,3643153,3645793,3656209,3658883,3667429,3670103,3677153,3679519,3685469,3686239,3692609,3695479,3697459,3703829,3707183,3708569,3710549,3714553,3719503,3719789,3720559,3726643,3726929,3729569,3737863,3738599,3742603,3743813,3744583,3749819,3750953,3753823,3763603,3766913,3769279,3771919,3772633,3776693,3779003,3783853,3787913,3795019,3796943,3803279,3806239,3815963,3819329,3826379,3830263,3837313,3837599,3850403,3853363,3856409,3859699,3860413,3861623,3868729,3871633,3879949,3884723,3887089,3887363,3889673,3889729,3890443,3893039,3903049,3905689,3912059,3912829,3914039,3914753,3918043,3924049,3927073,3929999,3933079,3936853,3937139,3942089,3946093,3948073,3952813,3959183,3964033,3965189,3970403,3971173,3976123,3979489,3986539,3989213,3997759,4000433,4007483,4010849,4020859,4023499,4023533,4029869,4036589,4038899,4044883,4047809,4050119,4053893,4059899,4063903,4067269,4069853,4070623,4072219,4072933,4075859,4076993,4081843,4088213,4093933,4094933,4095319,4096529,4097243,4097299,4099883,4106539,4107023,4109893,4113259,4118243,4119629,4122983,4125349,4130563,4134203,4136569,4149659,4153663,4156303,4156709,4183693,4187663,4190029,4203119,4205989,4207969,4213129,4214339,4215053,4217693,4219079,4224349,4230299,4231069,4236019,4237153,4237439,4240079,4240793,4242389,4243159,4248373,4249109,4252013,4253113,4259119,4260329,4264333,4267469,4271473,4274113,4276423,4279789,4283143,4283429,4289513,4294363,4298423,4300733,4301503,4305529,4307453,4316749,4317463,4323799,4323833,4326473,4336889,4347823,4348109,4353829,4360199,4366919,4370923,4376159,4378139,4382143,4390459,4395233,4397599,4400183,4400953,4401239,4407323,4412173,4413559,4418543,4422569,4423283,4423339,4425263,4425649,4434503,4434559,4443589,4444283,4447649,4449959,4452599,4453313,4456603,4462609,4475699,4481683,4483993,4486633,4486919,4497049,4508269,4509733,4510943,4517993,4520953,4531369,4534009,4534043,4536319,4540379,4541093,4549409,4560629,4561399,4567769,4570409,4574413,4583443,4583729,4586369,4592353,4593509,4594663,4598723,4601803,4604443,4604729,4605829,4607753,4617049,4617533,4617763,4620403,4626773,4627543,4628753,4633493,4635859,4644713,4647079,4651853,4654129,4656803,4660169,4664173,4667219,4670179,4678439,4694203,4700539,4701253,4704179,4712473,4716499,4723639,4725563,4728203,4734859,4738213,4741579,4743889,4744583,4746529,4747949,4751303,4752899,4753613,4753669,4762523,4764889,4769629,4770839,4775999,4777979,4780849,4781983,4786933,4787219,4793939,4800023,4804873,4806029,4810033,4811243,4812013,4821253,4827973,4834309,4834343,4836983,4840063,4858619,4861699,4864339,4864373,4870709,4877429,4886669,4887439,4888649,4892653,4893809,4898659,4904743,4911463,4911749,4916699,4917833,4920703,4922683,4927843,4929053,4933793,4936159,4945013,4945069,4945783,4947379,4950733,4952153,4954099,4954793,4957103,4960469,4963823,4970479,4973119,4975043,4982183,4986209,4994503,4997429,4998143,5004479,5020243,5028503,5031463,5034509,5038513,5041879,5044553,5046829,5051603,5053969,5062823,5065189,5069929,5071139,5071909,5078279,5080919,5081149,5081633,5090929,5092853,5093953,5094239,5096879,5099959,5104019,5105173,5106329,5112313,5114953,5115239,5124269,5128273,5130913,5137283,5138053,5149273,5157589,5158303,5162363,5164639,5164673,5167313,5177729,5180689,5187739,5188949,5190413,5201633,5211763,5212049,5214689,5216999,5222983,5236073,5242079,5245369,5246083,5248723,5251033,5254399,5255093,5264123,5264179,5273033,5273419,5275343,5275399,5276113,5280139,5285123,5286509,5291359,5297443,5297729,5298499,5301083,5303449,5308223,5316539,5320543,5322523,5327759,5331763,5338483,5344853,5350573,5350859,5361793,5372209,5374849,5374883,5381219,5381933,5391229,5393153,5397179,5397949,5400259,5404319,5409169,5415253,5415539,5418893,5422259,5424569,5427209,5431213,5434349,5438353,5439563,5445569,5446669,5449573,5450309,5455523,5456293,5457889,5458603,5461243,5461529,5462663,5467613,5468383,5474333,5479603,5480989,5483629,5484343,5485553,5490713,5492693,5495563,5508653,5511019,5514989,5541973,5542379,5545019,5549023,5562113,5564479,5568119,5573333,5575699,5579053,5580439,5585423,5588789,5591659,5592143,5598799,5601383,5601439,5602153,5603363,5603749,5604749,5610469,5616839,5621689,5622823,5625749,5626463,5628059,5628829,5631413,5634779,5638783,5644789,5648563,5650873,5653799,5659783,5662093,5668813,5675149,5675183,5677823,5687833,5691199,5698249,5700923,5709469,5712143,5719193,5722559,5727509,5728279,5733493,5734649,5739499,5745869,5750609,5752589,5756593,5761543,5761829,5765603,5768683,5771609,5774633,5780639,5783929,5784643,5785853,5786623,5792993,5795633,5805643,5808239,5808953,5809009,5811319,5811593,5813959,5818733,5827049,5829953,5837059,5838269,5838983,5842273,5845319,5848279,5861083,5861369,5868419,5872303,5879353,5882719,5892443,5895403,5901739,5903663,5910769,5914829,5919679,5921989,5926049,5926763,5929403,5931769,5935079,5944859,5947729,5948863,5954099,5954869,5956079,5960083,5960819,5969113,5971753,5972039,5978123,5978893,5979179,5984129,5988133,5990113,5991499,5994853,6001223,6003203,6006073,6012443,6013213,6019163,6021529,6028579,6031253,6039799,6042473,6052889,6055529,6059533,6065539,6071909,6078629,6086209,6086923,6089563,6089849,6095933,6102169,6109309,6111893,6112663,6113873,6114259,6119033,6120979,6123883,6127349,6130253,6132199,6136973,6137359,6138569,6139283,6139339,6141923,6149063,6155299,6161383,6161669,6164309,6165023,6172603,6185693,6191699,6195703,6198343,6208759,6219979,6222653,6225733,6229703,6232069,6238019,6238789,6245159,6248029,6250009,6256379,6259733,6261119,6263099,6272053,6272339,6273109,6278059,6279193,6279479,6282119,6290413,6291149,6295153,6297133,6302369,6303503,6306373,6313513,6316153,6319463,6321829,6324469,6325183,6329243,6331553,6336403,6340463,6342773,6347569,6349493,6355829,6358789,6365839,6368513,6371879,6378929,6389863,6390149,6405913,6408959,6412249,6412963,6414173,6420179,6421279,6424183,6432499,6437273,6439639,6439913,6442223,6442279,6442993,6449363,6455599,6458239,6464609,6465323,6465379,6466589,6467303,6476599,6479623,6482549,6485629,6489689,6491999,6494639,6498643,6500623,6511733,6516583,6517739,6522953,6523723,6528673,6539089,6541763,6550309,6551773,6552983,6560033,6563399,6573409,6576049,6576083,6582419,6589139,6591449,6597433,6600359,6602669,6612449,6616453,6623173,6624769,6625483,6628409,6629543,6634393,6636703,6640763,6646483,6647869,6649793,6649849,6652433,6659089,6659573,6662443,6665809,6668813,6670793,6672179,6675533,6677899,6683113,6686753,6689119,6693893,6702209,6706213,6709259,6736243,6740213,6742579,6743293,6746219,6758539,6760519,6765679,6766889,6767603,6770243,6776899,6782849,6783619,6785929,6788569,6789703,6789989,6792629,6793343,6794939,6795709,6800923,6801659,6804563,6805663,6811669,6812879,6816883,6818039,6820019,6824023,6826663,6828973,6832339,6835693,6835979,6842063,6846913,6853283,6854053,6860003,6869299,6870013,6876349,6876383,6879023,6889439,6900659,6906379,6912749,6919469,6923473,6928709,6930689,6934693,6946783,6947783,6950149,6952733,6953503,6953789,6959873,6962743,6964723,6966109,6971093,6975833,6975889,6977813,6978199,6987053,6987109,6987823,6989419,6996139,6996833,7002509,7005149,7005863,7009153,7015159,7017083,7028249,7034233,7036543,7039183,7039469,7060819,7062283,7063493,7070543,7073503,7083919,7086559,7086593,7088869,7092929,7093643,7096009,7101959,7104863,7111969,7113179,7113949,7120319,7122959,7123673,7126963,7135993,7136279,7138919,7146059,7147213,7151273,7154353,7156993,7157279,7158379,7160303,7166309,7169599,7170083,7170313,7172953,7179323,7180093,7181303,7186043,7188409,7191313,7197263,7199629,7204403,7206679,7209353,7212719,7219769,7222729,7230989,7246753,7253803,7254089,7256729,7265023,7276189,7278113,7287409,7290763,7296439,7297133,7299079,7300499,7303853,7305449,7306163,7306219,7315073,7315459,7317439,7322179,7327163,7328549,7330529,7333399,7334533,7339483,7339769,7340539,7343123,7346489,7357423,7358579,7362583,7363793,7364563,7369799,7373803,7380523,7386859,7386893,7389533,7392613,7414249,7416889,7416923,7423259,7439219,7439989,7441199,7445203,7446359,7451209,7457293,7457579,7464013,7464299,7469249,7470383,7473253,7475233,7476389,7480393,7481603,7486343,7488709,7492349,7497563,7498333,7499929,7503283,7504703,7506649,7507343,7509653,7513019,7516373,7523029,7525669,7527593,7534733,7538759,7547053,7549979,7550693,7557029,7572793,7581053,7584013,7587059,7591063,7594429,7599379,7604153,7606519,7615373,7617739,7621093,7622479,7623689,7624459,7630829,7633699,7634183,7643479,7645403,7646789,7652509,7656569,7657723,7658879,7663729,7664863,7667503,7667789,7676819,7680823,7683463,7689833,7690603,7692913,7695839,7701823,7710139,7710853,7714913,7717189,7717223,7719863,7730279,7733239,7740289,7741499,7742963,7751509,7754183,7764313,7764599,7767239,7769549,7770319,7775533,7794629,7797919,7798633,7801273,7803583,7806949,7807643,7816673,7816729,7825583,7825969,7827893,7827949,7828663,7832689,7835033,7837673,7839059,7843909,7850279,7850993,7851049,7853633,7855999,7860773,7869089,7873093,7880309,7884313,7887359,7897403,7903123,7903409,7914343,7924759,7927433,7933769,7934483,7937443,7943779,7945703,7949729,7950499,7952809,7956869,7961719,7967803,7968089,7971443,7973809,7974809,7977119,7979759,7983763,7986899,7989769,7990903,7998119,8002123,8002859,8008843,8010439,8011153,8013793,8014079,8015213,8020163,8020933,8032153,8033539,8036179,8036893,8038103,8043263,8045243,8048113,8054483,8061203,8063569,8067539,8073293,8094929,8097569,8101573,8117029,8120669,8125883,8128249,8128963,8131603,8131889,8132989,8137973,8144209,8144693,8151349,8153933,8153989,8154703,8155913,8156299,8161073,8163019,8169389,8174239,8175373,8178299,8179013,8180609,8181379,8183963,8187329,8191333,8197339,8203423,8203709,8206349,8212333,8214643,8221363,8227699,8227733,8240383,8250799,8253473,8262019,8264693,8271743,8275109,8280059,8280829,8287199,8292049,8298419,8303159,8305139,8309143,8314093,8314379,8321233,8324159,8327183,8332453,8333189,8336479,8337193,8338403,8339173,8345543,8348183,8348413,8358193,8361503,8361559,8363869,8364143,8366509,8367223,8371283,8382503,8389609,8390819,8391533,8394823,8397869,8400829,8413633,8413919,8420969,8424853,8431903,8444993,8447953,8454289,8455003,8456213,8463319,8472229,8474539,8478599,8479313,8481679,8481953,8484263,8484319,8487629,8497409,8497639,8500279,8501413,8506649,8507419,8508629,8509343,8512633,8513369,8521663,8524589,8530673,8531443,8531729,8536679,8540683,8542663,8544049,8547403,8553773,8555753,8558623,8564993,8565763,8570713,8571713,8574079,8581129,8583803,8592349,8595023,8605439,8608079,8618089,8624459,8631179,8633489,8639473,8642113,8642399,8648483,8658493,8661859,8664443,8665213,8666809,8671583,8676433,8679899,8682803,8684749,8689523,8689909,8691119,8691833,8691889,8694473,8701129,8701613,8707849,8712833,8713933,8714219,8716859,8717573,8719939,8725153,8728793,8744249,8748253,8750893,8772529,8775203,8778283,8782253,8784619,8791339,8797709,8800579,8802559,8807719,8808929,8812283,8813669,8824603,8824889,8825659,8830609,8831743,8832029,8834669,8835383,8836979,8842963,8843699,8847703,8849683,8854919,8856053,8858923,8862059,8866063,8868703,8872013,8874379,8877733,8878019,8881793,8884103,8888953,8893013,8895323,8900119,8902043,8908379,8911339,8918389,8921063,8924429,8931479,8942413,8942699,8958463,8961509,8965513,8966723,8972729,8973829,8976733,8985049,8989823,8992189,8994773,8994829,8995543,9001913,9006763,9008149,9010789,9017159,9017873,9017929,9019853,9029149,9038179,9038873,9042239,9044549,9047189,9051193,9053173,9069133,9070289,9075503,9076273,9078583,9081223,9081509,9091639,9094313,9102859,9104323,9105533,9112583,9115949,9125959,9128599,9128633,9130909,9134969,9143999,9149983,9152909,9155219,9155989,9164999,9169003,9175723,9177319,9178033,9180959,9182093,9186943,9188099,9189253,9193313,9199033,9200419,9202343,9202399,9204983,9211639,9212123,9214993,9218359,9221363,9223343,9224729,9228083,9230449,9239303,9241669,9246443,9254759,9258763,9261809,9273029,9288793,9292763,9295129,9295843,9298769,9311089,9318229,9319439,9320153,9322793,9329449,9332803,9335399,9336169,9338479,9341119,9342539,9345893,9347489,9348259,9353473,9354209,9357113,9359479,9364219,9365429,9369433,9370589,9372569,9375439,9376573,9379213,9381523,9388243,9388529,9394613,9399463,9404623,9405833,9406603,9421849,9422563,9428899,9428933,9431573,9441989,9453209,9458929,9458963,9465299,9472019,9476023,9481259,9482029,9483239,9487243,9499333,9502699,9505283,9506053,9506339,9511289,9512423,9515293,9517273,9518659,9523643,9528383,9528439,9530363,9530749,9539603,9539659,9540373,9541969,9546743,9548689,9549383,9555059,9557699,9558413,9567709,9569633,9580799,9589093,9591733,9592019,9599069,9613369,9614833,9623093,9626053,9636469,9639143,9641419,9645479,9646193,9648559,9654509,9657413,9664519,9665729,9666499,9672869,9675509,9676223,9679513,9685519,9688543,9688829,9691469,9698609];
b=[3529,6157,9479,10679,23857,25187,45889,47419,48749,64579,68737,69077,74687,80287,84697,96247,100769,113947,113957,118819,124429,137509,144659,147617,153217,158827,159167,169177,170377,173699,174787,197359,204047,208909,217589,223199,227599,231757,234749,237707,238907,243307,244759,247717,248917,254867,276977,287449,294137,294599,296129,304609,307679,313289,321847,323299,328997,333397,344957,352559,367067,367529,368519,386219,394699,397769,401927,411937,417887,419087,438589,442649,455827,457157,457619,467629,472987,476309,492017,493469,511519,515579,517129,528679,532739,532837,551527,563077,582107,590059,596747,601609,605669,607219,622927,625997,636007,641617,646489,653167,670877,675739,680149,686837,687299,691699,695857,704537,713017,714547,721697,726097,731707,736579,743807,754279,759767,760229,760967,770239,770977,771439,776927,777389,785947,787399,799499,804637,809509,811787,816659,826669,833897,835349,849857,850319,861529,876037,884717,895199,899599,901877,906749,919927,923987,924449,925439,934459,940409,941147,951619,964807,974807,979679,985289,995509,996839,998369,998467,1015627,1019687,1024549,1037737,1054897,1058219,1063577,1068439,1069769,1074049,1075379,1089757,1105717,1113319,1119269,1127827,1129279,1134977,1146979,1148309,1153667,1158529,1162687,1168637,1178647,1179847,1192199,1195807,1203409,1207907,1213517,1217917,1218379,1219369,1225067,1226597,1235077,1237069,1243757,1244219,1252777,1254229,1268737,1276339,1282289,1283489,1286447,1292299,1293499,1297997,1299449,1303607,1313617,1316687,1317149,1342867,1344319,1357507,1362029,1366429,1373579,1376537,1377989,1388087,1389539,1406777,1407239,1417249,1446509,1447597,1452119,1456519,1462469,1463669,1466627,1468079,1482457,1483787,1520527,1521727,1525049,1527677,1536599,1537687,1538149,1541009,1542209,1572547,1577419,1594657,1596109,1606217,1610617,1611079,1615139,1617767,1626689,1645477,1655959,1662637,1667509,1684747,1686199,1690697,1691897,1696307,1700707,1701169,1701907,1705229,1707857,1735567,1740439,1746049,1749119,1757599,1759129,1764827,1766279,1769237,1770437,1776289,1780447,1780787,1786397,1791997,1818979,1825657,1825667,1826129,1830529,1836139,1843367,1844819,1849219,1854917,1856369,1859327,1864927,1870537,1870877,1909069,1914427,1915757,1916219,1920619,1929299,1933457,1934909,1943467,1946459,1949417,1950617,1985827,1987357,1988687,1989149,1999159,2004517,2006309,2007839,2019389,2024999,2040707,2043049,2058757,2060209,2064269,2064367,2077447,2079239,2084597,2097929,2113637,2134339,2137297,2138749,2148847,2150299,2157527,2163137,2167537,2167999,2169329,2174687,2184697,2207269,2212879,2213219,2223229,2224429,2227387,2228839,2234537,2236067,2240389,2244547,2247617,2253227,2258099,2263237,2285809,2291759,2292497,2297359,2301769,2302969,2307467,2308457,2308919,2313319,2318929,2326157,2331029,2334637,2337707,2348189,2358199,2375899,2378527,2382587,2383049,2387449,2391859,2397557,2399009,2407567,2416247,2421119,2433407,2451457,2455517,2455979,2457067,2465989,2468617,2471939,2472677,2473139,2483149,2489099,2511209,2527039,2528369,2529997,2541547,2545607,2546069,2547157,2562029,2586427,2605579,2606909,2615677,2617129,2620087,2627237,2631637,2636159,2650799,2676517,2676979,2690059,2694217,2695669,2700167,2707219,2710177,2711377,2717327,2727337,2739437,2740889,2749447,2749909,2756597,2766607,2767069,2768599,2775287,2775749,2780149,2785759,2790257,2801467,2813819,2815019,2825029,2830979,2835137,2839537,2839999,2846687,2858689,2864387,2865377,2865839,2870239,2874397,2880347,2887949,2891557,2903909,2915119,2919617,2925227,2930089,2935447,2936777,2938307,2938769,2948779,2955929,2964487,2978039,2988049,2993999,2995199,2998157,3008377,3009707,3013987,3015317,3028859,3053257,3059207,3069217,3069679,3073739,3085289,3086917,3088247,3098467,3108949,3118949,3132137,3143347,3158219,3158317,3159307,3159769,3163829,3177007,3181879,3184157,3194167,3207719,3216277,3222227,3223427,3232237,3232699,3233437,3233899,3236759,3239387,3249859,3257087,3271969,3279119,3280649,3284257,3289129,3297809,3301967,3306367,3306829,3307819,3313517,3317927,3322789,3329477,3347177,3352049,3357187,3357659,3367669,3370739,3379219,3386447,3392057,3396457,3396919,3402407,3403607,3408017,3412879,3430589,3442139,3452149,3457759,3460829,3464987,3476537,3477989,3478087,3480947,3482147,3501649,3517357,3520679,3530689,3536047,3537839,3551017,3555077,3556529,3566627,3574579,3591739,3595897,3607447,3626137,3626599,3627929,3641107,3645167,3664669,3671819,3680377,3685987,3689057,3697537,3699067,3699529,3700859,3706217,3716227,3716689,3738799,3744749,3750359,3754759,3755959,3758917,3761909,3766067,3770467,3771919,3776077,3784757,3789157,3789619,3796307,3823289,3834499,3834839,3840449,3846049,3849007,3850459,3856157,3860557,3869237,3874847,3879709,3879719,3886397,3908969,3913379,3918979,3924589,3924929,3929087,3936139,3939097,3946247,3947777,3959327,3964937,3969809,3982987,3987509,3997519,4000147,4003469,4004207,4004669,4009069,4014679,4019177,4020629,4037867,4042739,4058569,4059899,4074277,4078687,4087609,4090237,4094759,4107937,4109267,4131499,4132829,4147207,4152817,4153157,4163167,4164367,4167689,4168777,4180327,4184849,4198037,4202899,4221589,4225747,4228739,4231697,4237297,4238749,4241707,4242907,4248857,4253257,4257779,4258867,4270967,4281439,4288127,4298137,4298599,4301669,4307279,4315837,4317289,4322987,4327387,4328839,4331797,4338947,4346549,4361057,4362509,4380209,4388689,4391759,4395917,4401769,4405927,4407379,4411877,4413077,4423087,4429037,4436639,4451147,4451609,4452599,4461619,4466977,4468307,4470299,4478779,4480309,4486007,4487459,4501967,4509569,4522669,4525529,4526729,4545517,4546847,4551709,4557067,4576097,4577549,4590737,4595599,4599659,4601209,4616917,4629997,4635607,4640479,4647157,4650479,4674139,4680827,4685689,4689749,4689847,4707007,4708537,4715687,4720087,4725697,4730569,4753757,4754957,4764229,4764967,4765429,4770917,4771379,4779937,4781389,4798627,4803499,4805777,4810177,4810649,4820659,4827887,4829339,4843847,4844309,4855057,4855519,4870027,4871479,4878707,4888717,4889189,4893589,4895867,4900739,4917977,4919429,4927987,4928449,4933937,4934399,4935137,4944409,4945609,4968797,4973669,4979279,4983679,4990829,4992359,5009519,5009617,5013677,5018539,5025227,5048887,5052209,5058887,5063759,5069369,5082449,5098157,5099707,5103767,5108629,5121817,5123269,5142299,5147657,5152519,5153849,5172637,5173837,5176697,5189797,5197399,5211907,5213359,5219057,5220587,5229067,5231059,5232389,5237747,5246767,5247757,5248219,5262727,5270329,5276279,5286289,5287489,5291987,5293439,5297597,5303449,5307607,5310677,5319157,5336857,5338309,5352817,5360419,5367569,5370527,5371979,5376379,5382077,5383529,5392087,5397697,5400767,5401229,5411239,5417927,5428399,5440499,5441587,5446109,5450509,5456459,5457659,5460617,5462069,5467669,5470627,5473619,5477777,5496467,5501329,5514517,5519039,5530589,5531677,5534999,5536199,5546209,5546549,5552159,5566537,5567867,5590099,5591429,5604607,5609129,5611757,5620679,5625089,5639467,5640797,5656627,5661499,5678737,5680189,5684687,5690297,5694697,5695159,5695897,5699219,5701847,5711857,5716379,5729557,5734429,5740039,5751589,5753119,5760269,5763227,5770279,5774437,5774777,5780387,5785987,5790397,5812969,5819647,5819657,5824519,5830129,5838809,5843209,5848907,5850359,5853317,5858917,5864527,5864867,5876077,5903059,5909747,5910209,5914609,5923289,5927447,5928899,5933299,5937457,5940449,5943407,5944607,5949007,5954617,5960567,5982677,5983139,5993149,5998507,5999837,6000299,6001829,6010309,6013379,6018989,6027547,6034697,6054199,6058259,6071437,6072767,6073229,6091919,6103469,6107627,6124787,6132739,6142837,6144289,6148349,6161527,6163319,6168677,6178687,6182009,6197717,6217219,6218419,6221279,6221377,6222829,6234379,6238537,6241607,6247217,6257227,6268777,6286487,6291349,6295759,6296959,6302447,6302909,6307309,6312919,6320147,6328627,6331697,6341707,6342179,6347317,6352189,6369889,6376577,6381439,6385849,6391547,6392537,6392999,6397399,6401557,6410237,6415109,6418717,6420247,6427397,6442279,6449507,6459979,6462607,6465467,6465929,6466667,6467129,6475939,6477139,6483089,6491647,6505199,6515209,6517487,6522359,6535537,6539597,6540059,6541049,6541147,6556019,6567229,6580417,6590417,6600899,6611119,6612449,6614077,6625627,6629687,6630149,6640159,6646109,6670507,6684049,6685379,6689659,6690989,6701209,6704167,6705367,6711317,6721327,6734879,6743437,6750587,6760597,6761059,6762589,6763919,6769277,6774139,6779749,6784247,6795457,6807809,6811417,6819019,6824969,6829127,6833527,6833989,6834979,6840677,6852679,6859367,6859829,6864229,6868387,6874337,6884347,6885547,6897899,6909109,6913607,6919217,6923617,6924079,6930767,6932297,6932759,6942769,6949457,6949919,6958477,6959929,6972029,6982039,6987989,6989189,6992147,6999199,7003697,7005149,7009307,7022387,7022849,7048567,7063207,7067729,7072129,7079279,7082237,7083689,7092457,7093787,7112939,7137337,7152209,7153297,7153759,7157819,7169369,7170997,7172327,7188157,7210267,7216217,7226227,7226689,7227427,7230749,7233377,7242299,7243387,7243849,7247909,7265959,7278247,7283119,7291799,7300357,7301809,7307507,7311917,7316317,7316779,7320839,7323467,7341167,7351177,7361659,7364729,7368337,7373209,7380437,7386047,7390447,7390909,7391899,7396397,7397597,7402007,7406869,7407607,7413557,7436129,7441267,7446139,7451749,7454819,7458977,7463299,7464829,7470527,7471979,7474937,7476137,7486147,7486487,7492097,7514669,7524679,7530037,7531367,7531829,7536229,7541839,7549067,7550519,7560617,7562069,7565027,7585729,7601437,7614769,7620127,7621919,7634999,7635097,7639157,7640609,7656317,7658659,7674367,7679977,7691527,7693057,7694849,7700207,7710217,7710679,7712009,7713539,7748749,7749949,7752907,7755899,7764457,7765909,7770067,7778747,7783147,7783609,7784939,7790297,7828489,7828829,7834439,7840039,7842997,7844449,7850147,7854547,7855999,7863227,7868837,7873237,7873699,7873709,7880387,7907369,7912969,7918579,7918919,7923077,7928929,7930129,7933087,7934539,7940237,7941767,7950247,7953317,7958927,7963799,7991509,7994137,7997459,7998197,7998659,8003059,8007469,8008669,8013167,8014619,8031857,8036729,8043407,8053889,8072677,8081599,8084227,8088287,8088749,8093149,8103257,8104709,8121947,8126819,8157157,8158357,8161217,8161679,8162767,8171689,8174317,8177639,8178839,8215579,8216909,8231287,8232739,8235697,8236897,8242847,8247247,8251769,8252857,8282117,8292127,8292589,8309827,8311279,8321377,8322829,8325787,8332937,8337337,8341859,8355047,8356499,8382217,8382679,8385749,8395759,8399917,8401369,8405867,8407067,8412919,8415877,8417077,8423027,8430629,8445137,8446589,8455147,8455609,8462297,8464289,8472769,8474299,8479997,8480987,8481449,8485849,8491459,8495957,8503559,8507167,8519519,8520719,8530729,8536679,8540837,8545699,8551057,8552387,8564389,8570087,8571539,8580097,8586047,8593649,8609609,8623987,8625317,8629597,8630927,8635789,8641147,8644469,8661629,8674817,8679679,8683739,8700899,8700997,8702527,8703857,8714077,8719687,8724559,8734559,8747747,8758219,8758957,8764907,8773927,8774917,8775379,8779439,8792617,8797489,8799767,8804167,8814649,8823329,8837837,8849047,8849509,8864017,8865469,8872697,8882707,8887579,8889857,8894729,8899867,8911967,8913419,8921977,8922439,8927927,8928389,8929127,8938399,8939137,8939599,8945087,8955559,8962787,8967659,8973269,8977669,8984819,8986349,8994829,9003509,9007667,9012067,9012529,9019217,9023627,9028489,9046199,9052877,9057749,9063359,9073369,9076439,9092147,9093697,9097757,9102619,9109307,9117259,9136289,9147839,9166529,9166627,9170687,9182237,9183787,9187847,9205897,9207349,9223057,9226379,9231737,9241747,9242209,9243539,9256717,9260777,9280279,9281479,9287429,9297439,9301597,9304667,9313147,9330847,9331837,9332299,9346807,9354409,9365969,9370369,9376067,9377519,9386077,9391687,9394757,9403237,9404767,9405229,9411917,9422389,9444499,9450449,9451649,9454607,9456059,9460459,9461659,9464617,9467609,9471767,9476167,9481777,9490457,9495319,9502007,9524579,9525667,9528989,9530189,9540199,9540539,9546149,9551749,9554707,9561857,9574937,9580547,9585409,9585419,9598597,9603119,9614669,9619079,9624679,9630289,9630629,9634787,9650617,9651947,9653477,9674179,9675509,9688687,9689887,9693209,9695837];
c=[2369,8761,18869,21521,30881,33071,42431,48779,68149,68611,75289,87301,92921,92999,98851,104549,108959,116561,120509,123259,132521,134809,139331,150881,155291,155369,158701,166919,170251,193099,205111,208939,216661,217409,224899,225361,226769,229421,236989,238319,240971,250331,257471,261299,311041,315451,315529,316859,327001,327079,342709,347561,349849,360749,361861,373411,379109,383519,386929,395069,398479,407081,410491,417631,418961,433261,433339,439939,444811,444889,449299,457649,460849,462851,463501,465371,469199,473609,478559,485159,485699,509261,511339,523351,531569,534901,534979,535441,551401,555229,557749,559751,575711,575789,580661,581311,587339,591419,599351,601639,602969,622121,625531,633671,637081,641491,647189,659201,670751,673039,687901,691729,693521,693599,705149,709559,712211,717161,733121,751579,759301,763129,779629,782281,783611,783689,793831,795239,803191,803939,809539,825499,827501,830021,850349,853681,861899,865309,869719,873911,881269,885791,893281,900091,911641,916051,916129,921749,927601,927679,940439,945311,951989,961349,978169,987529,990181,999079,1001731,1006141,1011091,1011839,1017769,1018231,1023389,1035401,1042541,1051901,1058249,1063451,1069799,1074209,1077619,1089169,1108321,1114019,1119871,1123951,1129979,1135579,1137581,1141991,1144279,1153541,1155829,1159889,1160351,1167841,1176311,1176389,1179721,1187939,1199951,1226131,1229959,1234369,1237681,1245919,1247789,1250441,1259801,1261991,1266479,1271351,1292329,1316221,1336471,1336549,1337879,1348099,1352179,1360111,1361441,1363729,1368581,1381769,1382881,1384289,1394431,1404539,1407949,1416551,1428101,1428179,1431511,1453819,1454281,1454359,1460959,1465909,1470319,1472971,1477921,1478669,1481869,1484521,1486391,1490219,1493881,1494629,1499579,1502231,1506179,1518191,1530281,1541039,1544371,1544449,1552589,1555921,1555999,1560409,1578769,1589669,1590781,1596809,1602331,1608821,1612439,1620371,1622659,1623989,1636001,1643141,1646551,1662511,1678219,1680221,1691771,1701199,1702529,1708921,1712749,1714619,1722109,1726631,1730579,1733231,1738181,1742591,1746419,1754141,1772599,1780321,1784149,1796161,1803301,1804631,1804709,1816259,1819009,1824211,1828271,1830559,1834969,1846519,1848521,1851041,1864229,1871369,1890739,1894931,1902751,1914301,1920649,1921111,1937071,1937149,1948699,1960711,1961459,1966331,1970819,1973009,1982369,1985021,2008549,2011201,2020561,2022751,2027161,2027239,2032111,2032859,2038789,2044871,2056421,2056499,2072459,2072921,2073571,2079269,2090819,2095229,2098639,2102831,2110189,2118791,2122201,2129341,2144971,2145049,2156599,2158601,2163011,2165299,2169359,2174561,2180909,2188861,2190269,2197409,2209421,2220971,2247151,2250979,2255389,2266939,2271461,2278951,2280821,2287499,2292371,2301799,2311061,2313349,2337241,2347019,2350429,2357569,2358899,2370911,2373199,2381131,2382461,2384749,2396761,2402789,2403439,2403901,2405309,2428871,2437571,2449121,2449199,2452531,2463289,2474839,2475379,2491339,2493991,2498941,2499689,2503351,2505541,2514901,2515649,2520599,2521249,2523251,2527661,2539211,2539289,2562059,2565391,2565469,2573609,2577019,2581429,2585621,2589031,2599139,2604991,2610689,2611801,2623351,2627839,2629841,2633459,2641391,2645471,2652149,2657021,2657099,2673059,2699239,2701241,2701891,2722219,2722801,2723549,2729941,2733769,2743129,2745781,2747111,2747651,2754251,2759201,2763611,2767439,2769959,2775161,2793619,2813849,2817181,2825729,2833219,2837741,2840029,2849291,2851579,2853701,2855989,2863591,2867539,2872061,2879551,2885249,2915951,2923771,2930119,2935321,2941669,2946079,2951029,2958169,2970181,2971511,2975339,2981731,2982479,2991839,2994491,3003389,3006041,3015401,3032221,3041581,3048181,3048259,3053131,3059809,3063889,3065891,3071821,3077441,3077519,3081929,3093479,3094591,3100289,3107779,3112301,3116249,3119659,3123851,3128261,3131671,3139811,3139889,3143221,3165991,3166069,3177619,3184031,3189631,3190379,3199739,3201929,3209881,3211289,3213941,3230441,3241991,3256159,3276409,3288421,3299971,3300049,3301379,3301841,3308519,3320531,3322819,3332081,3334369,3346381,3356489,3358261,3368039,3371449,3391931,3394219,3402151,3403481,3406231,3412909,3417781,3417859,3424459,3426329,3433819,3438341,3442169,3449891,3458129,3458591,3470219,3484309,3495859,3507871,3515011,3519961,3524371,3530719,3535921,3542269,3544271,3548681,3548759,3560231,3560309,3575939,3583079,3586489,3595091,3598501,3602449,3606641,3610051,3614461,3620159,3626011,3631709,3632821,3643721,3648859,3650861,3666491,3666569,3672421,3673169,3678041,3678119,3682529,3694079,3696731,3720259,3722911,3732271,3736099,3743239,3743821,3744569,3756581,3764149,3766801,3768131,3768209,3768671,3784631,3788459,3790979,3814541,3834869,3838201,3842689,3854239,3858761,3861049,3870311,3874721,3877009,3884611,3889021,3900571,3900649,3906269,3921131,3924959,3944791,3951139,3960499,3962689,3967099,3972049,3974701,3984809,3990661,3991201,3992531,3996359,4002751,4012859,4013509,4015511,4027061,4036421,4042769,4058729,4062139,4062601,4069279,4081291,4084909,4086911,4092841,4098539,4102949,4108471,4114499,4115611,4126511,4128799,4133321,4144871,4149281,4149359,4152691,4160831,4160909,4164241,4187089,4199101,4210651,4211399,4215061,4218889,4220759,4223411,4232309,4234961,4239371,4244321,4250999,4251461,4277179,4300741,4309441,4310849,4320991,4321069,4322399,4336699,4341551,4343839,4353101,4355851,4357181,4367401,4368809,4377509,4389059,4392469,4401071,4412951,4427251,4433929,4438801,4438879,4443289,4445479,4454839,4457491,4459361,4463189,4467599,4470911,4479149,4505329,4517341,4525559,4528891,4528969,4544929,4545391,4549451,4551739,4563289,4569701,4569779,4575301,4581329,4585409,4593341,4596959,4616111,4619521,4627661,4631071,4635481,4641179,4641829,4647031,4662739,4664741,4669879,4681891,4685719,4687049,4687511,4687589,4693441,4694189,4699139,4703549,4706201,4711151,4715099,4717751,4727111,4743931,4753291,4757119,4764841,4777601,4777679,4787821,4789151,4789229,4793639,4803529,4811999,4819489,4824011,4835561,4843381,4855889,4863709,4875259,4879781,4887271,4895741,4905631,4910041,4910119,4911449,4921591,4921669,4934429,4942151,4945979,4955339,4972159,4981519,4984171,4988119,4993069,4995721,5000131,5005081,5005829,5011681,5011759,5012221,5013551,5017379,5029391,5034529,5036531,5052239,5057441,5058091,5063789,5068199,5071609,5079749,5083159,5102311,5105929,5113861,5117941,5123969,5129491,5129569,5135981,5147531,5149819,5153879,5154341,5170301,5170379,5173711,5181929,5193941,5220121,5228359,5231671,5236081,5239909,5241779,5244431,5253791,5255981,5260391,5260469,5265341,5272019,5286319,5298199,5306801,5310211,5321761,5330461,5331869,5342089,5343419,5346169,5355431,5357719,5362571,5376871,5378201,5378279,5388421,5389829,5398529,5422091,5447809,5448271,5454949,5459899,5464309,5466961,5475859,5478511,5480381,5484209,5487871,5488619,5500169,5512181,5535029,5538361,5538439,5546579,5549911,5549989,5554399,5565949,5570471,5572759,5583659,5584771,5590799,5596321,5600731,5606429,5612359,5614361,5617979,5629991,5636669,5637131,5640541,5656501,5662849,5672209,5683759,5685761,5686411,5696519,5702911,5706739,5708069,5708609,5714461,5724569,5727221,5732171,5736581,5738771,5748131,5754479,5774311,5778139,5793001,5798621,5798699,5810249,5814659,5822261,5824549,5828959,5838221,5840509,5845031,5856581,5861069,5864401,5884729,5908291,5910811,5914639,5930599,5931061,5931139,5932469,5935121,5942689,5954701,5955449,5956031,5963171,5966999,5976359,5979011,6002539,6005191,6016741,6021151,6021229,6026101,6026849,6032701,6032779,6048409,6050411,6055549,6066449,6067561,6073259,6079111,6084809,6089219,6092629,6096821,6100769,6104179,6112781,6116191,6123331,6138961,6139039,6150511,6150589,6154999,6157001,6163349,6168551,6174899,6179309,6184259,6191399,6203411,6214961,6229051,6240679,6241141,6249379,6257101,6260929,6265451,6272941,6274811,6281411,6281489,6286361,6293039,6295789,6297119,6305051,6307339,6327821,6331231,6341009,6342781,6352889,6364901,6367189,6376451,6378739,6390751,6397429,6397891,6399221,6399299,6410849,6422861,6443111,6457279,6468829,6485329,6487981,6489389,6497341,6499531,6508891,6509639,6515239,6521651,6533201,6533279,6556049,6559381,6559459,6567599,6571009,6575419,6579611,6583021,6586969,6591491,6598981,6604679,6605791,6617341,6621751,6621829,6627449,6633379,6635381,6639461,6646139,6651011,6651089,6657689,6667049,6683869,6693229,6695881,6704779,6707431,6716791,6717539,6723931,6727759,6729089,6741101,6748241,6753191,6757601,6763949,6769151,6775499,6783319,6814021,6819719,6827209,6831731,6835679,6843281,6845569,6847691,6849979,6859241,6861529,6866051,6873541,6882089,6885421,6905651,6924109,6929311,6931831,6935659,6940069,6945019,6951619,6952159,6953489,6956141,6965501,6969329,6975721,6976469,6977051,6997379,6998029,7000031,7026211,7042171,7042249,7047121,7053799,7057879,7065811,7069429,7071431,7075919,7087469,7088581,7094279,7100131,7110239,7113649,7117841,7122251,7125661,7133801,7133879,7137211,7159981,7160059,7171609,7176019,7178021,7178671,7183621,7184369,7193729,7195919,7199581,7200329,7205279,7207931,7223891,7224431,7235981,7246739,7250071,7250149,7261699,7270399,7293961,7295369,7295831,7296481,7302509,7314521,7316809,7318139,7326071,7328359,7340371,7341701,7348841,7352251,7362029,7385921,7388209,7397471,7406899,7411771,7418449,7420319,7427809,7432331,7443881,7448291,7452119,7478299,7489849,7501861,7509001,7510409,7518361,7524709,7529911,7533971,7536259,7540669,7542671,7554221,7554299,7569929,7577069,7580479,7589081,7596439,7600631,7604041,7608451,7620001,7625699,7626349,7626811,7642771,7642849,7654399,7660481,7666411,7667159,7672031,7672109,7676519,7678709,7688069,7690721,7714249,7716901,7726261,7728451,7732939,7737811,7738559,7750571,7762121,7762199,7778159,7778621,7784969,7796519,7804339,7808531,7827901,7835041,7848229,7850749,7852751,7864301,7868711,7870999,7875059,7880261,7883011,7894561,7894639,7895969,7903109,7915121,7918949,7926671,7945129,7952851,7956679,7961089,7966039,7968691,7972639,7977161,7984651,7986521,7990349,7996741,7998071,8007499,8019049,8021051,8036759,8052719,8056129,8063269,8075281,8076611,8078899,8086831,8090449,8096939,8102461,8108489,8109601,8120501,8138861,8143271,8143349,8146681,8154821,8154899,8158231,8168989,8181079,8193091,8197039,8199691,8204641,8205389,8209051,8212879,8214749,8217401,8220601,8221349,8226299,8228951,8233361,8238311,8244911,8244989,8245451,8267759,8271091,8271169,8282719,8291321,8294731,8304839,8314981,8316389,8317501,8330689,8335541,8337829,8339159,8347091,8351171,8361391,8362721,8362799,8383049,8406941,8427919,8432791,8437279,8439469,8448829,8451481,8453351,8461589,8464901,8469311,8473139,8499319,8511331,8519549,8522881,8522959,8531429,8538919,8539381,8543441,8545729,8554991,8557279,8561689,8563691,8569291,8575319,8579399,8585251,8590949,8610101,8621651,8625061,8629471,8635819,8641021,8647369,8656729,8663869,8675881,8681039,8681501,8687431,8688179,8693129,8697539,8700191,8709089,8711741,8721101,8737921,8747281,8753959,8758831,8771591,8771669,8777521,8783141,8783219,8787629,8799179,8805989,8813479,8818001,8825359,8829551,8833961,8837371,8845589,8848921,8869249,8871769,8873771,8889731,8895331,8896079,8904031,8905439,8915581,8915659,8916989,8919641,8936141,8939969,8947691,8966149,8982109,8987059,8989711,8994121,9005671,9005749,9007541,9011369,9026231,9028519,9040069,9052081,9057779,9062189,9065599,9073739,9077149,9096301,9097631,9099919,9107851,9111931,9117959,9118609,9123481,9123559,9139519,9141521,9144041,9147869,9163829,9164291,9164369,9167701,9175919,9187931,9190009,9213571,9214111,9220711,9225661,9230071,9233899,9235769,9236419,9238421,9241621,9249971,9254381,9254459,9259331,9265931,9266009,9280309,9281639,9288779,9292189,9300791,9304201,9312341,9315751,9320161,9325859,9337409,9338521,9349421,9351709,9356561,9372191,9372269,9382411,9383741,9383819,9388229,9437971,9441799,9448939,9458299,9460951,9462281,9469849,9472501,9473909,9474371,9481861,9482609,9490331,9494159,9506171,9529019,9532351,9540569,9543901,9543979,9548389,9559939,9564461,9566749,9576011,9578761,9582709,9590311,9594721,9600419,9606271,9606349,9611969,9623981,9630659,9631121,9650491,9656839,9666199,9668389,9677749,9680401,9690509,9696901];
d=[5777,6893,7597,12707,20687,25457,37483,38173,40927,46247,51263,54203,56047,58427,66953,67447,69137,72767,80747,81853,88237,91747,97543,100987,110633,111323,122323,129197,141913,144667,148843,151597,151807,155003,156823,161933,164897,169913,182383,188477,195473,195967,203947,205273,207653,209267,211657,221993,224747,226063,229973,237463,240973,256027,259537,261917,264007,269117,270937,272627,284027,285343,300823,301033,306143,314123,314617,319387,321767,332687,340177,344087,345193,345403,348157,355087,358493,360883,365423,374677,387767,399457,405253,408763,411143,415147,418343,420163,421853,425483,428237,440953,455887,458827,459517,463843,469163,470993,472607,481913,482407,484787,489403,497383,503197,504313,515947,518107,521813,522877,523903,525257,535967,548683,555847,564373,566557,568937,577463,577957,578167,583277,591257,596027,608053,608743,611497,621833,626617,628997,634013,635927,638017,639707,652423,659353,662317,667333,672103,674483,685897,688277,692893,698987,705073,715783,718163,719413,722167,727393,732503,736727,740483,748127,759047,766537,770047,772427,774517,775843,778223,781447,785153,798947,811543,819187,829523,829897,830107,832277,832487,835123,837503,841507,843197,854597,855913,871393,885187,885953,889957,892337,908563,915763,919273,921653,925657,930673,935993,940217,948173,949237,951617,968413,970027,979333,981503,981713,982207,988643,990733,992423,992917,995297,1000067,1022677,1026457,1032323,1033387,1034413,1035767,1041563,1050887,1052977,1055357,1062287,1066357,1074883,1088677,1089443,1092383,1093447,1095827,1100843,1106537,1119253,1126417,1131433,1137127,1139507,1144523,1146437,1148527,1151663,1163087,1171903,1182613,1184993,1185697,1196407,1198787,1200113,1203557,1204583,1206497,1211513,1215583,1229923,1234147,1237903,1242673,1245053,1245547,1247237,1256467,1258637,1258847,1265777,1269557,1275643,1282573,1286353,1288733,1295663,1307297,1309457,1314227,1318697,1322207,1329697,1334923,1340033,1340617,1342997,1345633,1348013,1352017,1352783,1355723,1366577,1369517,1383373,1389757,1394773,1396463,1400093,1400467,1402847,1403603,1405693,1408073,1415003,1419073,1437637,1445593,1449037,1450727,1456523,1458683,1459747,1462127,1463453,1477247,1478923,1479133,1489843,1492223,1492717,1497487,1499153,1501243,1510577,1510787,1515803,1517717,1518743,1519807,1522187,1533187,1538983,1552073,1552777,1559213,1559707,1561397,1563487,1565867,1570637,1572797,1586863,1593247,1598263,1599953,1602893,1603957,1606337,1611353,1616137,1621457,1626473,1629917,1632857,1636927,1641943,1646713,1660013,1660507,1662173,1666943,1671413,1673597,1680737,1682413,1696207,1697533,1700977,1702003,1708933,1710623,1714067,1715093,1717007,1722023,1722233,1733657,1740587,1742473,1744657,1753183,1755563,1756057,1756267,1766977,1769357,1770683,1774127,1776287,1782083,1786153,1793083,1804717,1809733,1811647,1816117,1817807,1819627,1824737,1829207,1829963,1832717,1836347,1845433,1850203,1853143,1863293,1863997,1866233,1877087,1880027,1884797,1889813,1892777,1893883,1900267,1905283,1905493,1910603,1912423,1914113,1916203,1918583,1923353,1923847,1925513,1937147,1944077,1948147,1953943,1956103,1959547,1960873,1963253,1965343,1967033,1968853,1973963,1974173,1974667,1985573,1987757,1989643,2007997,2008207,2013223,2016163,2019607,2021297,2026313,2028227,2029253,2030317,2032697,2034023,2047817,2049493,2063287,2068057,2069723,2070217,2081147,2082967,2086373,2088287,2093303,2097373,2103757,2108773,2123893,2126273,2126647,2127337,2130277,2131967,2136983,2140427,2143367,2157223,2157433,2164363,2168833,2170523,2171017,2177453,2181923,2186707,2191247,2197043,2200487,2208043,2211487,2212513,2217283,2219443,2231077,2232743,2237513,2238007,2240387,2244167,2245987,2251097,2251307,2252983,2266777,2268103,2271547,2276563,2279503,2281193,2284637,2292593,2296817,2311157,2315227,2320243,2322157,2326627,2327383,2330137,2340473,2346857,2360713,2363653,2374507,2378213,2380303,2382217,2387233,2389613,2390197,2395307,2400323,2400533,2403287,2416003,2420773,2422933,2433863,2434357,2434567,2441497,2447657,2454587,2460383,2464453,2471383,2473763,2475853,2479363,2482993,2484683,2485177,2492327,2494417,2496083,2497927,2500307,2514647,2518717,2523733,2526673,2530117,2531443,2533823,2539423,2544533,2545237,2558327,2578567,2583793,2590723,2593103,2593477,2596883,2598797,2603813,2610977,2634403,2636783,2637847,2640787,2641553,2649533,2653537,2655347,2663873,2667943,2674873,2679343,2694463,2696843,2697217,2697907,2707553,2710997,2727793,2734933,2741587,2748023,2748517,2750897,2756497,2760203,2761817,2763647,2778613,2782057,2787073,2790013,2794237,2804573,2807327,2808577,2810957,2814467,2816557,2821667,2837893,2845043,2847133,2867387,2874317,2887033,2888723,2890813,2892727,2897743,2897953,2900123,2900707,2911043,2918687,2926667,2931283,2943463,2945077,2948783,2952007,2957803,2960183,2963693,2970893,2993503,2997727,3002837,3004927,3008063,3008437,3010817,3012067,3023543,3025157,3037337,3041953,3044333,3049933,3055747,3057577,3062897,3067913,3068497,3070877,3077807,3094303,3101233,3103613,3108397,3121487,3122177,3138973,3146953,3152063,3160043,3161293,3163673,3164047,3165857,3174383,3178607,3181547,3186563,3204973,3207353,3208417,3212123,3220103,3220597,3225917,3227033,3240827,3245443,3257623,3261067,3270713,3271403,3274157,3289277,3300677,3301993,3304747,3315083,3319087,3321467,3324977,3327067,3330773,3334217,3355553,3357643,3364807,3371737,3375143,3377897,3382073,3384827,3385037,3390053,3397543,3408463,3410293,3415613,3416107,3424087,3429197,3437177,3438503,3444887,3453973,3457603,3459293,3461113,3468313,3470693,3472537,3474203,3489257,3492767,3497237,3504167,3508237,3514033,3518573,3520963,3522577,3534053,3534263,3534757,3547847,3552617,3565333,3568087,3568297,3573313,3573407,3575227,3578423,3578633,3579007,3581387,3588317,3594113,3607907,3618907,3628147,3632687,3638483,3641993,3648377,3649483,3653393,3657463,3671803,3674183,3676027,3678967,3683983,3687427,3689117,3692057,3692747,3697073,3709543,3715637,3717523,3722633,3724453,3730613,3731107,3736427,3737543,3738247,3749177,3751337,3756107,3757133,3768133,3768823,3771577,3781913,3786697,3789077,3791167,3797603,3798097,3799787,3811187,3811397,3812503,3825253,3828193,3831637,3841283,3841973,3844727,3859847,3871247,3872563,3875317,3882247,3885653,3887473,3892583,3895547,3900563,3905333,3919127,3920803,3926123,3926617,3934597,3935923,3938303,3939367,3942307,3947323,3949013,3952643,3955397,3960623,3968113,3971623,3980863,3983047,3986677,3990187,3994657,3999767,4001587,4003277,4007747,4009073,4014677,4024543,4031473,4031683,4043107,4044773,4045267,4050037,4052417,4063127,4063337,4068353,4074737,4075843,4078807,4083823,4085737,4089143,4091533,4102387,4104623,4105327,4118417,4123187,4135903,4138657,4139413,4141793,4143883,4145797,4148993,4150813,4152503,4158887,4163903,4182467,4186537,4189477,4194493,4197937,4199263,4201643,4203257,4212563,4213057,4215437,4220053,4223963,4226147,4228033,4234963,4246597,4248757,4253527,4254553,4255907,4257997,4259687,4266617,4267643,4279333,4286207,4295023,4297207,4299587,4301677,4308113,4308607,4308817,4321907,4326677,4335763,4338703,4339393,4342147,4352483,4357267,4359647,4362283,4364663,4368667,4370357,4381757,4383073,4395823,4397983,4402753,4405133,4415843,4416547,4418927,4429637,4435723,4446433,4448813,4449877,4452817,4457833,4458043,4463153,4467377,4471133,4475903,4476397,4478777,4489697,4491373,4497187,4500697,4505167,4506493,4508873,4509937,4512097,4515803,4517893,4519583,4542193,4549837,4553617,4560547,4560757,4562927,4565773,4568153,4572157,4573847,4578863,4585247,4602043,4612897,4615837,4616603,4620607,4622987,4628003,4633697,4638923,4646413,4649923,4652303,4654393,4656307,4661323,4670867,4672957,4678823,4679887,4682267,4692977,4699063,4709773,4709983,4712153,4712363,4712857,4721383,4723073,4723567,4725947,4730717,4734473,4753037,4757107,4764037,4765063,4766417,4768507,4769833,4772213,4783627,4786007,4792937,4796717,4805533,4819327,4820093,4824097,4826477,4829113,4831493,4837187,4849367,4849903,4862083,4867777,4870157,4872793,4875173,4879177,4879943,4893737,4902553,4906333,4913263,4915643,4927057,4929437,4930763,4932853,4934207,4935233,4942163,4946233,4964797,4968553,4973323,4975703,4976197,4977887,4986413,4986907,4987117,4989287,4989497,5000207,5006293,5017003,5019383,5020447,5026313,5028403,5037947,5042963,5044877,5046967,5049347,5052857,5060347,5065573,5071267,5076283,5078663,5082667,5083433,5086373,5097227,5114023,5120407,5125423,5127113,5131117,5133497,5136343,5138513,5138723,5145653,5149433,5157077,5179687,5181377,5183467,5187173,5189333,5190397,5192777,5194103,5198573,5202083,5207897,5209573,5220493,5222873,5223367,5228137,5231893,5236117,5241227,5241437,5246453,5249393,5250457,5252837,5263547,5269633,5280343,5282723,5283427,5294137,5296517,5301287,5303447,5316197,5317513,5328913,5330603,5334607,5336987,5339623,5342003,5346787,5357123,5359877,5360567,5363507,5372593,5377363,5390453,5390663,5391157,5397593,5399683,5402063,5404247,5413063,5419937,5431627,5432653,5439583,5441273,5443363,5444717,5445743,5450513,5452673,5464307,5471237,5473123,5475307,5479217,5483833,5486213,5486707,5496013,5497627,5500007,5501333,5504777,5509793,5512733,5516803,5535367,5540383,5546767,5548457,5550277,5553473,5555387,5557477,5559857,5560613,5563367,5576083,5580853,5593943,5594647,5596883,5607737,5610127,5613533,5615447,5620463,5623427,5624533,5630917,5635933,5636143,5646853,5649233,5654003,5654497,5656163,5667587,5667797,5674727,5684593,5690197,5691523,5695993,5697683,5699503,5704613,5709083,5712593,5716223,5718407,5727647,5731157,5738647,5743873,5746627,5750257,5751947,5756963,5759903,5760967,5763347,5764673,5772653,5773147,5778467,5780143,5793937,5798707,5803723,5806687,5811797,5813617,5817023,5823953,5826707,5828023,5839423,5854543,5857297,5857987,5867633,5871077,5874017,5886767,5887873,5888083,5899483,5901173,5901667,5908103,5910193,5912573,5917357,5927693,5930447,5931137,5942137,5943163,5947933,5950093,5961023,5961727,5962843,5968163,5968657,5974817,5976637,5981747,5983633,5989727,6002197,6006523,6007213,6010153,6011843,6015287,6020303,6023243,6025087,6027467,6041807,6045877,6049787,6050893,6057277,6060787,6066583,6071123,6080363,6091363,6105157,6110953,6117883,6120263,6120637,6120847,6124043,6125863,6125957,6130973,6131183,6133937,6146653,6151423,6164513,6165007,6165217,6176693,6178307,6180697,6185237,6191033,6195103,6202033,6206503,6210013,6225067,6226733,6228577,6230957,6238157,6239977,6241667,6245297,6254383,6260767,6262093,6270073,6275183,6283163,6283657,6288977,6290807,6301727,6309217,6314233,6314443,6317197,6321373,6324127,6327533,6334463,6341627,6343717,6365053,6368497,6372203,6374293,6377803,6380183,6384187,6394523,6397277,6398593,6409993,6425113,6427867,6428557,6438203,6441647,6453827,6458443,6472237,6473353,6478673,6479167,6487147,6490853,6491917,6494297,6512707,6517723,6520663,6524887,6533413,6535223,6535597,6537977,6539227,6547207,6552317,6560297,6577093,6577783,6590873,6595657,6598037,6604967,6621463,6628393,6630773,6631357,6636373,6641693,6643523,6649337,6654937,6657317,6661933,6674113,6675727,6687203,6688453,6690833,6691207,6694343,6696433,6701543,6705767,6728377,6735577,6739087,6741467,6747263,6750487,6754193,6755807,6767987,6772603,6780583,6788227,6798563,6799147,6801317,6801527,6806543,6808457,6810547,6812237,6824953,6831883,6852137,6854227,6861377,6877603,6882713,6884803,6888313,6890693,6891943,6894697,6905033,6909257,6912197,6917213,6920657,6935623,6937453,6939067,6942773,6948373,6950753,6951247,6957683,6964337,6971477,6988273,6991717,7001363,7002053,7002427,7004807,7019927,7024397,7031327,7035397,7043923,7045733,7049737,7057717,7058483,7061423,7062487,7064867,7088293,7095457,7100473,7102387,7105793,7106167,7108547,7115477,7120703,7140943,7154033,7154737,7159847,7165447,7167827,7169153,7172597,7175537,7180553,7184623,7198963,7201343,7203187,7204853,7206943,7214093,7214587,7216277,7219907,7223417,7225507,7227887,7234817,7238887,7244683,7251613,7257773,7264703,7264913,7265407,7276337,7278497,7283267,7295983,7298737,7298947,7303963,7309073,7309657,7312037,7317053,7318967,7321057,7324763,7335617,7338557,7352413,7358797,7369133,7371887,7372643,7377113,7379027,7384043,7388113,7402453,7406677,7414633,7418077,7419767,7422707,7427723,7431167,7432493,7446287,7447963,7448173,7453283,7455103,7458883,7461263,7461757,7466527,7468193,7479827,7481987,7486757,7487783,7491227,7498783,7502227,7508023,7512563,7517347,7521817,7528253,7528747,7530437,7534907,7541837,7542047,7555903,7558843,7562287,7567303,7568993,7571933,7572623,7572997,7575377,7590497,7595513,7601897,7605967,7610983,7612897,7616303,7618123,7629053,7629547,7631213,7635983,7649777,7651453,7665247,7666573,7668953,7670017,7671043,7672957,7677973,7679663,7683107,7686047,7691063,7691273,7709627,7711513,7713697,7724603,7725097,7725307,7730417,7732237,7733927,7736017,7738397,7739723,7743167,7745327,7751123,7755193,7762123,7773757,7775423,7775917,7780687,7783067,7785157,7786847,7788667,7793777,7793987,7799003,7805387,7806493,7809457,7814473,7819243,7822183,7833037,7835273,7835977,7846127,7849067,7853837,7862923,7866553,7869307,7870063,7874533,7879643,7881463,7883153,7887623,7889537,7894553,7906187,7913117,7917187,7922983,7925143,7928587,7929913,7932293,7943003,7943213,7943707,7946087,7954613,7956797,7958683,7965613,7977037,7977247,7982263,7984177,7985203,7988647,7990337,7997267,7998293,8001737,8003063,8016857,8018533,8025673,8027857,8032327,8037097,8038763,8039257,8052557,8057327,8062343,8066413,8069353,8072797,8077813,8083133,8087917,8092933,8095313,8096377,8099317,8101007,8106023,8112407,8126473,8128633,8133403,8135783,8137873,8139563,8140057,8146493,8147197,8160287,8166083,8177083,8179463,8180527,8181553,8183467,8188483,8188693,8198027,8200117,8201783,8206553,8207047,8209427,8220137,8220347,8222023,8235817,8237143,8239523,8240587,8242747,8248543,8250233,8253677,8261633,8280197,8284267,8291197,8293577,8295667,8296423,8298803,8299177,8302807,8304497,8309513,8315897,8329753,8332693,8343547,8346487,8347253,8351257,8353637,8356273,8358653,8359237,8364347,8369573,8377063,8380573,8385043,8389813,8391973,8403607,8410537,8412917,8416697,8423627,8429713,8433493,8440423,8440633,8442803,8452033,8453723,8454217,8456597,8461367,8465123,8469347,8483687,8487757,8492773,8494687,8495713,8499157,8500483,8502863,8513573,8514277,8516657,8527367,8536183,8547607,8550743,8552833,8554747,8559763,8562143,8567837,8572853,8580017,8592733,8598427,8603443,8605823,8606887,8609827,8610593,8624387,8632913,8636983,8643913,8646293,8648383,8657707,8663503,8664857,8665883,8666947,8672813,8676593,8699203,8703973,8706353,8706847,8708537,8710627,8717063,8717557,8717767,8719937,8729243,8730857,8747653,8750033,8751097,8759053,8763277,8768597,8773613,8777617,8779997,8783507,8790707,8806933,8809313,8813317,8814083,8827877,8843357,8844673,8856073,8857763,8861767,8864147,8866783,8866993,8869163,8869373,8869747,8880083,8887727,8900323,8914117,8917823,8921047,8923427,8924753,8926843,8929223,8932733,8940223,8951143,8958787,8962543,8966767,8971877,8977103,8979857,8981107,8983487,8994197,9000283,9006377,9010993,9013373,9024787,9027167,9031937,9036953,9039917,9046847,9059563,9061253,9063343,9065257,9070273,9072653,9077437,9087773,9090527,9091217,9103243,9108013,9115993,9121103,9121313,9121807,9130333,9132713,9134897,9143423,9150587,9163303,9174013,9175367,9176393,9177457,9181163,9183323,9194957,9196073,9201887,9209867,9214483,9216863,9217357,9226663,9228277,9230107,9235427,9239753,9240443,9243383,9258317,9271033,9273787,9277417,9279107,9280927,9284123,9288127,9290507,9294017,9299813,9311503,9324593,9333847,9338387,9340777,9344183,9351113,9353867,9354077,9355183,9359093,9366583,9377503,9379883,9384653,9385147,9393127,9398237,9398447,9413927,9415243,9426643,9428333,9430153,9435263,9437353,9439733,9443243,9458297,9461807,9469297,9473207,9474523,9477277,9487613,9490003,9491617,9493997,9495323,9503303,9503797,9510793,9516887,9529357,9534373,9537337,9542447,9544267,9547463,9547673,9550427,9554603,9557357,9570073,9576947,9587947,9588637,9598283,9601727,9607523,9611033,9617417,9618523,9626503,9630133,9631823,9632317,9640843,9643223,9645067,9648007,9653023,9658343,9661097,9661787,9673813,9678583,9686563,9691673,9692377,9693493];

Ой, а программа не уместилась.
В следующем посте продолжу.

Продолжение программы

e=[3529,6157,10679,18169,25187,47419,52567,64579,68737,69077,71597,91099,96247,100769,112417,115487,124429,137509,142657,144659,158827,159167,169177,173699,181189,197359,202507,215587,217589,227599,231757,234749,238907,244759,248917,275437,287449,294599,304609,307679,321847,328997,351019,365527,367529,368519,394699,397769,401927,409417,411937,413939,419087,438589,441109,455827,457619,467629,472987,484999,492017,511519,514039,528679,532837,557929,563077,579247,582107,596747,601609,622927,625997,636007,648019,653167,669337,686837,691699,695857,707869,713017,726097,742267,754279,759767,771439,776927,785947,832357,835349,849857,861529,876037,879029,895199,919927,924449,925439,934459,951619,985289,995509,998369,1019687,1024549,1058219,1063577,1068439,1075379,1089757,1107257,1119269,1129279,1148309,1153667,1158529,1162687,1179847,1192199,1197347,1213517,1218379,1219369,1226597,1243757,1252777,1270277,1282289,1286447,1292299,1299449,1303607,1313617,1316687,1342867,1345859,1357507,1360367,1362029,1376537,1389539,1405709,1406777,1435949,1447597,1452119,1462469,1466627,1483787,1495799,1508879,1520527,1525049,1527677,1530197,1537687,1542209,1568729,1574087,1596109,1610617,1615139,1617767,1639789,1655959,1658819,1664177,1686199,1690697,1700707,1702709,1705229,1707857,1724027,1729879,1737107,1746049,1749119,1759129,1766279,1770437,1776289,1780447,1780787,1796957,1802809,1818979,1824127,1826129,1827197,1836139,1843367,1849219,1856369,1868017,1870537,1870877,1872539,1887047,1909069,1914427,1916219,1929299,1933457,1943467,1946459,1950617,1958107,1962629,1987357,1989149,1999159,2004517,2006309,2019389,2031037,2035559,2040707,2043049,2060209,2064367,2077447,2079239,2084597,2106619,2113637,2121127,2125649,2137297,2150299,2157527,2166469,2167537,2169329,2174687,2184697,2196709,2212879,2213219,2223229,2227387,2234537,2240389,2244547,2247617,2256559,2269639,2285809,2290957,2302969,2307467,2308457,2313319,2329489,2334637,2337707,2353877,2359729,2375899,2378527,2381047,2383049,2397557,2407567,2419579,2424937,2451457,2453977,2455979,2465989,2468617,2473139,2483149,2497867,2527039,2541547,2546069,2587957,2606909,2617129,2631637,2636159,2647807,2650799,2676979,2690059,2694217,2707219,2711377,2723389,2740889,2749909,2767069,2775287,2780149,2796319,2801467,2813819,2818967,2830979,2835137,2839999,2864387,2865377,2870239,2874397,2886409,2891557,2903909,2925227,2930089,2935447,2938307,2964487,2993999,2998157,3008377,3015317,3059207,3069217,3073739,3088247,3098467,3117419,3132137,3158317,3159307,3161309,3163829,3207719,3222227,3232237,3233899,3236759,3239387,3251399,3280649,3285797,3297809,3301967,3306829,3307819,3324329,3329477,3345647,3357659,3367669,3370739,3375887,3392057,3396919,3402407,3414419,3430589,3435737,3448817,3457759,3460829,3464987,3477989,3482147,3501649,3508667,3520679,3530689,3536047,3537839,3555077,3574579,3579727,3584249,3591739,3595897,3598757,3626137,3627929,3642647,3645167,3664669,3669817,3671819,3674339,3685987,3689057,3699067,3700859,3706217,3716227,3718229,3742747,3744749,3747269,3754759,3758917,3761909,3766067,3771919,3776077,3789157,3791159,3796307,3812477,3818329,3834499,3834839,3849007,3856157,3869237,3878179,3881249,3886397,3902567,3924589,3924929,3929087,3939097,3941099,3946247,3959327,3968269,3975497,3982987,3987509,3997519,4000147,4004669,4012159,4014679,4019177,4041199,4046557,4058569,4065587,4085089,4087609,4090237,4094759,4106407,4109267,4131499,4136647,4152817,4153157,4163167,4167689,4175179,4180327,4184849,4196497,4209577,4221589,4225747,4228739,4238749,4242907,4253257,4257779,4269427,4281439,4298599,4299667,4301669,4315837,4322987,4328839,4345009,4359517,4362509,4388689,4391759,4395917,4401769,4405927,4413077,4423087,4435099,4451609,4452599,4461619,4466977,4478779,4486007,4508029,4522669,4525529,4546847,4551709,4557067,4576097,4590737,4595599,4598119,4616917,4629997,4642009,4647157,4663327,4680827,4685689,4689847,4707007,4720087,4736257,4753757,4765429,4770917,4779937,4810177,4826347,4829339,4843847,4855519,4870027,4873019,4889189,4919429,4928449,4933937,4945609,4963109,4979279,4992359,5009519,5013677,5018539,5036039,5052209,5057357,5069369,5082449,5101247,5103767,5108629,5123269,5142299,5147657,5152519,5173837,5176697,5191337,5213359,5220587,5232389,5237747,5246767,5247757,5264267,5276279,5286289,5293439,5297597,5303449,5307607,5310677,5336857,5339849,5354357,5370527,5376379,5383529,5397697,5399699,5400767,5417927,5429939,5441587,5446109,5456459,5460617,5470627,5473619,5477777,5489789,5502869,5514517,5519039,5524187,5531677,5536199,5546209,5546549,5562719,5567867,5590099,5592959,5604607,5609129,5611757,5614277,5633779,5640797,5652809,5658167,5680189,5684687,5687207,5694697,5699219,5701847,5711857,5716379,5723869,5731097,5740039,5753119,5758267,5760269,5770279,5774437,5774777,5796799,5812969,5818117,5821187,5830129,5843209,5850359,5864527,5864867,5881037,5886889,5903059,5908207,5910209,5923289,5927447,5933299,5937457,5940449,5944607,5952097,5954617,5956619,5981137,5983139,5993149,5998507,6000299,6010309,6013379,6025027,6027547,6029549,6034697,6054199,6056719,6071437,6073229,6100609,6103469,6107627,6115117,6119639,6124787,6144289,6161527,6163319,6168677,6178687,6190699,6197717,6217219,6221377,6234379,6238537,6241607,6250549,6263629,6268777,6284947,6296959,6302447,6307309,6323479,6328627,6331697,6341707,6353719,6369889,6375037,6391547,6392537,6397399,6401557,6413569,6418717,6447967,6459979,6462607,6465467,6467129,6477139,6491647,6535537,6538057,6540059,6541049,6567229,6581947,6600899,6611119,6625627,6630149,6640159,6684049,6690989,6701209,6705367,6734879,6761059,6763919,6769277,6774139,6795457,6807809,6812957,6824969,6829127,6833989,6834979,6859367,6864229,6868387,6880399,6885547,6897899,6903047,6919217,6924079,6932297,6949457,6958477,6975977,6987989,6992147,7005149,7009307,7022387,7048567,7051559,7063207,7067729,7082237,7092457,7111409,7153297,7157819,7172327,7201499,7216217,7226227,7230749,7233377,7243387,7245389,7247909,7274429,7279787,7291799,7301809,7316317,7318319,7320839,7323467,7339637,7345489,7361659,7364729,7369877,7386047,7390909,7391899,7396397,7408409,7413557,7429727,7442807,7451749,7454819,7458977,7464829,7471979,7476137,7486147,7486487,7502657,7514669,7524679,7530037,7531829,7532897,7541839,7549067,7562069,7573717,7578239,7585729,7592747,7614769,7620127,7621919,7634999,7639157,7656317,7658659,7663807,7668329,7679977,7693057,7694849,7700207,7710217,7712009,7736737,7741259,7748749,7752907,7755899,7765909,7770067,7783147,7784939,7790297,7812319,7826827,7828489,7828829,7831349,7842997,7850147,7855999,7863227,7872169,7873237,7875239,7880387,7896557,7902409,7918579,7918919,7923077,7928929,7933087,7940237,7950247,7953317,7962259,7969487,7975339,7991509,7994137,7996657,7998659,8008669,8013167,8035189,8040547,8043407,8059577,8081599,8084227,8088749,8103257,8125279,8130637,8157157,8161679,8169169,8171689,8174317,8178839,8190487,8203567,8215579,8232739,8236897,8247247,8251769,8263417,8292589,8293657,8309827,8322829,8337337,8338999,8341859,8353507,8356499,8382679,8385749,8395759,8399917,8407067,8412919,8417077,8429089,8446589,8455609,8472769,8479997,8480987,8485849,8502019,8507167,8519519,8536679,8540837,8545699,8551057,8570087,8580097,8592109,8609609,8623987,8630927,8635789,8641147,8674817,8679679,8700997,8703857,8714077,8747747,8764907,8773927,8774917,8779439,8804167,8820337,8823329,8837837,8849509,8864017,8867009,8913419,8922439,8927927,8939599,8945087,8957099,8973269,8986349,8991497,9003509,9007667,9012529,9030029,9046199,9051347,9063359,9073369,9076439,9097757,9102619,9117259,9120119,9136289,9141437,9166529,9170687,9185327,9187847,9207349,9214367,9226379,9231737,9241747,9243539,9258257,9260777,9280279,9285427,9287429,9289949,9297439,9301597,9304667,9330847,9331837,9333839,9348347,9370369,9377519,9391687,9394757,9404767,9411917,9423929,9450449,9454607,9460459,9464617,9467609,9471767,9481777,9483779,9496859,9502007,9518177,9525667,9530189,9540199,9540539,9554707,9556709,9561857,9574937,9583879,9586949,9598597,9603119,9608267,9627769,9630289,9630629,9634787,9646799,9651947,9674179,9681197,9688687,9693209,9695837];
f=[5557,8791,22357,35851,38161,41087,53297,74197,74717,88211,96541,105011,115681,141187,143357,143387,146621,151717,165731,188311,193547,195101,204077,231277,243487,249031,257501,262597,264907,265831,278401,295201,295847,300437,314957,318191,345251,345391,347561,355921,381427,383737,386861,402847,408281,415057,433787,447691,450587,466801,494617,497741,500051,505147,508381,535441,536087,540677,558431,572137,585631,587801,603077,619261,623977,632447,637991,640777,650201,651557,654791,687931,693137,693167,734857,738091,740291,748621,751657,757091,793267,804017,807281,812377,828181,840391,841747,843317,844981,845627,859501,864737,872687,875921,895031,897341,904147,933377,955861,956507,964837,978331,986801,991897,994207,997331,997471,1025147,1033507,1044257,1047491,1047521,1054927,1076891,1085221,1085867,1102667,1137581,1144387,1146697,1147621,1169041,1176991,1182227,1196101,1196747,1199981,1205077,1213547,1227041,1229351,1234447,1237681,1237711,1248461,1284637,1290071,1296847,1301437,1303637,1306871,1332377,1348561,1348591,1353797,1386937,1390171,1403737,1409281,1417231,1417751,1422467,1438651,1440221,1453787,1453927,1456097,1469591,1486391,1501051,1522567,1533347,1536581,1541677,1543987,1547111,1574927,1588801,1594037,1607941,1630411,1633447,1638881,1643977,1657991,1685807,1694137,1694167,1696337,1699571,1723537,1726771,1741291,1745881,1746527,1758091,1763327,1776821,1779131,1784227,1792697,1810451,1815167,1837651,1846627,1848181,1873687,1875997,1879121,1895107,1898341,1900541,1926047,1929281,1936717,1942847,1953517,1967011,1984457,2000641,2003567,2005877,2019371,2032937,2036171,2050691,2050831,2064397,2077891,2086867,2095337,2116237,2119471,2130251,2133037,2138581,2147051,2156027,2183227,2185397,2185427,2188661,2193757,2207771,2230351,2235587,2240881,2246117,2276411,2285527,2291071,2299541,2304637,2307871,2320441,2335577,2337241,2337887,2346217,2356997,2360231,2368181,2387291,2389601,2397961,2423467,2425637,2425777,2428901,2457097,2470591,2475827,2489731,2492627,2525767,2539751,2539781,2547187,2548111,2550421,2575927,2577481,2578127,2581361,2582717,2594927,2600471,2627671,2629841,2639881,2645117,2661301,2666017,2674487,2682817,2692241,2696831,2697337,2729941,2729971,2732867,2735177,2776897,2780131,2782331,2790661,2793697,2799131,2824637,2835307,2846057,2854417,2882431,2885357,2887021,2887667,2901541,2914727,2917961,2923057,2932481,2937071,2946187,2975417,3006877,3014827,3020371,3028841,3033937,3036247,3037171,3037817,3039371,3067187,3075547,3086297,3089531,3089561,3122671,3127261,3127907,3144707,3158201,3179621,3186397,3186427,3189661,3191831,3219031,3228007,3238141,3238787,3242021,3247117,3255587,3269081,3271391,3276487,3279721,3279751,3307427,3329771,3338887,3343477,3348911,3374417,3384947,3390601,3421541,3428977,3429901,3432211,3445777,3451321,3459271,3464507,3476717,3482261,3495827,3498137,3499061,3511631,3519961,3528431,3543091,3564607,3578621,3579127,3583717,3589151,3611731,3614657,3616967,3630841,3636077,3648287,3672451,3675487,3680921,3686017,3689251,3700031,3727847,3736177,3736207,3738377,3741611,3768671,3768811,3783331,3800131,3804847,3805367,3818861,3826267,3838477,3852491,3857207,3874007,3888667,3890221,3915727,3918037,3918961,3921161,3940381,3968087,3971321,3976417,3981851,3984887,3995557,4009051,4026497,4040371,4042681,4045607,4061411,4068187,4073621,4074977,4078211,4092731,4119931,4128907,4137377,4145707,4158277,4161511,4175077,4180621,4189091,4198067,4211561,4225127,4225267,4227437,4230701,4235797,4266737,4272391,4282921,4288157,4318451,4327567,4333111,4346677,4349911,4377617,4379281,4379927,4380851,4388257,4401751,4402271,4410221,4415317,4429331,4438307,4465507,4467677,4470911,4470941,4499137,4512631,4517867,4529431,4530077,4534667,4567807,4571041,4581791,4581821,4590151,4592461,4617967,4619521,4620167,4623401,4628497,4636967,4642511,4650461,4671881,4681921,4687157,4708057,4720267,4724857,4734281,4739377,4742611,4755797,4771981,4772011,4774907,4777217,4822031,4822171,4832701,4835737,4841171,4858207,4863641,4866677,4877207,4877347,4922161,4924471,4927367,4927397,4943581,4956767,4960001,4965097,4974521,4979111,4991321,5012221,5017457,5027497,5048917,5056867,5062411,5070881,5075977,5079211,5079857,5081411,5106917,5109227,5117557,5117587,5128337,5131571,5164711,5169301,5169947,5181511,5186747,5200241,5228437,5228467,5231701,5233871,5261071,5270047,5284061,5289157,5297107,5297627,5311121,5318527,5319451,5320097,5321761,5349467,5352701,5366267,5371811,5380927,5411221,5416457,5426987,5432641,5463581,5468677,5471941,5474111,5474251,5487817,5501311,5510287,5518757,5524301,5537867,5541101,5553671,5562001,5570471,5579447,5606647,5621167,5624401,5625757,5631191,5637967,5653771,5656697,5659007,5672881,5690327,5703821,5714491,5717527,5722961,5728057,5731291,5758997,5778217,5780417,5781341,5783651,5809157,5810711,5825371,5842171,5846887,5860901,5873111,5880517,5894011,5894531,5899247,5916047,5930567,5930707,5957767,5961001,5963171,5963201,5971531,5999347,6010127,6013361,6018457,6023891,6026927,6051091,6063301,6068537,6082411,6084721,6087647,6110227,6115661,6120251,6120757,6134771,6156287,6170947,6179417,6187747,6200317,6201241,6203551,6217117,6222661,6234871,6240107,6248057,6253601,6267167,6269477,6270401,6277837,6308777,6314431,6324961,6350467,6355901,6360491,6369607,6391951,6419627,6419657,6422891,6427987,6430297,6443791,6452261,6457357,6460591,6461237,6471371,6480347,6507547,6509717,6512951,6512981,6519757,6541177,6554671,6571471,6572117,6576707,6609817,6609847,6613081,6623831,6632191,6660007,6661561,6662207,6663131,6665441,6670537,6679007,6684551,6692501,6723961,6753191,6762307,6766897,6776321,6781417,6784651,6797837,6811711,6812357,6814021,6816947,6844961,6853321,6864071,6874741,6900247,6905681,6908717,6917047,6919247,6922481,6964201,6966511,6969407,6969437,7002041,7002547,7007137,7016561,7024891,7033361,7038077,7054261,7059497,7069537,7071707,7098907,7104451,7116661,7118017,7121251,7121897,7123451,7148957,7151267,7152191,7159597,7159627,7173611,7206751,7209647,7223551,7228787,7242281,7270477,7273601,7273741,7275911,7301417,7309777,7312087,7331197,7339147,7342381,7353161,7361491,7362137,7363801,7378937,7391507,7394741,7399837,7408307,7413851,7422967,7453261,7458497,7463791,7469027,7491607,7505621,7510717,7513951,7513981,7516151,7543351,7552327,7560797,7566341,7569127,7579907,7583141,7604041,7612511,7621487,7634981,7648547,7648687,7663207,7666441,7680007,7693501,7695811,7698737,7714921,7732367,7745861,7756531,7762661,7770097,7773331,7798837,7801037,7804271,7820257,7823381,7825691,7851197,7852751,7861727,7884211,7888927,7906681,7915151,7920247,7922557,7936051,7941287,7952851,7953497,7958087,7972607,7975841,7999807,8003041,8005211,8005241,8013571,8041387,8055401,8060497,8065931,8068967,8091437,8105341,8110577,8124451,8152267,8155391,8157701,8162797,8166031,8176811,8198327,8212987,8229787,8243281,8245451,8245591,8259157,8260727,8276911,8281627,8282147,8290097,8295641,8309207,8312441,8345581,8350787,8350817,8367001,8392507,8395741,8397941,8402531,8409307,8414741,8450917,8461667,8461697,8464931,8470027,8472337,8485831,8494301,8499397,8502631,8503277,8517151,8522387,8530337,8551757,8552681,8554991,8561797,8596711,8613511,8614157,8622487,8644451,8651857,8651887,8655121,8665871,8674231,8701907,8702047,8705171,8707481,8712577,8721047,8734541,8742871,8743517,8766001,8795231,8802037,8804347,8823457,8826691,8834641,8839877,8853751,8854397,8856061,8857631,8858987,8871197,8887001,8892097,8895361,8906111,8942287,8947721,8950757,8959087,8961287,8964521,9006211,9006241,9011447,9044587,9047821,9049177,9058601,9061387,9066931,9075401,9080117,9096301,9111577,9113747,9127241,9140947,9158701,9163291,9163937,9190997,9194231,9199327,9201637,9204761,9232577,9248791,9251687,9265591,9284321,9291097,9296531,9312517,9315641,9317951,9343457,9351817,9353987,9354127,9381187,9384421,9398941,9403531,9404177,9420977,9433547,9434471,9436781,9441877,9450347,9455891,9468101,9495301,9504277,9505831,9511067,9533647,9547661,9552757,9555991,9556021,9558191,9583697,9594367,9602837,9611167,9624661,9625181,9646081,9658291,9661217,9663527,9677021,9690587,9693821];
g=[1009,3529,6157,10679,22327,25187,37199,42557,47419,64579,68737,69077,96247,100769,108259,124429,125497,137509,144659,158827,159167,169177,173699,185347,197359,205577,217589,227599,231757,234749,238907,244759,248917,260929,265427,271279,287449,292597,294599,304609,307679,321847,328997,336487,341009,367529,368519,394699,397769,401927,411937,419087,423949,438589,455827,457619,467629,472987,492017,499507,504029,511519,528679,532837,563077,575089,582107,596747,601609,622927,625997,634939,636007,652177,653167,686837,691699,695857,713017,726097,738109,754279,759427,759767,771439,776927,785947,788939,797959,835349,849857,861529,876037,895199,919927,922447,924449,925439,934459,951619,951959,966337,973277,985289,995509,998369,1017167,1019687,1024549,1058219,1063577,1068439,1075379,1089757,1119269,1129279,1148309,1153667,1158529,1162687,1179847,1180187,1192199,1213517,1218379,1219369,1226597,1243757,1252777,1255769,1264789,1282289,1286447,1287437,1292299,1299449,1303607,1313617,1315619,1316687,1342867,1357507,1362029,1376537,1389539,1406777,1418789,1440107,1447597,1452119,1462469,1466627,1478639,1483787,1520527,1525049,1527677,1537687,1542209,1549699,1585889,1596109,1603127,1610617,1615139,1617767,1629779,1647017,1655959,1674187,1686199,1690697,1700707,1705229,1707857,1712719,1734037,1746049,1749119,1754267,1759129,1766279,1770437,1776289,1780447,1780787,1792799,1814117,1818979,1826129,1836139,1843367,1849219,1856369,1870537,1870877,1897057,1909069,1914427,1916219,1917287,1929299,1933457,1940947,1943467,1945469,1946459,1950617,1972639,1977137,1987357,1989149,1999159,2004517,2006309,2016529,2019389,2040707,2043049,2048197,2052719,2060209,2064367,2077447,2079239,2084597,2113637,2137297,2150299,2157527,2167537,2169329,2174687,2179549,2184697,2200867,2211217,2212879,2213219,2215739,2223229,2227387,2234537,2239399,2240389,2244547,2247617,2259629,2280947,2285809,2286799,2302969,2307467,2308457,2313319,2334637,2337707,2346649,2363887,2375899,2378527,2383049,2397557,2407567,2443967,2451457,2455979,2465989,2468617,2473139,2483149,2509669,2515027,2527039,2541547,2546069,2553559,2574877,2606909,2617129,2631637,2636159,2650799,2676979,2678047,2690059,2694217,2707219,2711377,2728877,2737897,2740889,2749909,2767069,2775287,2780149,2801467,2813479,2813819,2830979,2835137,2839999,2864387,2865377,2870239,2874397,2891557,2891897,2903909,2925227,2930089,2935447,2938307,2964487,2967479,2976499,2993999,2998157,3008377,3015317,3027329,3059207,3069217,3073739,3088247,3098467,3132137,3158317,3159307,3163829,3190349,3195707,3204727,3207719,3222227,3232237,3233899,3234239,3236759,3239387,3255557,3261409,3280649,3297809,3301967,3306829,3307819,3329477,3341489,3357659,3358727,3367669,3370739,3392057,3396919,3402407,3418577,3430589,3457759,3460829,3464987,3477989,3482147,3489637,3494159,3501649,3504509,3520679,3525827,3530689,3536047,3537839,3555077,3569717,3574579,3591739,3595897,3626137,3627929,3645167,3652657,3657179,3664669,3671819,3685987,3689057,3699067,3700859,3706217,3716227,3728239,3732737,3744749,3754759,3758917,3761909,3766067,3771919,3776077,3788089,3789157,3796307,3808319,3834499,3834839,3849007,3856157,3868169,3869237,3885407,3886397,3891259,3912577,3924589,3924929,3929087,3939097,3946247,3951109,3956467,3959327,3971339,3982987,3987509,3992657,3997519,4000147,4004669,4014679,4019177,4031189,4058569,4087609,4090237,4094759,4102249,4109267,4119487,4131499,4152817,4153157,4155677,4163167,4167689,4179337,4180327,4184849,4199567,4221589,4225747,4226737,4228739,4238749,4242907,4253257,4254919,4257779,4265269,4281439,4286587,4298599,4301669,4315837,4322987,4328839,4362509,4388689,4391759,4395917,4401769,4405927,4413077,4417939,4423087,4449607,4451609,4452599,4461619,4466977,4478779,4486007,4493497,4498019,4522669,4525189,4525529,4546847,4551709,4557067,4569079,4576097,4590737,4595599,4616917,4629997,4647157,4680827,4685689,4689847,4707007,4720087,4732099,4753417,4753757,4765429,4770917,4779937,4782929,4791949,4810177,4829339,4843847,4855519,4870027,4889189,4907417,4916437,4919429,4928449,4933937,4945609,4945949,4967267,4979279,4992359,5009519,5013677,5018539,5052209,5069369,5082449,5103767,5108629,5123269,5130287,5142299,5147657,5152519,5173837,5174177,5176697,5201347,5205869,5213359,5220587,5232389,5237747,5246767,5247757,5249759,5276279,5281427,5286289,5293439,5297597,5303449,5307607,5310677,5336857,5370527,5376379,5383529,5397697,5400767,5412779,5417927,5434097,5441587,5444447,5446109,5456459,5460617,5470627,5472629,5473619,5477777,5499799,5514517,5519039,5520029,5531677,5536199,5543689,5546209,5546549,5567867,5579879,5590099,5597117,5604607,5609129,5611757,5640797,5668177,5680189,5684687,5694697,5699219,5701847,5706709,5711857,5716379,5728027,5740039,5742899,5748257,5753119,5760269,5770279,5774437,5774777,5786789,5808107,5812969,5813959,5830129,5831197,5843209,5850359,5864527,5864867,5891047,5903059,5910209,5911277,5923289,5927447,5933299,5937457,5940449,5944607,5954617,5966629,5971127,5983139,5993149,5998507,6000299,6010309,6013379,6027547,6034697,6042187,6046709,6054199,6071437,6073229,6103469,6107627,6124787,6129649,6144289,6161527,6163319,6168677,6173539,6178687,6194857,6197717,6205207,6209729,6217219,6221377,6234379,6238537,6241607,6268777,6280789,6296959,6302447,6307309,6328627,6331697,6340639,6341707,6357877,6369889,6391547,6392537,6397399,6401557,6418717,6437957,6443809,6459979,6462607,6465127,6465467,6467129,6477139,6491647,6494639,6503659,6509017,6535537,6540059,6541049,6567229,6600899,6611119,6625627,6630149,6640159,6672037,6684049,6690989,6701209,6705367,6722867,6731887,6734879,6761059,6763919,6769277,6774139,6795457,6807469,6807809,6824969,6829127,6833989,6834979,6859367,6864229,6868387,6885547,6885887,6897899,6919217,6924079,6932297,6949457,6958477,6961469,6970489,6987989,6992147,7005149,7009307,7021319,7022387,7048567,7063207,7067729,7082237,7092457,7124489,7145807,7153297,7157819,7172327,7184339,7189697,7216217,7226227,7230749,7233377,7243387,7247909,7255399,7291799,7301809,7316317,7320839,7323467,7335479,7352717,7361659,7364729,7386047,7390909,7391899,7396397,7412567,7413557,7418419,7439737,7451749,7454819,7458977,7459967,7464829,7471979,7476137,7483627,7486147,7486487,7488149,7498499,7514669,7519817,7524679,7530037,7531829,7541839,7549067,7562069,7585729,7614769,7620127,7621919,7634999,7639157,7646647,7651169,7656317,7658659,7679977,7682837,7693057,7694849,7700207,7710217,7712009,7722229,7726727,7748749,7752907,7753897,7755899,7758419,7765909,7770067,7782079,7783147,7784939,7790297,7802309,7828489,7828829,7842997,7850147,7855999,7863227,7873237,7880387,7885249,7906567,7918579,7918919,7923077,7928929,7933087,7940237,7945099,7950247,7953317,7965329,7986647,7991509,7994137,7998659,8008669,8013167,8025179,8043407,8052349,8069587,8081599,8084227,8088749,8096239,8103257,8113477,8149667,8157157,8161679,8171689,8174317,8178839,8215579,8220727,8232739,8236897,8247247,8251769,8259259,8280577,8292589,8309827,8322829,8337337,8341859,8356499,8382679,8383747,8385749,8395759,8399917,8407067,8411929,8412919,8417077,8434577,8443597,8446589,8455609,8472769,8479997,8480987,8485849,8507167,8519179,8519519,8536679,8540837,8545699,8551057,8570087,8580097,8609609,8623987,8630927,8635789,8641147,8674817,8679679,8682199,8700997,8703857,8714077,8726089,8733029,8747407,8747747,8764907,8773927,8774917,8776919,8779439,8804167,8823329,8837837,8849509,8864017,8901407,8910427,8913419,8922439,8927927,8939599,8939939,8945087,8961257,8973269,8986349,9003509,9007667,9012529,9046199,9047189,9063359,9064427,9073369,9076439,9097757,9102619,9117259,9124277,9136289,9166529,9170687,9187847,9195337,9199859,9207349,9226379,9231737,9241747,9243539,9260777,9275417,9280279,9287429,9297439,9301597,9304667,9330847,9331837,9358357,9362879,9370369,9377519,9391687,9394757,9404767,9406769,9411917,9428087,9433939,9438437,9450449,9454607,9460459,9464617,9467609,9471767,9481777,9493789,9502007,9514019,9525667,9530189,9540199,9540539,9554707,9561857,9573869,9574937,9591107,9598597,9603119,9630289,9630629,9634787,9651947,9656809,9662167,9674179,9677039,9688687,9693209,9695837,9698357];
h=[1489,9959,14447,21629,23147,38009,68137,77377,84517,91699,108079,109409,114007,116549,129737,130387,131717,138857,162419,179479,201787,208927,216109,225349,232489,233819,238307,245447,250199,254147,303889,308377,315517,331939,340409,341059,356789,362717,369857,379097,386279,410479,424087,432787,447649,449167,456349,464819,469307,472729,474059,476447,481199,485687,494387,526189,539377,544129,551269,555757,564227,571409,580649,587789,596489,610097,650719,657859,663787,673027,680167,696359,705059,712199,716687,721439,766429,770377,775129,779617,786757,788087,788737,804467,811649,818789,828029,833957,841097,858157,881719,890839,895327,904027,906569,911167,912497,920407,928877,936059,940547,952439,990289,997429,998947,1006129,1010617,1015369,1019087,1022509,1026997,1028327,1035467,1042649,1044167,1059029,1081337,1098397,1105537,1112719,1121959,1129099,1130429,1131079,1135027,1150757,1151407,1152737,1159877,1169117,1176299,1183439,1200499,1222807,1237669,1246369,1253509,1254839,1259327,1266467,1271219,1275707,1282889,1329397,1352959,1361429,1362079,1370669,1375267,1377809,1383737,1400117,1407299,1423679,1445107,1453807,1463047,1468669,1470187,1477369,1490327,1493749,1495079,1502219,1506707,1515407,1560397,1565149,1569637,1576777,1601669,1608809,1623977,1631117,1671739,1685347,1694047,1701187,1717379,1717609,1726079,1730567,1737707,1742459,1787449,1796149,1800637,1807777,1809107,1809757,1825487,1832669,1833319,1849049,1854977,1862117,1871357,1902739,1911859,1916347,1925047,1939909,1941427,1949897,1957079,1961567,1966319,1973459,1977947,2011309,2018449,2027689,2031637,2036389,2043529,2048017,2049347,2056487,2063669,2072909,2080049,2082029,2102357,2119417,2142979,2150119,2151449,2152099,2156047,2165287,2172427,2173757,2188619,2190137,2197319,2204459,2213699,2243827,2258689,2267389,2271877,2280347,2280997,2292239,2296727,2303909,2320289,2326217,2350417,2373979,2375959,2383099,2387587,2391689,2396287,2398829,2404757,2412667,2413997,2421137,2428319,2444699,2466127,2482549,2484067,2489689,2491207,2498389,2507629,2511347,2514769,2516099,2520587,2527727,2536427,2586169,2590657,2597797,2614219,2622689,2623339,2636297,2644997,2652137,2661377,2668559,2692759,2706367,2715067,2729929,2738399,2738629,2747099,2751587,2756339,2758727,2763479,2767967,2808469,2821657,2830777,2846507,2853689,2854339,2862929,2870069,2875997,2892377,2930227,2937367,2946067,2955307,2960929,2962447,2978639,2982587,2987339,2994479,2998967,3032329,3048709,3052657,3057409,3061897,3069037,3070367,3071017,3093929,3101069,3103049,3116237,3123377,3140437,3163999,3173119,3177607,3186307,3193447,3194777,3209639,3211157,3218339,3222827,3234719,3272569,3279709,3288409,3292897,3301367,3302017,3310607,3317747,3324929,3325579,3341309,3347237,3363617,3394999,3396979,3404119,3408607,3412709,3413359,3417307,3433687,3435017,3442157,3449339,3458579,3465719,3503569,3505087,3510709,3519949,3528649,3535789,3537119,3541607,3548747,3565169,3574289,3611677,3635239,3643709,3644359,3657317,3657547,3666017,3680879,3682397,3689579,3705959,3727387,3736087,3750949,3759419,3759649,3772607,3773257,3777359,3784499,3788987,3842677,3851797,3868219,3875359,3879847,3883949,3891089,3897017,3906257,3913397,3951247,3958387,3967627,3974809,3976327,3981949,3983467,3999659,3999889,4003607,4008359,4012847,4019987,4021967,4053349,4069729,4078429,4082917,4090057,4091387,4092037,4114949,4115599,4124069,4128557,4137257,4144397,4153637,4185019,4194139,4198627,4207327,4222189,4223519,4230659,4232177,4239359,4243847,4248599,4255739,4260227,4293589,4300729,4309969,4313917,4315897,4323037,4331627,4338767,4345949,4346599,4355189,4362329,4364309,4368257,4384637,4417999,4422487,4429627,4433729,4434379,4438327,4447567,4454707,4456037,4470899,4479599,4486739,4524589,4526107,4540969,4549669,4554157,4562627,4563277,4586189,4595309,4608497,4632697,4656259,4658239,4665379,4669867,4678337,4678567,4687037,4696277,4701899,4703417,4710599,4726979,4748407,4764829,4771969,4780669,4793627,4794277,4798379,4802867,4810007,4889239,4896379,4900867,4904969,4905619,4918577,4927277,4934417,4950839,4972267,4988647,4995829,4997347,5002969,5012209,5020679,5020909,5029379,5033867,5041007,5042987,5066549,5090749,5103937,5113057,5135969,5136619,5145089,5149577,5158277,5173139,5174657,5212507,5219647,5228347,5243209,5244539,5251679,5260919,5264867,5265517,5269619,5276759,5281247,5314609,5330989,5334937,5336917,5344057,5352647,5353297,5360479,5367619,5376209,5383349,5385329,5389277,5398517,5405657,5439019,5443507,5450647,5455399,5459887,5467069,5468587,5475727,5477057,5491919,5500619,5505107,5514227,5545609,5554849,5561989,5570689,5575177,5583647,5584297,5607209,5607859,5609189,5616329,5620817,5629517,5645897,5677279,5679259,5686399,5690887,5695639,5699357,5699587,5715779,5717297,5722919,5724437,5731619,5740859,5747999,5785849,5792989,5802229,5808157,5815297,5819399,5823887,5831027,5847449,5856569,5910259,5914747,5921887,5925989,5926639,5939597,5939827,5948297,5963159,5971859,5993287,6009667,6016849,6018367,6033229,6041699,6041929,6054887,6055537,6064007,6087569,6124957,6134077,6150499,6157639,6162127,6163457,6170597,6179297,6188537,6194159,6195677,6233527,6240667,6249907,6257089,6264229,6265559,6281939,6285887,6286537,6290639,6295127,6302267,6304247,6335629,6352009,6357937,6373667,6374317,6381499,6388639,6397229,6397879,6406349,6410837,6419537,6426677,6464527,6476419,6480907,6488089,6489607,6504469,6505799,6512939,6521639,6526127,6535247,6558809,6575869,6583009,6596197,6598177,6605317,6628229,6628879,6630209,6637349,6641837,6646589,6650537,6666917,6700279,6704767,6711907,6716659,6720607,6736799,6738317,6743939,6753179,6761879,6769019,6806869,6823249,6829177,6836317,6844907,6845557,6852739,6868469,6877589,6890777,6931279,6935767,6940519,6942907,6947659,6952147,6960617,6960847,6969317,6984179,6992879,7006487,7030687,7037869,7047109,7054249,7062949,7075907,7076557,7085027,7101449,7108589,7113077,7162819,7171519,7178659,7183147,7184477,7187899,7191617,7200857,7208039,7209557,7215179,7216697,7233119,7254547,7270927,7278109,7285249,7286579,7294489,7300417,7302959,7307557,7311659,7316147,7323287,7325267,7348829,7373029,7378957,7395337,7402519,7407007,7418249,7418899,7427369,7431857,7440557,7455419,7485547,7494787,7501927,7509109,7510627,7525489,7526819,7533959,7543199,7547147,7547797,7549127,7556267,7579829,7596889,7617217,7619197,7626337,7635577,7642759,7649899,7651229,7655717,7662857,7667609,7671557,7680797,7687937,7721299,7725787,7732927,7737679,7742167,7749349,7757819,7759337,7774199,7782899,7787387,7796507,7827889,7837129,7844269,7850197,7865927,7866577,7873759,7889489,7890139,7891469,7898609,7903097,7911797,7956787,7961539,7968679,7973167,7981637,7981867,7998059,8005199,8013899,8027507,8068129,8075269,8090437,8097577,8122469,8129609,8134097,8138849,8183839,8192539,8197027,8204167,8205497,8208919,8221877,8229059,8230577,8236199,8245439,8254139,8275567,8291947,8299129,8315509,8321437,8323979,8328577,8337167,8337817,8346287,8369849,8416357,8423539,8428027,8432779,8439919,8444407,8445737,8452877,8461577,8476439,8498747,8515807,8522947,8530129,8539369,8546509,8547839,8548489,8564219,8568167,8568817,8570147,8577287,8586527,8593709,8600849,8617909,8640217,8655079,8656597,8663779,8670919,8672249,8676737,8680159,8683877,8688629,8693117,8700299,8701817,8708957,8746807,8758699,8763187,8770369,8778839,8786749,8788079,8792677,8795219,8803919,8808407,8817527,8841089,8858149,8865289,8871217,8880457,8887597,8894779,8910509,8911159,8912489,8919629,8924117,8928869,8932817,8977807,8982559,8987047,8994187,9002887,9019079,9026219,9035459,9041387,9048527,9089149,9102757,9111457,9118597,9127837,9135019,9143489,9147977,9155117,9159869,9173057,9204859,9213559,9218047,9222799,9225187,9226517,9229939,9234427,9242897,9250079,9251597,9266459,9275159,9288767,9312967,9320149,9329389,9336529,9342457,9358187,9358837,9367307,9383729,9390869,9395357,9445099,9449047,9453799,9460939,9465427,9466757,9473897,9483137,9490319,9497459,9519767,9536827,9560389,9567529,9568859,9569509,9582697,9585239,9589837,9591167,9607547,9614729,9621869,9631109,9661237,9676099,9677617,9684799,9689287,9697757];
j=[3529,6157,10679,12527,17389,25187,38707,47419,64579,68737,69077,85457,96247,100769,111637,124429,137509,141149,144659,158827,159167,162467,169177,173699,197359,217589,227599,231757,234749,235397,238907,244759,245617,248917,287449,294599,304609,306457,307679,310979,321847,328997,367529,368519,369377,379387,383909,394699,397769,401927,411937,419087,438589,444959,454969,455827,457619,467629,472987,476627,492017,511519,517889,528679,532837,539207,544069,549557,563077,582107,596747,601609,604909,612137,622927,625139,625997,636007,653167,667829,677839,683197,686837,691699,695857,713017,726097,738889,754279,759767,771439,775079,776927,785947,792317,811819,833137,835349,848009,849857,853367,861529,863377,876037,895199,906067,909059,919069,919927,924449,925439,934459,936307,951619,981649,981989,985289,995509,998369,1003307,1019687,1024549,1033547,1058219,1063577,1068439,1075379,1076237,1086247,1089757,1106477,1119269,1129279,1147297,1148309,1151819,1153667,1158529,1161829,1162687,1179847,1192199,1213517,1218379,1219369,1226597,1234759,1243757,1252777,1256417,1282289,1286447,1292299,1299449,1303607,1313617,1316687,1327477,1331999,1342867,1357507,1362029,1368739,1376537,1389539,1390057,1400407,1404929,1406777,1445749,1447597,1452119,1462469,1462987,1466627,1475989,1483787,1520527,1525049,1527677,1537687,1538909,1542209,1548919,1560227,1570237,1596109,1599749,1610617,1615139,1617767,1625929,1633157,1655959,1672679,1686199,1690697,1693997,1698859,1700707,1704217,1705229,1707857,1746049,1749119,1759129,1766279,1770437,1776289,1777147,1780447,1780787,1818979,1826129,1827977,1832839,1836139,1843367,1849219,1854157,1856369,1870537,1870877,1900907,1909069,1914427,1916219,1927087,1929299,1933457,1943467,1946459,1950617,1957327,1976489,1987357,1989149,1999159,2002669,2004517,2006309,2019389,2040707,2043049,2060209,2064367,2075599,2077447,2079239,2081087,2084597,2113637,2126429,2137297,2150299,2156669,2157527,2167537,2169329,2174687,2184697,2199359,2212879,2213219,2223229,2227387,2229599,2234537,2240389,2244547,2247617,2250917,2255779,2270419,2285809,2302969,2307467,2308457,2313319,2323847,2334637,2337707,2375899,2378527,2379539,2383049,2384897,2394907,2397557,2407567,2440589,2450599,2451457,2455979,2457827,2465989,2468617,2473139,2483149,2484007,2523529,2527039,2541547,2544847,2546069,2565077,2606909,2607767,2617129,2617777,2620769,2631637,2636159,2650799,2676979,2678827,2683349,2690059,2693359,2693699,2694217,2707219,2711377,2715017,2740889,2749909,2751757,2756279,2767069,2775287,2780149,2787947,2801467,2813819,2827339,2830979,2835137,2839999,2848997,2859007,2863529,2864387,2865377,2870239,2874397,2891557,2900269,2903909,2921587,2921927,2925227,2930089,2935447,2938307,2964487,2977279,2993999,2997509,2998157,3008377,3015317,3050209,3059207,3069217,3070439,3073739,3080449,3088247,3091757,3098467,3101767,3132137,3147449,3157459,3158317,3159307,3163829,3174697,3207719,3220379,3222227,3232237,3233899,3236759,3239387,3250619,3271937,3280649,3291439,3297809,3301967,3306829,3307819,3308677,3329477,3344867,3357659,3364369,3367669,3370739,3385687,3392057,3396919,3402407,3415927,3430589,3457759,3460829,3464987,3477989,3478847,3482147,3488857,3501649,3520679,3530689,3536047,3537839,3539687,3544549,3555077,3565867,3574579,3591739,3595897,3607129,3612617,3626137,3627929,3638797,3645167,3664669,3671819,3685987,3688199,3689057,3699067,3700859,3706217,3714379,3716227,3744749,3754759,3758917,3761909,3766067,3771919,3772777,3776077,3777299,3787309,3789157,3796307,3834499,3834839,3838139,3848359,3849007,3856157,3869237,3886397,3911069,3916427,3921289,3924589,3924929,3929087,3939097,3942607,3946247,3959327,3972119,3982129,3982987,3987509,3997519,4000147,4004669,4014679,4015537,4019177,4045049,4058569,4066367,4071229,4087609,4090237,4094759,4096607,4109267,4131499,4139297,4152299,4152817,4153157,4163167,4167689,4169537,4180327,4184849,4195717,4210357,4214879,4221589,4225747,4228739,4238749,4242907,4253257,4257779,4281439,4298599,4301669,4315837,4319477,4322987,4328839,4362509,4380527,4388689,4390537,4391759,4395059,4395917,4401769,4405927,4413077,4423087,4451609,4452599,4461619,4463467,4466977,4467989,4478779,4486007,4508809,4522669,4525529,4539049,4546847,4551709,4557067,4560707,4576097,4590737,4595599,4601969,4611979,4616917,4623287,4629997,4633297,4633637,4647157,4678979,4680827,4685689,4688989,4689847,4696217,4707007,4709219,4720087,4753757,4761919,4765429,4767277,4770917,4779937,4782149,4803467,4810177,4829339,4840207,4843847,4855519,4859159,4870027,4889189,4895899,4917217,4919429,4928449,4932089,4933937,4937447,4945609,4979279,4990147,4992359,5003149,5009519,5010377,5013677,5018539,5020387,5052209,5065729,5066069,5069369,5076079,5082449,5087387,5097397,5103767,5108629,5123269,5138659,5142299,5147657,5152519,5160317,5173837,5176697,5190557,5213359,5220587,5231377,5232389,5235899,5237747,5246767,5247757,5276279,5286289,5293439,5297597,5303449,5304307,5307607,5308829,5310677,5318839,5336857,5370527,5376379,5379889,5383529,5397697,5400767,5417927,5441587,5446109,5456459,5460617,5470627,5473619,5477777,5484487,5489009,5503649,5514517,5519039,5529829,5531677,5536199,5546209,5546549,5547067,5560069,5567867,5590099,5602759,5604607,5609129,5611757,5628137,5632999,5640797,5654317,5680189,5683829,5684687,5694697,5699219,5701847,5711857,5716379,5717237,5727247,5740039,5753119,5756759,5760269,5770279,5774437,5774777,5778077,5782939,5788297,5812969,5830129,5843209,5850359,5851007,5861227,5864527,5864867,5903059,5910209,5912057,5922067,5923289,5926589,5927447,5933299,5937457,5940449,5944607,5954617,5983139,5984987,5993149,5998507,6000299,6010309,6011167,6013379,6027547,6034697,6054199,6060569,6071437,6073229,6086749,6092237,6103469,6107627,6124787,6133499,6144289,6154817,6159679,6161527,6163319,6168677,6178687,6197717,6210509,6217219,6220519,6221377,6234379,6238537,6241607,6268777,6283439,6296959,6302447,6307309,6313679,6328627,6331697,6334997,6341707,6354499,6369889,6390689,6391547,6392537,6397399,6401557,6407927,6418717,6427429,6448747,6459979,6462607,6465467,6467129,6477139,6478987,6491647,6524669,6535537,6540059,6541049,6541907,6551917,6567229,6597599,6600899,6607609,6611119,6618917,6625627,6628927,6630149,6640159,6649157,6684049,6690989,6701209,6701857,6705367,6722087,6734879,6761059,6763919,6769277,6774139,6777439,6777779,6795457,6799097,6807809,6824969,6829127,6833989,6834979,6835837,6840359,6850369,6859367,6864229,6868387,6872027,6885547,6897899,6911419,6919217,6924079,6932297,6943087,6947609,6949457,6958477,6984349,6987989,6992147,7005149,7005667,7006007,7009307,7016017,7020539,7022387,7048567,7063207,7067729,7078597,7081589,7082237,7091599,7092457,7134289,7153297,7154519,7157819,7172327,7175837,7215359,7216217,7226227,7230749,7233377,7241539,7243387,7247909,7248767,7258777,7291799,7301809,7304459,7314469,7316317,7319827,7320839,7323467,7361659,7364729,7375519,7386047,7390909,7391899,7396397,7413557,7428947,7443587,7448449,7451749,7454819,7458977,7464829,7469767,7471979,7476137,7486147,7486487,7500007,7514669,7524679,7530037,7531829,7541839,7542697,7549067,7562069,7572937,7585729,7614769,7618279,7620127,7621919,7623767,7634999,7639157,7656317,7658659,7679977,7693057,7694849,7696697,7700207,7710217,7712009,7722877,7742039,7748749,7752907,7755899,7765909,7770067,7772279,7783147,7784939,7790297,7798459,7828489,7828829,7842997,7845209,7850147,7855999,7863227,7866527,7871389,7873237,7880387,7918579,7918919,7922219,7923077,7928929,7933087,7940237,7950247,7953317,7991509,7994137,7995149,7998659,8000507,8005369,8008669,8013167,8026687,8043407,8066209,8073437,8081599,8084227,8088749,8099617,8103257,8129129,8139139,8150447,8157157,8160457,8161679,8171689,8174317,8178839,8215579,8223377,8232739,8236379,8236897,8247247,8251769,8253617,8292589,8294437,8298959,8309309,8309827,8322829,8330627,8337337,8341859,8356499,8367367,8371889,8382679,8385749,8395759,8399917,8407067,8412919,8417077,8442949,8446589,8455609,8464607,8472769,8479997,8480987,8485849,8507167,8519519,8536679,8537537,8540837,8545699,8547547,8551057,8552069,8570087,8580097,8592889,8609609,8613119,8623129,8623987,8630927,8635789,8641147,8665819,8674817,8679679,8696059,8700997,8703857,8714077,8717377,8717717,8747747,8763059,8764907,8773927,8774917,8779439,8780297,8790307,8793299,8804167,8823329,8835989,8837837,8845999,8849509,8851357,8864017,8866229,8887547,8907049,8913419,8922439,8924287,8927927,8939599,8945087,8960477,8973269,8986349,9003509,9007667,9012529,9016169,9021527,9031537,9046199,9063359,9073369,9074227,9076439,9087229,9094457,9097757,9102619,9117259,9136289,9149809,9155297,9160159,9166529,9170687,9181477,9187847,9207349,9222739,9226379,9231737,9241747,9243539,9244397,9254407,9260777,9280279,9287429,9297439,9301597,9304667,9315457,9319979,9329989,9330847,9331837,9370369,9377519,9388387,9391687,9392909,9394757,9404767,9411917,9450449,9453749,9454607,9460459,9463969,9464617,9467609,9471767,9481777,9502007,9525667,9530189,9536899,9540199,9540539,9554707,9558217,9561857,9574937,9587729,9598597,9603119,9613909,9630289,9630629,9634787,9651947,9660659,9674179,9681977,9686839,9688687,9693209,9695837];
l=[39799,42659,46117,49109,52669,61979,69829,72689,83297,86549,107867,110027,113719,116579,127187,137897,139199,143749,181787,211817,212129,225439,228299,233447,245459,255469,258329,272189,276739,280897,284747,293507,298057,299359,300217,302219,313919,323537,324787,329389,344807,361967,367427,396467,402319,408479,423637,425639,440357,461077,462379,464069,467527,469529,470387,479539,480239,481097,483697,510269,521137,524129,524987,530447,552157,554159,583199,598669,623239,627089,632549,636707,642559,643259,646717,648407,649709,653867,654259,660419,663877,665879,680597,692297,707767,709769,714319,722327,738809,765979,768839,782387,782699,804017,809869,812729,816887,823439,828899,834047,839899,850609,855317,867329,870787,877339,877937,884489,887947,888647,894499,898657,899959,907967,932537,945407,972889,979049,990749,994207,1006219,1007077,1020779,1031647,1034639,1040957,1047509,1050109,1050967,1051667,1061677,1062979,1064669,1068827,1080839,1084297,1105567,1122727,1135597,1153769,1157227,1169239,1176389,1186399,1206419,1217287,1220279,1224829,1230989,1231847,1237699,1243859,1247317,1250309,1259017,1275737,1285747,1291207,1292897,1302907,1314919,1339409,1349419,1387457,1387849,1393309,1404019,1409167,1410469,1414627,1418477,1421179,1434049,1447909,1455917,1458517,1469227,1472087,1477939,1478537,1499257,1515977,1543147,1572187,1573489,1574189,1577647,1584199,1589659,1591349,1593509,1594807,1601359,1614827,1616077,1618079,1633549,1639397,1641557,1645249,1646107,1654867,1658717,1706167,1716929,1727797,1754369,1756969,1757827,1760819,1776989,1801717,1808269,1812427,1814429,1825429,1829587,1831747,1841599,1845449,1856317,1885489,1893497,1914529,1940009,1944559,1957169,1958419,1979737,1982597,1988449,1989047,1992607,2001059,2001917,2004619,2009767,2011069,2012627,2026487,2053657,2056517,2079137,2083687,2100169,2130199,2144059,2152067,2154769,2164079,2165377,2168237,2174089,2181239,2185397,2191949,2195407,2198267,2212127,2216677,2239297,2242157,2253857,2269327,2287499,2300369,2324939,2342257,2344259,2348417,2352109,2354969,2365577,2371429,2377589,2382139,2395999,2398859,2402317,2404007,2409467,2416019,2419477,2420177,2426029,2428889,2450207,2450519,2464067,2494097,2510579,2515129,2521579,2523137,2537749,2538607,2540609,2552309,2563177,2567027,2567779,2572487,2579039,2581639,2582497,2583197,2584499,2589647,2594197,2596199,2600357,2605817,2611669,2640709,2649707,2654257,2678747,2684599,2700769,2702459,2705917,2707919,2708777,2717929,2722637,2749807,2751809,2752667,2762519,2763377,2768837,2769229,2779837,2790547,2792549,2807267,2817277,2824427,2834437,2836439,2839897,2865479,2870939,2880949,2888099,2892649,2909369,2912827,2918987,2924839,2930687,2936539,2939399,2941999,2946157,2948159,2952709,2960717,2974577,2987447,2990047,2999459,3002917,3004607,3020777,3021089,3048259,3051119,3078289,3092149,3093707,3095009,3105019,3105719,3109177,3115729,3116327,3122179,3122879,3125039,3126337,3132889,3138349,3146357,3149609,3160217,3164767,3170927,3176779,3177637,3183797,3190247,3211279,3254857,3273029,3279347,3285899,3288499,3289357,3301369,3303059,3327787,3333247,3339799,3343957,3346949,3350407,3356959,3361117,3373987,3376979,3387847,3417877,3458669,3463219,3476089,3488699,3509969,3513427,3514127,3519979,3524137,3529597,3531287,3532589,3533447,3541297,3553309,3558017,3562619,3573487,3585187,3626239,3631699,3635549,3648859,3656867,3675589,3686299,3694307,3695609,3696907,3700757,3712769,3716329,3716927,3748207,3754367,3760219,3765367,3781537,3785387,3811879,3825427,3831899,3854467,3856469,3871939,3875789,3879947,3883639,3884497,3887489,3897107,3898357,3902959,3927529,3928387,3940997,3944557,3947549,3951007,3999209,4040107,4043099,4046659,4063819,4070137,4073129,4083839,4083997,4094707,4104017,4110569,4114027,4121177,4123879,4127729,4131887,4133189,4196809,4206119,4226839,4227437,4239449,4240307,4249459,4264877,4270729,4283339,4284197,4292047,4294907,4296209,4300759,4311367,4317527,4322077,4335937,4338797,4355957,4365967,4368827,4382449,4390457,4402469,4412479,4419629,4450517,4455067,4456369,4458059,4461517,4470929,4473529,4477687,4480547,4486399,4492247,4507717,4518977,4521577,4524437,4536137,4548149,4551607,4580647,4582649,4609819,4621079,4624537,4626539,4634389,4636549,4637249,4640707,4642397,4643699,4647857,4653709,4654409,4657867,4664419,4667279,4681139,4691747,4702457,4708309,4709167,4711169,4732487,4738339,4759969,4776377,4805417,4806719,4810877,4811269,4817429,4820029,4820887,4822889,4828037,4832587,4834589,4849307,4850059,4864777,4866779,4871329,4876477,4878479,4879337,4881937,4888097,4888489,4892647,4893949,4922989,4939397,4961027,4966879,4988197,4990199,4991057,4996909,5007619,5018227,5032087,5034947,5041499,5044957,5045657,5051509,5055667,5056969,5058659,5062117,5062817,5064977,5072827,5074829,5078287,5089547,5116717,5118719,5147759,5151217,5163229,5174929,5177789,5180389,5191649,5207119,5212967,5218819,5221679,5225837,5228437,5237849,5241307,5242997,5244299,5248849,5279737,5286887,5296897,5308909,5316917,5330539,5333399,5343409,5360569,5363429,5377289,5381839,5387999,5398607,5403157,5404459,5407319,5415169,5416027,5428637,5434489,5449907,5459059,5459917,5471929,5472527,5493247,5502557,5566177,5567479,5571637,5575487,5578189,5585339,5588797,5595349,5604659,5615369,5615527,5626237,5629229,5635547,5652707,5656267,5659259,5700157,5748359,5751817,5754809,5758369,5770979,5771837,5796407,5801009,5802259,5811877,5814869,5815727,5819419,5823577,5827427,5842897,5844899,5867467,5873939,5887487,5913979,5917829,5933999,5939147,5944999,5951159,5982439,5983037,5986597,5998609,6002459,6003757,6005059,6013067,6023777,6042499,6050507,6063817,6067667,6073127,6114179,6125879,6136747,6141349,6146057,6158069,6165919,6166777,6168079,6169769,6175229,6179387,6185239,6185939,6189397,6210667,6223277,6236147,6240697,6281489,6311519,6322387,6325379,6338249,6342407,6348959,6352417,6355409,6359567,6366119,6371579,6396307,6397997,6410009,6410867,6413467,6420019,6426337,6444509,6488087,6509119,6515569,6521729,6522587,6528439,6534599,6539149,6549757,6553009,6561017,6566477,6573029,6574327,6576487,6577187,6583039,6583637,6590189,6593647,6594347,6604357,6605659,6607217,6621077,6648247,6651107,6678277,6678589,6694759,6696449,6699907,6709319,6711919,6724789,6738649,6746657,6751207,6753209,6757367,6759967,6762827,6768679,6774527,6780379,6786539,6789997,6806717,6811267,6818417,6828427,6833887,6859469,6862927,6864929,6874939,6882089,6892099,6906817,6908819,6919529,6930137,6930529,6935989,6936847,6946699,6947557,6949559,6976729,6981437,6990589,6991447,6993449,6996907,6998597,7014767,7020619,7045109,7049659,7058657,7087697,7093549,7099009,7103167,7105169,7109719,7114867,7116169,7116869,7117727,7120327,7126879,7131587,7132339,7136189,7147057,7158757,7160759,7161617,7176229,7177787,7184237,7188787,7205269,7235299,7248847,7249159,7270477,7273337,7279189,7279889,7283347,7289899,7295359,7297049,7300507,7303367,7317227,7321777,7327937,7333789,7344397,7347257,7350949,7355107,7357109,7374427,7398997,7411867,7430039,7445509,7457209,7460069,7482689,7487239,7501099,7503959,7507417,7513969,7518127,7525277,7531129,7533989,7535287,7544597,7547299,7555307,7569167,7599197,7615679,7620229,7642849,7645709,7672879,7686739,7688297,7689599,7694747,7697449,7698307,7706759,7710319,7710917,7716769,7719629,7740947,7742197,7754807,7759357,7784837,7805869,7813877,7843049,7853917,7857767,7867619,7869779,7873937,7884937,7886939,7891097,7897649,7922377,7938547,7941539,7942397,7944997,7971569,7982437,7993199,8040649,8044499,8053259,8054117,8057809,8059969,8065817,8081287,8083289,8084539,8098007,8104559,8105857,8108017,8109707,8115167,8121719,8125177,8125877,8127179,8156219,8183389,8200109,8220829,8221427,8227279,8230139,8240849,8243449,8251457,8265317,8278187,8280889,8284739,8288897,8290199,8295347,8306057,8311517,8311909,8349947,8359957,8384447,8396459,8406469,8408159,8413619,8423629,8440349,8449057,8452049,8455507,8461667,8467519,8468377,8474537,8479087,8482079,8492947,8512967,8522977,8530127,8542139,8545597,8563769,8576639,8593799,8615069,8618527,8630539,8634697,8636387,8637689,8647699,8648399,8649257,8651857,8658409,8664727,8667719,8678587,8692289,8693147,8705159,8708617,8720317,8726477,8753959,8766829,8791399,8799407,8800709,8804867,8810719,8811419,8814877,8821429,8822027,8828579,8832037,8844049,8848757,8859467,8865319,8870467,8875927,8882479,8886637,8889497,8895349,8916667,8916979,8930527,8933387,8960557,8977039,8985047,8989597,8991599,9007069,9018769,9033487,9035489,9038947,9045107,9045499,9049657,9050959,9052649,9056107,9056807,9062659,9066817,9072277,9076127,9100697,9116167,9145207,9147209,9168919,9174379,9175237,9178229,9189097,9215669,9218269,9219127,9219827,9228979,9229837,9231839,9235297,9236987,9238289,9259009,9273727,9275729,9290887,9297047,9302899,9331939,9337399,9354559,9369977,9374579,9375829,9385447,9397147,9399149,9400007,9401309,9405859,9414619,9418469,9422627,9427177,9441037,9443897,9453907,9465919,9471067,9473927,9487237,9487549,9517579,9555617,9560167,9561469,9572179,9582787,9585647,9589339,9591499,9612817,9616069,9626677,9629537,9637387,9646697,9650257,9653249,9656707,9659567];
o=[3529,6157,10679,25187,26177,31039,41567,47419,52357,64579,68737,69077,96247,97259,100769,112627,124429,125287,137509,144659,158827,159167,168319,169177,173699,197359,200869,217589,227599,231757,234749,238907,241249,244759,248917,262567,282797,287449,294599,304609,307679,321847,324629,328997,335497,338489,367529,368519,394699,397769,401927,411079,411419,411937,419087,432737,438589,455827,457619,467629,472987,492017,505667,511519,528679,532837,563077,576727,581249,582107,583097,587959,596747,601609,609277,622927,625997,636007,653167,656027,682207,686837,691699,695857,711719,713017,726097,733037,754279,759767,771439,776927,785947,798169,805967,819487,835349,849857,861529,875179,876037,877027,881549,892417,895199,919927,924449,925439,934459,949957,951619,954479,968339,985289,989657,995509,998369,1019687,1024549,1025539,1047197,1058219,1062587,1063577,1068439,1075379,1089757,1119269,1120127,1129279,1133647,1148309,1153667,1158529,1162687,1175479,1179847,1192199,1195709,1206577,1213517,1218379,1219369,1226597,1243757,1248409,1252777,1257407,1262269,1282289,1283587,1286447,1292299,1299449,1303607,1313617,1316687,1330337,1342867,1345649,1356517,1357507,1362029,1362887,1376537,1389539,1405919,1406777,1418579,1432099,1433947,1447597,1452119,1462469,1466627,1483787,1489639,1505029,1506877,1520527,1525049,1527677,1537687,1542209,1555859,1596109,1604117,1610617,1615139,1617767,1628789,1655959,1656817,1677047,1686199,1690697,1699849,1700707,1705229,1707857,1732399,1746049,1749119,1759129,1766279,1770437,1776289,1780447,1780787,1805329,1814327,1818979,1826129,1826987,1836139,1843367,1849219,1856369,1870019,1870537,1870877,1887257,1898047,1902569,1909069,1913437,1914427,1916219,1929299,1933457,1943467,1946459,1950617,1970977,1975499,1987357,1989149,1999159,2004517,2006309,2019389,2037197,2040707,2043049,2046559,2060209,2064367,2077447,2079239,2084597,2108257,2112779,2113637,2119489,2137297,2140807,2150299,2157527,2167537,2169329,2170319,2174687,2181187,2184697,2185709,2196499,2212879,2213219,2223229,2227387,2234537,2240389,2243249,2244547,2247617,2256769,2264567,2269429,2278427,2285809,2302969,2307467,2308457,2313319,2329699,2334637,2337707,2351017,2351357,2375899,2378527,2383049,2397557,2406709,2407567,2426939,2451457,2455979,2465989,2468617,2473139,2479639,2483149,2499869,2521187,2527039,2527897,2541547,2546069,2576879,2606909,2617129,2631637,2636159,2649809,2650799,2651657,2676979,2690059,2694217,2707219,2711377,2720869,2727239,2738107,2740889,2749909,2767069,2775287,2780149,2793799,2800169,2801467,2813819,2815117,2821487,2826349,2830979,2835137,2839999,2864387,2865377,2870239,2874397,2891557,2894417,2903909,2908277,2925227,2930089,2935447,2938307,2950109,2964487,2965477,2993999,2998157,3008377,3015317,3021169,3036559,3059207,3069217,3073739,3088247,3094099,3098467,3115417,3132137,3135647,3158317,3159307,3163829,3188347,3191339,3202207,3206729,3207719,3222227,3232237,3233899,3236759,3239387,3263929,3264269,3277789,3280649,3285587,3297809,3301967,3306829,3307819,3329477,3345857,3350719,3357659,3358517,3367669,3370739,3372037,3392057,3396919,3401549,3402407,3429577,3430589,3434099,3444967,3457759,3460829,3464987,3474479,3477989,3482147,3495797,3500659,3501649,3520679,3530689,3536047,3537839,3555077,3568727,3574579,3591739,3595897,3626137,3627929,3639787,3644309,3645167,3651019,3664669,3671819,3672337,3685987,3689057,3699067,3700859,3706217,3716227,3728029,3744749,3745267,3754759,3758917,3761909,3766067,3771919,3776077,3789157,3796307,3809957,3821189,3834499,3834839,3842507,3849007,3856157,3869237,3886397,3915437,3924589,3924929,3929087,3938239,3939097,3946247,3959327,3982987,3986497,3987509,3997519,4000147,4004669,4014679,4019177,4031399,4052717,4058569,4059427,4087609,4090237,4094759,4108409,4109267,4110257,4115119,4125647,4131499,4136437,4152817,4153157,4163167,4167689,4180327,4183187,4184849,4196707,4209367,4221589,4225747,4228739,4238749,4242907,4253257,4257779,4258769,4269637,4281439,4284949,4298599,4301669,4315837,4322987,4325329,4328839,4346647,4357879,4362509,4366877,4388689,4391759,4395917,4401769,4405927,4408709,4413077,4419577,4423087,4439807,4451609,4452599,4461619,4466977,4478779,4481639,4486007,4495159,4495499,4516817,4522669,4525529,4546847,4551709,4552699,4557067,4568089,4576097,4589747,4590737,4595599,4616917,4629997,4647157,4660807,4665329,4667177,4680827,4685689,4689847,4707007,4720087,4722869,4733737,4738259,4740107,4753757,4765429,4766287,4770917,4779937,4809319,4810177,4829339,4843847,4855519,4870027,4889189,4890047,4919429,4928449,4933079,4933937,4945609,4959259,4961107,4965629,4976497,4979279,4992359,5009519,5013677,5018539,5032189,5034037,5038559,5052209,5069369,5082449,5103767,5108629,5109619,5123269,5131277,5142299,5146667,5147657,5152519,5173837,5176697,5182549,5203867,5204207,5213359,5217727,5220587,5232389,5237747,5246767,5247757,5259559,5276279,5279789,5286289,5290657,5293439,5297597,5303449,5307607,5310677,5332489,5336857,5341487,5352719,5370527,5374037,5376379,5383529,5397697,5400767,5414417,5417927,5429729,5440597,5441587,5446109,5456459,5460617,5470627,5473619,5477777,5489999,5502659,5514517,5516179,5519039,5531677,5536199,5546209,5546549,5562929,5567867,5573719,5584247,5589109,5590099,5590957,5604607,5609129,5611757,5639939,5640797,5646649,5667967,5680189,5684687,5694697,5699219,5701847,5711857,5712869,5716379,5740039,5753119,5760269,5761127,5770279,5774437,5774777,5783929,5812969,5830129,5843209,5850359,5856859,5864527,5864867,5878177,5889409,5903059,5910209,5923289,5927447,5933299,5937457,5940449,5944607,5954099,5954617,5971337,5983139,5993149,5998507,6000299,6010309,6013379,6027029,6027547,6034697,6048347,6054199,6055057,6059579,6071437,6073229,6103469,6107627,6124787,6130639,6144289,6161527,6163319,6168677,6178687,6197717,6198707,6203569,6217219,6221377,6224887,6234379,6238537,6241607,6254399,6265267,6268777,6269789,6296959,6297817,6302447,6307309,6327329,6328627,6331697,6340849,6341707,6348647,6353509,6369889,6391547,6392537,6397399,6401557,6413779,6418717,6421577,6435097,6435437,6459979,6462607,6465467,6467129,6477139,6491647,6492637,6497159,6508027,6511019,6535537,6540059,6541049,6563719,6567229,6583949,6600899,6605267,6611119,6625627,6630149,6640159,6662807,6678197,6684049,6690989,6701209,6705367,6733889,6734879,6749257,6761059,6763919,6769277,6774139,6791089,6795457,6804949,6807809,6824969,6829127,6833989,6834979,6859367,6864229,6868387,6873017,6877879,6884249,6885547,6897899,6899197,6905567,6919217,6924079,6932297,6949457,6958477,6961259,6972127,6978497,6987989,6992147,7005149,7009307,7022387,7047709,7048567,7049557,7063207,7067729,7082237,7092457,7122487,7153297,7157819,7171469,7172327,7178179,7199497,7216217,7219727,7226227,7230749,7233377,7243387,7247909,7272427,7291799,7292657,7301809,7316317,7320839,7323467,7348009,7348349,7361659,7364729,7369667,7386047,7390909,7391899,7396397,7413557,7420939,7429937,7434799,7442597,7451749,7454819,7456117,7458977,7464829,7471979,7476137,7486147,7486487,7502867,7513657,7514669,7518179,7524679,7529047,7530037,7531829,7541839,7549067,7558559,7562069,7579877,7585729,7586587,7591109,7614769,7620127,7621919,7634999,7639157,7652807,7656317,7658659,7662169,7679977,7693057,7694849,7700207,7710217,7712009,7723867,7728389,7748749,7752907,7755899,7765909,7770067,7783147,7784939,7785929,7790297,7796797,7801319,7812109,7828489,7828829,7829347,7842997,7850147,7855999,7863227,7872379,7873237,7880387,7885039,7894037,7918579,7918919,7923077,7928929,7933087,7940237,7950247,7953317,7966967,7991509,7994137,7998659,7999517,8008669,8013167,8022319,8042549,8043407,8070577,8081599,8084227,8088749,8095249,8103257,8143507,8157157,8161679,8171689,8174317,8178839,8192489,8194337,8209727,8215579,8232739,8236897,8247247,8251769,8265419,8267267,8280787,8292589,8293447,8309827,8322829,8336479,8337337,8341859,8342849,8353717,8356499,8369029,8382679,8385749,8395759,8399917,8407067,8412919,8415779,8417077,8437097,8441959,8446589,8450957,8455609,8472769,8479997,8480987,8485849,8492789,8503657,8507167,8519519,8523887,8536679,8540837,8545699,8551057,8565719,8570087,8579239,8580097,8609609,8623987,8630927,8635789,8636779,8641147,8652169,8673827,8674817,8679679,8700997,8703857,8709709,8714077,8731027,8744887,8747747,8749409,8764907,8773927,8774917,8779439,8804167,8806949,8817817,8822339,8823329,8824187,8837837,8849509,8864017,8879879,8893399,8901197,8913419,8922439,8927927,8939599,8945087,8966329,8973269,8986349,8987647,9003509,9007667,9012529,9017159,9043339,9046199,9063359,9073369,9076439,9090089,9097757,9102619,9111407,9116269,9117259,9118117,9122639,9136289,9166529,9170687,9187847,9193699,9207349,9226379,9231737,9241747,9243539,9260777,9266629,9280279,9287429,9287947,9288287,9297439,9301597,9304667,9330847,9331837,9360877,9363869,9370369,9374737,9377519,9391687,9394757,9404767,9411917,9416569,9436799,9450449,9454607,9458117,9460459,9464617,9467609,9471767,9481777,9498497,9502007,9525667,9530189,9531047,9540199,9540539,9554707,9561857,9574079,9574937,9586739,9598597,9602107,9603119,9630289,9630629,9634787,9647009,9651947,9657799,9668327,9673189,9674179,9688687,9693209,9695837];

И опять не уместилась :(
Продолжу в следующем посте.

Окончание программы

p=[3529,6157,7169,10679,25187,47419,64579,65437,68737,69077,78229,96247,100769,116267,121129,124429,137509,142447,144659,151159,158827,159167,169177,172477,173699,189197,197359,215377,217589,227599,231757,234749,238907,244759,248399,248917,264779,265637,287449,290959,294599,304609,307679,321329,321847,328997,342647,363889,367529,368519,394699,397769,401927,411937,414719,419087,438589,455827,457619,467629,472987,487649,492017,511519,528679,532837,558709,559567,563077,564089,582107,596747,601609,622927,625997,635149,636007,653167,673187,686837,691699,695857,708079,713017,726097,728879,729397,729737,746117,754279,759767,771439,772297,776927,785947,802327,805319,835349,849857,858019,861529,876037,878249,895199,896057,899567,919927,924449,925439,934459,951619,967117,971639,972497,985289,995509,998369,1019687,1024549,1028189,1040047,1043557,1044569,1058219,1063577,1068439,1075379,1089757,1099249,1115629,1119269,1129279,1137287,1148309,1153667,1158529,1162687,1167317,1172179,1179847,1188559,1192199,1193497,1209877,1210217,1213517,1218379,1219369,1226597,1243757,1252777,1265569,1266427,1282289,1285799,1286447,1292299,1299449,1303607,1313617,1316687,1338499,1342009,1342867,1357507,1358729,1362029,1376537,1380047,1389539,1406777,1435739,1447597,1452119,1462469,1465769,1466627,1483787,1508669,1520527,1525049,1527677,1537687,1542209,1579729,1596109,1596967,1610617,1615139,1617767,1652659,1655959,1673977,1686199,1690697,1700707,1705229,1707857,1724237,1729099,1746049,1749119,1750417,1759129,1766279,1767137,1770437,1776289,1780447,1780787,1797167,1818979,1823347,1826129,1836139,1843367,1849219,1852859,1856369,1870537,1870877,1874177,1895419,1909069,1914427,1916219,1929299,1933457,1943467,1946459,1947107,1950617,1987357,1989149,1999159,2004517,2006309,2018167,2019389,2022689,2040707,2043049,2060209,2061067,2064367,2065589,2077447,2079239,2084597,2091097,2095619,2113637,2136649,2137297,2150299,2157527,2166679,2167537,2169329,2174687,2184697,2188337,2204717,2209579,2212879,2213219,2223229,2227387,2230897,2234537,2240389,2244547,2247617,2260409,2261267,2285809,2302969,2303827,2307467,2308457,2313319,2316619,2333339,2334637,2336849,2337707,2354657,2359519,2375899,2378527,2383049,2389549,2397557,2407567,2427587,2451457,2455979,2465989,2468617,2473139,2483149,2486789,2498647,2503169,2504027,2527039,2541547,2546069,2559719,2575087,2606909,2617129,2630779,2631637,2636159,2648017,2650799,2668817,2676979,2690059,2694217,2707219,2711377,2740889,2745257,2749909,2767069,2775287,2780149,2797099,2797957,2801467,2813819,2818187,2830979,2835137,2839999,2864387,2865377,2870239,2873539,2874397,2890259,2891557,2903909,2911577,2925227,2930089,2935447,2938307,2946469,2964487,2967269,2968127,2984507,2993999,2998157,3008377,3015317,3039187,3043709,3055567,3059207,3069217,3073739,3088247,3098467,3112117,3116639,3128497,3132137,3158317,3159307,3163829,3184189,3187699,3205507,3207719,3222227,3225737,3232237,3233899,3236759,3239387,3260629,3278437,3280649,3281947,3297809,3298667,3301967,3306829,3307819,3311459,3329477,3337639,3354019,3354359,3357659,3367669,3370739,3375677,3384389,3392057,3396919,3402407,3405707,3410569,3426949,3430589,3448607,3457759,3460829,3464987,3477989,3482147,3501649,3519667,3520679,3524189,3530689,3536047,3537839,3555077,3574579,3591739,3592597,3595897,3597119,3626137,3627929,3645167,3664669,3668179,3669037,3671819,3685987,3689057,3699067,3700859,3706217,3716227,3744749,3754759,3758917,3761909,3766067,3771919,3776077,3789157,3791939,3792797,3796307,3818119,3834499,3834839,3835357,3849007,3856157,3868379,3869237,3886397,3891049,3924589,3924929,3929087,3939097,3941309,3946247,3959327,3962627,3967489,3982987,3987509,3997519,4000147,4004669,4005527,4014679,4019177,4035557,4058569,4076587,4087609,4090237,4091249,4094759,4106617,4109267,4131499,4149517,4152817,4153157,4162309,4163167,4167689,4180327,4184849,4200347,4221589,4225747,4228739,4235239,4238749,4242907,4253257,4256557,4257779,4273277,4276787,4281439,4298599,4299457,4301669,4315837,4322987,4328839,4329487,4332479,4348859,4362509,4375039,4388689,4391759,4395917,4401769,4405069,4405409,4405927,4413077,4421789,4423087,4426727,4443107,4447969,4451609,4452599,4461619,4466977,4478779,4486007,4498799,4499657,4522669,4525529,4546847,4551709,4557067,4570717,4571729,4575239,4576097,4590737,4595599,4616917,4629997,4642789,4647157,4680827,4685689,4689847,4707007,4715719,4720087,4737037,4753757,4765429,4770917,4779937,4792159,4810177,4812959,4813477,4829339,4830197,4843847,4855519,4869169,4870027,4885889,4886407,4889189,4907207,4919429,4928449,4933937,4945609,4962329,4979279,4983647,4992359,5009519,5013677,5018539,5052209,5056577,5069369,5082449,5103767,5108629,5123269,5124127,5127637,5128649,5142299,5147657,5152519,5173837,5176697,5199709,5200567,5213359,5220587,5232389,5237747,5246767,5247757,5251397,5256259,5272639,5276279,5277577,5286289,5293439,5293957,5294297,5297597,5303449,5307607,5310677,5324327,5336857,5350507,5366887,5369879,5370527,5376379,5383529,5397697,5399909,5400767,5417927,5422579,5426089,5441587,5442809,5446109,5456459,5460617,5464127,5470627,5473619,5477777,5499019,5514517,5519039,5531677,5536199,5537057,5546209,5546549,5549849,5567867,5590099,5592749,5604607,5608117,5609129,5611757,5622779,5640797,5663809,5680189,5684687,5693839,5694697,5699219,5701847,5711857,5716379,5731877,5736739,5740039,5753119,5758057,5760269,5770279,5774437,5774777,5808317,5812969,5830129,5830987,5843209,5850359,5864009,5864527,5864867,5881247,5903059,5906569,5907427,5910209,5923289,5927447,5933299,5937457,5940449,5944607,5954617,5983139,5993149,5998507,6000299,6010309,6013379,6027547,6030329,6031187,6034697,6054199,6071437,6073229,6102247,6103469,6106769,6107627,6124787,6144289,6161527,6163319,6168677,6175177,6178687,6179699,6197717,6217219,6221377,6234379,6238537,6241607,6250759,6268777,6272417,6288797,6293659,6296959,6302447,6307309,6314977,6323689,6328627,6331697,6341707,6345007,6345347,6361727,6369889,6387907,6391547,6392537,6397399,6400699,6401557,6417419,6418717,6420929,6438737,6459979,6462607,6465467,6467129,6473629,6477139,6491647,6493859,6511667,6515177,6535537,6540059,6541049,6567229,6570869,6582727,6587249,6600899,6611119,6625627,6630149,6640159,6643799,6655657,6660179,6684049,6690989,6701209,6705367,6714859,6731239,6732097,6734879,6752897,6761059,6763919,6769277,6774139,6787789,6795457,6807809,6809107,6824969,6825827,6829127,6833989,6834979,6859367,6864229,6868387,6881179,6885547,6897899,6901409,6902267,6919217,6924079,6932297,6949457,6954109,6958477,6987989,6992147,7005149,7009307,7022387,7030549,7048567,7051349,7063207,7067729,7068587,7082237,7092457,7124279,7139647,7153297,7157819,7172327,7195339,7196197,7200719,7212577,7216217,7226227,7230749,7233377,7243387,7247909,7271779,7291799,7301809,7309817,7316317,7320839,7323467,7339847,7344709,7361659,7362517,7364729,7366027,7382747,7386047,7390909,7391899,7395539,7396397,7413557,7438099,7438957,7451749,7454819,7458977,7464829,7468469,7471979,7476137,7486147,7486487,7489787,7494649,7511029,7514669,7524679,7530037,7531829,7532687,7541839,7549067,7562069,7562717,7585729,7603747,7608269,7614769,7620127,7621919,7633777,7634999,7638299,7639157,7656317,7658659,7676677,7679977,7681199,7693057,7694849,7700207,7710217,7712009,7748749,7752259,7752907,7755899,7765909,7770067,7783147,7784939,7790297,7803947,7825189,7828489,7828829,7842997,7846507,7850147,7855999,7863227,7873237,7876019,7880387,7902199,7918579,7918919,7923077,7928929,7932229,7933087,7940237,7948949,7950247,7953317,7970267,7975129,7991509,7994137,7998659,8008669,8013167,8025389,8043407,8046707,8081599,8084227,8088749,8102399,8103257,8119637,8157157,8161679,8171689,8174317,8178839,8190697,8215579,8232739,8233597,8236897,8247247,8251769,8263627,8292589,8309827,8319319,8322829,8337337,8340637,8341859,8356499,8357357,8360867,8382679,8385749,8395759,8399917,8407067,8412919,8413567,8417077,8432939,8433797,8446589,8455609,8472769,8479997,8480987,8485849,8489149,8489489,8505869,8507167,8510807,8519519,8527187,8532049,8536679,8540837,8545699,8551057,8562079,8570087,8580097,8583737,8600117,8609609,8623987,8630927,8635789,8641147,8654797,8655809,8659319,8671177,8674817,8679679,8700997,8703857,8714077,8726869,8727727,8732249,8747747,8764907,8773927,8774917,8779439,8799799,8803309,8804167,8821117,8823329,8837837,8841347,8849509,8864017,8894047,8897039,8913419,8922439,8927069,8927927,8939599,8945087,8953249,8969629,8969969,8970487,8973269,8986349,8991287,9003509,9007667,9012529,9026179,9046199,9063359,9064217,9073369,9076439,9097757,9102619,9117259,9135277,9136289,9139799,9140657,9166529,9170687,9187847,9207349,9211717,9226379,9231737,9241747,9243539,9260777,9280279,9284647,9287429,9297439,9301597,9304667,9330847,9331837,9335477,9356719,9370369,9377519,9378037,9391687,9394757,9404767,9408407,9411917,9433729,9434587,9450449,9450967,9454607,9460459,9464617,9467609,9471767,9481777,9483989,9502007,9510169,9525667,9526889,9530189,9540199,9540539,9548207,9554707,9556919,9561857,9574937,9578237,9583099,9598597,9603119,9621137,9630289,9630629,9633929,9634787,9651947,9674179,9688687,9692197,9693209,9695837];
w=vector(19);
x=vector(19);
for (i=500070000001, 500073000000,
for (n=1, 1536, 
v=9699690*i+a[n];
if(ispseudoprime(v),
w[2]=v+30; 
if(nextprime(v+1)==w[2],
w[18]=v+978; w[19]=v+1008;
if(ispseudoprime(w[18]),
if(nextprime(w[18]+1)==w[19],
w[1]=v; w[3]=v+138; w[4]=v+204; w[5]=v+258; w[6]=v+294; w[7]=v+324; w[8]=v+348; w[12]=v+660; w[13]=v+684; w[14]=v+714; w[15]=v+750; w[16]=v+804; w[17]=v+870;
w[9]=v+414; w[10]=v+504; w[11]=v+594;
r=0; x[1]=v; x[2]=w[2]; x[18]=w[18]; x[19]=w[19];
for (q=3, 18,
x[q]=nextprime(x[q-1]+1); 
if(x[q]<w[19], r=r+1;
if(x[8]==w[8], if(x[9]==w[9], if(x[10]==w[10], if(x[11]==w[11], if(x[12]==w[12], 
if(r==16, print(w,", "); print(a[n],", ");  forprime(k=w[1], w[19], print(k,", ");)  ))))))))))));
v=9699690*i+c[n];
if(ispseudoprime(v),
w[2]=v+30; 
if(nextprime(v+1)==w[2],
w[18]=v+390; w[19]=v+420;
if(ispseudoprime(w[18]),
if(nextprime(w[18]+1)==w[19],
w[1]=v; w[3]=v+48; w[4]=v+78; w[5]=v+90; w[6]=v+132; w[7]=v+162; w[8]=v+168; w[12]=v+252; w[13]=v+258; w[14]=v+288; w[15]=v+330; w[16]=v+342; w[17]=v+372;
w[9]=v+180; w[10]=v+210; w[11]=v+240;
r=0; x[1]=v; x[2]=w[2]; x[18]=w[18]; x[19]=w[19];
for (q=3, 18,
x[q]=nextprime(x[q-1]+1); 
if(x[q]<w[19], r=r+1;
if(x[8]==w[8], if(x[9]==w[9], if(x[10]==w[10], if(x[11]==w[11], if(x[12]==w[12], 
if(r==16, print(w,", "); print(c[n],", ");  forprime(k=w[1], w[19], print(k,", ");)  ))))))))))));
v=9699690*i+b[n];
if(ispseudoprime(v),
w[2]=v+12; 
if(nextprime(v+1)==w[2],
w[18]=v+312; w[19]=v+324;
if(ispseudoprime(w[18]),
if(nextprime(w[18]+1)==w[19],
w[1]=v; w[3]=v+30; w[4]=v+42; w[5]=v+54; w[6]=v+60; w[7]=v+84; w[8]=v+114; w[12]=v+210; w[13]=v+240; w[14]=v+264; w[15]=v+270; w[16]=v+282; w[17]=v+294;
w[9]=v+120; w[10]=v+162; w[11]=v+204;
r=0; x[1]=v; x[2]=w[2]; x[18]=w[18]; x[19]=w[19];
for (q=3, 18,
x[q]=nextprime(x[q-1]+1); 
if(x[q]<w[19], r=r+1;
if(x[8]==w[8], if(x[9]==w[9], if(x[10]==w[10], if(x[11]==w[11], if(x[12]==w[12], 
if(r==16, print(w,", "); print(b[n],", ");  forprime(k=w[1], w[19], print(k,", ");)  ))))))))))));
v=9699690*i+d[n];
if(ispseudoprime(v),
w[2]=v+6; 
if(nextprime(v+1)==w[2],
w[18]=v+414; w[19]=v+420;
if(ispseudoprime(w[18]),
if(nextprime(w[18]+1)==w[19],
w[1]=v; w[3]=v+24; w[4]=v+66; w[5]=v+84; w[6]=v+90; w[7]=v+120; w[8]=v+144; w[12]=v+276; w[13]=v+300; w[14]=v+330; w[15]=v+336; w[16]=v+354; w[17]=v+396;
w[9]=v+186; w[10]=v+210; w[11]=v+234;
r=0; x[1]=v; x[2]=w[2]; x[18]=w[18]; x[19]=w[19];
for (q=3, 18,
x[q]=nextprime(x[q-1]+1); 
if(x[q]<w[19], r=r+1;
if(x[8]==w[8], if(x[9]==w[9], if(x[10]==w[10], if(x[11]==w[11], if(x[12]==w[12], 
if(r==16, print(w,", "); print(d[n],", ");  forprime(k=w[1], w[19], print(k,", ");)  )))))))))))));
for (n=1537, 2560,
v=9699690*i+a[n];
if(ispseudoprime(v),
w[2]=v+30; 
if(nextprime(v+1)==w[2],
w[18]=v+978; w[19]=v+1008;
if(ispseudoprime(w[18]),
if(nextprime(w[18]+1)==w[19],
w[1]=v; w[3]=v+138; w[4]=v+204; w[5]=v+258; w[6]=v+294; w[7]=v+324; w[8]=v+348; w[12]=v+660; w[13]=v+684; w[14]=v+714; w[15]=v+750; w[16]=v+804; w[17]=v+870;
w[9]=v+414; w[10]=v+504; w[11]=v+594;
r=0; x[1]=v; x[2]=w[2]; x[18]=w[18]; x[19]=w[19];
for (q=3, 18,
x[q]=nextprime(x[q-1]+1); 
if(x[q]<w[19], r=r+1;
if(x[8]==w[8], if(x[9]==w[9], if(x[10]==w[10], if(x[11]==w[11], if(x[12]==w[12], 
if(r==16, print(w,", "); print(a[n],", ");  forprime(k=w[1], w[19], print(k,", ");)  )))))))))))));
for (n=1537, 2048,
v=9699690*i+d[n];
if(ispseudoprime(v),
w[2]=v+6; 
if(nextprime(v+1)==w[2],
w[18]=v+414; w[19]=v+420;
if(ispseudoprime(w[18]),
if(nextprime(w[18]+1)==w[19],
w[1]=v; w[3]=v+24; w[4]=v+66; w[5]=v+84; w[6]=v+90; w[7]=v+120; w[8]=v+144; w[12]=v+276; w[13]=v+300; w[14]=v+330; w[15]=v+336; w[16]=v+354; w[17]=v+396;
w[9]=v+186; w[10]=v+210; w[11]=v+234;
r=0; x[1]=v; x[2]=w[2]; x[18]=w[18]; x[19]=w[19];
for (q=3, 18,
x[q]=nextprime(x[q-1]+1); 
if(x[q]<w[19], r=r+1;
if(x[8]==w[8], if(x[9]==w[9], if(x[10]==w[10], if(x[11]==w[11], if(x[12]==w[12], 
if(r==16, print(w,", "); print(d[n],", ");  forprime(k=w[1], w[19], print(k,", ");)  )))))))))))));
for (n=1, 1024, 
v=9699690*i+e[n];
if(ispseudoprime(v),
w[2]=v+12; 
if(nextprime(v+1)==w[2],
w[18]=v+312; w[19]=v+324;
if(ispseudoprime(w[18]),
if(nextprime(w[18]+1)==w[19],
w[1]=v; w[3]=v+30; w[4]=v+42; w[5]=v+54; w[6]=v+60; w[7]=v+84; w[8]=v+114; w[12]=v+210; w[13]=v+240; w[14]=v+264; w[15]=v+270; w[16]=v+282; w[17]=v+294;
w[9]=v+144; w[10]=v+162; w[11]=v+180;
r=0; x[1]=v; x[2]=w[2]; x[18]=w[18]; x[19]=w[19];
for (q=3, 18,
x[q]=nextprime(x[q-1]+1); 
if(x[q]<w[19], r=r+1;
if(x[8]==w[8], if(x[9]==w[9], if(x[10]==w[10], if(x[11]==w[11], if(x[12]==w[12], 
if(r==16, print(w,", "); print(e[n],", ");  forprime(k=w[1], w[19], print(k,", ");)  ))))))))))));
v=9699690*i+f[n];
if(ispseudoprime(v),
w[2]=v+12; 
if(nextprime(v+1)==w[2],
w[18]=v+300; w[19]=v+312;
if(ispseudoprime(w[18]),
if(nextprime(w[18]+1)==w[19],
w[1]=v; w[3]=v+30; w[4]=v+60; w[5]=v+90; w[6]=v+96; w[7]=v+102; w[8]=v+126; w[12]=v+186; w[13]=v+210; w[14]=v+216; w[15]=v+222; w[16]=v+252; w[17]=v+282;
w[9]=v+132; w[10]=v+156; w[11]=v+180;
r=0; x[1]=v; x[2]=w[2]; x[18]=w[18]; x[19]=w[19];
for (q=3, 18,
x[q]=nextprime(x[q-1]+1); 
if(x[q]<w[19], r=r+1;
if(x[8]==w[8], if(x[9]==w[9], if(x[10]==w[10], if(x[11]==w[11], if(x[12]==w[12], 
if(r==16, print(w,", "); print(f[n],", ");  forprime(k=w[1], w[19], print(k,", ");)  ))))))))))));
v=9699690*i+g[n];
if(ispseudoprime(v),
w[2]=v+12; 
if(nextprime(v+1)==w[2],
w[18]=v+312; w[19]=v+324;
if(ispseudoprime(w[18]),
if(nextprime(w[18]+1)==w[19],
w[1]=v; w[3]=v+30; w[4]=v+42; w[5]=v+54; w[6]=v+84; w[7]=v+114; w[8]=v+120; w[12]=v+204; w[13]=v+210; w[14]=v+240; w[15]=v+270; w[16]=v+282; w[17]=v+294;
w[9]=v+144; w[10]=v+162; w[11]=v+180;
r=0; x[1]=v; x[2]=w[2]; x[18]=w[18]; x[19]=w[19];
for (q=3, 18,
x[q]=nextprime(x[q-1]+1); 
if(x[q]<w[19], r=r+1;
if(x[8]==w[8], if(x[9]==w[9], if(x[10]==w[10], if(x[11]==w[11], if(x[12]==w[12], 
if(r==16, print(w,", "); print(g[n],", ");  forprime(k=w[1], w[19], print(k,", ");)  ))))))))))));
v=9699690*i+h[n];
if(ispseudoprime(v),
w[2]=v+60; 
if(nextprime(v+1)==w[2],
w[18]=v+384; w[19]=v+444;
if(ispseudoprime(w[18]),
if(nextprime(w[18]+1)==w[19],
w[1]=v; w[3]=v+102; w[4]=v+132; w[5]=v+144; w[6]=v+174; w[7]=v+180; w[8]=v+192; w[12]=v+252; w[13]=v+264; w[14]=v+270; w[15]=v+300; w[16]=v+312; w[17]=v+342;
w[9]=v+210; w[10]=v+222; w[11]=v+234;
r=0; x[1]=v; x[2]=w[2]; x[18]=w[18]; x[19]=w[19];
for (q=3, 18,
x[q]=nextprime(x[q-1]+1); 
if(x[q]<w[19], r=r+1;
if(x[8]==w[8], if(x[9]==w[9], if(x[10]==w[10], if(x[11]==w[11], if(x[12]==w[12], 
if(r==16, print(w,", "); print(h[n],", ");  forprime(k=w[1], w[19], print(k,", ");)  )))))))))))));
for (n=1, 1152, 
v=9699690*i+j[n];
if(ispseudoprime(v),
w[2]=v+12; 
if(nextprime(v+1)==w[2],
w[18]=v+312; w[19]=v+324;
if(ispseudoprime(w[18]),
if(nextprime(w[18]+1)==w[19],
w[1]=v; w[3]=v+30; w[4]=v+42; w[5]=v+54; w[6]=v+60; w[7]=v+114; w[8]=v+120; w[12]=v+204; w[13]=v+210; w[14]=v+264; w[15]=v+270; w[16]=v+282; w[17]=v+294;
w[9]=v+144; w[10]=v+162; w[11]=v+180;
r=0; x[1]=v; x[2]=w[2]; x[18]=w[18]; x[19]=w[19];
for (q=3, 18,
x[q]=nextprime(x[q-1]+1); 
if(x[q]<w[19], r=r+1;
if(x[8]==w[8], if(x[9]==w[9], if(x[10]==w[10], if(x[11]==w[11], if(x[12]==w[12], 
if(r==16, print(w,", "); print(j[n],", ");  forprime(k=w[1], w[19], print(k,", ");)  ))))))))))));
v=9699690*i+l[n];
if(ispseudoprime(v),
w[2]=v+12; 
if(nextprime(v+1)==w[2],
w[18]=v+312; w[19]=v+324;
if(ispseudoprime(w[18]),
if(nextprime(w[18]+1)==w[19],
w[1]=v; w[3]=v+30; w[4]=v+42; w[5]=v+60; w[6]=v+84; w[7]=v+102; w[8]=v+114; w[12]=v+210; w[13]=v+222; w[14]=v+240; w[15]=v+264; w[16]=v+282; w[17]=v+294;
w[9]=v+144; w[10]=v+162; w[11]=v+180;
r=0; x[1]=v; x[2]=w[2]; x[18]=w[18]; x[19]=w[19];
for (q=3, 18,
x[q]=nextprime(x[q-1]+1); 
if(x[q]<w[19], r=r+1;
if(x[8]==w[8], if(x[9]==w[9], if(x[10]==w[10], if(x[11]==w[11], if(x[12]==w[12], 
if(r==16, print(w,", "); print(l[n],", ");  forprime(k=w[1], w[19], print(k,", ");)  ))))))))))));
v=9699690*i+o[n];
if(ispseudoprime(v),
w[2]=v+12; 
if(nextprime(v+1)==w[2],
w[18]=v+312; w[19]=v+324;
if(ispseudoprime(w[18]),
if(nextprime(w[18]+1)==w[19],
w[1]=v; w[3]=v+30; w[4]=v+42; w[5]=v+60; w[6]=v+84; w[7]=v+114; w[8]=v+120; w[12]=v+204; w[13]=v+210; w[14]=v+240; w[15]=v+264; w[16]=v+282; w[17]=v+294;
w[9]=v+144; w[10]=v+162; w[11]=v+180;
r=0; x[1]=v; x[2]=w[2]; x[18]=w[18]; x[19]=w[19];
for (q=3, 18,
x[q]=nextprime(x[q-1]+1); 
if(x[q]<w[19], r=r+1;
if(x[8]==w[8], if(x[9]==w[9], if(x[10]==w[10], if(x[11]==w[11], if(x[12]==w[12], 
if(r==16, print(w,", "); print(o[n],", ");  forprime(k=w[1], w[19], print(k,", ");)  ))))))))))));
v=9699690*i+p[n];
if(ispseudoprime(v),
w[2]=v+12; 
if(nextprime(v+1)==w[2],
w[18]=v+312; w[19]=v+324;
if(ispseudoprime(w[18]),
if(nextprime(w[18]+1)==w[19],
w[1]=v; w[3]=v+42; w[4]=v+54; w[5]=v+60; w[6]=v+84; w[7]=v+114; w[8]=v+120; w[12]=v+204; w[13]=v+210; w[14]=v+240; w[15]=v+264; w[16]=v+270; w[17]=v+282;
w[9]=v+144; w[10]=v+162; w[11]=v+180;
r=0; x[1]=v; x[2]=w[2]; x[18]=w[18]; x[19]=w[19];
for (q=3, 18,
x[q]=nextprime(x[q-1]+1); 
if(x[q]<w[19], r=r+1;
if(x[8]==w[8], if(x[9]==w[9], if(x[10]==w[10], if(x[11]==w[11], if(x[12]==w[12], 
if(r==16, print(w,", "); print(p[n],", ");  forprime(k=w[1], w[19], print(k,", ");)  ))))))))))))));
print(w,", ");
}

Ну вот, запостила, наконец-то, текст программы.
Собственно программа небольшая, это данные занимают много места.
Весь текст программы в этом посте.

Итак, господа!
Задача для всех - оптимизировать приведённую программу с целью ускорения её работы.
Знаете девиз программистов?
НЕТ ПРЕДЕЛА ОПТИМИЗАЦИИ!
(это я девиз придумала)
Жутко представить, что программа вдруг заработает в 2000 раз быстрее :)
Да хотя бы в 100 раз!
Тогда я 19-ку точно найду :))

Приведённую программу прямо запускайте из окна PARI, вот так
\r a13m.txt
Ну, это у меня такое имя программы (a13m.txt), у вас оно может быть другое.

Я задаю на один прогон программы 5 миллионов циклов

for (i=500070000001, 500075000000,

Чтобы попробовать, вы можете задать, например, 100000 циклов:

for (i=500070000001, 500070100000,

За такой маленький прогон вряд ли что-то найдётся, но всё может быть.
Решения, если найдутся, будут выведены и на экран, и в выходной файл rez13.txt.

А знаете ли вы?
Поиск симметричного кортежа длины 19 из последовательных простых чисел - нереальная задача! (по Лецко).
Об эту задачу сам Ярослав Врублевский сломал зубки :)

Но я уверена - 19-ка существует!
Как самая-самая далёкая Звезда, но и самая прекрасная!
А если не верить, тогда и нечего искать.

Если я не доживу до того момента, когда 19-ка будет найдена, скажите так:
- Она не видела эту Звезду, но видела её свет!

Покажу самую лучшую на данный момент вписанную 19-ку, смотрите сообщение
https://boinc.progger.info/odlk/forum_thread.php?id=224&postid=9421

Всего ПЯТЬ "дырок"!
Это решение найдено черепашкой в алгоритме №7.
(Приведённая выше программы для другого алгоритма.)

{4851146441643141307, 4851146441643141313, 4851146441643141319, 4851146441643141337, 4851146441643141349,
4851146441643141379, 4851146441643141397, 4851146441643141403, 4851146441643141427, 4851146441643141433,
4851146441643141439, 4851146441643141463, 4851146441643141469, 4851146441643141487, 4851146441643141517,
4851146441643141529, 4851146441643141547, 4851146441643141553, 4851146441643141559}

4851146441643141307,
4851146441643141313,
4851146441643141329,
4851146441643141337,
4851146441643141349,
4851146441643141383,
4851146441643141389,
4851146441643141403,
4851146441643141427,
4851146441643141433,
4851146441643141439,
4851146441643141463,
4851146441643141487,
4851146441643141503,
4851146441643141517,
4851146441643141529,
4851146441643141547,
4851146441643141553,
4851146441643141559,

Соответствие элементов набора из 19-ти чисел и вписанной 19-ки
(зелёные - совпадающие элементы, красные - не совпадающие)

A1=4851146441643141307 <--> B1=4851146441643141307
A2=4851146441643141313 <--> B2=4851146441643141313
A3=4851146441643141319 <--> B3=4851146441643141329
A4=4851146441643141337 <--> B4=4851146441643141337
A5=4851146441643141349 <--> B5=4851146441643141349
A6=4851146441643141379 <--> B6=4851146441643141383
A7=4851146441643141397 <--> B7=4851146441643141389
A8=4851146441643141403 <--> B8=4851146441643141403
A9=4851146441643141427 <--> B9=4851146441643141427
A10=4851146441643141433 <--> B10=4851146441643141433
A11=4851146441643141439 <--> B11=4851146441643141439
A12=4851146441643141463 <--> B12=4851146441643141463
A13=4851146441643141469 <--> B13=4851146441643141487
A14=4851146441643141487 <--> B14=4851146441643141503
A15=4851146441643141517 <--> B15=4851146441643141517
A16=4851146441643141529 <--> B16=4851146441643141529
A17=4851146441643141547 <--> B17=4851146441643141547
A18=4851146441643141553 <--> B18=4851146441643141553
A19=4851146441643141559 <--> B19=4851146441643141559

Всего пять элементов не совпали!
Могут ли все 19 элементов совпасть?
Ничто этому не мешает, как сказал бы Алексей Белышев.
Могут! И когда-нибудь совпадут!
Дырявая 19-ка станет настоящей 19-ой!

Поэтическая пауза

Осенний мотив

В поле стал пастись туман.
Бесприютный холод бродит.
В голой роще, вдоль полян
Веет скорбью. Жизнь уходит.

Николаус Ленау
Пер. В. Левика

Сны осенние очень грустные
И на сердце тоска несусветная.
Небо плачет слезами искусными,
На земле стоит хмарь беспросветная.

Сколько ж раз это всё повторится?!
Круговое движенье измучило.
Я хочу по прямой устремиться –
Череда повторений наскучила.

По касательной к жизни рванусь я,
Как стрела из безумного лука!
И не будет уже повторений,
И уснёт в груди злая мука…

14 октября 2006 г.

https://stihi.ru/2006/10/14-480

А между тем, 16 параллельных потоков отжигают!

Найдена новая непрерывная 14-ка

77044046442268624445584885318224345:M12-N9-32-M12-N9-32-214530: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  4, valids=14, ALL

Вон как высоко уже забралась :)

Итак, мной найдено в 31-ом и 37-ом комплектах шесть непрерывных 14-ок, в том числе минимальная на данный момент

11865604480910140781102260713619545: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  2
12641644871583861275062199467757145: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 64
14338620420493961557283066155430041: 16, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12
23466238381659111718270264154333145: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  4
56718870387257845242039797086113945: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  4
77044046442268624445584885318224345: 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,  4

Сейчас поиск мной ведётся только в 37-ом комплекте.
Думаю, что 16 параллельных потоков будут работать ещё 4-5 суток.

Если пентадекатлон в этой парадигме существует, пора ему выскакивать :)

Покажу, как на Ахиллесе-2 работают 29 потоков.



Супер!
Самая верхняя программа - это экспериментальный прогон в 37-ом комплекте (один поток).
До сих пор обрабатывается первый круг
48825е30 - 58590е30
Финиш первого круга близко, но работает этот прогон крайне медленно.

Самая нижняя программа - это эксперимент PADLS.
Программа многопоточная, задействовано 12 потоков.
Работает прекрасно.

Между этими двумя программами - 16 параллельных потоков, хвост 37-го комплекта.
Это особенно интересно!
14 потоков работают в 4-ом круге, а два потока уже начали 5-й круг.
Круги такие (множитель 10^30 опускается)
1) 57650 - 62650
2) 62650 - 67650
3) 67650 - 72650
4) 72650 - 77650
5) 77650 - 82650
6) 82650 - 87650
7) 87650 - 92650
8) 92650 - 97650
Всего 8 кругов.

И это ещё не все программы, работающие на Ахиллесе-2.